GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-22 01:22:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

extended CountriesAndRegionsRon.gf

Browse Source
This commit is contained in:
krasimir
2010-10-10 13:10:21 +00:00
parent 52cd3d5cbd
commit d8aa316588
1 changed files with 191 additions and 167 deletions
Download Patch File Download Diff File Expand all files Collapse all files

358
examples/SUMO/CountriesAndRegionsRon.gf
View File

@@ -4,242 +4,266 @@ concrete CountriesAndRegionsRon of CountriesAndRegions = MidLevelOntologyRon **
flags flags
coding = utf8 ; coding = utf8 ;
lin lin
Afghanistan = UsePN (mkPN "Afghanistan" | mkPN "Afganistan") ;
Albania = UsePN (mkPN "Albania") ;
Algeria = UsePN (mkPN "Algeria") ;
AlgiersAlgeria = UsePN (mkPN "Alger") ;
AmericanSamoa = UsePN (mkPN "Samoa Americană") ; AmericanSamoa = UsePN (mkPN "Samoa Americană") ;
AmmanJordan = UsePN (mkPN "Amman") ;
Andorra = UsePN (mkPN "Andorra" | mkPN "Andora") ;
Angola = UsePN (mkPN "Angola") ;
Anguilla = UsePN (mkPN "Anguilla") ; Anguilla = UsePN (mkPN "Anguilla") ;
AnkaraTurkey = UsePN (mkPN "Ankara") ;
AntiguaAndBarbuda = UsePN (mkPN "Antigua şi Barbuda") ;
Argentina = UsePN (mkPN "Argentina") ;
ArmaghNorthernIreland = UsePN (mkPN "Armagh") ;
Armenia = UsePN (mkPN "Armenia") ;
Aruba = UsePN (mkPN "Aruba") ; Aruba = UsePN (mkPN "Aruba") ;
AshdodIsrael = UsePN (mkPN "Aşdod") ;
AskelonIsrael = UsePN (mkPN "Aşkelon") ;
AsmaraEritrea = UsePN (mkPN "Asmara") ;
AswanEgypt = UsePN (mkPN "Assuan" | mkPN "Aswan") ;
AthensGreece = UsePN (mkPN "Atena") ;
Australia = UsePN (mkPN "Australia") ;
Austria = UsePN (mkPN "Austria") ;
Azerbaijan = UsePN (mkPN "Azerbaijan" | mkPN "Azerbaidjan") ;
Bahamas = UsePN (mkPN "Bahamas") ;
Bahrain = UsePN (mkPN "Bahrain") ;
BangkokThailand = UsePN (mkPN "Bangkok") ;
Bangladesh = UsePN (mkPN "Bangladeş" | mkPN "Bangladesh") ;
Barbados = UsePN (mkPN "Barbados") ;
BeirutLebanon = UsePN (mkPN "Beirut") ;
Belarus = UsePN (mkPN "Belarus" | mkPN "Bielorusia") ;
BelfastNorthernIreland = UsePN (mkPN "Belfast") ;
Belgium = UsePN (mkPN "Belgia") ;
Belize = UsePN (mkPN "Belize") ;
Benin = UsePN (mkPN "Benin") ;
Bermuda = UsePN (mkPN "Insulele Bermude") ; Bermuda = UsePN (mkPN "Insulele Bermude") ;
Bhutan = UsePN (mkPN "Bhutan") ;
Bolivia = UsePN (mkPN "Bolivia") ;
Botswana = UsePN (mkPN "Botswana") ;
BouvetIsland = UsePN (mkPN "Insula Bouvet") ; BouvetIsland = UsePN (mkPN "Insula Bouvet") ;
Brazil = UsePN (mkPN "Brazilia") ;
BritishIndianOceanTerritory = UsePN (mkPN "Teritoriile Britanice din Oceanul Indian") ; BritishIndianOceanTerritory = UsePN (mkPN "Teritoriile Britanice din Oceanul Indian") ;
BritishVirginIslands = UsePN (mkPN "Insulele Virgine, Britanice") ; BritishVirginIslands = UsePN (mkPN "Insulele Virgine, Britanice") ;
Brunei = UsePN (mkPN "Brunei") ;
BrusselsBelgium = UsePN (mkPN "Bruxelles") ;
BucharestRomania = UsePN (mkPN "Bucureşti") ;
Bulgaria = UsePN (mkPN "Bulgaria") ;
BurkinaFaso = UsePN (mkPN "Burkina Fasso" | mkPN "Burkina Faso") ;
Burundi = UsePN (mkPN "Burundi") ;
CairoEgypt = UsePN (mkPN "Cairo") ;
Cambodia = UsePN (mkPN "Cambodgia") ;
Cameroon = UsePN (mkPN "Camerun") ;
Canada = UsePN (mkPN "Canada") ;
CapeVerde = UsePN (mkPN "Capul Verde") ;
CaymanIslands = UsePN (mkPN "Insulele Cayman") ; CaymanIslands = UsePN (mkPN "Insulele Cayman") ;
CentralAfricanRepublic = UsePN (mkPN "Republica Central Africană" | mkPN "Republica Centrafricană") ;
Chad = UsePN (mkPN "Ciad") ;
Chile = UsePN (mkPN "Chile") ;
China = UsePN (mkPN "Republica Populară Chineză" | mkPN "China") ;
ChristmasIsland = UsePN (mkPN "Insula Christmas") ; ChristmasIsland = UsePN (mkPN "Insula Christmas") ;
CocosKeelingIslands = UsePN (mkPN "Insulele Cocos (Keeling)") ; CocosKeelingIslands = UsePN (mkPN "Insulele Cocos (Keeling)") ;
CookIslands = UsePN (mkPN "Insulele Cook") ;
DemocraticRepublicOfTheCongo = UsePN (mkPN "Zair" | mkPN "Republica Democrată Congo") ;
EastTimor = UsePN (mkPN "Timorul de Est") ;
FalklandIslands = UsePN (mkPN "Insulele Falkland") ;
FaroeIslands = UsePN (mkPN "Insulele Feroe" | mkPN "Insulele Faroe") ;
Gibraltar = UsePN (mkPN "Gibraltar") ;
Greenland = UsePN (mkPN "Groenlanda") ;
Guadeloupe = UsePN (mkPN "Guadeloupe") ;
Guam = UsePN (mkPN "Guam") ;
Guernsey = UsePN (mkPN "Guernsey") ;
GuineaBissau = UsePN (mkPN "Guinea-Bissau" | mkPN "Guineea-Bissau") ;
HeardIslandAndMcDonaldIslands = UsePN (mkPN "Insulele Heard şi Mc Donald") ;
HongKong = UsePN (mkPN "Hong Kong") ;
IsleOfMan = UsePN (mkPN "Insulele Man" | mkPN "Insula Man") ;
Jersey = UsePN (mkPN "Insula Jersey") ;
Kazakhstan = UsePN (mkPN "Kazahstan") ;
Macau = UsePN (mkPN "Macao") ;
Martinique = UsePN (mkPN "Martinica") ;
Mayotte = UsePN (mkPN "Mayotte") ;
Montserrat = UsePN (mkPN "Montserrat") ;
Myanmar = UsePN (mkPN "Myanmar") ;
NetherlandsAntilles = UsePN (mkPN "Antilele Olandeze") ;
Niue = UsePN (mkPN "Niue") ;
NorfolkIsland = UsePN (mkPN "Insula Norfolk") ;
NorthernMarianaIslands = UsePN (mkPN "Insulele Northern Mariana") ;
Palestine = UsePN (mkPN "Palestina") ;
PitcairnIslands = UsePN (mkPN "Pitcairn") ;
PuertoRico = UsePN (mkPN "Porto Rico") ;
Reunion = UsePN (mkPN "Reunion") ;
SaintHelena = UsePN (mkPN "Saint Helena") ;
SaintPierreAndMiquelon = UsePN (mkPN "St. Pierre şi Miquelon") ;
Samoa = UsePN (mkPN "Samoa") ;
SouthGeorgiaAndTheSouthSandwichIslands = UsePN (mkPN "Georgia de Sud și Insulele Sandwich de Sud") ;
Svalbard = UsePN (mkPN "Svalbard") ;
Tokelau = UsePN (mkPN "Tokelau") ;
TurksAndCaicosIslands = UsePN (mkPN "Insulele Turks şi Caicos") ;
VirginIslands = UsePN (mkPN "Insulele Virgine, SUA") ;
WallisAndFutuna = UsePN (mkPN "Wallis şi Futuna") ;
Zimbabwe = UsePN (mkPN "Zimbabwe") ;
Andorra = UsePN (mkPN "Andorra" | mkPN "Andora") ;
UnitedArabEmirates = UsePN (mkPN "Emiratele Arabe Unite") ;
Afghanistan = UsePN (mkPN "Afghanistan" | mkPN "Afganistan") ;
AntiguaAndBarbuda = UsePN (mkPN "Antigua şi Barbuda") ;
Albania = UsePN (mkPN "Albania") ;
Armenia = UsePN (mkPN "Armenia") ;
Angola = UsePN (mkPN "Angola") ;
Argentina = UsePN (mkPN "Argentina") ;
Austria = UsePN (mkPN "Austria") ;
Australia = UsePN (mkPN "Australia") ;
Azerbaijan = UsePN (mkPN "Azerbaijan" | mkPN "Azerbaidjan") ;
BosniaAndHerzegovina = UsePN (mkPN "Bosnia şi Herzegovina" | mkPN "Bosnia şi Herţegovina") ;
Barbados = UsePN (mkPN "Barbados") ;
Bangladesh = UsePN (mkPN "Bangladeş" | mkPN "Bangladesh") ;
Belgium = UsePN (mkPN "Belgia") ;
BurkinaFaso = UsePN (mkPN "Burkina Fasso" | mkPN "Burkina Faso") ;
Bulgaria = UsePN (mkPN "Bulgaria") ;
Bahrain = UsePN (mkPN "Bahrain") ;
Burundi = UsePN (mkPN "Burundi") ;
Benin = UsePN (mkPN "Benin") ;
Brunei = UsePN (mkPN "Brunei") ;
Bolivia = UsePN (mkPN "Bolivia") ;
Brazil = UsePN (mkPN "Brazilia") ;
Bahamas = UsePN (mkPN "Bahamas") ;
Bhutan = UsePN (mkPN "Bhutan") ;
Botswana = UsePN (mkPN "Botswana") ;
Belarus = UsePN (mkPN "Belarus" | mkPN "Bielorusia") ;
Belize = UsePN (mkPN "Belize") ;
Canada = UsePN (mkPN "Canada") ;
CentralAfricanRepublic = UsePN (mkPN "Republica Central Africană" | mkPN "Republica Centrafricană") ;
Congo = UsePN (mkPN "Republica Congo" | mkPN "Congo") ;
Switzerland = UsePN (mkPN "Elveţia" | mkPN "Eleveţia") ;
Chile = UsePN (mkPN "Chile") ;
Cameroon = UsePN (mkPN "Camerun") ;
China = UsePN (mkPN "Republica Populară Chineză" | mkPN "China") ;
Colombia = UsePN (mkPN "Columbia") ; Colombia = UsePN (mkPN "Columbia") ;
Comoros = UsePN (mkPN "Comore" | mkPN "Comoros") ;
Congo = UsePN (mkPN "Republica Congo" | mkPN "Congo") ;
CookIslands = UsePN (mkPN "Insulele Cook") ;
CopenhagenDenmark = UsePN (mkPN "Copenhaga") ;
CostaRica = UsePN (mkPN "Costa Rica") ; CostaRica = UsePN (mkPN "Costa Rica") ;
Croatia = UsePN (mkPN "Croaţia") ;
Cuba = UsePN (mkPN "Cuba") ; Cuba = UsePN (mkPN "Cuba") ;
CapeVerde = UsePN (mkPN "Capul Verde") ;
Cyprus = UsePN (mkPN "Cipru") ; Cyprus = UsePN (mkPN "Cipru") ;
CzechRepublic = UsePN (mkPN "Republica Cehă" | mkPN "Cehia") ; CzechRepublic = UsePN (mkPN "Republica Cehă" | mkPN "Cehia") ;
Germany = UsePN (mkPN "Germania") ; DelhiIndia = UsePN (mkPN "Delhi") ;
Djibouti = UsePN (mkPN "Djibouti") ; DemocraticRepublicOfTheCongo = UsePN (mkPN "Zair" | mkPN "Congo, Republica Democratică" | mkPN "Republica Democrată Congo") ;
Denmark = UsePN (mkPN "Danemarca") ; Denmark = UsePN (mkPN "Danemarca") ;
Djibouti = UsePN (mkPN "Djibouti") ;
Dominica = UsePN (mkPN "Dominica") ; Dominica = UsePN (mkPN "Dominica") ;
DominicanRepublic = UsePN (mkPN "Republica Dominicană") ; DominicanRepublic = UsePN (mkPN "Republica Dominicană") ;
Algeria = UsePN (mkPN "Algeria") ; DortmundGermany = UsePN (mkPN "Dortmund") ;
DublinIreland = UsePN (mkPN "Dublin") ;
DuesseldorfGermany = UsePN (mkPN "Düsseldorf") ;
EastJerusalemIsrael = UsePN (mkPN "Ierusalim") ;
EastTimor = UsePN (mkPN "Timorul de Est") ;
Ecuador = UsePN (mkPN "Ecuador") ; Ecuador = UsePN (mkPN "Ecuador") ;
Estonia = UsePN (mkPN "Estonia") ;
Egypt = UsePN (mkPN "Egipt") ; Egypt = UsePN (mkPN "Egipt") ;
WesternSahara = UsePN (mkPN "Sahara de Vest") ; ElSalvador = UsePN (mkPN "El Salvador") ;
Eritrea = UsePN (mkPN "Eritreea" | mkPN "Eritrea") ;
Spain = UsePN (mkPN "Spania") ;
Ethiopia = UsePN (mkPN "Etiopia") ;
Finland = UsePN (mkPN "Finlanda") ;
Fiji = UsePN (mkPN "Fiji") ;
Micronesia = UsePN (mkPN "Micronezia, Republica Federală") ;
France = UsePN (mkPN "Franţa") ;
Gabon = UsePN (mkPN "Gabon") ;
UnitedKingdom = UsePN (mkPN "Regatul Unit" | mkPN "Marea Britanie") ;
Grenada = UsePN (mkPN "Grenada") ;
Georgia = UsePN (mkPN "Georgia") ;
FrenchGuiana = UsePN (mkPN "Guiana Franceză") ;
Ghana = UsePN (mkPN "Ghana") ;
Gambia = UsePN (mkPN "Gambia") ;
Guinea = UsePN (mkPN "Guinea" | mkPN "Guineea") ;
EquatorialGuinea = UsePN (mkPN "Guineea Ecuatorială") ; EquatorialGuinea = UsePN (mkPN "Guineea Ecuatorială") ;
Eritrea = UsePN (mkPN "Eritreea" | mkPN "Eritrea") ;
Estonia = UsePN (mkPN "Estonia") ;
Ethiopia = UsePN (mkPN "Etiopia") ;
FalklandIslands = UsePN (mkPN "Insulele Falkland") ;
FaroeIslands = UsePN (mkPN "Insulele Feroe" | mkPN "Insulele Faroe") ;
Fiji = UsePN (mkPN "Fiji") ;
Finland = UsePN (mkPN "Finlanda") ;
France = UsePN (mkPN "Franţa") ;
FrenchGuiana = UsePN (mkPN "Guiana Franceză") ;
Gabon = UsePN (mkPN "Gabon") ;
Gambia = UsePN (mkPN "Gambia") ;
Georgia = UsePN (mkPN "Georgia") ;
Germany = UsePN (mkPN "Germania") ;
Ghana = UsePN (mkPN "Ghana") ;
Gibraltar = UsePN (mkPN "Gibraltar") ;
GrazAustria = UsePN (mkPN "Graz") ;
Greece = UsePN (mkPN "Grecia") ; Greece = UsePN (mkPN "Grecia") ;
Greenland = UsePN (mkPN "Groenlanda") ;
Grenada = UsePN (mkPN "Grenada") ;
Guadeloupe = UsePN (mkPN "Guadeloupe") ;
Guam = UsePN (mkPN "Guam") ;
Guatemala = UsePN (mkPN "Guatemala") ; Guatemala = UsePN (mkPN "Guatemala") ;
Guernsey = UsePN (mkPN "Guernsey") ;
Guinea = UsePN (mkPN "Guinea" | mkPN "Guineea") ;
Guyana = UsePN (mkPN "Guiana" | mkPN "Guyana") ; Guyana = UsePN (mkPN "Guiana" | mkPN "Guyana") ;
Honduras = UsePN (mkPN "Honduras") ; HaderaIsrael = UsePN (mkPN "Hadera") ;
Croatia = UsePN (mkPN "Croaţia") ; HaifaIsrael = UsePN (mkPN "Haifa") ;
Haiti = UsePN (mkPN "Haiti") ; Haiti = UsePN (mkPN "Haiti") ;
HavanaCuba = UsePN (mkPN "Havana") ;
HilversumNetherlands = UsePN (mkPN "Hilversum") ;
Honduras = UsePN (mkPN "Honduras") ;
HongKong = UsePN (mkPN "Hong Kong") ;
Hungary = UsePN (mkPN "Ungaria") ; Hungary = UsePN (mkPN "Ungaria") ;
Iceland = UsePN (mkPN "Islanda") ;
India = UsePN (mkPN "India") ;
Indonesia = UsePN (mkPN "Indonezia") ; Indonesia = UsePN (mkPN "Indonezia") ;
Iran = UsePN (mkPN "Iran (Republica islamică)" | mkPN "Iran") ;
Iraq = UsePN (mkPN "Irak" | mkPN "Iraq") ;
Ireland = UsePN (mkPN "Republica Irlanda" | mkPN "Irlanda") ; Ireland = UsePN (mkPN "Republica Irlanda" | mkPN "Irlanda") ;
Israel = UsePN (mkPN "Israel") ; Israel = UsePN (mkPN "Israel") ;
India = UsePN (mkPN "India") ;
Iraq = UsePN (mkPN "Irak" | mkPN "Iraq") ;
Iran = UsePN (mkPN "Iran (Republica islamică)" | mkPN "Iran") ;
Iceland = UsePN (mkPN "Islanda") ;
Italy = UsePN (mkPN "Italia") ; Italy = UsePN (mkPN "Italia") ;
Jamaica = UsePN (mkPN "Jamaica") ; Jamaica = UsePN (mkPN "Jamaica") ;
Jordan = UsePN (mkPN "Iordania") ;
Japan = UsePN (mkPN "Japonia") ; Japan = UsePN (mkPN "Japonia") ;
Jersey = UsePN (mkPN "Insula Jersey") ;
JerusalemIsrael = UsePN (mkPN "Ierusalim") ;
Jordan = UsePN (mkPN "Iordania") ;
Kazakhstan = UsePN (mkPN "Kazahstan") ;
Kenya = UsePN (mkPN "Kenya") ; Kenya = UsePN (mkPN "Kenya") ;
Kyrgyzstan = UsePN (mkPN "Kârgâzstan" | mkPN "Kirghizia") ;
Cambodia = UsePN (mkPN "Cambodgia") ;
Kiribati = UsePN (mkPN "Kiribati") ; Kiribati = UsePN (mkPN "Kiribati") ;
Comoros = UsePN (mkPN "Comore" | mkPN "Comoros") ;
NorthKorea = UsePN (mkPN "Coreea de Nord") ;
SouthKorea = UsePN (mkPN "Coreea de Sud") ;
Kuwait = UsePN (mkPN "Kuweit") ; Kuwait = UsePN (mkPN "Kuweit") ;
Kyrgyzstan = UsePN (mkPN "Kârgâzstan" | mkPN "Kirghizia") ;
LahorePakistan = UsePN (mkPN "Lahore") ;
Laos = UsePN (mkPN "Lao, Republica Democratică Populară" | mkPN "Laos") ; Laos = UsePN (mkPN "Lao, Republica Democratică Populară" | mkPN "Laos") ;
Lebanon = UsePN (mkPN "Liban") ;
SaintLucia = UsePN (mkPN "Saint Lucia") ;
Liechtenstein = UsePN (mkPN "Liechtenstein") ;
SriLanka = UsePN (mkPN "Sri Lanka") ;
Liberia = UsePN (mkPN "Liberia") ;
Lesotho = UsePN (mkPN "Lesotho") ;
Lithuania = UsePN (mkPN "Lituania") ;
Luxembourg = UsePN (mkPN "Luxemburg") ;
Latvia = UsePN (mkPN "Letonia") ; Latvia = UsePN (mkPN "Letonia") ;
Lebanon = UsePN (mkPN "Liban") ;
Lesotho = UsePN (mkPN "Lesotho") ;
Liberia = UsePN (mkPN "Liberia") ;
Libya = UsePN (mkPN "Libia, Jamahiriya Arabă" | mkPN "Libia") ; Libya = UsePN (mkPN "Libia, Jamahiriya Arabă" | mkPN "Libia") ;
Morocco = UsePN (mkPN "Maroc") ; Liechtenstein = UsePN (mkPN "Liechtenstein") ;
Monaco = UsePN (mkPN "Monaco") ; Lithuania = UsePN (mkPN "Lituania") ;
Moldova = UsePN (mkPN "Moldova, Republica" | mkPN "Republica Moldova") ; LondonUnitedKingdom = UsePN (mkPN "Londra") ;
Madagascar = UsePN (mkPN "Madagascar") ; LosAngelesUnitedStates = UsePN (mkPN "Los Angeles") ;
MarshallIslands = UsePN (mkPN "Insulele Marshall") ; Luxembourg = UsePN (mkPN "Luxemburg") ;
Macedonia = UsePN (mkPN "Fosta Republică Iugoslavă Macedonia" | mkPN "Republica Macedonia" | mkPN "Macedonia") ; Macedonia = UsePN (mkPN "Fosta Republică Iugoslavă Macedonia" | mkPN "Republica Macedonia" | mkPN "Macedonia") ;
Mali = UsePN (mkPN "Mali") ; Madagascar = UsePN (mkPN "Madagascar") ;
Mongolia = UsePN (mkPN "Mongolia") ;
Mauritania = UsePN (mkPN "Mauritania") ;
Malta = UsePN (mkPN "Insula Malta" | mkPN "Malta") ;
Mauritius = UsePN (mkPN "Mauriţius" | mkPN "Mauritius") ;
Maldives = UsePN (mkPN "Maldive") ;
Malawi = UsePN (mkPN "Malawi") ; Malawi = UsePN (mkPN "Malawi") ;
Mexico = UsePN (mkPN "Mexic") ;
Malaysia = UsePN (mkPN "Malaiezia" | mkPN "Malaysia" | mkPN "Malaezia") ; Malaysia = UsePN (mkPN "Malaiezia" | mkPN "Malaysia" | mkPN "Malaezia") ;
Maldives = UsePN (mkPN "Maldive") ;
Mali = UsePN (mkPN "Mali") ;
Malta = UsePN (mkPN "Insula Malta" | mkPN "Malta") ;
ManamaBahrain = UsePN (mkPN "Manama") ;
ManchesterUnitedKingdom = UsePN (mkPN "Manchester") ;
MarshallIslands = UsePN (mkPN "Insulele Marshall") ;
Martinique = UsePN (mkPN "Martinica") ;
Mauritania = UsePN (mkPN "Mauritania") ;
Mauritius = UsePN (mkPN "Mauriţius" | mkPN "Mauritius") ;
Mayotte = UsePN (mkPN "Mayotte") ;
MeccaSaudiArabia = UsePN (mkPN "Mecca") ;
Mexico = UsePN (mkPN "Mexic") ;
Micronesia = UsePN (mkPN "Micronezia, Republica Federală") ;
Moldova = UsePN (mkPN "Moldova, Republica" | mkPN "Republica Moldova") ;
Monaco = UsePN (mkPN "Monaco") ;
Mongolia = UsePN (mkPN "Mongolia") ;
Montserrat = UsePN (mkPN "Montserrat") ;
Morocco = UsePN (mkPN "Maroc") ;
MoscowRussia = UsePN (mkPN "Moscova") ;
Mozambique = UsePN (mkPN "Mozambic") ; Mozambique = UsePN (mkPN "Mozambic") ;
Myanmar = UsePN (mkPN "Myanmar") ;
NairobiKenya = UsePN (mkPN "Nairobi") ;
Namibia = UsePN (mkPN "Namibia") ; Namibia = UsePN (mkPN "Namibia") ;
Nauru = UsePN (mkPN "Nauru") ;
Nepal = UsePN (mkPN "Nepal") ;
NetanyaIsrael = UsePN (mkPN "Netania" | mkPN "Natania") ;
Netherlands = UsePN (mkPN "Ţările de Jos" | mkPN "Olanda") ;
NetherlandsAntilles = UsePN (mkPN "Antilele Olandeze") ;
NewCaledonia = UsePN (mkPN "Noua Caledonie") ; NewCaledonia = UsePN (mkPN "Noua Caledonie") ;
NewDelhiIndia = UsePN (mkPN "New Delhi") ;
NewYorkCityUnitedStates = UsePN (mkPN "New York" | mkPN "New York City") ;
NewZealand = UsePN (mkPN "Noua Zeelandă") ;
Nicaragua = UsePN (mkPN "Nicaragua") ;
Niger = UsePN (mkPN "Niger") ; Niger = UsePN (mkPN "Niger") ;
Nigeria = UsePN (mkPN "Nigeria") ; Nigeria = UsePN (mkPN "Nigeria") ;
Nicaragua = UsePN (mkPN "Nicaragua") ; Niue = UsePN (mkPN "Niue") ;
Netherlands = UsePN (mkPN "Ţările de Jos" | mkPN "Olanda") ; NorfolkIsland = UsePN (mkPN "Insula Norfolk") ;
NorthKorea = UsePN (mkPN "Coreea de Nord") ;
NorthernMarianaIslands = UsePN (mkPN "Insulele Northern Mariana") ;
Norway = UsePN (mkPN "Norvegia") ; Norway = UsePN (mkPN "Norvegia") ;
Nepal = UsePN (mkPN "Nepal") ;
Nauru = UsePN (mkPN "Nauru") ;
NewZealand = UsePN (mkPN "Noua Zeelandă") ;
Oman = UsePN (mkPN "Oman") ; Oman = UsePN (mkPN "Oman") ;
Panama = UsePN (mkPN "Panama") ; OranAlgeria = UsePN (mkPN "Oran") ;
Peru = UsePN (mkPN "Peru") ;
PapuaNewGuinea = UsePN (mkPN "Papua Noua Guinee") ;
Philippines = UsePN (mkPN "Filipine") ;
Pakistan = UsePN (mkPN "Pakistan") ; Pakistan = UsePN (mkPN "Pakistan") ;
Palau = UsePN (mkPN "Palau") ;
Panama = UsePN (mkPN "Panama") ;
PapuaNewGuinea = UsePN (mkPN "Papua Noua Guinee") ;
Paraguay = UsePN (mkPN "Paraguay") ;
Peru = UsePN (mkPN "Peru") ;
Philippines = UsePN (mkPN "Filipine") ;
Poland = UsePN (mkPN "Polonia") ; Poland = UsePN (mkPN "Polonia") ;
Portugal = UsePN (mkPN "Portugalia") ; Portugal = UsePN (mkPN "Portugalia") ;
Palau = UsePN (mkPN "Palau") ; PuertoRico = UsePN (mkPN "Porto Rico") ;
Paraguay = UsePN (mkPN "Paraguay") ;
Qatar = UsePN (mkPN "Qatar") ; Qatar = UsePN (mkPN "Qatar") ;
Reunion = UsePN (mkPN "Reunion") ;
RoermondNetherlands = UsePN (mkPN "Roermond") ;
Romania = UsePN (mkPN "România") ; Romania = UsePN (mkPN "România") ;
Russia = UsePN (mkPN "Federația Rusă" | mkPN "Rusia") ; Russia = UsePN (mkPN "Federația Rusă" | mkPN "Rusia") ;
Rwanda = UsePN (mkPN "Ruanda" | mkPN "Rwanda") ; Rwanda = UsePN (mkPN "Ruanda" | mkPN "Rwanda") ;
SaintKittsAndNevis = UsePN (mkPN "Sain Kitts şi Nevis" | mkPN "Saint Kitts şi Nevis" | mkPN "Sfântul Kitts şi Nevis") ; SaintHelena = UsePN (mkPN "Saint Helena") ;
SaintVincentAndTheGrenadines = UsePN (mkPN "Sfântul Vincenţiu şi Grenadine" | mkPN "Saint Vincent şi Grenadines" | mkPN "Sfântul Vincent şi Grenadine") ; SaintLucia = UsePN (mkPN "Saint Lucia") ;
SaudiArabia = UsePN (mkPN "Arabia Saudită") ; Samoa = UsePN (mkPN "Samoa") ;
SaoTomeAndPrincipe = UsePN (mkPN "São Tomé şi Príncipe" | mkPN "Sao Tome şi Principe") ;
SolomonIslands = UsePN (mkPN "Insulele Solomon") ;
Seychelles = UsePN (mkPN "Seychelles") ;
Sudan = UsePN (mkPN "Sudan") ;
Sweden = UsePN (mkPN "Suedia") ;
Singapore = UsePN (mkPN "Singapore") ;
Slovenia = UsePN (mkPN "Slovenia") ;
Slovakia = UsePN (mkPN "Slovacia") ;
SierraLeone = UsePN (mkPN "Sierra Leone") ;
SanMarino = UsePN (mkPN "San Marino") ; SanMarino = UsePN (mkPN "San Marino") ;
SantiagoChile = UsePN (mkPN "Santiago de Chile") ;
SaudiArabia = UsePN (mkPN "Arabia Saudită") ;
Senegal = UsePN (mkPN "Senegal") ; Senegal = UsePN (mkPN "Senegal") ;
Seychelles = UsePN (mkPN "Seychelles") ;
SierraLeone = UsePN (mkPN "Sierra Leone") ;
Singapore = UsePN (mkPN "Singapore") ;
Slovakia = UsePN (mkPN "Slovacia") ;
Slovenia = UsePN (mkPN "Slovenia") ;
SolomonIslands = UsePN (mkPN "Insulele Solomon") ;
Somalia = UsePN (mkPN "Somalia") ; Somalia = UsePN (mkPN "Somalia") ;
SouthAfrica = UsePN (mkPN "Africa de Sud") ;
SouthKorea = UsePN (mkPN "Coreea de Sud") ;
Spain = UsePN (mkPN "Spania") ;
SriLanka = UsePN (mkPN "Sri Lanka") ;
Sudan = UsePN (mkPN "Sudan") ;
Suriname = UsePN (mkPN "Surinam") ; Suriname = UsePN (mkPN "Surinam") ;
ElSalvador = UsePN (mkPN "El Salvador") ;
Syria = UsePN (mkPN "Siria") ;
Swaziland = UsePN (mkPN "Swaziland") ; Swaziland = UsePN (mkPN "Swaziland") ;
Chad = UsePN (mkPN "Ciad") ; Sweden = UsePN (mkPN "Suedia") ;
Togo = UsePN (mkPN "Togo") ; Switzerland = UsePN (mkPN "Elveţia" | mkPN "Eleveţia") ;
Thailand = UsePN (mkPN "Thailanda" | mkPN "Tailanda") ; Syria = UsePN (mkPN "Siria") ;
Tajikistan = UsePN (mkPN "Tajikistan" | mkPN "Tadjikistan") ;
Turkmenistan = UsePN (mkPN "Turkmenia" | mkPN "Turkmenistan") ;
Tunisia = UsePN (mkPN "Tunisia") ;
Tonga = UsePN (mkPN "Tonga") ;
Turkey = UsePN (mkPN "Turcia") ;
Tuvalu = UsePN (mkPN "Tuvalu") ;
Taiwan = UsePN (mkPN "Taiwan") ; Taiwan = UsePN (mkPN "Taiwan") ;
Tajikistan = UsePN (mkPN "Tajikistan" | mkPN "Tadjikistan") ;
Tanzania = UsePN (mkPN "Tanzania") ; Tanzania = UsePN (mkPN "Tanzania") ;
Ukraine = UsePN (mkPN "Ucraina") ; TelAvivIsrael = UsePN (mkPN "Tel Aviv") ;
Thailand = UsePN (mkPN "Thailanda" | mkPN "Tailanda") ;
Togo = UsePN (mkPN "Togo") ;
Tokelau = UsePN (mkPN "Tokelau") ;
Tonga = UsePN (mkPN "Tonga") ;
Tunisia = UsePN (mkPN "Tunisia") ;
Turkey = UsePN (mkPN "Turcia") ;
Turkmenistan = UsePN (mkPN "Turkmenia" | mkPN "Turkmenistan") ;
Tuvalu = UsePN (mkPN "Tuvalu") ;
Uganda = UsePN (mkPN "Uganda") ; Uganda = UsePN (mkPN "Uganda") ;
Ukraine = UsePN (mkPN "Ucraina") ;
UnitedArabEmirates = UsePN (mkPN "Emiratele Arabe Unite") ;
UnitedKingdom = UsePN (mkPN "Regatul Unit" | mkPN "Marea Britanie") ;
UnitedStates = UsePN (mkPN "Statele Unite" | mkPN "Statele Unite ale Americii") ; UnitedStates = UsePN (mkPN "Statele Unite" | mkPN "Statele Unite ale Americii") ;
Uruguay = UsePN (mkPN "Uruguay") ; Uruguay = UsePN (mkPN "Uruguay") ;
Uzbekistan = UsePN (mkPN "Uzbekistan") ; Uzbekistan = UsePN (mkPN "Uzbekistan") ;
Vanuatu = UsePN (mkPN "Vanuatu") ;
Venezuela = UsePN (mkPN "Venezuela") ; Venezuela = UsePN (mkPN "Venezuela") ;
Vietnam = UsePN (mkPN "Vietnam") ; Vietnam = UsePN (mkPN "Vietnam") ;
Vanuatu = UsePN (mkPN "Vanuatu") ; WesternSahara = UsePN (mkPN "Sahara de Vest") ;
Yemen = UsePN (mkPN "Yemen") ; Yemen = UsePN (mkPN "Yemen") ;
SouthAfrica = UsePN (mkPN "Africa de Sud") ;
Zambia = UsePN (mkPN "Zambia") ; Zambia = UsePN (mkPN "Zambia") ;
SerbiaAndMontenegro = UsePN (mkPN "Serbia şi Muntenegru") ; Zimbabwe = UsePN (mkPN "Zimbabwe") ;
TrinidadAndTobago = UsePN (mkPN "Trinidad şi Tobago" | mkPN "Trinidad-Tobago") ;
}; };