diff --git a/examples/SUMO/CountriesAndRegionsRon.gf b/examples/SUMO/CountriesAndRegionsRon.gf index a2ca16f0f..cf8f1f370 100644 --- a/examples/SUMO/CountriesAndRegionsRon.gf +++ b/examples/SUMO/CountriesAndRegionsRon.gf @@ -4,242 +4,266 @@ concrete CountriesAndRegionsRon of CountriesAndRegions = MidLevelOntologyRon ** flags 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ă") ; + AmmanJordan = UsePN (mkPN "Amman") ; + Andorra = UsePN (mkPN "Andorra" | mkPN "Andora") ; + Angola = UsePN (mkPN "Angola") ; 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") ; + 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") ; + Bhutan = UsePN (mkPN "Bhutan") ; + Bolivia = UsePN (mkPN "Bolivia") ; + Botswana = UsePN (mkPN "Botswana") ; BouvetIsland = UsePN (mkPN "Insula Bouvet") ; + Brazil = UsePN (mkPN "Brazilia") ; BritishIndianOceanTerritory = UsePN (mkPN "Teritoriile Britanice din Oceanul Indian") ; 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") ; + 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") ; 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") ; + 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") ; + Croatia = UsePN (mkPN "Croaţia") ; Cuba = UsePN (mkPN "Cuba") ; - CapeVerde = UsePN (mkPN "Capul Verde") ; Cyprus = UsePN (mkPN "Cipru") ; CzechRepublic = UsePN (mkPN "Republica Cehă" | mkPN "Cehia") ; - Germany = UsePN (mkPN "Germania") ; - Djibouti = UsePN (mkPN "Djibouti") ; + DelhiIndia = UsePN (mkPN "Delhi") ; + DemocraticRepublicOfTheCongo = UsePN (mkPN "Zair" | mkPN "Congo, Republica Democratică" | mkPN "Republica Democrată Congo") ; Denmark = UsePN (mkPN "Danemarca") ; + Djibouti = UsePN (mkPN "Djibouti") ; Dominica = UsePN (mkPN "Dominica") ; 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") ; - Estonia = UsePN (mkPN "Estonia") ; Egypt = UsePN (mkPN "Egipt") ; - WesternSahara = UsePN (mkPN "Sahara de Vest") ; - 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") ; + ElSalvador = UsePN (mkPN "El Salvador") ; 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") ; + Greenland = UsePN (mkPN "Groenlanda") ; + Grenada = UsePN (mkPN "Grenada") ; + Guadeloupe = UsePN (mkPN "Guadeloupe") ; + Guam = UsePN (mkPN "Guam") ; Guatemala = UsePN (mkPN "Guatemala") ; + Guernsey = UsePN (mkPN "Guernsey") ; + Guinea = UsePN (mkPN "Guinea" | mkPN "Guineea") ; Guyana = UsePN (mkPN "Guiana" | mkPN "Guyana") ; - Honduras = UsePN (mkPN "Honduras") ; - Croatia = UsePN (mkPN "Croaţia") ; + HaderaIsrael = UsePN (mkPN "Hadera") ; + HaifaIsrael = UsePN (mkPN "Haifa") ; 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") ; + Iceland = UsePN (mkPN "Islanda") ; + India = UsePN (mkPN "India") ; 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") ; 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") ; Jamaica = UsePN (mkPN "Jamaica") ; - Jordan = UsePN (mkPN "Iordania") ; 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") ; - Kyrgyzstan = UsePN (mkPN "Kârgâzstan" | mkPN "Kirghizia") ; - Cambodia = UsePN (mkPN "Cambodgia") ; 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") ; + Kyrgyzstan = UsePN (mkPN "Kârgâzstan" | mkPN "Kirghizia") ; + LahorePakistan = UsePN (mkPN "Lahore") ; 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") ; + Lebanon = UsePN (mkPN "Liban") ; + Lesotho = UsePN (mkPN "Lesotho") ; + Liberia = UsePN (mkPN "Liberia") ; Libya = UsePN (mkPN "Libia, Jamahiriya Arabă" | mkPN "Libia") ; - Morocco = UsePN (mkPN "Maroc") ; - Monaco = UsePN (mkPN "Monaco") ; - Moldova = UsePN (mkPN "Moldova, Republica" | mkPN "Republica Moldova") ; - Madagascar = UsePN (mkPN "Madagascar") ; - MarshallIslands = UsePN (mkPN "Insulele Marshall") ; + Liechtenstein = UsePN (mkPN "Liechtenstein") ; + Lithuania = UsePN (mkPN "Lituania") ; + LondonUnitedKingdom = UsePN (mkPN "Londra") ; + LosAngelesUnitedStates = UsePN (mkPN "Los Angeles") ; + Luxembourg = UsePN (mkPN "Luxemburg") ; Macedonia = UsePN (mkPN "Fosta Republică Iugoslavă Macedonia" | mkPN "Republica Macedonia" | mkPN "Macedonia") ; - Mali = UsePN (mkPN "Mali") ; - 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") ; + Madagascar = UsePN (mkPN "Madagascar") ; Malawi = UsePN (mkPN "Malawi") ; - Mexico = UsePN (mkPN "Mexic") ; 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") ; + Myanmar = UsePN (mkPN "Myanmar") ; + NairobiKenya = UsePN (mkPN "Nairobi") ; 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") ; + 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") ; Nigeria = UsePN (mkPN "Nigeria") ; - Nicaragua = UsePN (mkPN "Nicaragua") ; - Netherlands = UsePN (mkPN "Ţările de Jos" | mkPN "Olanda") ; + Niue = UsePN (mkPN "Niue") ; + NorfolkIsland = UsePN (mkPN "Insula Norfolk") ; + NorthKorea = UsePN (mkPN "Coreea de Nord") ; + NorthernMarianaIslands = UsePN (mkPN "Insulele Northern Mariana") ; Norway = UsePN (mkPN "Norvegia") ; - Nepal = UsePN (mkPN "Nepal") ; - Nauru = UsePN (mkPN "Nauru") ; - NewZealand = UsePN (mkPN "Noua Zeelandă") ; Oman = UsePN (mkPN "Oman") ; - Panama = UsePN (mkPN "Panama") ; - Peru = UsePN (mkPN "Peru") ; - PapuaNewGuinea = UsePN (mkPN "Papua Noua Guinee") ; - Philippines = UsePN (mkPN "Filipine") ; + OranAlgeria = UsePN (mkPN "Oran") ; 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") ; Portugal = UsePN (mkPN "Portugalia") ; - Palau = UsePN (mkPN "Palau") ; - Paraguay = UsePN (mkPN "Paraguay") ; + PuertoRico = UsePN (mkPN "Porto Rico") ; Qatar = UsePN (mkPN "Qatar") ; + Reunion = UsePN (mkPN "Reunion") ; + RoermondNetherlands = UsePN (mkPN "Roermond") ; Romania = UsePN (mkPN "România") ; Russia = UsePN (mkPN "Federația Rusă" | mkPN "Rusia") ; Rwanda = UsePN (mkPN "Ruanda" | mkPN "Rwanda") ; - SaintKittsAndNevis = UsePN (mkPN "Sain Kitts şi Nevis" | mkPN "Saint Kitts şi Nevis" | mkPN "Sfântul Kitts şi Nevis") ; - SaintVincentAndTheGrenadines = UsePN (mkPN "Sfântul Vincenţiu şi Grenadine" | mkPN "Saint Vincent şi Grenadines" | mkPN "Sfântul Vincent şi Grenadine") ; - SaudiArabia = UsePN (mkPN "Arabia Saudită") ; - 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") ; + SaintHelena = UsePN (mkPN "Saint Helena") ; + SaintLucia = UsePN (mkPN "Saint Lucia") ; + Samoa = UsePN (mkPN "Samoa") ; SanMarino = UsePN (mkPN "San Marino") ; + SantiagoChile = UsePN (mkPN "Santiago de Chile") ; + SaudiArabia = UsePN (mkPN "Arabia Saudită") ; 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") ; + 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") ; - ElSalvador = UsePN (mkPN "El Salvador") ; - Syria = UsePN (mkPN "Siria") ; Swaziland = UsePN (mkPN "Swaziland") ; - Chad = UsePN (mkPN "Ciad") ; - Togo = UsePN (mkPN "Togo") ; - Thailand = UsePN (mkPN "Thailanda" | mkPN "Tailanda") ; - 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") ; + Sweden = UsePN (mkPN "Suedia") ; + Switzerland = UsePN (mkPN "Elveţia" | mkPN "Eleveţia") ; + Syria = UsePN (mkPN "Siria") ; Taiwan = UsePN (mkPN "Taiwan") ; + Tajikistan = UsePN (mkPN "Tajikistan" | mkPN "Tadjikistan") ; 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") ; + 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") ; Uruguay = UsePN (mkPN "Uruguay") ; Uzbekistan = UsePN (mkPN "Uzbekistan") ; + Vanuatu = UsePN (mkPN "Vanuatu") ; Venezuela = UsePN (mkPN "Venezuela") ; Vietnam = UsePN (mkPN "Vietnam") ; - Vanuatu = UsePN (mkPN "Vanuatu") ; + WesternSahara = UsePN (mkPN "Sahara de Vest") ; Yemen = UsePN (mkPN "Yemen") ; - SouthAfrica = UsePN (mkPN "Africa de Sud") ; Zambia = UsePN (mkPN "Zambia") ; - SerbiaAndMontenegro = UsePN (mkPN "Serbia şi Muntenegru") ; - TrinidadAndTobago = UsePN (mkPN "Trinidad şi Tobago" | mkPN "Trinidad-Tobago") ; + Zimbabwe = UsePN (mkPN "Zimbabwe") ; };