diff options
| author | krasimir <krasimir@chalmers.se> | 2010-02-17 11:07:24 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-02-17 11:07:24 +0000 |
| commit | f7f0112256b738a7c640c37d5bcbfc8a33bdb307 (patch) | |
| tree | e75a57edda742cbda74326331655cdf31e943649 /examples/SUMO/CountriesAndRegions.gf | |
| parent | a4d41ef3e32af4f5e2fb2f5e97ff7024aa4dd068 (diff) | |
added examples/SUMO
Diffstat (limited to 'examples/SUMO/CountriesAndRegions.gf')
| -rw-r--r-- | examples/SUMO/CountriesAndRegions.gf | 3039 |
1 files changed, 3039 insertions, 0 deletions
diff --git a/examples/SUMO/CountriesAndRegions.gf b/examples/SUMO/CountriesAndRegions.gf new file mode 100644 index 000000000..a6fa4f478 --- /dev/null +++ b/examples/SUMO/CountriesAndRegions.gf @@ -0,0 +1,3039 @@ +abstract CountriesAndRegions = open Merge, Mid_level_ontology, Geography, Government in {
+
+
+
+
+-- 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 India.
+fun BucharestIndia : 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 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 ;
+}
\ No newline at end of file |