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/SUMO/CountriesAndRegions.gf | |
| parent | f2051c33e6abd26c7f25878ff8980f3855b8e9ba (diff) | |
fix the linearization of GuineaBissau
Diffstat (limited to 'examples/SUMO/CountriesAndRegions.gf')
| -rw-r--r-- | examples/SUMO/CountriesAndRegions.gf | 4 |
1 files changed, 1 insertions, 3 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 ;
|