diff options
| author | krasimir <krasimir@chalmers.se> | 2010-09-18 17:12:52 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-09-18 17:12:52 +0000 |
| commit | 21445f9feafc896995c598f5f390a9df39dd6f28 (patch) | |
| tree | 9ccaf44b6e96da63c281792734616f71b212d072 /examples | |
| parent | f2051c33e6abd26c7f25878ff8980f3855b8e9ba (diff) | |
fix the linearization of GuineaBissau
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/SUMO/CountriesAndRegions.gf | 4 | ||||
| -rw-r--r-- | examples/SUMO/MondialEng.gf | 1 |
2 files changed, 1 insertions, 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") ;
|