packages feed

gf-3.2: examples/SUMO/CountriesAndRegionsRon.gf

--# -path=.:englishExtended
concrete CountriesAndRegionsRon of CountriesAndRegions = MidLevelOntologyRon ** open ParadigmsRon,NounRon  in {

flags
  coding = utf8 ;
  
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)") ;
  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") ;
  Cyprus = UsePN (mkPN "Cipru") ;
  CzechRepublic = UsePN (mkPN "Republica Cehă" | mkPN "Cehia") ;
  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ă") ;
  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") ;
  Egypt = UsePN (mkPN "Egipt") ;
  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") ;
  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") ;
  Italy = UsePN (mkPN "Italia") ;
  Jamaica = UsePN (mkPN "Jamaica") ;
  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") ;
  Kiribati = UsePN (mkPN "Kiribati") ;
  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") ;
  Latvia = UsePN (mkPN "Letonia") ;
  Lebanon = UsePN (mkPN "Liban") ;
  Lesotho = UsePN (mkPN "Lesotho") ;
  Liberia = UsePN (mkPN "Liberia") ;
  Libya = UsePN (mkPN "Libia, Jamahiriya Arabă" | mkPN "Libia") ;
  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") ;
  Madagascar = UsePN (mkPN "Madagascar") ;
  Malawi = UsePN (mkPN "Malawi") ;
  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") ;
  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") ;
  Oman = UsePN (mkPN "Oman") ;
  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") ;
  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") ;
  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") ;
  Swaziland = UsePN (mkPN "Swaziland") ;
  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") ;
  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") ;
  WesternSahara = UsePN (mkPN "Sahara de Vest") ;
  Yemen = UsePN (mkPN "Yemen") ;
  Zambia = UsePN (mkPN "Zambia") ;
  Zimbabwe = UsePN (mkPN "Zimbabwe") ;

};