fix the linearization of GuineaBissau

This commit is contained in:
krasimir
2010-09-18 17:12:52 +00:00
parent f2051c33e6
commit 21445f9fea
2 changed files with 1 additions and 4 deletions

View File

@@ -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 ;

View File

@@ -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") ;