path: root/examples/SUMO/CountriesAndRegions.gf

abstract CountriesAndRegions = MidLevelOntology, Geography, Government ** {

  fun Country : Class ;

  fun Afghanistan : Ind (both Country Nation);

  fun Albania : Ind (both Country Nation);

  fun Algeria : Ind (both Country Nation);

  fun Andorra : Ind (both Country EuropeanNation);

  fun Angola : Ind (both Country Nation);

  fun AntiguaAndBarbuda : Ind (both Country Nation);

  fun Argentina : Ind (both Country Nation);

  fun Armenia : Ind (both Country Nation);

  fun Australia : Ind (both Country Nation);

  fun Austria : Ind (both Country Nation);

  fun Azerbaijan : Ind (both Country Nation);

  fun Bahamas : Ind Country ;

  fun Bahrain : Ind (both Country Nation);

  fun Bangladesh : Ind (both Country Nation);

  fun Barbados : Ind (both Country Nation);

  fun Belarus : Ind (both Country Nation);

  fun Belgium : Ind (both Country EuropeanNation);

  fun Belize : Ind (both Country Nation);

  fun Benin : Ind (both Country Nation);

  fun Bhutan : Ind (both Country Nation);

  fun Bolivia : Ind (both Country Nation);

  fun BosniaAndHerzegovina : Ind (both Country Nation);

  fun Botswana : Ind (both Country Nation);

  fun Brazil : Ind (both Country Nation);

  fun Brunei : Ind (both Country Nation);

  fun Bulgaria : Ind (both Country Nation);

  fun BurkinaFaso : Ind (both Country Nation);

  fun Burma : Ind Country ;

  fun Burundi : Ind (both Country Nation);

  fun Cambodia : Ind (both Country Nation);

  fun Cameroon : Ind (both Country Nation);

  fun Canada : Ind (both Country Nation);

  fun CapeVerde : Ind (both Country Nation);

  fun CentralAfricanRepublic : Ind (both Country Nation);

  fun Chad : Ind (both Country Nation);

  fun Chile : Ind (both Country Nation);

  fun China : Ind (both Country Nation);

  fun Colombia : Ind (both Country Nation);

  fun Comoros : Ind (both Country Nation);

  fun Congo : Ind Country ;

  fun CostaRica : Ind (both Country Nation);

  fun CoteDIvoire : Ind (both Country Nation);

  fun Croatia : Ind (both Country Nation);

  fun Cuba : Ind (both Country (both Nation Island)) ;

  fun Cyprus : Ind (both Country Nation);

  fun CzechRepublic : Ind (both Country Nation);

  fun Denmark : Ind (both Country EuropeanNation);

  fun Djibouti : Ind (both Country Nation);

  fun Dominica : Ind (both Country Nation);

  fun DominicanRepublic : Ind (both Country Nation);

  fun Ecuador : Ind (both Country Nation);

  fun Egypt : Ind (both Country Nation);

  fun ElSalvador : Ind (both Country Nation);

  fun EquatorialGuinea : Ind (both Country Nation);

  fun Eritrea : Ind (both Country Nation);

  fun Estonia : Ind (both Country Nation);

  fun Ethiopia : Ind (both Country Nation);

  fun Fiji : Ind (both Country Nation);

  fun Finland : Ind (both Country EuropeanNation);

  fun France : Ind (both Country EuropeanNation);

  fun FrenchGuiana : Ind (both Country (both LandArea DependencyOrSpecialSovereigntyArea)) ;

  fun Gabon : Ind (both Country Nation);

  fun Gambia : Ind (both Country Nation);

  fun Georgia : Ind (both Country Nation);

  fun Germany : Ind (both Country EuropeanNation);

  fun Ghana : Ind (both Country Nation);

  fun Greece : Ind (both Country EuropeanNation);

  fun Grenada : Ind (both Country Nation);

  fun Guatemala : Ind (both Country Nation);

  fun Guinea : Ind (both Country Nation);

  fun Guyana : Ind (both Country Nation);

  fun Haiti : Ind (both Country Nation);

  fun HolySee : Ind (both Country EuropeanNation);

  fun Honduras : Ind (both Country Nation);

  fun Hungary : Ind (both Country Nation);

  fun Iceland : Ind (both Country (both EuropeanNation Island)) ;

  fun India : Ind (both Country Nation);

  fun Indonesia : Ind (both Country Nation);

  fun Iran : Ind (both Country Nation);

  fun Iraq : Ind (both Country Nation);

  fun Ireland : Ind (both Country EuropeanNation);

  fun Israel : Ind (both Country Nation);

  fun Italy : Ind (both Country EuropeanNation);

  fun Jamaica : Ind (both Country Nation);

  fun Japan : Ind (both Country (both Nation Island)) ;

  fun Jordan : Ind (both Country Nation);

  fun Kazakstan : Ind Country ;

  fun Kenya : Ind (both Country Nation);

  fun Kiribati : Ind (both Country Nation);

  fun Kuwait : Ind (both Country Nation);

  fun Kyrgyzstan : Ind (both Country Nation);

  fun Laos : Ind (both Country Nation);

  fun Latvia : Ind (both Country Nation);

  fun Lebanon : Ind (both Country Nation);

  fun Lesotho : Ind (both Country Nation);

  fun Liberia : Ind (both Country Nation);

  fun Libya : Ind (both Country Nation);

  fun Liechtenstein : Ind (both Country Nation);

  fun Lithuania : Ind (both Country Nation);

  fun Luxembourg : Ind (both Country Nation);

  fun Macedonia : Ind (both Country Nation);

  fun Madagascar : Ind (both Country Nation);

  fun Malawi : Ind (both Country Nation);

  fun Malaysia : Ind (both Country Nation);

  fun Maldives : Ind (both Country Nation);

  fun Mali : Ind (both Country Nation);

  fun Malta : Ind (both Country EuropeanNation);

  fun MarshallIslands : Ind (both Country Nation);

  fun Mauritania : Ind (both Country Nation);

  fun Mauritius : Ind (both Country Nation);

  fun Mexico : Ind (both Country Nation);

  fun Micronesia : Ind (both Country Nation);

  fun Moldova : Ind (both Country Nation);

  fun Monaco : Ind (both Country EuropeanNation);

  fun Mongolia : Ind (both Country Nation);

  fun Morocco : Ind (both Country Nation);

  fun Mozambique : Ind (both Country Nation);

  fun Namibia : Ind (both Country Nation);

  fun Nauru : Ind (both Country Nation);

  fun Nepal : Ind (both Country Nation);

  fun Netherlands : Ind (both Country EuropeanNation);

  fun NewCaledonia : Ind (both Country (both LandArea DependencyOrSpecialSovereigntyArea)) ;

  fun NewZealand : Ind (both Country Nation);

  fun Nicaragua : Ind (both Country Nation);

  fun Niger : Ind (both Country Nation);

  fun Nigeria : Ind (both Country Nation);

  fun NorthKorea : Ind (both Country Nation);

  fun Norway : Ind (both Country EuropeanNation);

  fun Oman : Ind (both Country Nation);

  fun Pakistan : Ind (both Country Nation);

  fun Palau : Ind (both Country Nation);

  fun Panama : Ind (both Country Nation);

  fun PapuaNewGuinea : Ind (both Country Nation);

  fun Paraguay : Ind (both Country Nation);

  fun Peru : Ind (both Country Nation);

  fun Philippines : Ind (both Country Nation);

  fun Poland : Ind (both Country EuropeanNation);

  fun Portugal : Ind (both Country EuropeanNation);

  fun Qatar : Ind (both Country Nation);

  fun Romania : Ind (both Country Nation);

  fun Russia : Ind (both Country Nation);

  fun Rwanda : Ind (both Country Nation);

  -- The nation of SaintKittsAndNevis
  fun SaintKittsAndNevis : Ind (both Country Nation);

  fun SaintLucia : Ind (both Country Nation);

  -- The nation of SaintVincentAndTheGrenadines.
  fun SaintVincentAndTheGrenadines : Ind (both Country Nation);

  fun SanMarino : Ind (both Country EuropeanNation);

  -- The nation of SaoTomeAndPrincipe.
  fun SaoTomeAndPrincipe : Ind (both Country Nation);

  fun SaudiArabia : Ind (both Country Nation);

  fun Senegal : Ind (both Country Nation);

  -- The nation of SerbiaAndMontenegro.
  fun SerbiaAndMontenegro : Ind (both Country Nation);

  fun Seychelles : Ind (both Country Nation);

  fun SierraLeone : Ind (both Country Nation);

  fun Singapore : Ind (both Country Nation);

  fun Slovakia : Ind (both Country Nation);

  fun Slovenia : Ind (both Country Nation);

  fun SolomonIslands : Ind (both Country Nation);

  fun Somalia : Ind (both Country Nation);

  fun SouthAfrica : Ind (both Country Nation);

  fun SouthKorea : Ind (both Country Nation);

  fun Spain : Ind (both Country EuropeanNation);

  fun SriLanka : Ind (both Country Nation);

  fun Sudan : Ind (both Country Nation);

  fun Suriname : Ind (both Country Nation);

  fun Swaziland : Ind (both Country Nation);

  fun Sweden : Ind (both Country EuropeanNation);

  fun Switzerland : Ind (both Country EuropeanNation);

  fun Syria : Ind (both Country Nation);

  fun Taiwan : Ind (both Country Nation);

  fun Tajikistan : Ind (both Country Nation);

  fun Tanzania : Ind (both Country Nation);

  fun Thailand : Ind (both Country Nation);

  fun Togo : Ind (both Country Nation);

  fun Tonga : Ind (both Country Nation);

  -- The nation of TrinidadAndTobago.
  fun TrinidadAndTobago : Ind (both Country Nation);

  fun Tunisia : Ind (both Country Nation);

  fun Turkey : Ind (both Country Nation);

  fun Turkmenistan : Ind (both Country Nation);

  fun Tuvalu : Ind (both Country Nation);

  fun Uganda : Ind (both Country Nation);

  fun Ukraine : Ind (both Country Nation);

  fun UnitedArabEmirates : Ind (both Country EuropeanNation);

  fun UnitedKingdom : Ind (both Country Nation);

  fun UnitedStates : Ind (both Country Nation);

  fun Uruguay : Ind (both Country Nation);

  fun Uzbekistan : Ind (both Country Nation);

  fun Vanuatu : Ind (both Country Nation);

  fun Venezuela : Ind (both Country Nation);

  fun Vietnam : Ind (both Country Nation);

  fun WesternSahara : Ind (both Country (both Nation GeopoliticalArea)) ;

  fun WesternSamoa : Ind Country ;

  fun Yemen : Ind (both Country Nation);

  fun Zaire : Ind Country ;

  fun Zambia : Ind (both Country Nation);

  --  The City of Adana in Turkey.
  fun AdanaTurkey : Ind City ;

  -- The City of AddisAbaba in Ethiopia.
  fun AddisAbabaEthiopia : Ind City ;

  -- The City of Aden in Yemen.
  fun AdenYemen : Ind City ;

  -- The City of Adora in WestBank.
  fun AdoraWestBank : Ind City ;

  -- The City of Afula in Israel.
  fun AfulaIsrael : Ind City ;

  -- The City of Agri in Turkey.
  fun AgriTurkey : Ind City ;

  -- The City of AinDefla in Algeria.
  fun AinDeflaAlgeria : Ind City ;

  -- The City of AinElHajar in Algeria.
  fun AinElHajarAlgeria : Ind City ;

  -- The City of Ajaccio in France.
  fun AjaccioFrance : Ind City ;

  -- The City of AlBalamand in Lebanon.
  fun AlBalamandLebanon : Ind City ;

  -- A state in the southeastern UnitedStates that 
  -- borders on the GulfOfMexico.
  fun Alabama : Ind AmericanState ;

  -- The largest state in the UnitedStates.
  fun Alaska : Ind AmericanState ;

  -- The City of AleiSinai in GazaStrip.
  fun AleiSinaiGazaStrip : Ind City ;

  -- The City of AleiZahav in WestBank.
  fun AleiZahavWestBank : Ind City ;

  -- The City of Aley in Lebanon.
  fun AleyLebanon : Ind City ;

  -- The City of Algiers in Algeria.
  fun AlgiersAlgeria : Ind City ;

  -- The City of AlkhanYurt in Russia.
  fun AlkhanYurtRussia : Ind City ;

  -- The City of AlonMoreh in WestBank.
  fun AlonMorehWestBank : Ind City ;

  -- The City of Ambon in Indonesia.
  fun AmbonIndonesia : Ind City ;

  -- The class of cities that are in the UnitedStates.
  fun AmericanCity : Class ;
  fun AmericanCity_Class : SubClass AmericanCity City ;

  -- A dependency of the UnitedStates
  fun AmericanSamoa : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The class of states that make up the UnitedStates.
  fun AmericanState : Class ;
  fun AmericanState_Class : SubClass AmericanState StateOrProvince ;

  -- The City of Amman in Jordan.
  fun AmmanJordan : Ind City ;

  -- The City of AnNuwaydirat in Bahrain.
  fun AnNuwaydiratBahrain : Ind City ;

  -- The City of Andean in Spain.
  fun AndeanSpain : Ind City ;

  -- The City of AngkorWat in Cambodia.
  fun AngkorWatCambodia : Ind City ;

  -- A dependency of the UnitedKingdom
  fun Anguilla : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The City of Ankara in Turkey.
  fun AnkaraTurkey : Ind City ;

  -- The City of Antalya in Turkey.
  fun AntalyaTurkey : Ind City ;

  fun Antarctica : Ind GeopoliticalArea ;

  -- The City of Antioquia in Colombia.
  fun AntioquiaColombia : Ind City ;

  -- The City of Antwerp in Belgium.
  fun AntwerpBelgium : Ind City ;

  -- The City of Apumirac in Peru.
  fun ApumiracPeru : Ind City ;

  -- The City of Apure in Venezuela.
  fun ApureVenezuela : Ind City ;

  -- The City of Arauca in Colombia.
  fun AraucaColombia : Ind City ;

  -- The City of Argun in Russia.
  fun ArgunRussia : Ind City ;

  -- The City of Ariel in WestBank.
  fun ArielWestBank : Ind City ;

  -- A state in the southwestern UnitedStates that 
  -- borders on Mexico.
  fun Arizona : Ind AmericanState ;

  -- A state in the southeastern UnitedStates that was 
  -- part of the Confederacy.
  fun Arkansas : Ind AmericanState ;

  -- The City of Armagh in NorthernIreland.
  fun ArmaghNorthernIreland : Ind City ;

  -- A dependency of the Netherlands
  fun Aruba : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The City of Arzew in Algeria.
  fun ArzewAlgeria : Ind City ;

  -- The City of Ashdod in Israel.
  fun AshdodIsrael : Ind City ;

  -- A dependency of Australia
  fun AshmoreAndCartierIslands : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The City of Askelon in Israel.
  fun AskelonIsrael : Ind City ;

  -- The City of Asmara in Eritrea.
  fun AsmaraEritrea : Ind City ;

  -- The City of Assam in India.
  fun AssamIndia : Ind City ;

  -- The City of Aswan in Egypt.
  fun AswanEgypt : Ind City ;

  -- The City of Asyut in Egypt.
  fun AsyutEgypt : Ind City ;

  -- The City of Athens in Greece.
  fun AthensGreece : Ind City ;

  -- The largest City in Georgia.
  fun AtlantaGeorgia : Ind AmericanCity ;

  -- The City of Atrush in Iraq.
  fun AtrushIraq : Ind City ;

  -- The City of Atzmona in GazaStrip.
  fun AtzmonaGazaStrip : Ind City ;

  -- The City of AvneiHefetz in Israel.
  fun AvneiHefetzIsrael : Ind City ;

  -- The City of Ayacucho in Peru.
  fun AyacuchoPeru : Ind City ;

  -- The City of Azor in Israel.
  fun AzorIsrael : Ind City ;

  -- The City of BKaot in WestBank.
  fun BKaotWestBank : Ind City ;

  -- The City of BadVilbel in Germany.
  fun BadVilbelGermany : Ind City ;

  -- The City of Baghdad in Iraq.
  fun BaghdadIraq : Ind City ;

  -- The City of Bagre in Colombia.
  fun BagreColombia : Ind City ;

  -- The City of Bahawalpur in Pakistan.
  fun BahawalpurPakistan : Ind City ;

  -- The City of BakaAlGarbiyeh in Israel.
  fun BakaAlGarbiyehIsrael : Ind City ;

  -- A dependency of the UnitedStates
  fun BakerIsland : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The City of BakkaAlSharkiya in WestBank.
  fun BakkaAlSharkiyaWestBank : Ind City ;

  -- The City of Baku in Azerbaijan.
  fun BakuAzerbaijan : Ind City ;

  -- The City of Bale in Ethiopia.
  fun BaleEthiopia : Ind City ;

  -- The largest City in Maryland.
  fun BaltimoreMaryland : Ind AmericanCity ;

  -- The City of Banbridge in NorthernIreland.
  fun BanbridgeNorthernIreland : Ind City ;

  -- The City of Bangkok in Thailand.
  fun BangkokThailand : Ind City ;

  -- The City of Bangor in NorthernIreland.
  fun BangorNorthernIreland : Ind City ;

  -- The City of Bangui in CentralAfricanRepublic.
  fun BanguiCentralAfricanRepublic : Ind City ;

  -- The City of Barcelona in Spain.
  fun BarcelonaSpain : Ind City ;

  -- The City of Barkeo in Cambodia.
  fun BarkeoCambodia : Ind City ;

  -- The City of Barrancabermeja in Colombia.
  fun BarrancabermejaColombia : Ind City ;

  -- The City of Basra in Israel.
  fun BasraIsrael : Ind City ;
 
  -- A dependency of France
  fun BassasDaIndia : Ind (both Island DependencyOrSpecialSovereigntyArea) ;

  -- The City of BatYam in Israel.
  fun BatYamIsrael : Ind City ;

  -- The City of Batman in Turkey.
  fun BatmanTurkey : Ind City ;

  -- The City of BeErSheva in Israel.
  fun BeErShevaIsrael : Ind City ;

  -- The City of Beasain in Spain.
  fun BeasainSpain : Ind City ;

  -- The City of Beirut in Lebanon.
  fun BeirutLebanon : Ind City ;

  -- The City of BeitEl in WestBank.
  fun BeitElWestBank : Ind City ;

  -- The City of BeitHaggai in WestBank.
  fun BeitHaggaiWestBank : Ind City ;

  -- The City of BeitHanina in WestBank.
  fun BeitHaninaWestBank : Ind City ;

  -- The City of BeitSahur in WestBank.
  fun BeitSahurWestBank : Ind City ;

  -- The City of BeitSheAn in Israel.
  fun BeitSheAnIsrael : Ind City ;

  -- The City of BeitShemesh in Israel.
  fun BeitShemeshIsrael : Ind City ;

  -- The City of Beledweyne in Somalia.
  fun BeledweyneSomalia : Ind City ;

  -- The City of Belfast in NorthernIreland.
  fun BelfastNorthernIreland : Ind City ;

  -- The City of Belgrade in SerbiaAndMontenegro.
  fun BelgradeSerbiaAndMontenegro : Ind City ;

  -- The City of Berlin in Germany. BerlinGermany The capital of Germany and the largest 
  -- City of the country.
  fun BerlinGermany : Ind EuropeanCity ;

  -- A dependency of the UnitedKingdom
  fun Bermuda : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The capital of Switzerland.
  fun BernSwitzerland : Ind EuropeanCity ;

  -- The City of BetLeHiyeh in GazaStrip.
  fun BetLeHiyehGazaStrip : Ind City ;

  fun BetLidJunctionIsrael : Ind GeographicArea ;

  -- The City of BethEl in Israel.
  fun BethElIsrael : Ind City ;

  -- The City of Bethlehem in WestBank.
  fun BethlehemWestBank : Ind City ;

  -- The City of Bidya in WestBank.
  fun BidyaWestBank : Ind City ;

  -- The City of Bilbao in Spain.
  fun BilbaoSpain : Ind City ;

  -- The City of Billabona in Spain.
  fun BillabonaSpain : Ind City ;

  -- The City of Binyamina in Israel.
  fun BinyaminaIsrael : Ind City ;

  -- The City of Bishkek in Kyrgyzstan.
  fun BishkekKyrgyzstan : Ind City ;

  -- The City of BneiAyish in Israel.
  fun BneiAyishIsrael : Ind City ;

  -- The City of Bogota in Colombia.
  fun BogotaColombia : Ind City ;

  -- The City of Bologna in Italy.
  fun BolognaItaly : Ind City ;

  -- The City of Bonn in Germany.
  fun BonnGermany : Ind City ;

  fun BosphorousStraitsTurkey : Ind GeographicArea ;

  -- The largest City in Massachusetts.
  fun BostonMassachusetts : Ind AmericanCity ;

  -- The City of Bouira in Algeria.
  fun BouiraAlgeria : Ind City ;

  -- A dependency of Norway
  fun BouvetIsland : Ind (both Island DependencyOrSpecialSovereigntyArea) ;

  -- The City of BouzeGuene in Algeria.
  fun BouzeGueneAlgeria : Ind City ;

  -- A dependency of the UnitedKingdom
  fun BritishIndianOceanTerritory : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- A dependency of the UnitedKingdom
  fun BritishVirginIslands : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The City of Brussels in Belgium.
  fun BrusselsBelgium : Ind City ;

  -- The City of Bucaramanga in Colombia.
  fun BucaramangaColombia : Ind City ;

  -- The City of Bucharest in Romania.
  fun BucharestRomania : Ind City ;

  -- The City of BuenosAires in Argentina.
  fun BuenosAiresArgentina : Ind City ;

  -- The City of Buinaksk in Russia.
  fun BuinakskRussia : Ind City ;

  fun BwindiforestUganda : Ind GeographicArea ;

  -- The City of Cabinda in Angola.
  fun CabindaAngola : Ind City ;

  -- The City of Caglayan in Turkey.
  fun CaglayanTurkey : Ind City ;

  -- The City of Cairo in Egypt.
  fun CairoEgypt : Ind City ;

  -- The City of Calcutta in India.
  fun CalcuttaIndia : Ind City ;

  -- The City of Cali in Colombia.
  fun CaliColombia : Ind City ;

  -- The AmericanState with the highest population.
  fun California : Ind AmericanState ;

  -- The City of CampZama in Japan.
  fun CampZamaJapan : Ind City ;

  -- The City of Cankiri in Turkey.
  fun CankiriTurkey : Ind City ;

  -- The City of CapeTown in SouthAfrica.
  fun CapeTownSouthAfrica : Ind City ;

  fun CaritasPolandChechnya : Ind GeographicArea ;

  -- The City of Carmel in Israel.
  fun CarmelIsrael : Ind City ;

  -- The City of CarmenDeBolivar in Colombia.
  fun CarmenDeBolivarColombia : Ind City ;

  -- The City of Carrejon in Colombia.
  fun CarrejonColombia : Ind City ;

  -- A dependency of the UnitedKingdom
  fun CaymanIslands : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The City of Chaman in Pakistan.
  fun ChamanPakistan : Ind City ;

  -- The City of ChararESharif in India.
  fun ChararESharifIndia : Ind City ;

  -- The City of Charsaada in Pakistan.
  fun CharsaadaPakistan : Ind City ;

  -- The Nation of Chechnya.
  fun Chechnya : Ind Nation ;

  -- The City of ChernoRechye in Russia.
  fun ChernoRechyeRussia : Ind City ;

  -- Often referred to as the second city, 
  -- ChicagoUnitedStates is the largest city in the midwestern United States.
  fun ChicagoUnitedStates : Ind AmericanCity ;

  -- The City of Chisimayu in Somalia.
  fun ChisimayuSomalia : Ind City ;

  -- The City of Chittagong in Bangladesh.
  fun ChittagongBangladesh : Ind City ;

  -- The City of Choba in Angola.
  fun ChobaAngola : Ind City ;

  -- The City of Choco in Colombia.
  fun ChocoColombia : Ind City ;

  -- The City of ChorrosQuero in Venezuela.
  fun ChorrosQueroVenezuela : Ind City ;

  -- A dependency of Australia
  fun ChristmasIsland : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  fun ClarkAirbasePhilippines : Ind GeographicArea ;

  -- Bordering Lake Erie, ClevelandOhio is 
  -- the largest City in Ohio.
  fun ClevelandOhio : Ind AmericanCity ;

  -- A dependency of France
  fun ClippertonIsland : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- A dependency of Australia
  fun CocosKeelingIslands : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The City of Coimbatore in India.
  fun CoimbatoreIndia : Ind City ;

  -- The City of Cologne in Germany.
  fun CologneGermany : Ind City ;

  -- The City of ColombiaCity in Colombia.
  fun ColombiaCityColombia : Ind City ;

  -- The City of Colombia in Panama.
  fun ColombiaPanama : Ind City ;

  -- The City of Colombo in SriLanka.
  fun ColomboSriLanka : Ind City ;

  -- A large western state in the UnitedStates.
  fun Colorado : Ind AmericanState ;

  -- The capital of Ohio, located in the middle of the state.
  fun ColumbusOhio : Ind AmericanCity ;

  -- The City of Comayagua in Honduras.
  fun ComayaguaHonduras : Ind City ;

  -- A state in NewEngland, one of the original thirteen colonies.
  fun Connecticut : Ind AmericanState ;

  -- A dependency of NewZealand
  fun CookIslands : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The City of CopacaBana in Cuba.
  fun CopacaBanaCuba : Ind City ;

  -- The City of Copenhagen in Denmark. CopenhagenDenmark The capital of Denmark and the largest 
  -- City of the country.
  fun CopenhagenDenmark : Ind EuropeanCity ;

  -- A dependency of Australia
  fun CoralSeaIslands : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The City of Corsica in France.
  fun CorsicaFrance : Ind City ;

  -- The City of Corte in France.
  fun CorteFrance : Ind City ;

  -- The City of Corum in Turkey.
  fun CorumTurkey : Ind City ;

  -- The City of CundiNamarca in Colombia.
  fun CundiNamarcaColombia : Ind City ;

  -- The City of Cupiagua in Colombia.
  fun CupiaguaColombia : Ind City ;

  -- The City of Cuzco in Peru.
  fun CuzcoPeru : Ind City ;

  -- The former eastern bloc nation. It is currently 
  -- divided into two independent Nations, the Czech Republic and Slovakia.
  fun Czechoslovakia : Ind EuropeanNation ;

  -- The City of Dagestan in Russia.
  fun DagestanRussia : Ind City ;

  -- The City of Dahuk in Iraq.
  fun DahukIraq : Ind City ;

  -- A large City in northeastern Texas.
  fun DallasTexas : Ind AmericanCity ;

  fun DangDistrictNepal : Ind GeographicArea ;

  -- The City of DarEsSalaAm in Tanzania.
  fun DarEsSalaAmTanzania : Ind City ;

  -- The City of Darvaz in Tajikistan.
  fun DarvazTajikistan : Ind City ;

  -- The City of Deba in Spain.
  fun DebaSpain : Ind City ;

  -- A state in NewEngland, one of the original thirteen colonies.
  fun Delaware : Ind AmericanState ;

  -- The City of Delhi in India.
  fun DelhiIndia : Ind City ;

  -- The Nation of DemocraticRepublicOfTheCongo.
  fun DemocraticRepublicOfTheCongo : Ind Nation ;

  -- The capital and largest City in Colorado.
  fun DenverColorado : Ind AmericanCity ;

  -- The largest City in Michigan.
  fun DetroitMichigan : Ind AmericanCity ;

  -- The City of Dhahran in SaudiArabia.
  fun DhahranSaudiArabia : Ind City ;

  -- The City of Dhaka in Bangladesh.
  fun DhakaBangladesh : Ind City ;

  -- The City of Dinan in France.
  fun DinanFrance : Ind City ;

  -- The City of DirNaballah in WestBank.
  fun DirNaballahWestBank : Ind City ;

  -- The City of DireDawa in Ethiopia.
  fun DireDawaEthiopia : Ind City ;

  fun DistrictOfMansehraPakistan : Ind GeographicArea ;

  -- The City of Djakashari in RepublicOfGeorgia.
  fun DjakashariGeorgia : Ind City ;

  -- The City of Djerba in Tunisia.
  fun DjerbaTunisia : Ind City ;

  -- The City of Doda in India.
  fun DodaIndia : Ind City ;

  -- The City of Dortmund in Germany.
  fun DortmundGermany : Ind City ;

  -- The City of Dublin in Ireland.
  fun DublinIreland : Ind City ;

  -- The City of Duesseldorf in Germany.
  fun DuesseldorfGermany : Ind City ;

  -- The City of Dugit in GazaStrip.
  fun DugitGazaStrip : Ind City ;

  -- The City of Durango in Spain.
  fun DurangoSpain : Ind City ;

  fun DushanbeAirportTajikistan : Ind GeographicArea ;

  -- The City of DushanbeGarm in Tajikistan.
  fun DushanbeGarmTajikistan : Ind City ;

  -- The City of Dushanbe in Tajikistan.
  fun DushanbeTajikistan : Ind City ;

  -- The City of EastJerusalem in Israel.
  fun EastJerusalemIsrael : Ind City ;

  -- The Nation of EastTimor.
  fun EastTimor : Ind Nation ;

  -- The City of Efrat in WestBank.
  fun EfratWestBank : Ind City ;

  -- The City of Eilat in Israel.
  fun EilatIsrael : Ind City ;

  -- The City of Einav in WestBank.
  fun EinavWestBank : Ind City ;

  -- The City of ElAzzariya in the WestBank.
  fun ElAzzariyaWestBank : Ind City ;

  -- The City of ElBagre in Colombia.
  fun ElBagreColombia : Ind City ;

  -- The City of ElBireh in WestBank.
  fun ElBirehWestBank : Ind City ;

  -- The City of ElPlayon in Colombia.
  fun ElPlayonColombia : Ind City ;

  -- The City of ElRipialApure in Venezuela.
  fun ElRipialApureVenezuela : Ind City ;

  -- The City of Elayo in Somalia.
  fun ElayoSomalia : Ind City ;

  -- The City of EleiSinai in GazaStrip.
  fun EleiSinaiGazaStrip : Ind City ;

  -- The City of Emmanuel in WestBank.
  fun EmmanuelWestBank : Ind City ;

  -- The City of Erez in GazaStrip.
  fun ErezGazaStrip : Ind City ;

  -- A dependency of France
  fun EuropaIsland : Ind (both Island DependencyOrSpecialSovereigntyArea) ;

  -- The second smallest Continent.
  fun Europe : Ind Continent ;

  -- The class of cities that are in Europe.
  fun EuropeanCity : Class ;
  fun EuropeanCity_Class : SubClass EuropeanCity City ;

  -- A dependency of the UnitedKingdom
  fun FalklandIslands : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The largest City in NorthDakota.
  fun FargoNorthDakota : Ind AmericanCity ;

  -- A dependency of Denmark
  fun FaroeIslands : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  fun FethiyeAndMarmarisTurkey : Ind GeographicArea ;

  -- A state in the southeastern UnitedStates between 
  -- the GulfOfMexico and the AtlanticOcean.
  fun Florida : Ind AmericanState ;

  fun FloridaUnitedStates : Ind GeographicArea ;

  -- The City of Formeque in Colombia.
  fun FormequeColombia : Ind City ;

  -- The City of Frankfurt in Germany.
  fun FrankfurtGermany : Ind City ;

  -- The City of FrenchHill in Israel.
  fun FrenchHillIsrael : Ind City ;

  -- A dependency of France
  fun FrenchPolynesia : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- A dependency of France
  fun FrenchSouthernAndAntarcticLands : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The City of Fuengirola in Spain.
  fun FuengirolaSpain : Ind City ;

  -- The City of Fusagasusa in Colombia.
  fun FusagasusaColombia : Ind City ;

  -- The City of GaliAbkhazia in RepublicOfGeorgia.
  fun GaliAbkhaziaGeorgia : Ind City ;

  -- The City of Ganim in WestBank.
  fun GanimWestBank : Ind City ;

  -- The City of Gashuri in Israel.
  fun GashuriIsrael : Ind City ;

  -- A terroritory occupied by Israel.
  fun GazaStrip : Ind (both LandArea (both Nation (both GeographicArea GeopoliticalArea))) ;

  -- The City of GeneralSantos in Philippines.
  fun GeneralSantosPhilippines : Ind City ;

  -- The City of Geneva in Switzerland.
  fun GenevaSwitzerland : Ind City ;

  fun Georgia_US : Ind AmericanState ;

  -- The City of Getxo in Spain.
  fun GetxoSpain : Ind City ;

  -- The City of Ghalebieh in Iraq.
  fun GhalebiehIraq : Ind City ;

  -- The City of Ghaziabad in India.
  fun GhaziabadIndia : Ind City ;

  fun GhaziabadUttarPradeshIndia : Ind GeographicArea ;

  -- A dependency of the UnitedKingdom
  fun Gibraltar : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The City of Gilo in Israel.
  fun GiloIsrael : Ind City ;

  -- The City of GivatZeEv in WestBank.
  fun GivatZeEvWestBank : Ind City ;

  -- The City of Giza in Egypt.
  fun GizaEgypt : Ind City ;

  -- A dependency of France
  fun GloriosoIslands : Ind (both Island DependencyOrSpecialSovereigntyArea) ;

  -- The City of Gonegalle in SriLanka.
  fun GonegalleSriLanka : Ind City ;

  -- The City of Granada in Spain.
  fun GranadaSpain : Ind City ;

  -- The City of Graz in Austria.
  fun GrazAustria : Ind City ;

  -- A dependency of Denmark
  fun Greenland : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The City of Grozny in Chechnya.
  fun GroznyChechnya : Ind City ;

  -- A dependency of France
  fun Guadeloupe : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- A dependency of the UnitedStates Guam An Island in the PacificOcean that is a 
  -- protectorate of the UnitedStates.
  fun Guam : Ind (both DependencyOrSpecialSovereigntyArea Island) ;

  -- A dependency of the UnitedKingdom
  fun Guernsey : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The City of Guilin in China.
  fun GuilinChina : Ind City ;

  -- The Nation of GuineaBissau.
  fun GuineaBissau : Ind (both Country Nation) ;

  -- The City of Gujarat in India.
  fun GujaratIndia : Ind City ;

  -- The City of GushEtzion in WestBank.
  fun GushEtzionWestBank : Ind City ;

  fun GushKatifGazaStrip : Ind GeographicArea ;

  -- The City of GushKhatif in GazaStrip.
  fun GushKhatifGazaStrip : Ind City ;

  -- The City of Hadera in Israel.
  fun HaderaIsrael : Ind City ;

  -- The City of Haifa in Israel.
  fun HaifaIsrael : Ind City ;

  -- The City of Hamburg in Germany.
  fun HamburgGermany : Ind City ;

  -- The City of HamisMiliyana in Algeria.
  fun HamisMiliyanaAlgeria : Ind City ;

  -- The City of Hamra in WestBank.
  fun HamraWestBank : Ind City ;

  -- The City of Hannover in Germany.
  fun HannoverGermany : Ind City ;

  -- The City of HarBracha in WestBank.
  fun HarBrachaWestBank : Ind City ;

  -- The City of Harer in Ethiopia.
  fun HarerEthiopia : Ind City ;

  -- The City of Havana in Cuba.
  fun HavanaCuba : Ind City ;

  -- An AmericanState that consists of several Islands in 
  -- the central PacificOcean.
  fun Hawaii : Ind AmericanState ;

  -- The City of Hawana in Iraq.
  fun HawanaIraq : Ind City ;

  -- A dependency of Australia
  fun HeardIslandAndMcDonaldIslands : Ind (both Island DependencyOrSpecialSovereigntyArea) ;

  -- The City of Heart in Afghanistan.
  fun HeartAfghanistan : Ind City ;

  -- The City of Hebron in WestBank.
  fun HebronWestBank : Ind City ;

  -- The City of Hermesh in Israel.
  fun HermeshIsrael : Ind City ;

  -- The City of Hernani in Spain.
  fun HernaniSpain : Ind City ;

  -- The City of Herzliya in Israel.
  fun HerzliyaIsrael : Ind City ;

  -- The City of Hilversum in Netherlands.
  fun HilversumNetherlands : Ind City ;

  -- The City of Hizma in WestBank.
  fun HizmaWestBank : Ind City ;

  fun HodayaJunctionIsrael : Ind GeographicArea ;

  fun HolonJunctionIsrael : Ind GeographicArea ;

  -- A dependency of China
  fun HongKong : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The capital and largest City in Hawaii.
  fun HonoluluHawaii : Ind AmericanCity ;

  -- Located in southeastern Texas, the largest City in the state.
  fun HoustonTexas : Ind AmericanCity ;

  -- A dependency of the UnitedStates
  fun HowlandIsland : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The City of Huallga in Peru.
  fun HuallgaPeru : Ind City ;

  -- A large River in NewYorkState.
  fun HudsonRiver : Ind River ;

  -- The City of Hurghada in Egypt.
  fun HurghadaEgypt : Ind City ;

  -- The City of Hyderabad in Pakistan.
  fun HyderabadPakistan : Ind City ;

  -- The City of Ibsril in Iraq.
  fun IbsrilIraq : Ind City ;

  -- A state known for potatoes in the northwestern UnitedStates.
  fun Idaho : Ind AmericanState ;

  -- A populous and industrial state in the midwestern UnitedStates.
  fun Illinois : Ind AmericanState ;

  fun IncirlikAirbaseTurkey : Ind GeographicArea ;

  -- A state in the mideastern UnitedStates.
  fun Indiana : Ind AmericanState ;

  -- A state in the midwestern UnitedStates.
  fun Iowa : Ind AmericanState ;

  -- The City of Ipil in Philippines.
  fun IpilPhilippines : Ind City ;

  -- The City of Irbil in Iraq.
  fun IrbilIraq : Ind City ;

  -- The City of Islamabad in Pakistan.
  fun IslamabadPakistan : Ind City ;

  fun IslandOfBaliIndonesia : Ind GeographicArea ;

  -- A dependency of the UnitedKingdom
  fun IsleOfMan : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The City of Istanbul in Turkey.
  fun IstanbulTurkey : Ind City ;

  -- The City of Itamar in WestBank.
  fun ItamarWestBank : Ind City ;

  -- The City of Izmir in Turkey.
  fun IzmirTurkey : Ind City ;

  -- The City of JMain in WestBank.
  fun JMainWestBank : Ind City ;

  -- The City of Jaffa in Israel.
  fun JaffaIsrael : Ind City ;

  -- The City of Jaffna in SriLanka.
  fun JaffnaSriLanka : Ind City ;

  -- The City of Jakarta in Indonesia.
  fun JakartaIndonesia : Ind City ;

  -- The City of Jalah in India.
  fun JalahIndia : Ind City ;

  fun JalpaiguriRailwayStationIndia : Ind GeographicArea ;

  -- The City of Jammu in India.
  fun JammuIndia : Ind City ;

  -- A dependency of Norway
  fun JanMayenIsland : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The City of Jangas in Peru.
  fun JangasPeru : Ind City ;

  -- A dependency of the UnitedStates
  fun JarvisIsland : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The City of Jenin in WestBank.
  fun JeninWestBank : Ind City ;

  -- A dependency of the UnitedKingdom
  fun Jersey : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The City of JerusalemHills in Israel.
  fun JerusalemHillsIsrael : Ind City ;

  -- The capital and largest City in Israel. 
  -- It is regarded as a holy city by Muslims, Jews, and Christians.
  fun JerusalemIsrael : Ind City ;

  -- The City of JerusalemOldCity in Israel.
  fun JerusalemOldCityIsrael : Ind City ;

  -- The City of Johannesburg in SouthAfrica.
  fun JohannesburgSouthAfrica : Ind City ;

  -- A dependency of the UnitedStates
  fun JohnstonAtoll : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The City of Jolo in Philippines.
  fun JoloPhilippines : Ind City ;

  -- A dependency of France
  fun JuanDeNovaIsland : Ind (both Island DependencyOrSpecialSovereigntyArea) ;

  -- The City of Jubial in SaudiArabia.
  fun JubialSaudiArabia : Ind City ;

  -- The City of Jullundur in India.
  fun JullundurIndia : Ind City ;

  -- The City of Kabacan in Philippines.
  fun KabacanPhilippines : Ind City ;

  -- The City of Kabul in Afghanistan.
  fun KabulAfghanistan : Ind City ;

  -- The City of KafrAkab in WestBank.
  fun KafrAkabWestBank : Ind City ;

  -- The City of KafrIdna in WestBank.
  fun KafrIdnaWestBank : Ind City ;

  -- The City of Kalkilya in WestBank.
  fun KalkilyaWestBank : Ind City ;

  -- The City of Kalmunai in SriLanka.
  fun KalmunaiSriLanka : Ind City ;

  -- The City of Kampala in Uganda.
  fun KampalaUganda : Ind City ;

  -- The City of Kandy in SriLanka.
  fun KandySriLanka : Ind City ;

  -- The City of Kanihama in India.
  fun KanihamaIndia : Ind City ;

  -- A state in the midwestern UnitedStates.
  fun Kansas : Ind AmericanState ;

  -- A large City at the western edge of Missouri.
  fun KansasCityMissouri : Ind AmericanCity ;

  -- The City of Karachi in Pakistan.
  fun KarachiPakistan : Ind City ;

  -- The City of Karkur in Israel.
  fun KarkurIsrael : Ind City ;

  -- The City of KarmeiTzur in WestBank.
  fun KarmeiTzurWestBank : Ind City ;

  -- The City of KarneiShomron in WestBank.
  fun KarneiShomronWestBank : Ind City ;

  -- The City of Kashmir in India.
  fun KashmirIndia : Ind City ;

  fun KatmanduAirportNepal : Ind GeographicArea ;

  -- The Nation of Kazakhstan.
  fun Kazakhstan : Ind Nation ;

  fun KedumimSettlementWestBank : Ind GeographicArea ;

  -- The City of Kedumim in WestBank.
  fun KedumimWestBank : Ind City ;

  -- A state in the southeastern UnitedStates.
  fun Kentucky : Ind AmericanState ;

  -- The City of KfarBaAneh in Israel.
  fun KfarBaAnehIsrael : Ind City ;

  -- The City of KfarDarom in GazaStrip.
  fun KfarDaromGazaStrip : Ind City ;

  -- The City of KfarDaromNetzarim in Israel.
  fun KfarDaromNetzarimIsrael : Ind City ;

  -- The City of KfarHess in Israel.
  fun KfarHessIsrael : Ind City ;

  -- The City of KfarSaba in Israel.
  fun KfarSabaIsrael : Ind City ;

  -- The City of KfarTzurif in WestBank.
  fun KfarTzurifWestBank : Ind City ;

  -- The City of KfarYam in GazaStrip.
  fun KfarYamGazaStrip : Ind City ;

  -- The City of Khankala in Chechnya.
  fun KhankalaChechnya : Ind City ;

  -- The City of Khartoum in Sudan.
  fun KhartoumSudan : Ind City ;

  -- The City of Khelil in Algeria.
  fun KhelilAlgeria : Ind City ;

  -- The City of Khobar in SaudiArabia.
  fun KhobarSaudiArabia : Ind City ;

  -- The City of KibbutzGalEd in Israel.
  fun KibbutzGalEdIsrael : Ind City ;

  -- The City of KibbutzMerav in Israel.
  fun KibbutzMeravIsrael : Ind City ;

  -- The City of KibbutzSheluhot in Israel.
  fun KibbutzSheluhotIsrael : Ind City ;

  -- The City of Kidapawan in Philippines.
  fun KidapawanPhilippines : Ind City ;

  -- The City of Kigali in Rwanda.
  fun KigaliRwanda : Ind City ;

  -- A dependency of the UnitedStates
  fun KingmanReef : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The City of Kirikkale in Turkey.
  fun KirikkaleTurkey : Ind City ;

  -- The City of KiryatArba in WestBank.
  fun KiryatArbaWestBank : Ind City ;

  -- The City of KiryatMotzkin in Israel.
  fun KiryatMotzkinIsrael : Ind City ;

  -- The City of KiryatNetafim in WestBank.
  fun KiryatNetafimWestBank : Ind City ;

  -- The City of Kissufim in GazaStrip.
  fun KissufimGazaStrip : Ind City ;

  -- The City of KiursehirBoztep in Turkey.
  fun KiursehirBoztepTurkey : Ind City ;

  -- The City of Klaiyat in Lebanon.
  fun KlaiyatLebanon : Ind City ;

  -- The City of Kohlan in Yemen.
  fun KohlanYemen : Ind City ;

  -- The City of KomsomoLabad in Tajikistan.
  fun KomsomoLabadTajikistan : Ind City ;

  -- A Peninsula in Asia that separates the Yellow Sea from 
  -- the Sea of Japan. It is occupied by the nations of North and South Korea.
  fun KoreanPeninsula : Ind Peninsula ;

  -- The City of KuwaitCity in Kuwait.
  fun KuwaitCityKuwait : Ind City ;

  -- The City of LIleRousse in France.
  fun LIleRousseFrance : Ind City ;

  -- The City of LaCeiba in Honduras.
  fun LaCeibaHonduras : Ind City ;

  -- The City of LaGabarra in Venezuela.
  fun LaGabarraVenezuela : Ind City ;

  -- The City of LaGuajira in Colombia.
  fun LaGuajiraColombia : Ind City ;

  -- The City of LaPaz in Bolivia.
  fun LaPazBolivia : Ind City ;

  -- The City of LaVictoria in Venezuela.
  fun LaVictoriaVenezuela : Ind City ;

  -- The City of Lahore in Pakistan.
  fun LahorePakistan : Ind City ;

  -- The City of Larba in Algeria.
  fun LarbaAlgeria : Ind City ;

  -- The City of Larnaca in Cyprus.
  fun LarnacaCyprus : Ind City ;

  -- The City of Lasarte in Spain.
  fun LasarteSpain : Ind City ;

  -- The City of Leiza in Spain.
  fun LeizaSpain : Ind City ;

  fun LesEucalyptusDistrictAlgeria : Ind GeographicArea ;

  -- The City of Libertador in Venezuela.
  fun LibertadorVenezuela : Ind City ;

  -- The City of Lice in Turkey.
  fun LiceTurkey : Ind City ;

  -- The City of Lima in Peru.
  fun LimaPeru : Ind City ;

  -- The City of Lindos in Rhodes.
  fun LindosRhodes : Ind City ;

  -- The City of Linz in Australia.
  fun LinzAustralia : Ind City ;

  -- The City of Lockerbie in UnitedKingdom.
  fun LockerbieUnitedKingdom : Ind City ;

  -- The City of Logorno in Spain.
  fun LogornoSpain : Ind City ;

  -- The City of London in UnitedKingdom.
  -- The capital city and the largest city of the UnitedKingdom.
  fun LondonUnitedKingdom : Ind EuropeanCity ;

  -- The City of Londonberry in NorthernIreland.
  fun LondonberryNorthernIreland : Ind City ;

  -- A large Island off the coast of NewYorkState. 
  -- The boroughs of Queens and Brooklyn make up the western end of this Island.
  fun LongIsland : Ind Island ;

  -- The largest City in California.
  fun LosAngelesCalifornia : Ind AmericanCity ;

  fun LosAngelesInternationalAirportUnitedStates : Ind GeographicArea ;

  -- The City of LosAngeles in UnitedStates.
  fun LosAngelesUnitedStates : Ind City ;

  -- The City of LosBancos in Venezuela.
  fun LosBancosVenezuela : Ind City ;

  fun LosKatiosNationalParkColombia : Ind GeographicArea ;

  -- A state in the south_central part of the UnitedStates. 
  -- It borders on the GulfOfMexico and is known for its bayous and cajun culture.
  fun Louisiana : Ind AmericanState ;

  -- The City of Luanda in Angola.
  fun LuandaAngola : Ind City ;

  -- The City of Luebeck in Germany.
  fun LuebeckGermany : Ind City ;

  -- The City of LundaNorte in Angola.
  fun LundaNorteAngola : Ind City ;

  -- The City of Luxor in Egypt.
  fun LuxorEgypt : Ind City ;

  -- The City of Lyons in France.
  fun LyonsFrance : Ind City ;

  -- The City of MaAlehMichmash in WestBank.
  fun MaAlehMichmashWestBank : Ind City ;

  -- A dependency of China
  fun Macau : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The City of Maccabim in Israel.
  fun MaccabimIsrael : Ind City ;

  -- The City of Madhu in SriLanka.
  fun MadhuSriLanka : Ind City ;

  -- The City of Madras in India.
  fun MadrasIndia : Ind City ;

  -- The City of Madrid in Spain.
  fun MadridSpain : Ind City ;

  -- The City of Magdalena in Colombia.
  fun MagdalenaColombia : Ind City ;

  -- The City of MaidanShar in Afghanistan.
  fun MaidanSharAfghanistan : Ind City ;

  -- The most northeastern AmericanState.
  fun Maine : Ind AmericanState ;

  -- The City of Makhachkala in Russia.
  fun MakhachkalaRussia : Ind City ;

  -- The City of Malaga in Spain.
  fun MalagaSpain : Ind City ;

  fun MalukkaIslandsIndonesia : Ind GeographicArea ;

  -- The City of Managua in Nigeria.
  fun ManaguaNigeria : Ind City ;

  -- The City of Manama in Bahrain.
  fun ManamaBahrain : Ind City ;

  -- The largest City in NewHampshire.
  fun ManchesterNewHampshire : Ind AmericanCity ;

  -- The City of Manchester in UnitedKingdom.
  fun ManchesterUnitedKingdom : Ind City ;

  fun MangalsenAndSanpheBagarNepal : Ind GeographicArea ;

  -- The City of Manila in Philippines.
  fun ManilaPhilippines : Ind City ;

  -- The City of Maon in Israel.
  fun MaonIsrael : Ind City ;

  -- The City of Mapourdit in Sudan.
  fun MapourditSudan : Ind City ;

  -- The City of MarSaba in WestBank.
  fun MarSabaWestBank : Ind City ;

  -- The City of Marawi in Philippines.
  fun MarawiPhilippines : Ind City ;

  -- The City of Mardan in Pakistan.
  fun MardanPakistan : Ind City ;

  -- The City of Marmaris in Turkey.
  fun MarmarisTurkey : Ind City ;

  -- The City of Marseilles in France.
  fun MarseillesFrance : Ind City ;

  -- A dependency of France
  fun Martinique : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- A state in the eastern UnitedStates that borders on WashingtonDC.
  fun Maryland : Ind AmericanState ;

  -- The City of Masha in WestBank.
  fun MashaWestBank : Ind City ;

  -- A northeastern AmericanState. Its largest City is BostonMassachusetts.
  fun Massachusetts : Ind AmericanState ;

  -- The City of Matsumoto in Japan.
  fun MatsumotoJapan : Ind City ;

  -- The City of Mawdiyah in Yemen.
  fun MawdiyahYemen : Ind City ;

  -- A dependency of France
  fun Mayotte : Ind (both Island DependencyOrSpecialSovereigntyArea) ;

  -- The City of MeaShearim in Israel.
  fun MeaShearimIsrael : Ind City ;

  -- The City of Mecca in SaudiArabia.
  fun MeccaSaudiArabia : Ind City ;

  -- The City of Mechora in WestBank.
  fun MechoraWestBank : Ind City ;

  -- The City of Medan in Indonesia.
  fun MedanIndonesia : Ind City ;

  -- The City of Medellin in Colombia.
  fun MedellinColombia : Ind City ;

  -- The City of Megido in Israel.
  fun MegidoIsrael : Ind City ;

  -- The City of Mehola in Israel.
  fun MeholaIsrael : Ind City ;

  -- The City of Mekholah in Israel.
  fun MekholahIsrael : Ind City ;

  -- The largest City in Tennessee, located on the MississippiRiver.
  fun MemphisTennessee : Ind AmericanCity ;

  -- The City of Mersin in Turkey.
  fun MersinTurkey : Ind City ;

  -- The City of Meta in Colombia.
  fun MetaColombia : Ind City ;

  -- The City of Metulla in Israel.
  fun MetullaIsrael : Ind City ;

  -- The City of Metzer in Israel.
  fun MetzerIsrael : Ind City ;

  -- A populous and industrial state in the midwestern UnitedStates.
  fun Michigan : Ind AmericanState ;

  -- A dependency of the UnitedStates
  fun MidwayIslands : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The City of Milan in Italy.
  fun MilanItaly : Ind City ;

  -- The City of Mindanao in Philippines.
  fun MindanaoPhilippines : Ind City ;

  fun MinharotRoadWestBank : Ind GeographicArea ;

  -- The largest City in Minnesota.
  fun MinneapolisMinnesota : Ind AmericanCity ;

  -- A state in the northern midwest of the UnitedStates.
  fun Minnesota : Ind AmericanState ;

  -- The City of MiranShah in Pakistan.
  fun MiranShahPakistan : Ind City ;

  -- A state in the southeastern UnitedStates that borders on the GulfOfMexico.
  fun Mississippi : Ind AmericanState ;

  -- The major River in the UnitedStates. 
  -- It runs almost the entire width of the UnitedStates, from Minnesota to the GulfOfMexico.
  fun MississippiRiver : Ind River ;

  -- A state in the central UnitedStates.
  fun Missouri : Ind AmericanState ;

  -- The City of Mitu in Colombia.
  fun MituColombia : Ind City ;

  -- The City of ModiinIllit in WestBank.
  fun ModiinIllitWestBank : Ind City ;

  -- The City of Mombassa in Kenya.
  fun MombassaKenya : Ind City ;

  -- A state in the northwestern UnitedStates.
  fun Montana : Ind AmericanState ;

  -- A large City in eastern Canada.
  fun MontrealCanada : Ind City ;

  -- A dependency of the UnitedKingdom
  fun Montserrat : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  fun MoragJunctionGazaStrip : Ind GeographicArea ;

  -- The City of Moscow in Russia. MoscowRussia The capital of Russia and the largest 
  -- City of the country.
  fun MoscowRussia : Ind EuropeanCity ;

  -- The City of MoshavHagor in Israel.
  fun MoshavHagorIsrael : Ind City ;

  -- The City of MoshavTomer in WestBank.
  fun MoshavTomerWestBank : Ind City ;

  -- The City of MukallahAden in Yemen.
  fun MukallahAdenYemen : Ind City ;

  -- The City of MunchenGladbach in Germany.
  fun MunchenGladbachGermany : Ind City ;

  -- The City of Munster in Germany.
  fun MunsterGermany : Ind City ;

  -- The City of Murlough in NorthernIreland.
  fun MurloughNorthernIreland : Ind City ;

  -- The City of MusMus in Israel.
  fun MusMusIsrael : Ind City ;

  -- The City of Mutata in Colombia.
  fun MutataColombia : Ind City ;

  -- The City of Muttur in SriLanka.
  fun MutturSriLanka : Ind City ;

  -- A Nation in southeastern Asia, formerly known as Burma.
  fun Myanmar : Ind Nation ;

  -- The City of NaAlin in WestBank.
  fun NaAlinWestBank : Ind City ;

  -- The City of Nablus in WestBank.
  fun NablusWestBank : Ind City ;

  -- The City of NahalOz in GazaStrip.
  fun NahalOzGazaStrip : Ind City ;

  -- The City of Naharaim in Israel.
  fun NaharaimIsrael : Ind City ;

  -- The City of Nahariya in Israel.
  fun NahariyaIsrael : Ind City ;

  -- The City of Nairobi in Kenya.
  fun NairobiKenya : Ind City ;

  -- The City of Najaf in Iraq.
  fun NajafIraq : Ind City ;

  fun NallurAreaSriLanka : Ind GeographicArea ;

  -- The City of Naqura in Lebanon.
  fun NaquraLebanon : Ind City ;

  -- The City of Narayangang in Bangladesh.
  fun NarayangangBangladesh : Ind City ;

  -- A large City in Tennessee.
  fun NashvilleTennessee : Ind AmericanCity ;

  -- The City of Natania in Israel.
  fun NataniaIsrael : Ind City ;

  -- A dependency of the UnitedStates
  fun NavassaIsland : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The City of NearAdarim.
  fun NearAdarim : Ind City ;

  -- The City of NearAleiZahav.
  fun NearAleiZahav : Ind City ;

  -- The City of NearJenin.
  fun NearJenin : Ind City ;

  -- A state in the midwestern UnitedStates.
  fun Nebraska : Ind AmericanState ;

  -- The City of Netanya in Israel.
  fun NetanyaIsrael : Ind City ;

  -- A dependency of the Netherlands
  fun NetherlandsAntilles : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The City of Netzarim in GazaStrip.
  fun NetzarimGazaStrip : Ind City ;

  -- The City of NetzerHazani in GazaStrip.
  fun NetzerHazaniGazaStrip : Ind City ;

  -- A state in the western UnitedStates.
  fun Nevada : Ind AmericanState ;

  -- The City of NeveDaniel in WestBank.
  fun NeveDanielWestBank : Ind City ;

  -- The City of NeveDekalim.
  fun NeveDekalim : Ind City ;

  -- The City of NeveYamin in Israel.
  fun NeveYaminIsrael : Ind City ;

  -- The City of NewDelhi in India.
  fun NewDelhiIndia : Ind City ;

  -- A GeographicArea in the UnitedStates that is made up of the states of
  -- Maine, New Hampshire, Vermont, Massachusetts, Rhode Island, and Connecticut.
  fun NewEngland : Ind GeographicArea ;

  -- A northeastern AmericanState. Its largest City is ManchesterNewHampshire.
  fun NewHampshire : Ind AmericanState ;

  -- A state in the eastern UnitedStates.
  fun NewJersey : Ind AmericanState ;

  -- A southwestern state in the UnitedStates.
  fun NewMexico : Ind AmericanState ;

  -- The City of NewYorkCity in UnitedStates. NewYorkCityUnitedStates The largest City in the UnitedStates. 
  -- A worldwide center of finance and culture, it is comprised of five boroughs.
  fun NewYorkCityUnitedStates : Ind AmericanCity ;

  -- A populous state in the northeastern UnitedStates.
  fun NewYorkState : Ind AmericanState ;

  fun NeztarimSettlementGazaStrip : Ind GeographicArea ;

  -- The City of Niamey in Niger.
  fun NiameyNiger : Ind City ;

  -- The City of Nissanit in GazaStrip.
  fun NissanitGazaStrip : Ind City ;

  -- The City of NitzaneiOz in WestBank.
  fun NitzaneiOzWestBank : Ind City ;

  -- The City of Nitzanim in Israel.
  fun NitzanimIsrael : Ind City ;

  -- A dependency of NewZealand
  fun Niue : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  fun NokdimTekoaRdWestBank : Ind GeographicArea ;

  -- A dependency of Australia
  fun NorfolkIsland : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The City of NorteDeSantander in Colombia.
  fun NorteDeSantanderColombia : Ind City ;

  -- A state in the southeastern UnitedStates.
  fun NorthCarolina : Ind AmericanState ;

  -- A state in the northern midwest of the UnitedStates.
  fun NorthDakota : Ind AmericanState ;

  fun NorthernCaucasiusChechnya : Ind GeographicArea ;

  -- The Nation of NorthernIreland.
  fun NorthernIreland : Ind Nation ;

  -- A dependency of the UnitedStates
  fun NorthernMarianaIslands : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The City of Novogrozny in Russia.
  fun NovogroznyRussia : Ind City ;

  -- The City of NovyyAtagi in Russia.
  fun NovyyAtagiRussia : Ind City ;

  -- The City of Oberwart in Austria.
  fun OberwartAustria : Ind City ;

  -- The City of Ofra in WestBank.
  fun OfraWestBank : Ind City ;

  -- A populous and industrial state in the midwestern UnitedStates.
  fun Ohio : Ind AmericanState ;

  fun OilbaseAlgeria : Ind GeographicArea ;

  -- The City of Okara in Pakistan.
  fun OkaraPakistan : Ind City ;

  -- A state in the southwestern UnitedStates.
  fun Oklahoma : Ind AmericanState ;

  -- The City of OlayaHerrera in Colombia.
  fun OlayaHerreraColombia : Ind City ;

  -- The City of Omagh in NorthernIreland.
  fun OmaghNorthernIreland : Ind City ;

  -- The City of OrYehuda in Israel.
  fun OrYehudaIsrael : Ind City ;

  -- The City of Oran in Algeria.
  fun OranAlgeria : Ind City ;

  -- An AmericanState on the PacificOcean.
  fun Oregon : Ind AmericanState ;

  -- The City of Osaka in Japan.
  fun OsakaJapan : Ind City ;

  -- The City of Oslo in Norway.
  fun OsloNorway : Ind City ;

  -- The City of Ossnabruck in Germany.
  fun OssnabruckGermany : Ind City ;

  fun OthnielJunctionIsrael : Ind GeographicArea ;

  -- The City of Otniel in WestBank.
  fun OtnielWestBank : Ind City ;

  -- The City of Otzarin in WestBank.
  fun OtzarinWestBank : Ind City ;

  -- The City of Ozamis in Philippines.
  fun OzamisPhilippines : Ind City ;

  -- The City of Pahalgam in India.
  fun PahalgamIndia : Ind City ;

  -- A GeopoliticalArea that was divided by the 
  -- UnitedKingdom into Israel and Jordan in 1948.
  fun Palestine : Ind OverseasArea ;

  fun PalestinianLiberationOrganization : Ind PoliticalOrganization ;

  -- A dependency of the UnitedStates
  fun PalmyraAtoll : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The City of Palorinya in Uganda.
  fun PalorinyaUganda : Ind City ;

  -- The City of Pamplona in Spain.
  fun PamplonaSpain : Ind City ;

  -- The City of PanamaCity in Panama.
  fun PanamaCityPanama : Ind City ;

  -- The City of Pantras in Greece.
  fun PantrasGreece : Ind City ;

  -- The City of Papayin in Colombia.
  fun PapayinColombia : Ind City ;

  -- The City of Papua in Indonesia.
  fun PapuaIndonesia : Ind City ;

  fun ParacelIslands : Ind (both LandArea GeopoliticalArea) ;

  -- The capital of France and the largest City of the country.
  fun Paris : Ind EuropeanCity ;

  -- The capital of France and the largest City of the country.
  fun ParisFrance : Ind EuropeanCity ;

  -- The City of Patikul in Philippines.
  fun PatikulPhilippines : Ind City ;

  -- The City of Pau in France.
  fun PauFrance : Ind City ;

  -- The City of PeAtSadeh in GazaStrip.
  fun PeAtSadehGazaStrip : Ind City ;

  -- A mid_Atlantic AmericanState. Its two major cities are Philadelphia and Pittsburgh.
  -- Pennsylvania A mid_Atlantic AmericanState. Its two major cities 
  -- are PhiladelphiaPennsylvania and PittsburghPennsylvania.
  fun Pennsylvania : Ind AmericanState ;

  -- The City of Peshawar in Pakistan.
  fun PeshawarPakistan : Ind City ;

  -- The City of PetahTikva.
  fun PetahTikva : Ind City ;

  -- The City of PetahTikvah in Israel.
  fun PetahTikvahIsrael : Ind City ;

  -- The largest City in Pennsylvania.
  fun PhiladelphiaPennsylvania : Ind AmericanCity ;

  -- The City of PhnomPenh in Cambodia.
  fun PhnomPenhCambodia : Ind City ;

  -- A dependency of the UnitedKingdom
  fun PitcairnIslands : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The second largest City in Pennsylvania. 
  -- It was once a center of steel production in the UnitedStates.
  fun PittsburghPennsylvania : Ind AmericanCity ;

  -- The City of Portadown in Ireland.
  fun PortadownIreland : Ind City ;

  -- The City of Prague in CzechRepublic.
  fun PragueCzechRepublic : Ind City ;

  -- The largest and capital city of RhodeIsland.
  fun ProvidenceRhodeIsland : Ind AmericanCity ;

  -- The City of PuertoAlvira in Colombia.
  fun PuertoAlviraColombia : Ind City ;

  -- The City of PuertoLleras in Colombia.
  fun PuertoLlerasColombia : Ind City ;

  -- An dependent part of the UnitedStates.
  fun PuertoRico : Ind (both Archipelago DependencyOrSpecialSovereigntyArea) ;

  -- The City of Punjab in Pakistan.
  fun PunjabPakistan : Ind City ;

  -- The City of Quetta in Pakistan.
  fun QuettaPakistan : Ind City ;

  -- The City of Quito in Ecuador.
  fun QuitoEcuador : Ind City ;

  -- The City of RadaAman in Yemen.
  fun RadaAmanYemen : Ind City ;

  -- The City of Rafah in GazaStrip.
  fun RafahGazaStrip : Ind City ;

  -- The City of RamaJunction in WestBank.
  fun RamaJunctionWestBank : Ind City ;

  -- The City of RamalDeAspusana in Peru.
  fun RamalDeAspusanaPeru : Ind City ;

  -- The City of Ramallah in WestBank.
  fun RamallahWestBank : Ind City ;

  -- The City of RamatGan in Israel.
  fun RamatGanIsrael : Ind City ;

  -- The City of Ramin in WestBank.
  fun RaminWestBank : Ind City ;

  -- The City of Ramle in Israel.
  fun RamleIsrael : Ind City ;

  -- The City of Rawalpindi in Pakistan.
  fun RawalpindiPakistan : Ind City ;

  -- A tributary of the Mississippi River.
  fun RedRiver : Ind River ;

  -- The Nation of Georgia.
  fun RepublicOfGeorgia : Ind Nation ;

  -- A dependency of France
  fun Reunion : Ind (both Nation DependencyOrSpecialSovereigntyArea) ;

  -- The City of Reus in Spain.
  fun ReusSpain : Ind City ;

  -- A northeastern AmericanState. Its capital city is 
  -- ProvidenceRhodeIsland. It is the smallest AmercianState
  fun RhodeIsland : Ind AmericanState ;

  -- The Nation of Rhodes.
  fun Rhodes : Ind Nation ;

  -- The capital of Virginia, located in the 
  -- east_central part of the state.
  fun RichmondVirginia : Ind AmericanCity ;

  -- The City of Riga in Latvia.
  fun RigaLatvia : Ind City ;

  -- The City of Rijeka in Croatia.
  fun RijekaCroatia : Ind City ;

  fun RimalDistrictGazaStrip : Ind GeographicArea ;

  -- The City of RishonLeZion in Israel.
  fun RishonLeZionIsrael : Ind City ;

  -- The City of Riyadh in SaudiArabia.
  fun RiyadhSaudiArabia : Ind City ;

  -- The City of Roermond in Netherlands.
  fun RoermondNetherlands : Ind City ;

  -- The City of Rome in Italy. RomeItaly The capital of Italy and the largest City 
  -- of the country.
  fun RomeItaly : Ind EuropeanCity ;

  -- The City of Rosas in Spain.
  fun RosasSpain : Ind City ;

  -- The City of RostovOnDon in Russia.
  fun RostovOnDonRussia : Ind City ;

  -- The City of Ruhengeri in Rwanda.
  fun RuhengeriRwanda : Ind City ;

  fun SaadaPakistan : Ind GeographicArea ;

  -- The City of Saada in Yemen.
  fun SaadaYemen : Ind City ;

  -- The City of Sabatena in Colombia.
  fun SabatenaColombia : Ind City ;

  -- The City of Sacramento in UnitedStates.
  fun SacramentoUnitedStates : Ind City ;

  -- The City of SaintAvold in France.
  fun SaintAvoldFrance : Ind City ;

  -- A dependency of the UnitedKingdom
  fun SaintHelena : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The City of SaintJeanDeLuz in France.
  fun SaintJeanDeLuzFrance : Ind City ;

  -- A large City in Missouri.
  fun SaintLouisMissouri : Ind AmericanCity ;

  -- The capital of Minnesota, borders MinneapolisMinnesota.
  fun SaintPaulMinnesota : Ind AmericanCity ;

  -- A dependency of France
  fun SaintPierreAndMiquelon : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The City of SaintSebastian in Spain.
  fun SaintSebastianSpain : Ind City ;

  -- The City of Sairanbar in Iraq.
  fun SairanbarIraq : Ind City ;

  -- The City of SajaIA in GazaStrip.
  fun SajaIAGazaStrip : Ind City ;

  -- The City of SallentDeGallego in Spain.
  fun SallentDeGallegoSpain : Ind City ;

  -- The City of Samaria in WestBank.
  fun SamariaWestBank : Ind City ;

  -- The City of Samashki in Russia.
  fun SamashkiRussia : Ind City ;

  -- The Nation of Samoa.
  fun Samoa : Ind Nation ;

  -- The City of SanDiego in Colombia.
  fun SanDiegoColombia : Ind City ;

  -- A large City in California, located on the San Francisco Bay.
  fun SanFranciscoCalifornia : Ind AmericanCity ;

  -- The City of SanJose in CostaRica.
  fun SanJoseCostaRica : Ind City ;

  -- The City of SanLuis in Colombia.
  fun SanLuisColombia : Ind City ;

  -- The City of SanMiguel in ElSalvador.
  fun SanMiguelElSalvador : Ind City ;

  -- The City of SanPablo in Colombia.
  fun SanPabloColombia : Ind City ;

  -- The City of SanSabatian in Spain.
  fun SanSabatianSpain : Ind City ;

  -- The City of Sanaa in Yemen.
  fun SanaaYemen : Ind City ;

  -- The City of Sangaldan in India.
  fun SangaldanIndia : Ind City ;

  -- The City of SantaMarta in Colombia.
  fun SantaMartaColombia : Ind City ;

  -- The City of SantaPola in Spain.
  fun SantaPolaSpain : Ind City ;

  fun SantaRitaMountainsPanama : Ind GeographicArea ;

  -- The City of Santiago in Chile.
  fun SantiagoChile : Ind City ;

  -- The City of Sanur in Israel.
  fun SanurIsrael : Ind City ;

  -- The City of Sarajevo in BosniaAndHerzegovina.
  fun SarajevoBosniaAndHerzegovina : Ind City ;

  -- The City of Satkhira in Bangladesh.
  fun SatkhiraBangladesh : Ind City ;

  -- A City in Georgia near the mouth of the Savannah River.
  fun SavannahGeorgia : Ind AmericanCity ;

  -- A division of the UnitedKingdom.
  fun Scotland : Ind GeopoliticalArea ;

  -- The City of Segovia in Colombia.
  fun SegoviaColombia : Ind City ;

  -- The City of Seoul in SouthKorea.
  fun SeoulSouthKorea : Ind City ;

  -- The City of Seville in Spain.
  fun SevilleSpain : Ind City ;

  -- The City of ShadmotMehola in WestBank.
  fun ShadmotMeholaWestBank : Ind City ;

  -- The City of ShaveiShomron in WestBank.
  fun ShaveiShomronWestBank : Ind City ;

  -- The City of SheikhAjlun in GazaStrip.
  fun SheikhAjlunGazaStrip : Ind City ;

  -- The City of Shilo in WestBank.
  fun ShiloWestBank : Ind City ;

  -- The City of Shimi in Ecuador.
  fun ShimiEcuador : Ind City ;

  -- The City of Shlomi in Israel.
  fun ShlomiIsrael : Ind City ;

  -- The City of SidiHalifah in Libya.
  fun SidiHalifahLibya : Ind City ;

  -- The City of Sidon in Lebanon.
  fun SidonLebanon : Ind City ;

  -- The City of Siirt in Turkey.
  fun SiirtTurkey : Ind City ;

  -- The City of SilatADahar in WestBank.
  fun SilatADaharWestBank : Ind City ;

  fun SipadanIslandMalaysia : Ind GeographicArea ;

  -- The City of Sitra.
  fun Sitra : Ind City ;

  -- The City of Sitrah in Bahrain.
  fun SitrahBahrain : Ind City ;

  -- The City of Sopore in India.
  fun SoporeIndia : Ind City ;

  -- A state in the southeastern UnitedStates.
  fun SouthCarolina : Ind AmericanState ;

  -- A state in the northern midwest of the UnitedStates.
  fun SouthDakota : Ind AmericanState ;

  -- A dependency of the UnitedKingdom
  fun SouthGeorgiaAndTheSouthSandwichIslands : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The former communist nation of the Soviet Union.
  fun SovietUnion : Ind EuropeanNation ;

  fun SpratlyIslands : Ind (both LandArea GeopoliticalArea) ;

  -- The City of Srinagar in India.
  fun SrinagarIndia : Ind City ;

  -- The City of Srinigar in India.
  fun SrinigarIndia : Ind City ;

  -- The City of Sriperumbudur in India.
  fun SriperumbudurIndia : Ind City ;

  -- The City of Stewartstown in NorthernIreland.
  fun StewartstownNorthernIreland : Ind City ;

  -- The City of Stockholm in Sweden.
  fun StockholmSweden : Ind City ;

  -- The City of Strasbourg in France.
  fun StrasbourgFrance : Ind City ;

  -- The City of SukaiManiyah.
  fun SukaiManiyah : Ind City ;

  fun SukaimaniyahIraq : Ind GeographicArea ;

  -- The City of Sulawesi in Indonesia.
  fun SulawesiIndonesia : Ind City ;

  -- The City of Sulaymaniyah in Iraq.
  fun SulaymaniyahIraq : Ind City ;

  -- The City of Sumayr in Yemen.
  fun SumayrYemen : Ind City ;

  -- The City of Susiya in WestBank.
  fun SusiyaWestBank : Ind City ;

  -- A dependency of Norway
  fun Svalbard : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The City of TBilisi in RepublicOfGeorgia.
  fun TBilisiGeorgia : Ind City ;

  -- The City of Taila in Pakistan.
  fun TailaPakistan : Ind City ;

  -- The City of TamezGuida in Algeria.
  fun TamezGuidaAlgeria : Ind City ;

  -- The City of Tandy in SriLanka.
  fun TandySriLanka : Ind City ;

  -- The City of Taxila in Pakistan.
  fun TaxilaPakistan : Ind City ;

  -- The City of Tegucigalpa in Honduras.
  fun TegucigalpaHonduras : Ind City ;

  -- The City of Teheran in Iran.
  fun TeheranIran : Ind City ;

  -- The City of Tehran.
  fun Tehran : Ind City ;

  -- The City of Tekoa in WestBank.
  fun TekoaWestBank : Ind City ;

  -- The City of TelAviv in Israel.
  fun TelAvivIsrael : Ind City ;

  fun TelHaShomerJunctionIsrael : Ind GeographicArea ;

  -- The City of TelQateifa in GazaStrip.
  fun TelQateifaGazaStrip : Ind City ;

  -- The City of TelRumeiyda in Israel.
  fun TelRumeiydaIsrael : Ind City ;

  -- The City of Telem in Israel.
  fun TelemIsrael : Ind City ;

  -- The City of Tena in WestBank.
  fun TenaWestBank : Ind City ;

  -- A state in the southeastern UnitedStates.
  fun Tennessee : Ind AmericanState ;

  -- The second largest AmericanState, located in the southwest 
  -- on the GulfOfMexico.
  fun Texas : Ind AmericanState ;

  -- The Nation of TheBahamas.
  fun TheBahamas : Ind Nation ;

  -- The City of TheHague in Netherlands.
  fun TheHagueNetherlands : Ind City ;

  fun TheKyrgyzCapitalBishkekChina : Ind GeographicArea ;

  -- The City of Thekraguri in India.
  fun ThekraguriIndia : Ind City ;

  -- The City of Tiaret in Algeria.
  fun TiaretAlgeria : Ind City ;

  -- The City of Tirat in Algeria.
  fun TiratAlgeria : Ind City ;

  -- A dependency of NewZealand
  fun Tokelau : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The capital and largest City in Japan.
  fun TokyoJapan : Ind City ;

  -- The City of Tolosa in Spain.
  fun TolosaSpain : Ind City ;

  -- The City of Topkaki in Turkey.
  fun TopkakiTurkey : Ind City ;

  -- The City of Trabzon in Turkey.
  fun TrabzonTurkey : Ind City ;

  fun TrincomaleeHarborSriLanka : Ind GeographicArea ;

  -- The City of Tripoli in Libya.
  fun TripoliLibya : Ind City ;

  -- A dependency of France
  fun TromelinIsland : Ind (both Island DependencyOrSpecialSovereigntyArea) ;

  -- The City of Tulkarem in WestBank.
  fun TulkaremWestBank : Ind City ;

  -- The City of Tulkarm in WestBank.
  fun TulkarmWestBank : Ind City ;

  -- The City of Tunceli in Turkey.
  fun TunceliTurkey : Ind City ;

  -- The City of Turbat in Pakistan.
  fun TurbatPakistan : Ind City ;

  -- A dependency of the UnitedKingdom
  fun TurksAndCaicosIslands : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  fun UWaIndianReservationColombia : Ind GeographicArea ;

  -- The City of UmAlFahm in Israel.
  fun UmAlFahmIsrael : Ind City ;

  -- The City of UmmQasr in Iraq.
  fun UmmQasrIraq : Ind City ;

  -- The City of Urena in Venezuela.
  fun UrenaVenezuela : Ind City ;

  -- The City of Urra in Colombia.
  fun UrraColombia : Ind City ;

  -- The City of UrsMartan in Russia.
  fun UrsMartanRussia : Ind City ;

  -- A state in the western UnitedStates.
  fun Utah : Ind AmericanState ;

  -- The City of Valencia in Spain.
  fun ValenciaSpain : Ind City ;

  -- The City of Valledupar in Colombia.
  fun ValleduparColombia : Ind City ;

  -- The City of Van in Turkey.
  fun VanTurkey : Ind City ;

  -- The City of Vavuniya in SriLanka.
  fun VavuniyaSriLanka : Ind City ;

  -- A northeastern AmericanState know for its small towns 
  -- and rustic beauty.
  fun Vermont : Ind AmericanState ;

  -- The City of Vienna in Austria.
  fun ViennaAustria : Ind City ;

  -- The City of Vientiane in Laos.
  fun VientianeLaos : Ind City ;

  -- The City of Villavicencio in Colombia.
  fun VillavicencioColombia : Ind City ;

  -- The VirginIslands is an Archipelago in the West Indies that comprises both the
  -- BritishVirginIslands, administered by the UnitedKingdom, and the
  -- USVirginIslands, administered by the UnitedStates.
  fun VirginIslands : Ind (both Archipelago DependencyOrSpecialSovereigntyArea) ;

  -- A state in the southeastern UnitedStates that borders on WashingtonDC.
  fun Virginia : Ind AmericanState ;

  -- The City of Vitoria in Spain.
  fun VitoriaSpain : Ind City ;

  -- The City of Vitrolles in France.
  fun VitrollesFrance : Ind City ;

  -- The City of Vladikavkaz in Russia.
  fun VladikavkazRussia : Ind City ;

  -- The City of Vladivostok in Russia.
  fun VladivostokRussia : Ind City ;

  -- The City of Volgodonsk in Russia.
  fun VolgodonskRussia : Ind City ;

  -- The City of WadiAlDabaat in Yemen.
  fun WadiAlDabaatYemen : Ind City ;

  -- The City of WadiAra in Israel.
  fun WadiAraIsrael : Ind City ;

  -- The City of WadiKelt in WestBank.
  fun WadiKeltWestBank : Ind City ;

  -- A dependency of the UnitedStates
  fun WakeIsland : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- A dependency of France
  fun WallisAndFutuna : Ind (both LandArea DependencyOrSpecialSovereigntyArea) ;

  -- The City of Warsaw in Poland. WarsawPoland The capital City of Poland.
  fun WarsawPoland : Ind EuropeanCity ;

  -- An AmericanState on the PacificOcean.
  fun Washington : Ind AmericanState ;

  -- The capitalCity of the UnitedStates.
  fun WashingtonDCUnitedStates : Ind AmericanCity ;

  -- The City of Wattyan in Bahrain.
  fun WattyanBahrain : Ind City ;

  -- A terroritory occupied by Israel.
  fun WestBank : Ind (both LandArea (both Nation (both GeographicArea GeopoliticalArea))) ;

  -- The City of WestBeirut in Lebanon.
  fun WestBeirutLebanon : Ind City ;

  -- A state in the southeastern UnitedStates
  fun WestVirginia : Ind AmericanState ;

  -- A state in the midnorthern UnitedStates.
  fun Wisconsin : Ind AmericanState ;

  -- A large western state in the UnitedStates.
  fun Wyoming : Ind AmericanState ;

  -- The City of XiAn in China.
  fun XiAnChina : Ind City ;

  -- The City of YaAbad in WestBank.
  fun YaAbadWestBank : Ind City ;

  -- The City of YagurJunction in Israel.
  fun YagurJunctionIsrael : Ind City ;

  -- The City of Yehud in Israel.
  fun YehudIsrael : Ind City ;

  -- The City of Yerevan in Armenia.
  fun YerevanArmenia : Ind City ;

  -- The City of Yitzhar in WestBank.
  fun YitzharWestBank : Ind City ;

  -- The City of Yokota in Japan.
  fun YokotaJapan : Ind City ;

  -- The City of Yopal in Colombia.
  fun YopalColombia : Ind City ;

  -- The City of Yuksekova in Turkey.
  fun YuksekovaTurkey : Ind City ;

  -- The City of Zaita in Israel.
  fun ZaitaIsrael : Ind City ;

  -- The City of Zamar in Yemen.
  fun ZamarYemen : Ind City ;

  -- The City of Zamboanga in Philippines.
  fun ZamboangaPhilippines : Ind City ;

  -- The City of Zamboango in Philippines.
  fun ZamboangoPhilippines : Ind City ;

  -- The City of Zaragoza in Spain.
  fun ZaragozaSpain : Ind City ;

  -- The City of Zarauz in Spain.
  fun ZarauzSpain : Ind City ;

  fun ZeifIntersectionWestBank : Ind GeographicArea ;

  -- The City of Zekharya in Israel.
  fun ZekharyaIsrael : Ind City ;

  fun Zimbabwe : Ind Nation ;

  -- The City of Zulia in Colombia.
  fun ZuliaColombia : Ind City ;

  -- The City of Zumaia in Spain.
  fun ZumaiaSpain : Ind City ;

  -- The City of Zumarraga in Spain.
  fun ZumarragaSpain : Ind City ;

  -- The City of Zvornik in BosniaAndHerzegovina.
  fun ZvornikBosniaAndHerzegovina : Ind City ;

  fun oilfieldsVenezuela : Ind GeographicArea ;

}