From 144d0188fe9c42ec7dede94a24a322572eab44c1 Mon Sep 17 00:00:00 2001 From: krasimir Date: Sat, 18 Sep 2010 17:12:52 +0000 Subject: [PATCH] fix the linearization of GuineaBissau --- examples/SUMO/CountriesAndRegions.gf | 4 +--- examples/SUMO/MondialEng.gf | 1 - 2 files changed, 1 insertion(+), 4 deletions(-) diff --git a/examples/SUMO/CountriesAndRegions.gf b/examples/SUMO/CountriesAndRegions.gf index e6c644ab1..02608f063 100644 --- a/examples/SUMO/CountriesAndRegions.gf +++ b/examples/SUMO/CountriesAndRegions.gf @@ -142,8 +142,6 @@ abstract CountriesAndRegions = MidLevelOntology, Geography, Government ** { fun Guinea : Ind (both Country Nation); - fun Guinea_Bissau : Ind Country ; - fun Guyana : Ind (both Country Nation); fun Haiti : Ind (both Country Nation); @@ -1155,7 +1153,7 @@ abstract CountriesAndRegions = MidLevelOntology, Geography, Government ** { fun GuilinChina : Ind City ; -- The Nation of GuineaBissau. - fun GuineaBissau : Ind Nation ; + fun GuineaBissau : Ind (both Country Nation) ; -- The City of Gujarat in India. fun GujaratIndia : Ind City ; diff --git a/examples/SUMO/MondialEng.gf b/examples/SUMO/MondialEng.gf index 2143d0067..b2420a452 100644 --- a/examples/SUMO/MondialEng.gf +++ b/examples/SUMO/MondialEng.gf @@ -3489,7 +3489,6 @@ lin Countries_D_provinces_Niedersachsen_cities_Oldenburg = UsePN (mkPN "Oldenburg") ; Countries_UA_provinces_Dnipropetrovska_cities_Dnipropetrovsk = UsePN (mkPN "Dnipropetrovsk") ; Countries_CH_provinces_AR = UsePN (mkPN "AR") ; - Guinea_Bissau = UsePN (mkPN "Guinea-Bissau") ; Countries_HCA_provinces_ElParaiso_cities_Yuscaran = UsePN (mkPN "Yuscaran") ; Organizations_UNFICYP = UsePN (mkPN "United Nations Force in Cyprus") ; Countries_IND_provinces_DamanandDiu = UsePN (mkPN "Daman and Diu") ;