forked from GitHub/gf-core
fix the compilation of CountriesAndRegionsEng.gf
This commit is contained in:
@@ -1,5 +1,5 @@
|
|||||||
--# -path=.:englishExtended
|
--# -path=.:englishExtended
|
||||||
concrete CountriesAndRegionsEng of CountriesAndRegions = MidLevelOntologyEng, GeographyEng, GovernmentEng ** open ParadigmsEng,NounEng in {
|
concrete CountriesAndRegionsEng of CountriesAndRegions = MidLevelOntologyEng ** open ParadigmsEng,NounEng in {
|
||||||
|
|
||||||
lin
|
lin
|
||||||
NewJersey = UsePN (mkPN "New Jersey") ;
|
NewJersey = UsePN (mkPN "New Jersey") ;
|
||||||
@@ -615,7 +615,7 @@ lin
|
|||||||
GloriosoIslands = UsePN (mkPN "Glorioso Islands") ;
|
GloriosoIslands = UsePN (mkPN "Glorioso Islands") ;
|
||||||
HeardIslandAndMcDonaldIslands = UsePN (mkPN "Heard Island and McDonald Islands") ;
|
HeardIslandAndMcDonaldIslands = UsePN (mkPN "Heard Island and McDonald Islands") ;
|
||||||
JuanDeNovaIsland = UsePN (mkPN "Juan de Nova Island") ;
|
JuanDeNovaIsland = UsePN (mkPN "Juan de Nova Island") ;
|
||||||
Lesotho = variants (UsePN (mkPN "Lesotho")) (UsePN (mkPN "Basutoland")) ;
|
Lesotho = UsePN (mkPN "Lesotho" | mkPN "Basutoland") ;
|
||||||
Madagascar = UsePN (mkPN "Madagascar") ;
|
Madagascar = UsePN (mkPN "Madagascar") ;
|
||||||
Malawi = UsePN (mkPN "Malawi") ;
|
Malawi = UsePN (mkPN "Malawi") ;
|
||||||
Mauritius = UsePN (mkPN "Mauritius") ;
|
Mauritius = UsePN (mkPN "Mauritius") ;
|
||||||
@@ -643,7 +643,6 @@ lin
|
|||||||
Mali = UsePN (mkPN "Mali") ;
|
Mali = UsePN (mkPN "Mali") ;
|
||||||
Niger = UsePN (mkPN "Niger") ;
|
Niger = UsePN (mkPN "Niger") ;
|
||||||
Nigeria = UsePN (mkPN "Nigeria") ;
|
Nigeria = UsePN (mkPN "Nigeria") ;
|
||||||
SaoTomeAndPrincipe = UsePN (mkPN "Sao Tome and Principe") ;
|
|
||||||
Senegal = UsePN (mkPN "Senegal") ;
|
Senegal = UsePN (mkPN "Senegal") ;
|
||||||
SierraLeone = UsePN (mkPN "Sierra Leone") ;
|
SierraLeone = UsePN (mkPN "Sierra Leone") ;
|
||||||
Togo = UsePN (mkPN "Togo") ;
|
Togo = UsePN (mkPN "Togo") ;
|
||||||
@@ -711,7 +710,6 @@ lin
|
|||||||
Macedonia = UsePN (mkPN "Macedonia") ;
|
Macedonia = UsePN (mkPN "Macedonia") ;
|
||||||
Romania = UsePN (mkPN "Romania") ;
|
Romania = UsePN (mkPN "Romania") ;
|
||||||
Turkey = UsePN (mkPN "Turkey") ;
|
Turkey = UsePN (mkPN "Turkey") ;
|
||||||
SerbiaAndMontenegro = UsePN (mkPN "Serbia and Montenegro") ;
|
|
||||||
Andorra = UsePN (mkPN "Andorra") ;
|
Andorra = UsePN (mkPN "Andorra") ;
|
||||||
Gibraltar = UsePN (mkPN "Gibraltar") ;
|
Gibraltar = UsePN (mkPN "Gibraltar") ;
|
||||||
Portugal = UsePN (mkPN "Portugal") ;
|
Portugal = UsePN (mkPN "Portugal") ;
|
||||||
@@ -740,10 +738,7 @@ lin
|
|||||||
NavassaIsland = UsePN (mkPN "Navassa Island") ;
|
NavassaIsland = UsePN (mkPN "Navassa Island") ;
|
||||||
NetherlandsAntilles = UsePN (mkPN "Netherlands Antilles") ;
|
NetherlandsAntilles = UsePN (mkPN "Netherlands Antilles") ;
|
||||||
PuertoRico = UsePN (mkPN "Puerto Rico") ;
|
PuertoRico = UsePN (mkPN "Puerto Rico") ;
|
||||||
SaintKittsAndNevis = UsePN (mkPN "Saint Kitts and Nevis") ;
|
|
||||||
SaintLucia = UsePN (mkPN "Saint Lucia") ;
|
SaintLucia = UsePN (mkPN "Saint Lucia") ;
|
||||||
SaintVincentAndTheGrenadines = UsePN (mkPN "Saint Vincent and the Grenadines") ;
|
|
||||||
TrinidadAndTobago = UsePN (mkPN "Trinidad and Tobago") ;
|
|
||||||
TurksAndCaicosIslands = UsePN (mkPN "Turks and Caicos Islands") ;
|
TurksAndCaicosIslands = UsePN (mkPN "Turks and Caicos Islands") ;
|
||||||
VirginIslands = UsePN (mkPN "Virgin Islands") ;
|
VirginIslands = UsePN (mkPN "Virgin Islands") ;
|
||||||
Belize = UsePN (mkPN "Belize") ;
|
Belize = UsePN (mkPN "Belize") ;
|
||||||
|
|||||||
@@ -5553,4 +5553,10 @@ lin
|
|||||||
Countries_VN_cities_ThaiNguyen = UsePN (mkPN "Thai Nguyen") ;
|
Countries_VN_cities_ThaiNguyen = UsePN (mkPN "Thai Nguyen") ;
|
||||||
Countries_ZRE_provinces_BasZaire = UsePN (mkPN "Bas Zaire") ;
|
Countries_ZRE_provinces_BasZaire = UsePN (mkPN "Bas Zaire") ;
|
||||||
Countries_UA_provinces_Poltavska = UsePN (mkPN "Poltavska") ;
|
Countries_UA_provinces_Poltavska = UsePN (mkPN "Poltavska") ;
|
||||||
|
SaintKittsAndNevis = UsePN (mkPN "Saint Kitts and Nevis") ;
|
||||||
|
SaintVincentAndTheGrenadines = UsePN (mkPN "Saint Vincent and the Grenadines") ;
|
||||||
|
SaoTomeAndPrincipe = UsePN (mkPN "Sao Tome and Principe") ;
|
||||||
|
SerbiaAndMontenegro = UsePN (mkPN "Serbia and Montenegro") ;
|
||||||
|
TrinidadAndTobago = UsePN (mkPN "Trinidad and Tobago") ;
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -5,6 +5,7 @@ concrete SUMOEng of SUMO =
|
|||||||
EconomyEng,
|
EconomyEng,
|
||||||
EngineeringEng,
|
EngineeringEng,
|
||||||
MondialEng,
|
MondialEng,
|
||||||
|
CountriesAndRegionsEng,
|
||||||
QoSontologyEng
|
QoSontologyEng
|
||||||
|
|
||||||
** {
|
** {
|
||||||
|
|||||||
Reference in New Issue
Block a user