CountriesAndRegions.kif

;; Instance data for places in the world.

;; Access to and use of these products is governed by the GNU General Public 
;; License <http://www.gnu.org/copyleft/gpl.html>. 
;; By using these products, you agree to be bound by the terms 
;; of the GPL.

;; Contact Adam Pease (apease [at] articulatesoftware [dot] com).
;; We ask that people using or referencing this work cite our primary paper:

;; Niles, I., and Pease, A.  2001.  Towards a Standard Upper Ontology.  In 
;; Proceedings of the 2nd International Conference on Formal Ontology in 
;; Information Systems (FOIS-2001), Chris Welty and Barry Smith, eds, 
;; Ogunquit, Maine, October 17-19, 2001.  See also http://www.ontologyportal.org 

;;-----------------------------------------------------------------------
;; Country locations by region (per 2002 CIA WFB):
;; Note that some more major (or more western) countries are defined in MILO.


(subclass AmericanState StateOrProvince)
(documentation AmericanState EnglishLanguage "The class of states that make up the 
&%UnitedStates.")

(=>
   (instance ?STATE AmericanState)
   (part ?STATE UnitedStates))

(instance NewEngland GeographicArea)
(part NewEngland UnitedStates)
(documentation NewEngland EnglishLanguage "A &%GeographicArea in the &%UnitedStates that is 
made up of the states of Maine, New Hampshire, Vermont, Massachusetts, Rhode Island, 
and Connecticut.")

(subclass AmericanCity City)
(documentation AmericanCity EnglishLanguage "The class of cities that are in the 
&%UnitedStates.")

(=>
   (instance ?CITY AmericanCity)
   (part ?CITY UnitedStates))

(instance Europe Continent)
(documentation Europe EnglishLanguage "The second smallest &%Continent.")
(meetsSpatially Europe Asia)

(subclass EuropeanCity City)
(documentation EuropeanCity EnglishLanguage "The class of cities that are in &%Europe.")

(=>
   (instance ?CITY EuropeanCity)
   (part ?CITY Europe))
   
(instance Paris EuropeanCity)
(part Paris France)
(capitalCity Paris France)
(documentation Paris EnglishLanguage "The capital of &%France and the largest &%City of the country.")

(=>
   (and
      (instance ?CITY City)
      (part ?CITY France))
   (lessThanOrEqualTo 
     (CardinalityFn (ResidentFn ?CITY)) 
     (CardinalityFn (ResidentFn Paris))))

(instance LondonUnitedKingdom City)
(capitalCity LondonUnitedKingdom UnitedKingdom)
(instance LondonUnitedKingdom EuropeanCity)
(documentation LondonUnitedKingdom EnglishLanguage "The &%City of &%London in &%UnitedKingdom.
The capital city and the largest city of the &%UnitedKingdom.")

(subclass EuropeanNation Nation)
(documentation EuropeanNation EnglishLanguage "The class of nations that are in &%Europe.")

(=>
  (instance ?N EuropeanNation)
  (part ?N Europe))   

(instance SovietUnion EuropeanNation)
(documentation SovietUnion EnglishLanguage "The former communist nation of the Soviet Union.")

;; Central Africa:

(geographicSubregion Burundi CentralAfrica)
(instance Burundi Nation)
(geographicSubregion CentralAfricanRepublic CentralAfrica)
(instance CentralAfricanRepublic Nation)
(geographicSubregion Chad CentralAfrica)
(instance Chad Nation)
(geographicSubregion DemocraticRepublicOfTheCongo CentralAfrica)
(instance DemocraticRepublicOfTheCongo Nation)
(geographicSubregion Rwanda CentralAfrica)
(instance Rwanda Nation)

;; Eastern Africa:
(geographicSubregion Djibouti EasternAfrica)
(instance Djibouti Nation)
(geographicSubregion Eritrea EasternAfrica)
(instance Eritrea Nation)
(geographicSubregion Ethiopia EasternAfrica)
(instance Ethiopia Nation)
(geographicSubregion Kenya EasternAfrica)
(instance Kenya Nation)
(geographicSubregion Seychelles EasternAfrica)
(instance Seychelles Nation)
(geographicSubregion Somalia EasternAfrica)
(instance Somalia Nation)
(geographicSubregion Tanzania EasternAfrica)
(instance Tanzania Nation)
(geographicSubregion Uganda EasternAfrica)
(instance Uganda Nation)

;; Northern Africa:

(geographicSubregion Algeria NorthernAfrica)
(instance Algeria Nation)
(geographicSubregion Egypt NorthernAfrica)
(instance Egypt Nation)
(geographicSubregion Libya NorthernAfrica)
(instance Libya Nation)
(geographicSubregion Mauritania NorthernAfrica)
(instance Mauritania Nation)
(geographicSubregion Morocco NorthernAfrica)
(instance Morocco Nation)
(part Morocco Africa)
(geographicSubregion Sudan NorthernAfrica)
(instance Sudan Nation)
(geographicSubregion Tunisia NorthernAfrica)
(instance Tunisia Nation)
(geographicSubregion WesternSahara NorthernAfrica)
(instance WesternSahara Nation)

;; Southern Africa:
(instance BassasDaIndia Island)
(meetsSpatially BassasDaIndia IndianOcean)
(instance BouvetIsland Island)
(meetsSpatially BouvetIsland SouthAtlanticOcean)
(instance EuropaIsland Island)
(meetsSpatially EuropaIsland IndianOcean)
(instance GloriosoIslands Island)
(meetsSpatially GloriosoIslands IndianOcean)
(instance HeardIslandAndMcDonaldIslands Island)
(meetsSpatially HeardIslandAndMcDonaldIslands IndianOcean)
(instance JuanDeNovaIsland Island)
(meetsSpatially JuanDeNovaIsland IndianOcean)
(instance Mayotte Island)
(meetsSpatially Mayotte IndianOcean)
(instance TromelinIsland Island)
(meetsSpatially TromelinIsland IndianOcean)

(geographicSubregion Angola SouthernAfrica)
(instance Angola Nation)
(geographicSubregion BassasDaIndia SouthernAfrica)
(geographicSubregion Botswana SouthernAfrica)
(instance Botswana Nation)
(geographicSubregion BouvetIsland SouthernAfrica)
(geographicSubregion Comoros SouthernAfrica)
(instance Comoros Nation)
(geographicSubregion EuropaIsland SouthernAfrica)
(geographicSubregion GloriosoIslands SouthernAfrica)
(geographicSubregion HeardIslandAndMcDonaldIslands SouthernAfrica)
(geographicSubregion JuanDeNovaIsland SouthernAfrica)
(geographicSubregion Lesotho SouthernAfrica)
(instance Lesotho Nation)
(geographicSubregion Madagascar SouthernAfrica)
(instance Madagascar Nation)
(geographicSubregion Malawi SouthernAfrica)
(instance Malawi Nation)
(geographicSubregion Mauritius SouthernAfrica)
(instance Mauritius Nation)
(geographicSubregion Mayotte SouthernAfrica)
(geographicSubregion Mozambique SouthernAfrica)
(instance Mozambique Nation)
(geographicSubregion Namibia SouthernAfrica)
(instance Namibia Nation)
(geographicSubregion Reunion SouthernAfrica)
(instance Reunion Nation)
(geographicSubregion SouthAfrica SouthernAfrica)
(instance SouthAfrica Nation)
(geographicSubregion Swaziland SouthernAfrica)
(instance Swaziland Nation)
(geographicSubregion TromelinIsland SouthernAfrica)
(geographicSubregion Zambia SouthernAfrica)
(instance Zambia Nation)
(geographicSubregion Zimbabwe SouthernAfrica)
(instance Zimbabwe Nation)

;; Western Africa:

(geographicSubregion Benin WesternAfrica)
(instance Benin Nation)
(geographicSubregion BurkinaFaso WesternAfrica)
(instance BurkinaFaso Nation)
(geographicSubregion Cameroon WesternAfrica)
(instance Cameroon Nation)
(geographicSubregion CapeVerde WesternAfrica)
(instance CapeVerde Nation)
(geographicSubregion CoteDIvoire WesternAfrica)
(instance CoteDIvoire Nation)
(geographicSubregion EquatorialGuinea WesternAfrica)
(instance EquatorialGuinea Nation)
(geographicSubregion Gabon WesternAfrica)
(instance Gabon Nation)
(geographicSubregion Gambia WesternAfrica)
(instance Gambia Nation)
(geographicSubregion Ghana WesternAfrica)
(instance Ghana Nation)
(geographicSubregion Guinea WesternAfrica)
(instance Guinea Nation)
(geographicSubregion GuineaBissau WesternAfrica)
(instance GuineaBissau Nation)
(geographicSubregion Liberia WesternAfrica)
(instance Liberia Nation)
(geographicSubregion Mali WesternAfrica)
(instance Mali Nation)
(geographicSubregion Niger WesternAfrica)
(instance Niger Nation)
(geographicSubregion Nigeria WesternAfrica)
(instance Nigeria Nation)
(geographicSubregion SaoTomeAndPrincipe WesternAfrica)
(instance SaoTomeAndPrincipe Nation)
(geographicSubregion Senegal WesternAfrica)
(instance Senegal Nation)
(geographicSubregion SierraLeone WesternAfrica)
(instance SierraLeone Nation)
(geographicSubregion Togo WesternAfrica)
(instance Togo Nation)

;; South Atlantic Ocean
(located SaintHelena SouthAtlanticOcean)
(instance SaintHelena LandArea)
(between SouthAmerica SaintHelena WesternAfrica)

;; Middle East Region:

(instance GazaStrip LandArea)
(instance WestBank LandArea)

(geographicSubregion Bahrain MiddleEastRegion)
(instance Bahrain Nation)
(geographicSubregion Cyprus MiddleEastRegion)
(instance Cyprus Nation)
(geographicSubregion GazaStrip MiddleEastRegion)
(instance GazaStrip Nation)
(geographicSubregion Iran MiddleEastRegion)
(instance Iran Nation)
(geographicSubregion Iraq MiddleEastRegion)
(instance Iraq Nation)
(geographicSubregion Israel MiddleEastRegion)
(instance Israel Nation)
(geographicSubregion Jordan MiddleEastRegion)
(instance Jordan Nation)
(geographicSubregion Kuwait MiddleEastRegion)
(instance Kuwait Nation)
(geographicSubregion Lebanon MiddleEastRegion)
(instance Lebanon Nation)
(geographicSubregion Oman MiddleEastRegion)
(instance Oman Nation)
(geographicSubregion Qatar MiddleEastRegion)
(instance Qatar Nation)
(geographicSubregion SaudiArabia MiddleEastRegion)
(instance SaudiArabia Nation)
(geographicSubregion Syria MiddleEastRegion)
(instance Syria Nation)
(geographicSubregion UnitedArabEmirates MiddleEastRegion)
(instance UnitedArabEmirates Nation)
(geographicSubregion WestBank MiddleEastRegion)
(instance WestBank Nation)
(geographicSubregion Yemen MiddleEastRegion)
(instance Yemen Nation)

;; Central Europe:

(geographicSubregion Austria CentralEurope)
(instance Austria Nation)
(geographicSubregion CzechRepublic CentralEurope)
(instance CzechRepublic Nation)
(geographicSubregion Germany CentralEurope)
(instance Germany EuropeanNation)
(geographicSubregion Hungary CentralEurope)
(instance Hungary Nation)
(geographicSubregion Liechtenstein CentralEurope)
(instance Liechtenstein Nation)
(geographicSubregion Poland CentralEurope)
(instance Poland EuropeanNation)
(geographicSubregion Slovakia CentralEurope)
(instance Slovakia Nation)
(geographicSubregion Slovenia CentralEurope)
(instance Slovenia Nation)
(geographicSubregion Switzerland CentralEurope)
(instance Switzerland EuropeanNation)

;; Former Soviet Europe:

(geographicSubregion Belarus EasternEurope)
(instance Belarus Nation)
(geographicSubregion Estonia EasternEurope)
(instance Estonia Nation)
(geographicSubregion Latvia EasternEurope)
(instance Latvia Nation)
(geographicSubregion Lithuania EasternEurope)
(instance Lithuania Nation)
(geographicSubregion Moldova EasternEurope)
(instance Moldova Nation)
(geographicSubregion Ukraine EasternEurope)
(instance Ukraine Nation)

;; Northern Europe:

(instance FaroeIslands LandArea)
(instance JanMayenIsland LandArea)
(instance Svalbard LandArea)

(geographicSubregion Denmark NorthernEurope)
(instance Denmark EuropeanNation)
(geographicSubregion FaroeIslands NorthernEurope)
(geographicSubregion Finland NorthernEurope)
(instance Finland EuropeanNation)
(geographicSubregion Iceland NorthernEurope)
(instance Iceland EuropeanNation)
(geographicSubregion JanMayenIsland NorthernEurope)
(geographicSubregion Norway NorthernEurope)
(instance Norway EuropeanNation)
(geographicSubregion Svalbard NorthernEurope)
(geographicSubregion Sweden NorthernEurope)
(instance Sweden EuropeanNation)

;; Southern Europe:

(geographicSubregion Greece SouthernEurope)
(instance Greece EuropeanNation)
(geographicSubregion HolySee SouthernEurope)
(instance HolySee EuropeanNation)
(geographicSubregion Italy SouthernEurope)
(instance Italy EuropeanNation)
(geographicSubregion Malta SouthernEurope)
(instance Malta EuropeanNation)
(geographicSubregion SanMarino SouthernEurope)
(instance SanMarino EuropeanNation)

;; Western Europe:

(instance Guernsey LandArea)
(instance Jersey LandArea)
(instance IsleOfMan LandArea)

(geographicSubregion Belgium WesternEurope)
(instance Belgium EuropeanNation)
(geographicSubregion France WesternEurope)
(instance France EuropeanNation)
(geographicSubregion Guernsey WesternEurope)
(geographicSubregion Ireland WesternEurope)
(instance Ireland EuropeanNation)
(geographicSubregion Jersey WesternEurope)
(geographicSubregion Luxembourg WesternEurope)
(instance Luxembourg Nation)
(geographicSubregion IsleOfMan WesternEurope)
(geographicSubregion Monaco WesternEurope)
(instance Monaco EuropeanNation)
(geographicSubregion Netherlands WesternEurope)
(instance Netherlands EuropeanNation)
(geographicSubregion UnitedKingdom WesternEurope)
(instance UnitedKingdom EuropeanNation)
(documentation UnitedKingdom EnglishLanguage "The &%Nation comprising 
England, Scotland, Wales, and Northern Ireland.")


;; Southeastern Europe:
(geographicSubregion Albania SoutheasternEurope)
(instance Albania Nation)
(geographicSubregion BosniaAndHerzegovina SoutheasternEurope)
(instance BosniaAndHerzegovina Nation)
(geographicSubregion Bulgaria SoutheasternEurope)
(instance Bulgaria Nation)
(geographicSubregion Croatia SoutheasternEurope)
(instance Croatia Nation)
(geographicSubregion Macedonia SoutheasternEurope)
(instance Macedonia Nation)
(geographicSubregion Romania SoutheasternEurope)
(instance Romania Nation)
(geographicSubregion Turkey SoutheasternEurope)
(instance Turkey Nation)
(geographicSubregion SerbiaAndMontenegro SoutheasternEurope)
(instance SerbiaAndMontenegro Nation)

;; Southwestern Europe:
(instance Gibraltar LandArea)

(geographicSubregion Andorra SouthwesternEurope)
(instance Andorra EuropeanNation)
(geographicSubregion Gibraltar SouthwesternEurope)
(geographicSubregion Portugal SouthwesternEurope)
(instance Portugal EuropeanNation)
(geographicSubregion Spain SouthwesternEurope)
(instance Spain EuropeanNation)

;; North America:

(instance Bermuda LandArea)
(instance Greenland LandArea)
(instance SaintPierreAndMiquelon LandArea)

(geographicSubregion Bermuda NorthAmerica)
(geographicSubregion UnitedStates NorthAmerica)
(instance UnitedStates Nation)

(geographicSubregion Canada NorthernNorthAmerica)
(instance Canada Nation)
(meetsSpatially Canada UnitedStates)
(geographicSubregion Greenland NorthernNorthAmerica)
(geographicSubregion SaintPierreAndMiquelon NorthernNorthAmerica)

;; Caribbean Region:

(instance Anguilla LandArea)
(instance Aruba LandArea)
(instance BritishVirginIslands LandArea)
(instance CaymanIslands LandArea)
(instance Guadeloupe LandArea)
(instance Martinique LandArea)
(instance Montserrat LandArea)
(instance NavassaIsland LandArea)
(instance NetherlandsAntilles LandArea)
(instance TurksAndCaicosIslands LandArea)

(geographicSubregion Anguilla CaribbeanRegion)
(geographicSubregion AntiguaAndBarbuda CaribbeanRegion)
(instance AntiguaAndBarbuda Nation)
(geographicSubregion Aruba CaribbeanRegion)
(geographicSubregion TheBahamas CaribbeanRegion)
(instance TheBahamas Nation)
(geographicSubregion Barbados CaribbeanRegion)
(instance Barbados Nation)
(geographicSubregion BritishVirginIslands CaribbeanRegion)
(geographicSubregion CaymanIslands CaribbeanRegion)
(geographicSubregion Cuba CaribbeanRegion)
(instance Cuba Nation)
(instance Cuba Island)
(geographicSubregion Dominica CaribbeanRegion)
(instance Dominica Nation)
(geographicSubregion DominicanRepublic CaribbeanRegion)
(instance DominicanRepublic Nation)
(geographicSubregion Grenada CaribbeanRegion)
(instance Grenada Nation)
(geographicSubregion Guadeloupe CaribbeanRegion)
(geographicSubregion Haiti CaribbeanRegion)
(instance Haiti Nation)
(geographicSubregion Jamaica CaribbeanRegion)
(instance Jamaica Nation)
(geographicSubregion Martinique CaribbeanRegion)
(geographicSubregion Montserrat CaribbeanRegion)
(geographicSubregion NavassaIsland CaribbeanRegion)
(geographicSubregion NetherlandsAntilles CaribbeanRegion)
(geographicSubregion PuertoRico CaribbeanRegion)
(geographicSubregion SaintKittsAndNevis CaribbeanRegion)
(instance SaintKittsAndNevis Nation)
(geographicSubregion SaintLucia CaribbeanRegion)
(instance SaintLucia Nation)
(geographicSubregion SaintVincentAndTheGrenadines CaribbeanRegion)
(instance SaintVincentAndTheGrenadines Nation)
(geographicSubregion TrinidadAndTobago CaribbeanRegion)
(instance TrinidadAndTobago Nation)
(geographicSubregion TurksAndCaicosIslands CaribbeanRegion)
(geographicSubregion VirginIslands CaribbeanRegion)

;; Middle America:

(instance ClippertonIsland LandArea)

(geographicSubregion Belize MiddleAmerica)
(instance Belize Nation)
(geographicSubregion ClippertonIsland MiddleAmerica)
(geographicSubregion CostaRica MiddleAmerica)
(instance CostaRica Nation)
(geographicSubregion ElSalvador MiddleAmerica)
(instance ElSalvador Nation)
(geographicSubregion Guatemala MiddleAmerica)
(instance Guatemala Nation)
(geographicSubregion Honduras MiddleAmerica)
(instance Honduras Nation)
(geographicSubregion Mexico MiddleAmerica)
(instance Mexico Nation)
(geographicSubregion Nicaragua MiddleAmerica)
(instance Nicaragua Nation)
(geographicSubregion Panama MiddleAmerica)
(instance Panama Nation)

;; South America:

(instance FrenchGuiana LandArea)
(instance FalklandIslands LandArea)
(instance SouthGeorgiaAndTheSouthSandwichIslands LandArea)
                                             
(geographicSubregion Bolivia CentralSouthAmerica)
(instance Bolivia Nation)
(geographicSubregion Paraguay CentralSouthAmerica)
(instance Paraguay Nation)

(geographicSubregion Brazil EasternSouthAmerica)
(instance Brazil Nation)

(geographicSubregion Colombia NorthernSouthAmerica)
(instance Colombia Nation)
(geographicSubregion FrenchGuiana NorthernSouthAmerica)
(geographicSubregion Guyana NorthernSouthAmerica)
(instance Guyana Nation)
(geographicSubregion Suriname NorthernSouthAmerica)
(instance Suriname Nation)
(geographicSubregion Venezuela NorthernSouthAmerica)
(instance Venezuela Nation)

(geographicSubregion Argentina SouthernSouthAmerica)
(instance Argentina Nation)
(geographicSubregion Chile SouthernSouthAmerica)
(instance Chile Nation)
(geographicSubregion FalklandIslands SouthernSouthAmerica)
(geographicSubregion SouthGeorgiaAndTheSouthSandwichIslands SouthernSouthAmerica)
(geographicSubregion Uruguay SouthernSouthAmerica)
(instance Uruguay Nation)

(geographicSubregion Ecuador WesternSouthAmerica)
(instance Ecuador Nation)
(geographicSubregion Peru WesternSouthAmerica)
(instance Peru Nation)

;; Central Asia:

(geographicSubregion Kazakhstan CentralAsia)
(instance Kazakhstan Nation)
(geographicSubregion Kyrgyzstan CentralAsia)
(instance Kyrgyzstan Nation)
(geographicSubregion Tajikistan CentralAsia)
(instance Tajikistan Nation)
(geographicSubregion Turkmenistan CentralAsia)
(instance Turkmenistan Nation)
(geographicSubregion Uzbekistan CentralAsia)
(instance Uzbekistan Nation)

;; Eastern Asia:

(instance HongKong LandArea)
(instance Macau LandArea)

(geographicSubregion China EasternAsia)
(instance China Nation)
(geographicSubregion HongKong EasternAsia)
(geographicSubregion Japan EasternAsia)
(instance Japan Nation)
(instance Japan Island)
(geographicSubregion NorthKorea EasternAsia)
(instance NorthKorea Nation)
(geographicSubregion SouthKorea EasternAsia)
(instance SouthKorea Nation)
(geographicSubregion Macau EasternAsia)
(geographicSubregion Taiwan EasternAsia)
(instance Taiwan Nation)

(geographicSubregion Mongolia NorthernAsia)
(instance Mongolia Nation)
(geographicSubregion Russia NorthernAsia)
(instance Russia Nation)

;; Southern Asia:
(instance BritishIndianOceanTerritory LandArea)

(geographicSubregion Afghanistan SouthernAsia)
(instance Afghanistan Nation)
(geographicSubregion Bangladesh SouthernAsia)
(instance Bangladesh Nation)
(geographicSubregion Bhutan SouthernAsia)
(instance Bhutan Nation)
(geographicSubregion BritishIndianOceanTerritory SouthernAsia)
(geographicSubregion India SouthernAsia)
(instance India Nation)
(geographicSubregion Maldives SouthernAsia)
(instance Maldives Nation)
(geographicSubregion Nepal SouthernAsia)
(instance Nepal Nation)
(geographicSubregion Pakistan SouthernAsia)
(instance Pakistan Nation)
(geographicSubregion SriLanka SouthernAsia)
(instance SriLanka Nation)

;; Indian Ocean 
(located FrenchSouthernAndAntarcticLands IndianOcean)
(instance FrenchSouthernAndAntarcticLands LandArea)
(located FrenchSouthernAndAntarcticLands (DirectionalSubregionFn South IndianOcean))

;; Southeastern Asia:

(instance AshmoreAndCartierIslands LandArea)
(instance ChristmasIsland LandArea)
(instance CocosKeelingIslands LandArea)
(instance ParacelIslands LandArea)
(instance SpratlyIslands LandArea)

(geographicSubregion AshmoreAndCartierIslands SoutheasternAsia)
(geographicSubregion Brunei SoutheasternAsia)
(instance Brunei Nation)
(geographicSubregion Myanmar SoutheasternAsia)
(formerName "Burma" Myanmar)
(instance Myanmar Nation)
(geographicSubregion Cambodia SoutheasternAsia)
(instance Cambodia Nation)
(geographicSubregion ChristmasIsland SoutheasternAsia)
(geographicSubregion CocosKeelingIslands SoutheasternAsia)
(geographicSubregion EastTimor SoutheasternAsia)
(instance EastTimor Nation)
(geographicSubregion Indonesia SoutheasternAsia)
(instance Indonesia Nation)
(geographicSubregion Laos SoutheasternAsia)
(instance Laos Nation)
(geographicSubregion Malaysia SoutheasternAsia)
(instance Malaysia Nation)
(geographicSubregion PapuaNewGuinea SoutheasternAsia)
(instance PapuaNewGuinea Nation)
(geographicSubregion ParacelIslands SoutheasternAsia)
(geographicSubregion Philippines SoutheasternAsia)
(instance Philippines Nation)
(geographicSubregion Singapore SoutheasternAsia)
(instance Singapore Nation)
(geographicSubregion SpratlyIslands SoutheasternAsia)
(geographicSubregion Thailand SoutheasternAsia)
(instance Thailand Nation)
(geographicSubregion Vietnam SoutheasternAsia)
(instance Vietnam Nation)

;; Southwestern Asia:
(geographicSubregion Armenia SouthwesternAsia)
(instance Armenia Nation)
(geographicSubregion Azerbaijan SouthwesternAsia)
(instance Azerbaijan Nation)
(geographicSubregion RepublicOfGeorgia SouthwesternAsia)
(instance RepublicOfGeorgia Nation)

;; Oceania:

(instance AmericanSamoa LandArea)
(instance BakerIsland LandArea)
(instance CookIslands LandArea)
(instance CoralSeaIslands LandArea)
(instance FrenchPolynesia LandArea)
(instance HowlandIsland LandArea)
(instance JarvisIsland LandArea)
(instance JohnstonAtoll LandArea)
(instance KingmanReef LandArea)
(instance MidwayIslands LandArea)
(instance NewCaledonia LandArea)
(instance Niue LandArea)
(instance NorfolkIsland LandArea)
(instance NorthernMarianaIslands LandArea)
(instance PalmyraAtoll LandArea)
(instance PitcairnIslands LandArea)
(instance Tokelau LandArea)
(instance WakeIsland LandArea)
(instance WallisAndFutuna LandArea)

(geographicSubregion AmericanSamoa Oceania)
(geographicSubregion Australia Oceania)
(instance Australia Nation)
(part Australia Oceania)
(geographicSubregion BakerIsland Oceania)
(geographicSubregion CookIslands Oceania)
(geographicSubregion CoralSeaIslands Oceania)
(geographicSubregion Fiji Oceania)
(instance Fiji Nation)
(geographicSubregion FrenchPolynesia Oceania)
(geographicSubregion Guam Oceania)
(geographicSubregion HowlandIsland Oceania)
(geographicSubregion JarvisIsland Oceania)
(geographicSubregion JohnstonAtoll Oceania)
(geographicSubregion KingmanReef Oceania)
(geographicSubregion Kiribati Oceania)
(instance Kiribati Nation)
(geographicSubregion MarshallIslands Oceania)
(instance MarshallIslands Nation)
(geographicSubregion Micronesia Oceania)
(instance Micronesia Nation)
(geographicSubregion MidwayIslands Oceania)
(geographicSubregion Nauru Oceania)
(instance Nauru Nation)
(geographicSubregion NewCaledonia Oceania)
(geographicSubregion NewZealand Oceania)
(instance NewZealand Nation)
(geographicSubregion Niue Oceania)
(geographicSubregion NorfolkIsland Oceania)
(geographicSubregion NorthernMarianaIslands Oceania)
(geographicSubregion Palau Oceania)
(instance Palau Nation)
(geographicSubregion PalmyraAtoll Oceania)
(geographicSubregion PitcairnIslands Oceania)
(geographicSubregion Samoa Oceania)
(instance Samoa Nation)
(geographicSubregion SolomonIslands Oceania)
(instance SolomonIslands Nation)
(geographicSubregion Tokelau Oceania)
(geographicSubregion Tonga Oceania)
(instance Tonga Nation)
(geographicSubregion Tuvalu Oceania)
(instance Tuvalu Nation)
(geographicSubregion Vanuatu Oceania)
(instance Vanuatu Nation)
(geographicSubregion WakeIsland Oceania)
(geographicSubregion WallisAndFutuna Oceania)

;;-----------------------------------------------------------------------
;; Miscellaneous cities and regions

(instance AtlantaGeorgia AmericanCity)
(part AtlantaGeorgia Georgia)
(documentation AtlantaGeorgia EnglishLanguage "The largest City in &%Georgia.")
(instance BaltimoreMaryland AmericanCity)
(part BaltimoreMaryland Maryland)
(documentation BaltimoreMaryland EnglishLanguage "The largest City in &%Maryland.")
(instance BerlinGermany EuropeanCity)
(capitalCity BerlinGermany Germany)
(documentation BerlinGermany EnglishLanguage "The capital of &%Germany and the largest 
City of the country.")
(instance BernSwitzerland EuropeanCity)
(capitalCity BernSwitzerland Switzerland)
(documentation BernSwitzerland EnglishLanguage "The capital of &%Switzerland.")
(instance BostonMassachusetts AmericanCity)
(part BostonMassachusetts Massachusetts)
(documentation BostonMassachusetts EnglishLanguage "The largest &%City in &%Massachusetts.")
(instance KansasCityMissouri AmericanCity)
(documentation KansasCityMissouri EnglishLanguage "A large &%City at the western edge of &%Missouri.")
(part KansasCityMissouri Missouri)
(instance MemphisTennessee AmericanCity)
(instance ManchesterNewHampshire AmericanCity)
(part ManchesterNewHampshire NewHampshire)
(documentation ManchesterNewHampshire EnglishLanguage "The largest &%City in &%NewHampshire.")
(part MemphisTennessee Tennessee)
(documentation MemphisTennessee EnglishLanguage "The largest City in Tennessee, 
located on the MississippiRiver.")
(instance MinneapolisMinnesota AmericanCity)
(part MinneapolisMinnesota Minnesota)
(documentation MinneapolisMinnesota EnglishLanguage "The largest City in Minnesota.")
(instance MississippiRiver River)
(part MississippiRiver UnitedStates)
(documentation MississippiRiver EnglishLanguage "The major River in the &%UnitedStates.  
It runs almost the entire width of the UnitedStates, from &%Minnesota 
to the &%GulfOfMexico.")
(connected MississippiRiver GulfOfMexico)
(instance MontrealCanada City)
(part MontrealCanada Canada)
(documentation MontrealCanada EnglishLanguage "A large City in eastern Canada.")
(instance MoscowRussia City)
(capitalCity MoscowRussia Russia)
(documentation MoscowRussia EnglishLanguage "The capital of Russia and the largest 
City of the country.")
(instance NashvilleTennessee AmericanCity)
(part NashvilleTennessee Tennessee)
(documentation NashvilleTennessee EnglishLanguage "A large City in Tennessee.")
(instance Palestine OverseasArea)
(dependentGeopoliticalArea Palestine UnitedKingdom)
(documentation Palestine EnglishLanguage "A GeopoliticalArea that was divided by the 
UnitedKingdom into Israel and 
Jordan in 1948.")


(instance PhiladelphiaPennsylvania AmericanCity)
(part PhiladelphiaPennsylvania Pennsylvania)
(documentation PhiladelphiaPennsylvania EnglishLanguage "The largest City in Pennsylvania.")
(instance PittsburghPennsylvania AmericanCity)
(part PittsburghPennsylvania Pennsylvania)
(documentation PittsburghPennsylvania EnglishLanguage "The second largest City in 
Pennsylvania.  It was once a center of steel production in the 
UnitedStates.")
(instance ProvidenceRhodeIsland AmericanCity)
(capitalCity ProvidenceRhodeIsland RhodeIsland)
(documentation ProvidenceRhodeIsland EnglishLanguage "The largest and capital city of 
RhodeIsland.")
(instance RichmondVirginia AmericanCity)
(capitalCity RichmondVirginia Virginia)
(documentation RichmondVirginia EnglishLanguage "The capital of Virginia, located in the 
east-central part of the state.")
(instance RomeItaly EuropeanCity)
(capitalCity RomeItaly Italy)
(documentation RomeItaly EnglishLanguage "The capital of &%Italy and the largest &%City 
of the country.")
(instance SaintLouisMissouri AmericanCity)
(part SaintLouisMissouri Missouri)
(documentation SaintLouisMissouri EnglishLanguage "A large City in Missouri.")
(instance SaintPaulMinnesota AmericanCity)
(capitalCity SaintPaulMinnesota Minnesota)
(meetsSpatially SaintPaulMinnesota MinneapolisMinnesota)
(documentation SaintPaulMinnesota EnglishLanguage "The capital of Minnesota, borders 
MinneapolisMinnesota.")
(instance SanFranciscoCalifornia AmericanCity)
(part SanFranciscoCalifornia California)
(documentation SanFranciscoCalifornia EnglishLanguage "A large City in &%California, 
located on the San Francisco Bay.")
(instance SavannahGeorgia AmericanCity)
(part SavannahGeorgia Georgia)
(documentation SavannahGeorgia EnglishLanguage "A City in Georgia near the mouth of 
the Savannah River.")
(instance Scotland GeopoliticalArea)
(part Scotland UnitedKingdom)
(documentation Scotland EnglishLanguage "A division of the &%UnitedKingdom.")
(instance WarsawPoland EuropeanCity)
(capitalCity WarsawPoland Poland)
(documentation WarsawPoland EnglishLanguage "The capital &%City and largest city in &%Poland.")
(instance LongIsland Island)
(part LongIsland NewYorkState)
(documentation LongIsland EnglishLanguage "A large Island off the coast of NewYorkState.  
The boroughs of Queens and Brooklyn make up the western end of this 
Island.")
(instance LosAngelesCalifornia AmericanCity)
(part LosAngelesCalifornia California)
(documentation LosAngelesCalifornia EnglishLanguage "The largest City in California.")
(=>
   (and
      (instance ?CITY AmericanCity)
      (part ?CITY California)
      (not (equal ?CITY LosAngelesCalifornia)))
   (greaterThan (CardinalityFn (ResidentFn LosAngelesCalifornia)) (CardinalityFn (ResidentFn ?CITY))))

(instance KoreanPeninsula Peninsula)
(part KoreanPeninsula Asia)
(documentation KoreanPeninsula EnglishLanguage "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.")
(instance HonoluluHawaii AmericanCity)
(capitalCity HonoluluHawaii Hawaii)
(documentation HonoluluHawaii EnglishLanguage "The capital and largest City in Hawaii.")
(instance HoustonTexas AmericanCity)
(part HoustonTexas Texas)
(documentation HoustonTexas EnglishLanguage "Located in southeastern Texas, the largest 
City in the state.")
(instance HudsonRiver River)
(part HudsonRiver NewYorkState)
(documentation HudsonRiver EnglishLanguage "A large River in NewYorkState.")
(instance FargoNorthDakota AmericanCity)
(part FargoNorthDakota NorthDakota)
(documentation FargoNorthDakota EnglishLanguage "The largest City in NorthDakota.")
(instance DenverColorado AmericanCity)
(capitalCity DenverColorado Colorado)
(documentation DenverColorado EnglishLanguage "The capital and largest City in Colorado.")
(instance DetroitMichigan AmericanCity)
(part DetroitMichigan Michigan)
(documentation DetroitMichigan EnglishLanguage "The largest City in Michigan.")
(instance CopenhagenDenmark EuropeanCity)
(capitalCity CopenhagenDenmark Denmark)
(documentation CopenhagenDenmark EnglishLanguage "The capital of Denmark and the largest 
City of the country.")
(instance Czechoslovakia EuropeanNation)
(documentation Czechoslovakia EnglishLanguage "The former eastern bloc nation.  It is currently 
divided into two independent Nations, the Czech Republic and Slovakia.")
(instance DallasTexas AmericanCity)
(part DallasTexas Texas)
(documentation DallasTexas EnglishLanguage "A large City in northeastern Texas.")
(instance ClevelandOhio AmericanCity)
(part ClevelandOhio Ohio)
(documentation ClevelandOhio EnglishLanguage "Bordering Lake Erie, ClevelandOhio is 
the largest City in Ohio.")
(instance ColumbusOhio AmericanCity)
(capitalCity ColumbusOhio Ohio)
(documentation ColumbusOhio EnglishLanguage "The capital of Ohio, located in the middle 
of the state.")

;;-----------------------------------------------------------------------
;; US States

(instance Alabama AmericanState)
(meetsSpatially Alabama Mississippi)
(documentation Alabama EnglishLanguage "A state in the southeastern &%UnitedStates that 
borders on the &%GulfOfMexico.")
(instance Alaska AmericanState)
(documentation Alaska EnglishLanguage "The largest state in the &%UnitedStates.")
(=>
   (and
      (instance ?UNIT AreaMeasure)
      (measure Alaska (MeasureFn ?NUMBER1 ?UNIT))
      (measure ?STATE (MeasureFn ?NUMBER2 ?UNIT))
      (instance ?STATE AmericanState)
      (not (equal Alaska ?STATE)))
   (lessThan ?NUMBER2 ?NUMBER1))

(meetsSpatially Alaska Canada)
(meetsSpatially Alaska PacificOcean)
(meetsSpatially Alaska ArcticOcean)
(instance Arizona AmericanState)
(meetsSpatially Arizona Nevada)
(meetsSpatially Arizona California)
(meetsSpatially Arizona Mexico)
(documentation Arizona EnglishLanguage "A state in the southwestern &%UnitedStates that 
borders on &%Mexico.")
(instance Arkansas AmericanState)
(meetsSpatially Arkansas Oklahoma)
(meetsSpatially Arkansas Texas)
(meetsSpatially Arkansas Louisiana)
(documentation Arkansas EnglishLanguage "A state in the southeastern &%UnitedStates that was 
part of the Confederacy.")
(instance California AmericanState)
(documentation California EnglishLanguage "The &%AmericanState with the highest population.")
(=>
   (and
      (instance ?STATE AmericanState)
      (not (equal ?STATE California)))
   (greaterThan (CardinalityFn (ResidentFn California)) (CardinalityFn (ResidentFn ?STATE))))

(meetsSpatially California PacificOcean)
(meetsSpatially California Mexico)
(meetsSpatially California NewMexico)
(meetsSpatially California Oregon)
(meetsSpatially California Washington)
(instance Colorado AmericanState)
(meetsSpatially Colorado Utah)
(meetsSpatially Colorado Arizona)
(meetsSpatially Colorado NewMexico)
(meetsSpatially Colorado Texas)
(documentation Colorado EnglishLanguage "A large western state in the &%UnitedStates.")
(instance Connecticut AmericanState)
(part Connecticut NewEngland)
(documentation Connecticut EnglishLanguage "A state in &%NewEngland, one of the original thirteen 
colonies.")
(instance Delaware AmericanState)
(meetsSpatially Delaware NorthAtlanticOcean)
(meetsSpatially Delaware Maryland)
(meetsSpatially Delaware Pennsylvania)
(documentation Delaware EnglishLanguage "A state in &%NewEngland, one of the original thirteen 
colonies.")
(instance FloridaUnitedStates AmericanState)
(meetsSpatially FloridaUnitedStates NorthAtlanticOcean)
(meetsSpatially FloridaUnitedStates Alabama)
(meetsSpatially FloridaUnitedStates GulfOfMexico)
(documentation FloridaUnitedStates EnglishLanguage "A state in the southeastern &%UnitedStates between 
the &%GulfOfMexico and the &%AtlanticOcean.")
(instance Georgia AmericanState)
(meetsSpatially Georgia NorthAtlanticOcean)
(meetsSpatially Georgia FloridaUnitedStates)
(meetsSpatially Georgia Alabama)
(documentation Georgia EnglishLanguage "A state in the southeastern &%UnitedStates.")
(instance Hawaii AmericanState)
(meetsSpatially Hawaii PacificOcean)
(documentation Hawaii EnglishLanguage "An &%AmericanState that consists of several &%Islands in 
the central &%PacificOcean.")
(instance Idaho AmericanState)
(meetsSpatially Idaho Canada)
(meetsSpatially Idaho Washington)
(meetsSpatially Idaho Oregon)
(meetsSpatially Idaho Nevada)
(meetsSpatially Idaho Utah)
(documentation Idaho EnglishLanguage "A state known for potatoes in the northwestern 
&%UnitedStates.")
(instance Illinois AmericanState)
(meetsSpatially Illinois Iowa)
(meetsSpatially Illinois Missouri)
(documentation Illinois EnglishLanguage "A populous and industrial state in the midwestern 
&%UnitedStates.")
(instance Indiana AmericanState)
(meetsSpatially Indiana Illinois)
(documentation Indiana EnglishLanguage "A state in the mideastern &%UnitedStates.")
(instance Iowa AmericanState)
(meetsSpatially Iowa SouthDakota)
(meetsSpatially Iowa Nebraska)
(meetsSpatially Iowa Missouri)
(documentation Iowa EnglishLanguage "A state in the midwestern &%UnitedStates.")
(instance Kansas AmericanState)
(meetsSpatially Kansas Colorado)
(meetsSpatially Kansas Texas)
(meetsSpatially Kansas Oklahoma)
(documentation Kansas EnglishLanguage "A state in the midwestern &%UnitedStates.")
(instance Kentucky AmericanState)
(meetsSpatially Kentucky Tennessee)
(meetsSpatially Kentucky Missouri)
(meetsSpatially Kentucky Illinois)
(meetsSpatially Kentucky Indiana)
(documentation Kentucky EnglishLanguage "A state in the southeastern &%UnitedStates.")
(instance Louisiana AmericanState)
(meetsSpatially Louisiana Texas)
(meetsSpatially Louisiana GulfOfMexico)
(documentation Louisiana EnglishLanguage "A state in the south-central part of the &%UnitedStates.  
It borders on the &%GulfOfMexico and is known for its bayous and cajun culture.")
(instance Maine AmericanState)
(meetsSpatially Maine NewHampshire)
(meetsSpatially Maine Canada)
(meetsSpatially Maine NorthAtlanticOcean)
(documentation Maine EnglishLanguage "The most northeastern &%AmericanState.")
(instance Maryland AmericanState)
(meetsSpatially Maryland NorthAtlanticOcean)
(meetsSpatially Maryland Virginia)
(meetsSpatially Maryland WestVirginia)
(meetsSpatially Maryland WashingtonDCUnitedStates)
(documentation Maryland EnglishLanguage "A state in the eastern &%UnitedStates that 
borders on &%WashingtonDC.")
(instance Massachusetts AmericanState)
(part Massachusetts NewEngland)
(meetsSpatially Massachusetts NorthAtlanticOcean)
(meetsSpatially Massachusetts NewYorkState)
(meetsSpatially Massachusetts Connecticut)
(meetsSpatially Massachusetts RhodeIsland)
(documentation Massachusetts EnglishLanguage "A northeastern &%AmericanState.  Its largest &%City 
is &%BostonMassachusetts.")
(instance Michigan AmericanState)
(meetsSpatially Michigan Indiana)
(meetsSpatially Michigan Illinois)
(meetsSpatially Michigan Canada)
(documentation Michigan EnglishLanguage "A populous and industrial state in the midwestern 
&%UnitedStates.")
(instance Minnesota AmericanState)
(meetsSpatially Minnesota Canada)
(meetsSpatially Minnesota NorthDakota)
(meetsSpatially Minnesota SouthDakota)
(meetsSpatially Minnesota Iowa)
(documentation Minnesota EnglishLanguage "A state in the northern midwest of the &%UnitedStates.")
(instance Mississippi AmericanState)
(meetsSpatially Mississippi Arkansas)
(meetsSpatially Mississippi Louisiana)
(meetsSpatially Mississippi GulfOfMexico)
(documentation Mississippi EnglishLanguage "A state in the southeastern &%UnitedStates that 
borders on the &%GulfOfMexico.")
(instance Missouri AmericanState)
(meetsSpatially Missouri Nebraska)
(meetsSpatially Missouri Kansas)
(meetsSpatially Missouri Oklahoma)
(documentation Missouri EnglishLanguage "A state in the central &%UnitedStates.")
(instance Montana AmericanState)
(meetsSpatially Montana Canada)
(meetsSpatially Montana Idaho)
(meetsSpatially Montana Wyoming)
(documentation Montana EnglishLanguage "A state in the northwestern &%UnitedStates.")
(instance Nebraska AmericanState)
(meetsSpatially Nebraska Wyoming)
(meetsSpatially Nebraska Colorado)
(meetsSpatially Nebraska Kansas)
(documentation Nebraska EnglishLanguage "A state in the midwestern &%UnitedStates.")
(instance Nevada AmericanState)
(meetsSpatially Nevada Oregon)
(meetsSpatially Nevada California)
(documentation Nevada EnglishLanguage "A state in the western &%UnitedStates.")
(instance NewHampshire AmericanState)
(part NewHampshire NewEngland)
(meetsSpatially NewHampshire Canada)
(meetsSpatially NewHampshire NorthAtlanticOcean)
(meetsSpatially NewHampshire Vermont)
(meetsSpatially NewHampshire Massachusetts)
(documentation NewHampshire EnglishLanguage "A northeastern &%AmericanState.  Its largest &%City 
is &%ManchesterNewHampshire.")
(instance NewJersey AmericanState)
(meetsSpatially NewJersey NorthAtlanticOcean)
(meetsSpatially NewJersey Delaware)
(meetsSpatially NewJersey Pennsylvania)
(documentation NewJersey EnglishLanguage "A state in the eastern &%UnitedStates.")
(instance NewMexico AmericanState)
(meetsSpatially NewMexico Arizona)
(meetsSpatially NewMexico Mexico)
(documentation NewMexico EnglishLanguage "A southwestern state in the &%UnitedStates.")
(capitalCity WashingtonDCUnitedStates UnitedStates)
(geographicSubregion NewJersey UnitedStates)
(names "New Jersey" NewJersey)
(instance NewYorkState AmericanState)
(documentation NewYorkState EnglishLanguage "A populous state in the northeastern &%UnitedStates.") 
(geographicSubregion NewYorkState UnitedStates)
(names "New York" NewYorkState)
(geographicSubregion NewYorkCityUnitedStates UnitedStates)
(meetsSpatially NewYorkState Canada)
(meetsSpatially NewYorkState Pennsylvania)
(meetsSpatially NewYorkState NewJersey)
(meetsSpatially NewYorkState NorthAtlanticOcean)
(instance NorthCarolina AmericanState)
(meetsSpatially NorthCarolina NorthAtlanticOcean)
(meetsSpatially NorthCarolina SouthCarolina)
(meetsSpatially NorthCarolina Tennessee)
(documentation NorthCarolina EnglishLanguage "A state in the southeastern &%UnitedStates.")
(instance NorthDakota AmericanState)
(meetsSpatially NorthDakota Montana)
(meetsSpatially NorthDakota SouthDakota)
(meetsSpatially NorthDakota Canada)
(documentation NorthDakota EnglishLanguage "A state in the northern midwest of the &%UnitedStates.")
(instance Ohio AmericanState)
(meetsSpatially Ohio Kentucky)
(meetsSpatially Ohio Indiana)
(meetsSpatially Ohio Michigan)
(meetsSpatially Ohio Canada)
(documentation Ohio EnglishLanguage "A populous and industrial state in the midwestern 
&%UnitedStates.")
(instance Oklahoma AmericanState)
(documentation Oklahoma EnglishLanguage "A state in the southwestern &%UnitedStates.")
(instance Oregon AmericanState)
(meetsSpatially Oregon PacificOcean)
(meetsSpatially Oregon California)
(documentation Oregon EnglishLanguage "An &%AmericanState on the &%PacificOcean.")
(instance Pennsylvania AmericanState)
(documentation Pennsylvania EnglishLanguage "A mid-Atlantic &%AmericanState.  Its two major cities 
are &%PhiladelphiaPennsylvania and &%PittsburghPennsylvania.")
(meetsSpatially Pennsylvania WestVirginia)
(meetsSpatially Pennsylvania Ohio)
(meetsSpatially Pennsylvania Canada)
(instance RhodeIsland AmericanState)
(part RhodeIsland NewEngland)
(documentation RhodeIsland EnglishLanguage "A northeastern &%AmericanState.  Its capital city is 
&%ProvidenceRhodeIsland.  It is the smallest &%AmercianState")
(instance SouthCarolina AmericanState)
(meetsSpatially SouthCarolina NorthAtlanticOcean)
(meetsSpatially SouthCarolina Georgia)
(documentation SouthCarolina EnglishLanguage "A state in the southeastern &%UnitedStates.")
(instance SouthDakota AmericanState)
(meetsSpatially SouthDakota Montana)
(meetsSpatially SouthDakota Wyoming)
(meetsSpatially SouthDakota Nebraska)
(documentation SouthDakota EnglishLanguage "A state in the northern midwest of the &%UnitedStates.")
(instance Tennessee AmericanState)
(meetsSpatially Tennessee Alabama)
(meetsSpatially Tennessee Mississippi)
(meetsSpatially Tennessee Arkansas)
(meetsSpatially Tennessee Missouri)
(documentation Tennessee EnglishLanguage "A state in the southeastern &%UnitedStates.")
(instance Texas AmericanState)
(meetsSpatially Texas NewMexico)
(meetsSpatially Texas Mexico)
(meetsSpatially Texas GulfOfMexico)
(documentation Texas EnglishLanguage "The second largest &%AmericanState, located in the southwest 
on the &%GulfOfMexico.")
(geographicSubregion Texas UnitedStates)
(names "Texas" Texas)
(instance Utah AmericanState)
(meetsSpatially Utah Nevada)
(meetsSpatially Utah Arizona)
(meetsSpatially Utah NewMexico)
(documentation Utah EnglishLanguage "A state in the western &%UnitedStates.")
(instance Vermont AmericanState)
(part Vermont NewEngland)
(meetsSpatially Vermont Canada)
(meetsSpatially Vermont NewYorkState)
(meetsSpatially Vermont Massachusetts)
(documentation Vermont EnglishLanguage "A northeastern &%AmericanState know for its small towns 
and rustic beauty.")
(instance Virginia AmericanState)
(documentation Virginia EnglishLanguage "A state in the southeastern &%UnitedStates 
that borders on &%WashingtonDC.")
(meetsSpatially Virginia WashingtonDCUnitedStates)
(meetsSpatially Virginia NorthAtlanticOcean)
(meetsSpatially Virginia NorthCarolina)
(meetsSpatially Virginia Tennessee)
(meetsSpatially Virginia Kentucky)
(meetsSpatially Virginia WestVirginia)
(instance Washington AmericanState)
(meetsSpatially Washington Canada)
(meetsSpatially Washington PacificOcean)
(meetsSpatially Washington Oregon)
(documentation Washington EnglishLanguage "An &%AmericanState on the &%PacificOcean.")
(instance WestVirginia AmericanState)
(meetsSpatially WestVirginia Kentucky)
(meetsSpatially WestVirginia Ohio)
(documentation WestVirginia EnglishLanguage "A state in the southeastern &%UnitedStates")
(instance Wisconsin AmericanState)
(meetsSpatially Wisconsin Illinois)
(meetsSpatially Wisconsin Iowa)
(meetsSpatially Wisconsin Minnesota)
(documentation Wisconsin EnglishLanguage "A state in the midnorthern &%UnitedStates.")
(instance Wyoming AmericanState)
(meetsSpatially Wyoming Idaho)
(meetsSpatially Wyoming Utah)
(meetsSpatially Wyoming Colorado)
(documentation Wyoming EnglishLanguage "A large western state in the &%UnitedStates.")

(instance PuertoRico Archipelago)
(part PuertoRico UnitedStates)
(documentation PuertoRico EnglishLanguage "An dependent part of the &%UnitedStates.")

(instance VirginIslands Archipelago)
(documentation VirginIslands EnglishLanguage "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.")

(=>
   (member ?ISLAND VirginIslands)
   (instance ?ISLAND Island))

;;-----------------------------------------------------------------------
;; Country documentation strings.

(documentation Albania EnglishLanguage "The &%Nation of Albania.")
(documentation Afghanistan EnglishLanguage "The &%Nation of Afghanistan.")
(documentation Algeria EnglishLanguage "The &%Nation of Algeria.")
(documentation Andorra EnglishLanguage "The &%Nation of Andorra.")
(documentation Angola EnglishLanguage "The &%Nation of Angola.")
(documentation AntiguaAndBarbuda EnglishLanguage "The &%Nation of AntiguaAndBarbuda.")
(documentation Argentina EnglishLanguage "The &%Nation of Argentina.")
(documentation Armenia EnglishLanguage "The &%Nation of Armenia.")
(documentation Australia EnglishLanguage "An industrialized &%Nation that occupies the entire 
continent of Oceania.")
(documentation Austria EnglishLanguage "The &%Nation of Austria.")
(documentation Azerbaijan EnglishLanguage "The &%Nation of Azerbaijan.")
(documentation Bahrain EnglishLanguage "The &%Nation of Bahrain.")
(documentation Bangladesh EnglishLanguage "The &%Nation of Bangladesh.")
(documentation Barbados EnglishLanguage "The &%Nation of Barbados.")
(documentation Belarus EnglishLanguage "The &%Nation of Belarus.")
(documentation Belgium EnglishLanguage "The &%Nation of Belgium.")
(documentation Belize EnglishLanguage "The &%Nation of Belize.")
(documentation Benin EnglishLanguage "The &%Nation of Benin.")
(documentation Bhutan EnglishLanguage "The &%Nation of Bhutan.")
(documentation Bolivia EnglishLanguage "The &%Nation of Bolivia.")
(documentation BosniaAndHerzegovina EnglishLanguage "The &%Nation of BosniaAndHerzegovina.")
(documentation Botswana EnglishLanguage "The &%Nation of Botswana.")
(documentation Brazil EnglishLanguage "The &%Nation of Brazil.")
(documentation Brunei EnglishLanguage "The &%Nation of Brunei.")
(documentation Bulgaria EnglishLanguage "The &%Nation of Bulgaria.")
(documentation BurkinaFaso EnglishLanguage "The &%Nation of BurkinaFaso.")
(documentation Burundi EnglishLanguage "The &%Nation of Burundi.")
(documentation Cambodia EnglishLanguage "The &%Nation of Cambodia.")
(documentation Cameroon EnglishLanguage "The &%Nation of Cameroon.")
(documentation Canada EnglishLanguage "A &%Nation in North America.")
(documentation CapeVerde EnglishLanguage "The &%Nation of CapeVerde.")
(documentation CentralAfricanRepublic EnglishLanguage "The &%Nation of CentralAfricanRepublic.")
(documentation Chad EnglishLanguage "The &%Nation of Chad.")
(instance Chechnya Nation)
(documentation Chechnya EnglishLanguage "The &%Nation of Chechnya.")
(documentation Chile EnglishLanguage "The &%Nation of Chile.")
(documentation China EnglishLanguage "An Asian &%Nation, which is the most populous 
in the world.")
(documentation Colombia EnglishLanguage "The &%Nation of &%Colombia.")
(documentation Comoros EnglishLanguage "The &%Nation of Comoros.")
(documentation CostaRica EnglishLanguage "The &%Nation of CostaRica.")
(documentation CoteDIvoire EnglishLanguage "The &%Nation of CoteDIvoire.")
(documentation Croatia EnglishLanguage "The &%Nation of Croatia.")
(documentation Cuba EnglishLanguage "An &%Island &%Nation in the Carribbean.")
(documentation Cyprus EnglishLanguage "The &%Nation of Cyprus.")
(documentation CzechRepublic EnglishLanguage "The &%Nation of CzechRepublic.")
(documentation DemocraticRepublicOfTheCongo EnglishLanguage "The &%Nation of DemocraticRepublicOfTheCongo.")
(documentation Denmark EnglishLanguage "A Nation in scandinavian Europe.")
(documentation Djibouti EnglishLanguage "The &%Nation of Djibouti.")
(documentation Dominica EnglishLanguage "The &%Nation of Dominica.")
(documentation DominicanRepublic EnglishLanguage "The &%Nation of DominicanRepublic.")
(documentation EastTimor EnglishLanguage "The &%Nation of EastTimor.")
(documentation Ecuador EnglishLanguage "The &%Nation of Ecuador.")
(documentation Egypt EnglishLanguage "The &%Nation of Egypt.")
(documentation EquatorialGuinea EnglishLanguage "The &%Nation of EquatorialGuinea.")
(documentation ElSalvador EnglishLanguage "The &%Nation of ElSalvador.")
(documentation Eritrea EnglishLanguage "The &%Nation of Eritrea.")
(documentation Estonia EnglishLanguage "The &%Nation of Estonia.")
(documentation Ethiopia EnglishLanguage "The &%Nation of Ethiopia.")
(documentation Fiji EnglishLanguage "The &%Nation of Fiji.")
(documentation Finland EnglishLanguage "The &%Nation of Finland.")
(documentation France EnglishLanguage "A large, industrialized European &%Nation.")
(documentation RepublicOfGeorgia EnglishLanguage "The &%Nation of Georgia.")
(documentation Gabon EnglishLanguage "The &%Nation of Gabon.")
(documentation Gambia EnglishLanguage "The &%Nation of Gambia.")
(part Germany Europe)
(documentation Germany EnglishLanguage "A large &%EuropeanNation.")
(documentation Ghana EnglishLanguage "The &%Nation of Ghana.")
(part Greece Europe)
(documentation Greece EnglishLanguage "A small Balkan &%Nation that is known primarily for the literature, 
philosophy, and art produced there during the ancient period.")
(documentation Grenada EnglishLanguage "The &%Nation of Grenada.")
(documentation Guatemala EnglishLanguage "The &%Nation of Guatemala.")
(documentation Guinea EnglishLanguage "The &%Nation of Guinea.")
(documentation GuineaBissau EnglishLanguage "The &%Nation of GuineaBissau.")
(documentation Guyana EnglishLanguage "The &%Nation of Guyana.")
(documentation Haiti EnglishLanguage "The &%Nation of Haiti.")
(documentation HolySee EnglishLanguage "The &%Nation of HolySee.")
(documentation Honduras EnglishLanguage "The &%Nation of Honduras.")
(documentation Hungary EnglishLanguage "The &%Nation of Hungary.")
(instance Iceland Island)
(documentation Iceland EnglishLanguage "The &%Nation of Iceland.")
(documentation India EnglishLanguage "A &%Nation in southern Asia which is the second 
most populous in the world.")
(documentation Indonesia EnglishLanguage "The &%Nation of Indonesia.")
(documentation Iran EnglishLanguage "The &%Nation of Iran.")
(documentation Iraq EnglishLanguage "The &%Nation of Iraq.")
(documentation Ireland EnglishLanguage "An independent &%Nation that borders on the Irish Sea.")
(documentation Israel EnglishLanguage "The &%Nation of Israel.")
(documentation Italy EnglishLanguage "A large, industrialized European Nation.")
(documentation Jamaica EnglishLanguage "The &%Nation of Jamaica.")
(documentation Japan EnglishLanguage "A large industrialized Asian &%Nation.")
(documentation Jordan EnglishLanguage "The &%Nation of Jordan.")
(documentation Kazakhstan EnglishLanguage "The &%Nation of Kazakhstan.")
(documentation Kenya EnglishLanguage "The &%Nation of Kenya.")
(documentation Kiribati EnglishLanguage "The &%Nation of Kiribati.")
(documentation Kyrgyzstan EnglishLanguage "The &%Nation of Kyrgyzstan.")
(documentation Kuwait EnglishLanguage "The &%Nation of Kuwait.")
(documentation Laos EnglishLanguage "A &%Nation in southeastern Asia.")
(documentation Latvia EnglishLanguage "The &%Nation of Latvia.")
(documentation Lebanon EnglishLanguage "The &%Nation of Lebanon.")
(documentation Lesotho EnglishLanguage "The &%Nation of Lesotho.")
(documentation Liberia EnglishLanguage "The &%Nation of Liberia.")
(documentation Libya EnglishLanguage "The &%Nation of Libya.")
(documentation Liechtenstein EnglishLanguage "The &%Nation of Liechtenstein.")
(documentation Lithuania EnglishLanguage "The &%Nation of Lithuania.")
(documentation Luxembourg EnglishLanguage "The &%Nation of Luxembourg.")
(documentation Macedonia EnglishLanguage "The &%Nation of Macedonia.")
(documentation Madagascar EnglishLanguage "The &%Nation of Madagascar.")
(documentation Malawi EnglishLanguage "The &%Nation of Malawi.")
(documentation Malaysia EnglishLanguage "The &%Nation of Malaysia.")
(documentation Maldives EnglishLanguage "The &%Nation of Maldives.")
(documentation Mali EnglishLanguage "The &%Nation of Mali.")
(documentation Malta EnglishLanguage "The &%Nation of Malta.")
(documentation MarshallIslands EnglishLanguage "The &%Nation of MarshallIslands.")
(documentation Mauritania EnglishLanguage "The &%Nation of Mauritania.")
(documentation Mauritius EnglishLanguage "The &%Nation of Mauritius.")
(meetsSpatially Mexico UnitedStates)
(documentation Mexico EnglishLanguage "A large Spanish-speaking country that borders on  the &%UnitedStates.")
(documentation Micronesia EnglishLanguage "The &%Nation of Micronesia.")
(documentation Moldova EnglishLanguage "The &%Nation of Moldova.")
(documentation Monaco EnglishLanguage "The &%Nation of Monaco.")
(documentation Mongolia EnglishLanguage "The &%Nation of Mongolia.")
(documentation Morocco EnglishLanguage "The &%Nation of Morocco, which is in northwestern Africa.")
(documentation Mozambique EnglishLanguage "The &%Nation of Mozambique.")
(documentation Myanmar EnglishLanguage "A &%Nation in southeastern Asia, formerly known 
as Burma.")
(documentation Namibia EnglishLanguage "The &%Nation of Namibia.")
(documentation Nauru EnglishLanguage "The &%Nation of Nauru.")
(documentation Nepal EnglishLanguage "The &%Nation of Nepal.")
(documentation Netherlands EnglishLanguage "A small &%Nation in western Europe.")
(documentation NewZealand EnglishLanguage "The &%Nation of NewZealand.")
(documentation Nicaragua EnglishLanguage "The &%Nation of Nicaragua.")
(documentation Niger EnglishLanguage "The &%Nation of Niger.")
(documentation Nigeria EnglishLanguage "The &%Nation of Nigeria.")
(documentation NorthernIreland EnglishLanguage "The region of NorthernIreland.")
(instance NorthernIreland GeographicArea)
(documentation NorthKorea EnglishLanguage "The &%Nation of NorthKorea.")
(documentation Norway EnglishLanguage "The &%Nation of Norway.")
(documentation Oman EnglishLanguage "The &%Nation of Oman.")
(documentation Pakistan EnglishLanguage "The &%Nation of &%Pakistan.")
(documentation Palau EnglishLanguage "The &%Nation of Palau.")
(documentation Panama EnglishLanguage "The &%Nation of Panama.")
(documentation PapuaNewGuinea EnglishLanguage "The &%Nation of PapuaNewGuinea.")
(documentation Paraguay EnglishLanguage "The &%Nation of Paraguay.")
(documentation Peru EnglishLanguage "The &%Nation of Peru.")
(documentation Philippines EnglishLanguage "The &%Nation of Philippines.")
(documentation Poland EnglishLanguage "A &%EuropeanNation in central Europe.")
(documentation Portugal EnglishLanguage "The &%Nation of Portugal.")
(documentation Qatar EnglishLanguage "The &%Nation of Qatar.")
(instance Rhodes Island)
(part Rhodes Greece)
(documentation Rhodes EnglishLanguage "The &%Island of Rhodes in &%Greece.")
(documentation Romania EnglishLanguage "The &%Nation of Romania.")
(documentation Russia EnglishLanguage "A &%Nation which is currently independent, but which  
was once part of the &%SovietUnion.")
(documentation Rwanda EnglishLanguage "The &%Nation of Rwanda.")
(documentation SaintKittsAndNevis EnglishLanguage "The &%Nation of SaintKittsAndNevis.")
(documentation SaintLucia EnglishLanguage "The &%Nation of SaintLucia.")
(documentation SaintVincentAndTheGrenadines EnglishLanguage "The &%Nation of SaintVincentAndTheGrenadines.")
(documentation Samoa EnglishLanguage "The &%Nation of Samoa.")
(documentation SanMarino EnglishLanguage "The &%Nation of SanMarino.")
(documentation SaoTomeAndPrincipe EnglishLanguage "The &%Nation of SaoTomeAndPrincipe.")
(documentation SaudiArabia EnglishLanguage "The &%Nation of SaudiArabia.")
(documentation Senegal EnglishLanguage "The &%Nation of Senegal.")
(documentation SerbiaAndMontenegro EnglishLanguage "The &%Nation of SerbiaAndMontenegro.")
(documentation Seychelles EnglishLanguage "The &%Nation of Seychelles.")
(documentation SierraLeone EnglishLanguage "The &%Nation of SierraLeone.")
(documentation Singapore EnglishLanguage "The &%Nation of Singapore.")
(documentation Slovakia EnglishLanguage "The &%Nation of Slovakia.")
(documentation Slovenia EnglishLanguage "The &%Nation of Slovenia.")
(documentation SolomonIslands EnglishLanguage "The &%Nation of SolomonIslands.")
(documentation Somalia EnglishLanguage "The &%Nation of Somalia.")
(documentation SouthAfrica EnglishLanguage "The &%Nation of SouthAfrica.")
(documentation SouthKorea EnglishLanguage "The &%Nation of SouthKorea.")
(documentation Spain EnglishLanguage "A large, industrialized &%EuropeanNation.")
(documentation SriLanka EnglishLanguage "The &%Nation of SriLanka.")
(documentation Sudan EnglishLanguage "The &%Nation of Sudan.")
(documentation Suriname EnglishLanguage "The &%Nation of Suriname.")
(documentation Swaziland EnglishLanguage "The &%Nation of Swaziland.")
(documentation Sweden EnglishLanguage "A &%Nation in scandinavian Europe.")
(documentation Switzerland EnglishLanguage "A small politically neutral &%Nation in central 
Europe.")
(documentation Syria EnglishLanguage "The &%Nation of Syria.")
(documentation Taiwan EnglishLanguage "The &%Nation of Taiwan, which is claimed by &%China.")
(documentation Tajikistan EnglishLanguage "The &%Nation of Tajikistan.")
(documentation Tanzania EnglishLanguage "The &%Nation of Tanzania.")
(documentation Thailand EnglishLanguage "The &%Nation of Thailand.")
(documentation TheBahamas EnglishLanguage "The &%Nation of TheBahamas.")
(documentation Togo EnglishLanguage "The &%Nation of Togo.")
(documentation Tonga EnglishLanguage "The &%Nation of Tonga.")
(documentation TrinidadAndTobago EnglishLanguage "The &%Nation of TrinidadAndTobago.")
(documentation Tunisia EnglishLanguage "The &%Nation of Tunisia.")
(documentation Turkey EnglishLanguage "The &%Nation of Turkey.")
(documentation Turkmenistan EnglishLanguage "The &%Nation of Turkmenistan.")
(documentation Tuvalu EnglishLanguage "The &%Nation of Tuvalu.")
(documentation Uganda EnglishLanguage "The &%Nation of Uganda.")
(documentation Ukraine EnglishLanguage "The &%Nation of Ukraine.")
(documentation UnitedArabEmirates EnglishLanguage "The &%Nation of UnitedArabEmirates.")
(documentation UnitedStates EnglishLanguage "The North American republic of 50 states.")
(documentation Uruguay EnglishLanguage "The &%Nation of Uruguay.")
(documentation Uzbekistan EnglishLanguage "The &%Nation of Uzbekistan.")
(documentation Vanuatu EnglishLanguage "The &%Nation of Vanuatu.")
(documentation Vietnam EnglishLanguage "The &%Nation of Vietnam.")
(documentation Venezuela EnglishLanguage "The &%Nation of Venezuela.")
(documentation Yemen EnglishLanguage "The &%Nation of Yemen.")

;;-----------------------------------------------------------------------
;; Cities and regions

(instance WestBank GeographicArea)
(documentation WestBank EnglishLanguage "A terroritory occupied by &%Israel.")
(instance GazaStrip GeographicArea)
(documentation GazaStrip EnglishLanguage "A terroritory occupied by &%Israel.")
(documentation Zambia EnglishLanguage "The &%Nation of Zambia.")
(instance AdanaTurkey City)
(documentation AdanaTurkey EnglishLanguage "The &%City of &%Adana in &%Turkey.")
(instance AddisAbabaEthiopia City)
(documentation AddisAbabaEthiopia EnglishLanguage "The &%City of &%AddisAbaba in &%Ethiopia.")
(instance AdenYemen City)
(documentation AdenYemen EnglishLanguage "The &%City of &%Aden in &%Yemen.")
(instance AdoraWestBank City)
(documentation AdoraWestBank EnglishLanguage "The &%City of &%Adora in &%WestBank.")
(instance AfulaIsrael City)
(documentation AfulaIsrael EnglishLanguage "The &%City of &%Afula in &%Israel.")
(instance AgriTurkey City)
(documentation AgriTurkey EnglishLanguage "The &%City of &%Agri in &%Turkey.")
(instance AinDeflaAlgeria City)
(documentation AinDeflaAlgeria EnglishLanguage "The &%City of &%AinDefla in &%Algeria.")
(instance AinElHajarAlgeria City)
(documentation AinElHajarAlgeria EnglishLanguage "The &%City of &%AinElHajar in &%Algeria.")
(instance AjaccioFrance City)
(documentation AjaccioFrance EnglishLanguage "The &%City of &%Ajaccio in &%France.")
(instance AlBalamandLebanon City)
(documentation AlBalamandLebanon EnglishLanguage "The &%City of &%AlBalamand in &%Lebanon.")
(instance AleiSinaiGazaStrip City)
(documentation AleiSinaiGazaStrip EnglishLanguage "The &%City of &%AleiSinai in &%GazaStrip.")
(instance AleiZahavWestBank City)
(documentation AleiZahavWestBank EnglishLanguage "The &%City of &%AleiZahav in &%WestBank.")
(instance AleyLebanon City)
(documentation AleyLebanon EnglishLanguage "The &%City of &%Aley in &%Lebanon.")
(instance AlgiersAlgeria City)
(documentation AlgiersAlgeria EnglishLanguage "The &%City of &%Algiers in &%Algeria.")
(instance AlkhanYurtRussia City)
(documentation AlkhanYurtRussia EnglishLanguage "The &%City of &%AlkhanYurt in &%Russia.")
(instance AlonMorehWestBank City)
(documentation AlonMorehWestBank EnglishLanguage "The &%City of &%AlonMoreh in &%WestBank.")
(instance AmbonIndonesia City)
(documentation AmbonIndonesia EnglishLanguage "The &%City of &%Ambon in &%Indonesia.")
(instance AmmanJordan City)
(documentation AmmanJordan EnglishLanguage "The &%City of &%Amman in &%Jordan.")
(instance AnNuwaydiratBahrain City)
(documentation AnNuwaydiratBahrain EnglishLanguage "The &%City of &%AnNuwaydirat in &%Bahrain.")
(instance AndeanSpain City)
(documentation AndeanSpain EnglishLanguage "The &%City of &%Andean in &%Spain.")
(instance AngkorWatCambodia City)
(documentation AngkorWatCambodia EnglishLanguage "The &%City of &%AngkorWat in &%Cambodia.")
(instance AnkaraTurkey City)
(documentation AnkaraTurkey EnglishLanguage "The &%City of &%Ankara in &%Turkey.")
(instance AntalyaTurkey City)
(documentation AntalyaTurkey EnglishLanguage "The &%City of &%Antalya in &%Turkey.")
(instance AntioquiaColombia City)
(documentation AntioquiaColombia EnglishLanguage "The &%City of &%Antioquia in &%Colombia.")
(instance AntwerpBelgium City)
(documentation AntwerpBelgium EnglishLanguage "The &%City of &%Antwerp in &%Belgium.")
(instance ApumiracPeru City)
(documentation ApumiracPeru EnglishLanguage "The &%City of &%Apumirac in &%Peru.")
(instance ApureVenezuela City)
(documentation ApureVenezuela EnglishLanguage "The &%City of &%Apure in &%Venezuela.")
(instance AraucaColombia City)
(documentation AraucaColombia EnglishLanguage "The &%City of &%Arauca in &%Colombia.")
(instance ArgunRussia City)
(documentation ArgunRussia EnglishLanguage "The &%City of &%Argun in &%Russia.")
(instance ArielWestBank City)
(documentation ArielWestBank EnglishLanguage "The &%City of &%Ariel in &%WestBank.")
(instance ArmaghNorthernIreland City)
(documentation ArmaghNorthernIreland EnglishLanguage "The &%City of &%Armagh in &%NorthernIreland.")
(instance ArzewAlgeria City)
(documentation ArzewAlgeria EnglishLanguage "The &%City of &%Arzew in &%Algeria.")
(instance AshdodIsrael City)
(documentation AshdodIsrael EnglishLanguage "The &%City of &%Ashdod in &%Israel.")
(instance AskelonIsrael City)
(documentation AskelonIsrael EnglishLanguage "The &%City of &%Askelon in &%Israel.")
(instance AsmaraEritrea City)
(documentation AsmaraEritrea EnglishLanguage "The &%City of &%Asmara in &%Eritrea.")
(instance AssamIndia City)
(documentation AssamIndia EnglishLanguage "The &%City of &%Assam in &%India.")
(instance AswanEgypt City)
(documentation AswanEgypt EnglishLanguage "The &%City of &%Aswan in &%Egypt.")
(instance AsyutEgypt City)
(documentation AsyutEgypt EnglishLanguage "The &%City of &%Asyut in &%Egypt.")
(instance AthensGreece City)
(documentation AthensGreece EnglishLanguage "The &%City of &%Athens in &%Greece.")
(instance AtrushIraq City)
(documentation AtrushIraq EnglishLanguage "The &%City of &%Atrush in &%Iraq.")
(instance AtzmonaGazaStrip City)
(documentation AtzmonaGazaStrip EnglishLanguage "The &%City of &%Atzmona in &%GazaStrip.")
(instance AvneiHefetzIsrael City)
(documentation AvneiHefetzIsrael EnglishLanguage "The &%City of &%AvneiHefetz in &%Israel.")
(instance AyacuchoPeru City)
(documentation AyacuchoPeru EnglishLanguage "The &%City of &%Ayacucho in &%Peru.")
(instance AzorIsrael City)
(documentation AzorIsrael EnglishLanguage "The &%City of &%Azor in &%Israel.")
(instance BKaotWestBank City)
(documentation BKaotWestBank EnglishLanguage "The &%City of &%BKaot in &%WestBank.")
(instance BadVilbelGermany City)
(documentation BadVilbelGermany EnglishLanguage "The &%City of &%BadVilbel in &%Germany.")
(instance BaghdadIraq City)
(documentation BaghdadIraq EnglishLanguage "The &%City of &%Baghdad in &%Iraq.")
(instance BagreColombia City)
(documentation BagreColombia EnglishLanguage "The &%City of &%Bagre in &%Colombia.")
(instance BahawalpurPakistan City)
(documentation BahawalpurPakistan EnglishLanguage "The &%City of &%Bahawalpur in &%Pakistan.")
(instance BakaAlGarbiyehIsrael City)
(documentation BakaAlGarbiyehIsrael EnglishLanguage "The &%City of &%BakaAlGarbiyeh in &%Israel.")
(instance BakkaAlSharkiyaWestBank City)
(documentation BakkaAlSharkiyaWestBank EnglishLanguage "The &%City of &%BakkaAlSharkiya in &%WestBank.")
(instance BakuAzerbaijan City)
(documentation BakuAzerbaijan EnglishLanguage "The &%City of &%Baku in &%Azerbaijan.")
(instance BaleEthiopia City)
(documentation BaleEthiopia EnglishLanguage "The &%City of &%Bale in &%Ethiopia.")
(instance BanbridgeNorthernIreland City)
(documentation BanbridgeNorthernIreland EnglishLanguage "The &%City of &%Banbridge in &%NorthernIreland.")
(instance BangkokThailand City)
(documentation BangkokThailand EnglishLanguage "The &%City of &%Bangkok in &%Thailand.")
(instance BangorNorthernIreland City)
(documentation BangorNorthernIreland EnglishLanguage "The &%City of &%Bangor in &%NorthernIreland.")
(instance BanguiCentralAfricanRepublic City)
(documentation BanguiCentralAfricanRepublic EnglishLanguage "The &%City of &%Bangui in &%CentralAfricanRepublic.")
(instance BarcelonaSpain City)
(documentation BarcelonaSpain EnglishLanguage "The &%City of &%Barcelona in &%Spain.")
(instance BarkeoCambodia City)
(documentation BarkeoCambodia EnglishLanguage "The &%City of &%Barkeo in &%Cambodia.")
(instance BarrancabermejaColombia City)
(documentation BarrancabermejaColombia EnglishLanguage "The &%City of &%Barrancabermeja in &%Colombia.")
(instance BasraIsrael City)
(documentation BasraIsrael EnglishLanguage "The &%City of &%Basra in &%Israel.")
(instance BatYamIsrael City)
(documentation BatYamIsrael EnglishLanguage "The &%City of &%BatYam in &%Israel.")
(instance BatmanTurkey City)
(documentation BatmanTurkey EnglishLanguage "The &%City of &%Batman in &%Turkey.")
(instance BeErShevaIsrael City)
(documentation BeErShevaIsrael EnglishLanguage "The &%City of &%BeErSheva in &%Israel.")
(instance BeasainSpain City)
(documentation BeasainSpain EnglishLanguage "The &%City of &%Beasain in &%Spain.")
(instance BeirutLebanon City)
(documentation BeirutLebanon EnglishLanguage "The &%City of &%Beirut in &%Lebanon.")
(instance BeitElWestBank City)
(documentation BeitElWestBank EnglishLanguage "The &%City of &%BeitEl in &%WestBank.")
(instance BeitHaggaiWestBank City)
(documentation BeitHaggaiWestBank EnglishLanguage "The &%City of &%BeitHaggai in &%WestBank.")
(instance BeitHaninaWestBank City)
(documentation BeitHaninaWestBank EnglishLanguage "The &%City of &%BeitHanina in &%WestBank.")
(instance BeitSahurWestBank City)
(documentation BeitSahurWestBank EnglishLanguage "The &%City of &%BeitSahur in &%WestBank.")
(instance BeitSheAnIsrael City)
(documentation BeitSheAnIsrael EnglishLanguage "The &%City of &%BeitSheAn in &%Israel.")
(instance BeitShemeshIsrael City)
(documentation BeitShemeshIsrael EnglishLanguage "The &%City of &%BeitShemesh in &%Israel.")
(instance BeledweyneSomalia City)
(documentation BeledweyneSomalia EnglishLanguage "The &%City of &%Beledweyne in &%Somalia.")
(instance BelfastNorthernIreland City)
(documentation BelfastNorthernIreland EnglishLanguage "The &%City of &%Belfast in &%NorthernIreland.")
(instance BelgradeSerbiaAndMontenegro City)
(documentation BelgradeSerbiaAndMontenegro EnglishLanguage "The &%City of &%Belgrade in &%SerbiaAndMontenegro.")
(instance BetLeHiyehGazaStrip City)
(documentation BetLeHiyehGazaStrip EnglishLanguage "The &%City of &%BetLeHiyeh in &%GazaStrip.")
(instance BethElIsrael City)
(documentation BethElIsrael EnglishLanguage "The &%City of &%BethEl in &%Israel.")
(instance BethlehemWestBank City)
(documentation BethlehemWestBank EnglishLanguage "The &%City of &%Bethlehem in &%WestBank.")
(instance BidyaWestBank City)
(documentation BidyaWestBank EnglishLanguage "The &%City of &%Bidya in &%WestBank.")
(instance BilbaoSpain City)
(documentation BilbaoSpain EnglishLanguage "The &%City of &%Bilbao in &%Spain.")
(instance BillabonaSpain City)
(documentation BillabonaSpain EnglishLanguage "The &%City of &%Billabona in &%Spain.")
(instance BinyaminaIsrael City)
(documentation BinyaminaIsrael EnglishLanguage "The &%City of &%Binyamina in &%Israel.")
(instance BishkekKyrgyzstan City)
(documentation BishkekKyrgyzstan EnglishLanguage  "The &%City of &%Bishkek in &%Kyrgyzstan.")
(instance BneiAyishIsrael City)
(documentation BneiAyishIsrael EnglishLanguage "The &%City of &%BneiAyish in &%Israel.")
(instance BogotaColombia City)
(documentation BogotaColombia EnglishLanguage "The &%City of &%Bogota in &%Colombia.")
(instance BolognaItaly City)
(documentation BolognaItaly EnglishLanguage "The &%City of &%Bologna in &%Italy.")
(instance BonnGermany City)
(documentation BonnGermany EnglishLanguage "The &%City of &%Bonn in &%Germany.")
(instance BouiraAlgeria City)
(documentation BouiraAlgeria EnglishLanguage "The &%City of &%Bouira in &%Algeria.")
(instance BouzeGueneAlgeria City)
(documentation BouzeGueneAlgeria EnglishLanguage "The &%City of &%BouzeGuene in &%Algeria.")
(instance BrusselsBelgium City)
(documentation BrusselsBelgium EnglishLanguage "The &%City of &%Brussels in &%Belgium.")
(instance BucaramangaColombia City)	 
(documentation BucaramangaColombia EnglishLanguage "The &%City of &%Bucaramanga in &%Colombia.")
(instance BucharestRomania City)
(documentation BucharestRomania EnglishLanguage "The &%City of &%Bucharest in &%Romania.") 
(instance BuenosAiresArgentina City)
(documentation BuenosAiresArgentina EnglishLanguage "The &%City of &%BuenosAires in &%Argentina.")
(instance BuinakskRussia City)
(documentation BuinakskRussia EnglishLanguage "The &%City of &%Buinaksk in &%Russia.")
(instance CabindaAngola City)
(documentation CabindaAngola EnglishLanguage "The &%City of &%Cabinda in &%Angola.")
(instance CaglayanTurkey City)
(documentation CaglayanTurkey EnglishLanguage "The &%City of &%Caglayan in &%Turkey.")
(instance CairoEgypt City)
(documentation CairoEgypt EnglishLanguage "The &%City of &%Cairo in &%Egypt.")
(instance CalcuttaIndia City)
(documentation CalcuttaIndia EnglishLanguage "The &%City of &%Calcutta in &%India.")
(instance CaliColombia City)
(documentation CaliColombia EnglishLanguage "The &%City of &%Cali in &%Colombia.")
(instance CampZamaJapan City)
(documentation CampZamaJapan EnglishLanguage "The &%City of &%CampZama in &%Japan.")
(instance CankiriTurkey City)
(documentation CankiriTurkey EnglishLanguage "The &%City of &%Cankiri in &%Turkey.")
(instance CapeTownSouthAfrica City)
(documentation CapeTownSouthAfrica EnglishLanguage "The &%City of &%CapeTown in &%SouthAfrica.")
(instance CarmelIsrael City)
(documentation CarmelIsrael EnglishLanguage "The &%City of &%Carmel in &%Israel.")
(instance CarmenDeBolivarColombia City)
(documentation CarmenDeBolivarColombia EnglishLanguage "The &%City of &%CarmenDeBolivar in &%Colombia.")
(instance CarrejonColombia City)
(documentation CarrejonColombia EnglishLanguage "The &%City of &%Carrejon in &%Colombia.")
(instance ChamanPakistan City)
(documentation ChamanPakistan EnglishLanguage "The &%City of &%Chaman in &%Pakistan.")
(instance ChararESharifIndia City)
(documentation ChararESharifIndia EnglishLanguage "The &%City of &%ChararESharif in &%India.")
(instance CharsaadaPakistan City)
(documentation CharsaadaPakistan EnglishLanguage "The &%City of &%Charsaada in &%Pakistan.")
(instance ChernoRechyeRussia City)
(documentation ChernoRechyeRussia EnglishLanguage "The &%City of &%ChernoRechye in &%Russia.")
(instance ChicagoUnitedStates AmericanCity)
(part ChicagoUnitedStates Illinois)
(documentation ChicagoUnitedStates EnglishLanguage "Often referred to as the second city, 
&%ChicagoUnitedStates is the largest city in the midwestern United States.")
(instance ChisimayuSomalia City)
(documentation ChisimayuSomalia EnglishLanguage "The &%City of &%Chisimayu in &%Somalia.")
(instance ChittagongBangladesh City)
(documentation ChittagongBangladesh EnglishLanguage "The &%City of &%Chittagong in &%Bangladesh.")
(instance ChobaAngola City)
(documentation ChobaAngola EnglishLanguage "The &%City of &%Choba in &%Angola.")
(instance ChocoColombia City)
(documentation ChocoColombia EnglishLanguage "The &%City of &%Choco in &%Colombia.")
(instance ChorrosQueroVenezuela City)
(documentation ChorrosQueroVenezuela EnglishLanguage "The &%City of &%ChorrosQuero in &%Venezuela.")
(instance CoimbatoreIndia City)
(documentation CoimbatoreIndia EnglishLanguage "The &%City of &%Coimbatore in &%India.")
(instance CologneGermany City)
(documentation CologneGermany EnglishLanguage "The &%City of &%Cologne in &%Germany.")
(instance ColombiaCityColombia City)
(documentation ColombiaCityColombia EnglishLanguage "The &%City of &%ColombiaCity in &%Colombia.")
(instance ColombiaPanama City)
(documentation ColombiaPanama EnglishLanguage "The &%City of &%Colombia in &%Panama.")
(instance ColomboSriLanka City)
(documentation ColomboSriLanka EnglishLanguage "The &%City of &%Colombo in &%SriLanka.")
(instance ComayaguaHonduras City)
(documentation ComayaguaHonduras EnglishLanguage "The &%City of &%Comayagua in &%Honduras.")
(instance CopacaBanaCuba City)
(documentation CopacaBanaCuba EnglishLanguage "The &%City of &%CopacaBana in &%Cuba.")
(instance CorsicaFrance City)
(documentation CorsicaFrance EnglishLanguage "The &%City of &%Corsica in &%France.")
(instance CorteFrance City)
(documentation CorteFrance EnglishLanguage "The &%City of &%Corte in &%France.")
(instance CorumTurkey City)
(documentation CorumTurkey EnglishLanguage "The &%City of &%Corum in &%Turkey.")
(instance CundiNamarcaColombia City)
(documentation CundiNamarcaColombia EnglishLanguage "The &%City of &%CundiNamarca in &%Colombia.")
(instance CupiaguaColombia City)
(documentation CupiaguaColombia EnglishLanguage "The &%City of &%Cupiagua in &%Colombia.")
(instance CuzcoPeru City)
(documentation CuzcoPeru EnglishLanguage "The &%City of &%Cuzco in &%Peru.")
(instance DagestanRussia City)
(documentation DagestanRussia EnglishLanguage "The &%City of &%Dagestan in &%Russia.")
(instance DahukIraq City)
(documentation DahukIraq EnglishLanguage "The &%City of &%Dahuk in &%Iraq.")
(instance DarEsSalaAmTanzania City)
(documentation DarEsSalaAmTanzania EnglishLanguage "The &%City of &%DarEsSalaAm in &%Tanzania.")
(instance DarvazTajikistan City)
(documentation DarvazTajikistan EnglishLanguage "The &%City of &%Darvaz in &%Tajikistan.")
(instance DebaSpain City)
(documentation DebaSpain EnglishLanguage "The &%City of &%Deba in &%Spain.")
(instance DelhiIndia City)
(documentation DelhiIndia EnglishLanguage "The &%City of &%Delhi in &%India.")
(instance DhahranSaudiArabia City)
(documentation DhahranSaudiArabia EnglishLanguage "The &%City of &%Dhahran in &%SaudiArabia.")
(instance DhakaBangladesh City)
(documentation DhakaBangladesh EnglishLanguage "The &%City of &%Dhaka in &%Bangladesh.")
(instance DinanFrance City)
(documentation DinanFrance EnglishLanguage "The &%City of &%Dinan in &%France.")
(instance DirNaballahWestBank City)
(documentation DirNaballahWestBank EnglishLanguage "The &%City of &%DirNaballah in &%WestBank.")
(instance DireDawaEthiopia City)
(documentation DireDawaEthiopia EnglishLanguage "The &%City of &%DireDawa in &%Ethiopia.")
(instance DjerbaTunisia City)
(documentation DjerbaTunisia EnglishLanguage "The &%City of &%Djerba in &%Tunisia.")
(instance DjakashariGeorgia City)
(documentation DjakashariGeorgia EnglishLanguage "The &%City of &%Djakashari in &%RepublicOfGeorgia.")
(instance DodaIndia City)
(documentation DodaIndia EnglishLanguage "The &%City of &%Doda in &%India.")
(instance DortmundGermany City)
(documentation DortmundGermany EnglishLanguage "The &%City of &%Dortmund in &%Germany.")
(instance DublinIreland City)
(documentation DublinIreland EnglishLanguage "The &%City of &%Dublin in &%Ireland.")
(instance DuesseldorfGermany City)
(documentation DuesseldorfGermany EnglishLanguage "The &%City of &%Duesseldorf in &%Germany.")
(instance DugitGazaStrip City)
(documentation DugitGazaStrip EnglishLanguage "The &%City of &%Dugit in &%GazaStrip.")
(instance DurangoSpain City)
(documentation DurangoSpain EnglishLanguage "The &%City of &%Durango in &%Spain.")
(instance DushanbeTajikistan City)
(documentation DushanbeTajikistan EnglishLanguage "The &%City of &%Dushanbe in &%Tajikistan.")
(instance DushanbeGarmTajikistan City)
(documentation DushanbeGarmTajikistan EnglishLanguage "The &%City of &%DushanbeGarm in &%Tajikistan.")
(instance EastJerusalemIsrael City)
(documentation EastJerusalemIsrael EnglishLanguage "The &%City of &%EastJerusalem in &%Israel.")
(instance EfratWestBank City)
(documentation EfratWestBank EnglishLanguage "The &%City of &%Efrat in &%WestBank.")
(instance EilatIsrael City)
(documentation EilatIsrael EnglishLanguage "The &%City of &%Eilat in &%Israel.")
(instance EinavWestBank City)
(documentation EinavWestBank EnglishLanguage "The &%City of &%Einav in &%WestBank.")
(instance ElBagreColombia City)
(documentation ElBagreColombia EnglishLanguage "The &%City of &%ElBagre in &%Colombia.")
(instance ElBirehWestBank City)
(documentation ElBirehWestBank EnglishLanguage "The &%City of &%ElBireh in &%WestBank.")
(instance ElPlayonColombia City)
(documentation ElPlayonColombia EnglishLanguage "The &%City of &%ElPlayon in &%Colombia.")
(instance ElRipialApureVenezuela City)
(documentation ElRipialApureVenezuela EnglishLanguage "The &%City of &%ElRipialApure in &%Venezuela.")
(instance ElAzzariyaWestBank City)
(documentation ElAzzariyaWestBank EnglishLanguage "The &%City of &%ElAzzariya in the &%WestBank.")
(instance ElayoSomalia City)
(documentation ElayoSomalia EnglishLanguage "The &%City of &%Elayo in &%Somalia.")
(instance EleiSinaiGazaStrip City)
(documentation EleiSinaiGazaStrip EnglishLanguage "The &%City of &%EleiSinai in &%GazaStrip.")
(instance EmmanuelWestBank City)
(documentation EmmanuelWestBank EnglishLanguage "The &%City of &%Emmanuel in &%WestBank.")
(instance ErezGazaStrip City)
(documentation ErezGazaStrip EnglishLanguage "The &%City of &%Erez in &%GazaStrip.")
(instance FormequeColombia City)
(documentation FormequeColombia EnglishLanguage "The &%City of &%Formeque in &%Colombia.")
(instance FrankfurtGermany City)
(documentation FrankfurtGermany EnglishLanguage "The &%City of &%Frankfurt in &%Germany.")
(instance FrenchHillIsrael City)
(documentation FrenchHillIsrael EnglishLanguage "The &%City of &%FrenchHill in &%Israel.")
(instance FuengirolaSpain City)
(documentation FuengirolaSpain EnglishLanguage "The &%City of &%Fuengirola in &%Spain.")
(instance FusagasusaColombia City)
(documentation FusagasusaColombia EnglishLanguage "The &%City of &%Fusagasusa in &%Colombia.")
(instance GaliAbkhaziaGeorgia City)
(documentation GaliAbkhaziaGeorgia EnglishLanguage "The &%City of &%GaliAbkhazia in &%RepublicOfGeorgia.")
(instance GanimWestBank City)
(documentation GanimWestBank EnglishLanguage "The &%City of &%Ganim in &%WestBank.")
(instance GashuriIsrael City)
(documentation GashuriIsrael EnglishLanguage "The &%City of &%Gashuri in &%Israel.")
(instance GeneralSantosPhilippines City)
(documentation GeneralSantosPhilippines EnglishLanguage "The &%City of &%GeneralSantos in &%Philippines.")
(instance GenevaSwitzerland City)
(documentation GenevaSwitzerland EnglishLanguage "The &%City of &%Geneva in &%Switzerland.")
(instance GetxoSpain City)
(documentation GetxoSpain EnglishLanguage "The &%City of &%Getxo in &%Spain.")
(instance GhalebiehIraq City)
(documentation GhalebiehIraq EnglishLanguage "The &%City of &%Ghalebieh in &%Iraq.")
(instance GhaziabadIndia City)
(documentation GhaziabadIndia EnglishLanguage "The &%City of &%Ghaziabad in &%India.")
(instance GiloIsrael City)
(documentation GiloIsrael EnglishLanguage "The &%City of &%Gilo in &%Israel.")
(instance GivatZeEvWestBank City)
(documentation GivatZeEvWestBank EnglishLanguage "The &%City of &%GivatZeEv in &%WestBank.")
(instance GizaEgypt City)
(documentation GizaEgypt EnglishLanguage "The &%City of &%Giza in &%Egypt.")
(instance GonegalleSriLanka City)
(documentation GonegalleSriLanka EnglishLanguage "The &%City of &%Gonegalle in &%SriLanka.")
(instance GranadaSpain City)
(documentation GranadaSpain EnglishLanguage "The &%City of &%Granada in &%Spain.")
(instance GrazAustria City)
(documentation GrazAustria EnglishLanguage "The &%City of &%Graz in &%Austria.")
(instance GroznyChechnya City)
(documentation GroznyChechnya EnglishLanguage "The &%City of &%Grozny in &%Chechnya.")
(instance GuilinChina City)
(documentation GuilinChina EnglishLanguage "The &%City of &%Guilin in &%China.")
(instance GujaratIndia City)
(documentation GujaratIndia EnglishLanguage "The &%City of &%Gujarat in &%India.")
(instance GushEtzionWestBank City)
(documentation GushEtzionWestBank EnglishLanguage "The &%City of &%GushEtzion in &%WestBank.")
(instance GushKhatifGazaStrip City)
(documentation GushKhatifGazaStrip EnglishLanguage "The &%City of &%GushKhatif in &%GazaStrip.")
(instance HaderaIsrael City)
(documentation HaderaIsrael EnglishLanguage "The &%City of &%Hadera in &%Israel.")
(instance HaifaIsrael PortCity)
(documentation HaifaIsrael EnglishLanguage "The &%City of &%Haifa in &%Israel.")
(instance HamburgGermany City)
(documentation HamburgGermany EnglishLanguage "The &%City of &%Hamburg in &%Germany.")
(instance HamisMiliyanaAlgeria City)
(documentation HamisMiliyanaAlgeria EnglishLanguage "The &%City of &%HamisMiliyana in &%Algeria.")
(instance HamraWestBank City)
(documentation HamraWestBank EnglishLanguage "The &%City of &%Hamra in &%WestBank.")
(instance HannoverGermany PortCity)
(documentation HannoverGermany EnglishLanguage "The &%City of &%Hannover in &%Germany.")
(instance HarBrachaWestBank City)
(documentation HarBrachaWestBank EnglishLanguage "The &%City of &%HarBracha in &%WestBank.")
(instance HarerEthiopia City)
(documentation HarerEthiopia EnglishLanguage "The &%City of &%Harer in &%Ethiopia.")
(instance HavanaCuba City)
(documentation HavanaCuba EnglishLanguage "The &%City of &%Havana in &%Cuba.")
(instance HawanaIraq City)
(documentation HawanaIraq EnglishLanguage "The &%City of &%Hawana in &%Iraq.")
(instance HeartAfghanistan City)
(documentation HeartAfghanistan EnglishLanguage "The &%City of &%Heart in &%Afghanistan.")
(instance HebronWestBank City)
(documentation HebronWestBank EnglishLanguage "The &%City of &%Hebron in &%WestBank.")
(instance HermeshIsrael City)
(documentation HermeshIsrael EnglishLanguage "The &%City of &%Hermesh in &%Israel.")
(instance HernaniSpain City)
(documentation HernaniSpain EnglishLanguage "The &%City of &%Hernani in &%Spain.")
(instance HerzliyaIsrael City)
(documentation HerzliyaIsrael EnglishLanguage "The &%City of &%Herzliya in &%Israel.")
(instance HilversumNetherlands City)
(documentation HilversumNetherlands EnglishLanguage "The &%City of &%Hilversum in &%Netherlands.")
(instance HizmaWestBank City)
(documentation HizmaWestBank EnglishLanguage "The &%City of &%Hizma in &%WestBank.")
(instance HuallgaPeru City)
(documentation HuallgaPeru EnglishLanguage "The &%City of &%Huallga in &%Peru.")
(instance HurghadaEgypt City)
(documentation HurghadaEgypt EnglishLanguage "The &%City of &%Hurghada in &%Egypt.")
(instance HyderabadIndia City)
(documentation HyderabadIndia EnglishLanguage "The &%City of &%Hyderabad in &%India.")
(instance IbsrilIraq City)
(documentation IbsrilIraq EnglishLanguage "The &%City of &%Ibsril in &%Iraq.")
(instance IpilPhilippines City)
(documentation IpilPhilippines EnglishLanguage "The &%City of &%Ipil in &%Philippines.")
(instance IrbilIraq City)
(documentation IrbilIraq EnglishLanguage "The &%City of &%Irbil in &%Iraq.")
(instance IslamabadPakistan City)
(documentation IslamabadPakistan EnglishLanguage "The &%City of &%Islamabad in &%Pakistan.")
(instance IstanbulTurkey City)
(documentation IstanbulTurkey EnglishLanguage "The &%City of &%Istanbul in &%Turkey.")
(instance ItamarWestBank City)
(documentation ItamarWestBank EnglishLanguage "The &%City of &%Itamar in &%WestBank.")
(instance IzmirTurkey City)
(documentation IzmirTurkey EnglishLanguage "The &%City of &%Izmir in &%Turkey.")
(instance JMainWestBank City)
(documentation JMainWestBank EnglishLanguage "The &%City of &%JMain in &%WestBank.")
(instance JaffaIsrael City)
(documentation JaffaIsrael EnglishLanguage "The &%City of &%Jaffa in &%Israel.")
(instance JaffnaSriLanka City)
(documentation JaffnaSriLanka EnglishLanguage "The &%City of &%Jaffna in &%SriLanka.")
(instance JakartaIndonesia City)
(documentation JakartaIndonesia EnglishLanguage "The &%City of &%Jakarta in &%Indonesia.")
(instance JalahIndia City)
(documentation JalahIndia EnglishLanguage "The &%City of &%Jalah in &%India.")
(instance JammuIndia City)
(documentation JammuIndia EnglishLanguage "The &%City of &%Jammu in &%India.")
(instance JangasPeru City)
(documentation JangasPeru EnglishLanguage "The &%City of &%Jangas in &%Peru.")
(instance JeninWestBank City)
(documentation JeninWestBank EnglishLanguage "The &%City of &%Jenin in &%WestBank.")
(instance JerusalemIsrael City)
(capitalCity JerusalemIsrael Israel)
(documentation JerusalemIsrael EnglishLanguage "The capital and largest City in Israel.  
It is regarded as a holy city by Muslims, Jews, and Christians.")
(instance JerusalemHillsIsrael City)
(documentation JerusalemHillsIsrael EnglishLanguage "The &%City of &%JerusalemHills in &%Israel.")
(instance JerusalemOldCityIsrael City)
(documentation JerusalemOldCityIsrael EnglishLanguage "The &%City of &%JerusalemOldCity in &%Israel.")
(instance JohannesburgSouthAfrica City)
(documentation JohannesburgSouthAfrica EnglishLanguage "The &%City of &%Johannesburg in &%SouthAfrica.")
(instance JoloPhilippines City)
(documentation JoloPhilippines EnglishLanguage "The &%City of &%Jolo in &%Philippines.")
(instance JubialSaudiArabia City)
(documentation JubialSaudiArabia EnglishLanguage "The &%City of &%Jubial in &%SaudiArabia.")
(instance JullundurIndia City)
(documentation JullundurIndia EnglishLanguage "The &%City of &%Jullundur in &%India.")
(instance KabacanPhilippines City)
(documentation KabacanPhilippines EnglishLanguage "The &%City of &%Kabacan in &%Philippines.")
(instance KabulAfghanistan City)
(documentation KabulAfghanistan EnglishLanguage "The &%City of &%Kabul in &%Afghanistan.")
(instance KafrAkabWestBank City)
(documentation KafrAkabWestBank EnglishLanguage "The &%City of &%KafrAkab in &%WestBank.")
(instance KafrIdnaWestBank City)
(documentation KafrIdnaWestBank EnglishLanguage "The &%City of &%KafrIdna in &%WestBank.")
(instance KalkilyaWestBank City)
(documentation KalkilyaWestBank EnglishLanguage "The &%City of &%Kalkilya in &%WestBank.")
(instance KalmunaiSriLanka City)
(documentation KalmunaiSriLanka EnglishLanguage "The &%City of &%Kalmunai in &%SriLanka.")
(instance KampalaUganda City)
(documentation KampalaUganda EnglishLanguage "The &%City of &%Kampala in &%Uganda.")
(instance KandySriLanka City)
(documentation KandySriLanka EnglishLanguage "The &%City of &%Kandy in &%SriLanka.")
(instance KanihamaIndia City)
(documentation KanihamaIndia EnglishLanguage "The &%City of &%Kanihama in &%India.")
(instance KarachiPakistan City)
(documentation KarachiPakistan EnglishLanguage "The &%City of &%Karachi in &%Pakistan.")
(instance KarkurIsrael City)
(documentation KarkurIsrael EnglishLanguage "The &%City of &%Karkur in &%Israel.")
(instance KarmeiTzurWestBank City)
(documentation KarmeiTzurWestBank EnglishLanguage "The &%City of &%KarmeiTzur in &%WestBank.")
(instance KarneiShomronWestBank City)
(documentation KarneiShomronWestBank EnglishLanguage "The &%City of &%KarneiShomron in &%WestBank.")
(instance KashmirIndia City)
(documentation KashmirIndia EnglishLanguage "The &%City of &%Kashmir in &%India.")
(instance KedumimWestBank City)
(documentation KedumimWestBank EnglishLanguage "The &%City of &%Kedumim in &%WestBank.")
(instance KfarBaAnehIsrael City)
(documentation KfarBaAnehIsrael EnglishLanguage "The &%City of &%KfarBaAneh in &%Israel.")
(instance KfarDaromGazaStrip City)
(documentation KfarDaromGazaStrip EnglishLanguage "The &%City of &%KfarDarom in &%GazaStrip.")
(instance KfarHessIsrael City)
(documentation KfarHessIsrael EnglishLanguage "The &%City of &%KfarHess in &%Israel.")
(instance KfarSabaIsrael City)
(documentation KfarSabaIsrael EnglishLanguage "The &%City of &%KfarSaba in &%Israel.")
(instance KfarTzurifWestBank City)
(documentation KfarTzurifWestBank EnglishLanguage "The &%City of &%KfarTzurif in &%WestBank.")
(instance KfarYamGazaStrip City)
(documentation KfarYamGazaStrip EnglishLanguage "The &%City of &%KfarYam in &%GazaStrip.")
(instance KfarDaromNetzarimIsrael City)
(documentation KfarDaromNetzarimIsrael EnglishLanguage "The &%City of &%KfarDaromNetzarim in &%Israel.")
(instance KhankalaChechnya City)
(documentation KhankalaChechnya EnglishLanguage "The &%City of &%Khankala in &%Chechnya.")
(instance KhartoumSudan City)
(documentation KhartoumSudan EnglishLanguage "The &%City of &%Khartoum in &%Sudan.")
(instance KhelilAlgeria City)
(documentation KhelilAlgeria EnglishLanguage "The &%City of &%Khelil in &%Algeria.")
(instance KhobarSaudiArabia City)
(documentation KhobarSaudiArabia EnglishLanguage "The &%City of &%Khobar in &%SaudiArabia.")
(instance KibbutzGalEdIsrael City)
(documentation KibbutzGalEdIsrael EnglishLanguage "The &%City of &%KibbutzGalEd in &%Israel.")
(instance KibbutzMeravIsrael City)
(documentation KibbutzMeravIsrael EnglishLanguage "The &%City of &%KibbutzMerav in &%Israel.")
(instance KibbutzSheluhotIsrael City)
(documentation KibbutzSheluhotIsrael EnglishLanguage "The &%City of &%KibbutzSheluhot in &%Israel.")
(instance KidapawanPhilippines City)
(documentation KidapawanPhilippines EnglishLanguage "The &%City of &%Kidapawan in &%Philippines.")
(instance KigaliRwanda City)
(documentation KigaliRwanda EnglishLanguage "The &%City of &%Kigali in &%Rwanda.")
(instance KirikkaleTurkey City)
(documentation KirikkaleTurkey EnglishLanguage "The &%City of &%Kirikkale in &%Turkey.")
(instance KiryatArbaWestBank City)
(documentation KiryatArbaWestBank EnglishLanguage "The &%City of &%KiryatArba in &%WestBank.")
(instance KiryatMotzkinIsrael City)
(documentation KiryatMotzkinIsrael EnglishLanguage "The &%City of &%KiryatMotzkin in &%Israel.")
(instance KiryatNetafimWestBank City)
(documentation KiryatNetafimWestBank EnglishLanguage "The &%City of &%KiryatNetafim in &%WestBank.")
(instance KissufimGazaStrip City)
(documentation KissufimGazaStrip EnglishLanguage "The &%City of &%Kissufim in &%GazaStrip.")
(instance KiursehirBoztepTurkey City)
(documentation KiursehirBoztepTurkey EnglishLanguage "The &%City of &%KiursehirBoztep in &%Turkey.")
(instance KlaiyatLebanon City)
(documentation KlaiyatLebanon EnglishLanguage "The &%City of &%Klaiyat in &%Lebanon.")
(instance KohlanYemen City)
(documentation KohlanYemen EnglishLanguage "The &%City of &%Kohlan in &%Yemen.")
(instance KomsomoLabadTajikistan City)
(documentation KomsomoLabadTajikistan EnglishLanguage "The &%City of &%KomsomoLabad in &%Tajikistan.")
(instance KuwaitCityKuwait City)
(documentation KuwaitCityKuwait EnglishLanguage "The &%City of &%KuwaitCity in &%Kuwait.")
(instance LIleRousseFrance City)
(documentation LIleRousseFrance EnglishLanguage "The &%City of &%LIleRousse in &%France.")
(instance LaCeibaHonduras City)
(documentation LaCeibaHonduras EnglishLanguage "The &%City of &%LaCeiba in &%Honduras.")
(instance LaGabarraVenezuela City)
(documentation LaGabarraVenezuela EnglishLanguage "The &%City of &%LaGabarra in &%Venezuela.")
(instance LaGuajiraColombia City)
(documentation LaGuajiraColombia EnglishLanguage "The &%City of &%LaGuajira in &%Colombia.")
(instance LaPazBolivia City)
(documentation LaPazBolivia EnglishLanguage "The &%City of &%LaPaz in &%Bolivia.")
(instance LaVictoriaVenezuela City)
(documentation LaVictoriaVenezuela EnglishLanguage "The &%City of &%LaVictoria in &%Venezuela.")
(instance LahorePakistan City)
(documentation LahorePakistan EnglishLanguage "The &%City of &%Lahore in &%Pakistan.")
(instance LarbaAlgeria City)
(documentation LarbaAlgeria EnglishLanguage "The &%City of &%Larba in &%Algeria.")
(instance LarnacaCyprus City)
(documentation LarnacaCyprus EnglishLanguage "The &%City of &%Larnaca in &%Cyprus.")
(instance LasarteSpain City)
(documentation LasarteSpain EnglishLanguage "The &%City of &%Lasarte in &%Spain.")
(instance LeizaSpain City)
(documentation LeizaSpain EnglishLanguage "The &%City of &%Leiza in &%Spain.")
(instance LibertadorVenezuela City)
(documentation LibertadorVenezuela EnglishLanguage "The &%City of &%Libertador in &%Venezuela.")
(instance LiceTurkey City)
(documentation LiceTurkey EnglishLanguage "The &%City of &%Lice in &%Turkey.")
(instance LimaPeru City)
(documentation LimaPeru EnglishLanguage "The &%City of &%Lima in &%Peru.")
(instance LindosRhodes City)
(documentation LindosRhodes EnglishLanguage "The &%City of &%Lindos in &%Rhodes.")
(instance LinzAustralia City)
(documentation LinzAustralia EnglishLanguage "The &%City of &%Linz in &%Australia.")
(instance LockerbieUnitedKingdom City)
(documentation LockerbieUnitedKingdom EnglishLanguage "The &%City of &%Lockerbie in &%UnitedKingdom.")
(instance LogronoSpain City)
(documentation LogronoSpain EnglishLanguage "The &%City of &%Logrono in &%Spain.")
(instance LondonberryNorthernIreland City)
(documentation LondonberryNorthernIreland EnglishLanguage "The &%City of &%Londonberry in &%NorthernIreland.")

;; KJN: duplicate definition and documentation for LosAngelesCalifornia
;;(instance LosAngelesCalifornia City)
;;(documentation LosAngelesCalifornia EnglishLanguage "The &%City of &%LosAngeles in &%UnitedStates.")
(instance LosBancosVenezuela City)
(documentation LosBancosVenezuela EnglishLanguage "The &%City of &%LosBancos in &%Venezuela.")
(instance LuandaAngola City)
(documentation LuandaAngola EnglishLanguage "The &%City of &%Luanda in &%Angola.")
(instance LuebeckGermany City)
(documentation LuebeckGermany EnglishLanguage "The &%City of &%Luebeck in &%Germany.")
(instance LundaNorteAngola City)
(documentation LundaNorteAngola EnglishLanguage "The &%City of &%LundaNorte in &%Angola.")
(instance LuxorEgypt City)
(documentation LuxorEgypt EnglishLanguage "The &%City of &%Luxor in &%Egypt.")
(instance LyonsFrance City)
(documentation LyonsFrance EnglishLanguage "The &%City of &%Lyons in &%France.")
(instance MaAlehMichmashWestBank City)
(documentation MaAlehMichmashWestBank EnglishLanguage "The &%City of &%MaAlehMichmash in &%WestBank.")
(instance MaccabimIsrael City)
(documentation MaccabimIsrael EnglishLanguage "The &%City of &%Maccabim in &%Israel.")
(instance MadhuSriLanka City)
(documentation MadhuSriLanka EnglishLanguage "The &%City of &%Madhu in &%SriLanka.")
(instance MadrasIndia City)
(documentation MadrasIndia EnglishLanguage "The &%City of &%Madras in &%India.")
(instance MadridSpain City)
(documentation MadridSpain EnglishLanguage "The &%City of &%Madrid in &%Spain.")
(instance MagdalenaColombia City)
(documentation MagdalenaColombia EnglishLanguage "The &%City of &%Magdalena in &%Colombia.")
(instance MaidanSharAfghanistan City)
(documentation MaidanSharAfghanistan EnglishLanguage "The &%City of &%MaidanShar in &%Afghanistan.")
(instance MakhachkalaRussia City)
(documentation MakhachkalaRussia EnglishLanguage "The &%City of &%Makhachkala in &%Russia.")
(instance MalagaSpain City)
(documentation MalagaSpain EnglishLanguage "The &%City of &%Malaga in &%Spain.")
(instance ManaguaNigeria City)
(documentation ManaguaNigeria EnglishLanguage "The &%City of &%Managua in &%Nigeria.")
(instance ManamaBahrain City)
(documentation ManamaBahrain EnglishLanguage "The &%City of &%Manama in &%Bahrain.")
(instance ManchesterUnitedKingdom City)
(documentation ManchesterUnitedKingdom EnglishLanguage "The &%City of &%Manchester in &%UnitedKingdom.")
(instance ManilaPhilippines City)
(documentation ManilaPhilippines EnglishLanguage "The &%City of &%Manila in &%Philippines.")
(instance MaonIsrael City)
(documentation MaonIsrael EnglishLanguage "The &%City of &%Maon in &%Israel.")
(instance MapourditSudan City)
(documentation MapourditSudan EnglishLanguage "The &%City of &%Mapourdit in &%Sudan.")
(instance MarSabaWestBank City)
(documentation MarSabaWestBank EnglishLanguage "The &%City of &%MarSaba in &%WestBank.")
(instance MarawiPhilippines City)
(documentation MarawiPhilippines EnglishLanguage "The &%City of &%Marawi in &%Philippines.")
(instance MardanPakistan City)
(documentation MardanPakistan EnglishLanguage "The &%City of &%Mardan in &%Pakistan.")
(instance MarmarisTurkey City)
(documentation MarmarisTurkey EnglishLanguage "The &%City of &%Marmaris in &%Turkey.")
(instance MarseillesFrance City)
(documentation MarseillesFrance EnglishLanguage "The &%City of &%Marseilles in &%France.")
(instance MashaWestBank City)
(documentation MashaWestBank EnglishLanguage "The &%City of &%Masha in &%WestBank.")
(instance MatsumotoJapan City)
(documentation MatsumotoJapan EnglishLanguage "The &%City of &%Matsumoto in &%Japan.")
(instance MawdiyahYemen City)
(documentation MawdiyahYemen EnglishLanguage "The &%City of &%Mawdiyah in &%Yemen.")
(instance MeaShearimIsrael City)
(documentation MeaShearimIsrael EnglishLanguage "The &%City of &%MeaShearim in &%Israel.")
(instance MeccaSaudiArabia City)
(documentation MeccaSaudiArabia EnglishLanguage "The &%City of &%Mecca in &%SaudiArabia.")
(instance MechoraWestBank City)
(documentation MechoraWestBank EnglishLanguage "The &%City of &%Mechora in &%WestBank.")
(instance MedanIndonesia City)
(documentation MedanIndonesia EnglishLanguage "The &%City of &%Medan in &%Indonesia.")
(instance MedellinColombia City)
(documentation MedellinColombia EnglishLanguage "The &%City of &%Medellin in &%Colombia.")
(instance MegidoIsrael City)
(documentation MegidoIsrael EnglishLanguage "The &%City of &%Megido in &%Israel.")
(instance MeholaIsrael City)
(documentation MeholaIsrael EnglishLanguage "The &%City of &%Mehola in &%Israel.")
(instance MekholahIsrael City)
(documentation MekholahIsrael EnglishLanguage "The &%City of &%Mekholah in &%Israel.")
(instance MersinTurkey City)
(documentation MersinTurkey EnglishLanguage "The &%City of &%Mersin in &%Turkey.")
(instance MetaColombia City)
(documentation MetaColombia EnglishLanguage "The &%City of &%Meta in &%Colombia.")
(instance MetullaIsrael City)
(documentation MetullaIsrael EnglishLanguage "The &%City of &%Metulla in &%Israel.")
(instance MetzerIsrael City)
(documentation MetzerIsrael EnglishLanguage "The &%City of &%Metzer in &%Israel.")
(instance MilanItaly City)
(documentation MilanItaly EnglishLanguage "The &%City of &%Milan in &%Italy.")
(instance MindanaoPhilippines City)
(documentation MindanaoPhilippines EnglishLanguage "The &%City of &%Mindanao in &%Philippines.")
(instance MiranShahPakistan City)
(documentation MiranShahPakistan EnglishLanguage "The &%City of &%MiranShah in &%Pakistan.")
(instance MituColombia City)
(documentation MituColombia EnglishLanguage "The &%City of &%Mitu in &%Colombia.")
(instance ModiinIllitWestBank City)
(documentation ModiinIllitWestBank EnglishLanguage "The &%City of &%ModiinIllit in &%WestBank.")
(instance MombassaKenya City)
(documentation MombassaKenya EnglishLanguage "The &%City of &%Mombassa in &%Kenya.")
(instance MoshavHagorIsrael City)
(documentation MoshavHagorIsrael EnglishLanguage "The &%City of &%MoshavHagor in &%Israel.")
(instance MoshavTomerWestBank City)
(documentation MoshavTomerWestBank EnglishLanguage "The &%City of &%MoshavTomer in &%WestBank.")
(instance MukallahAdenYemen City)
(documentation MukallahAdenYemen EnglishLanguage "The &%City of &%MukallahAden in &%Yemen.")
(instance MunchenGladbachGermany City)
(documentation MunchenGladbachGermany EnglishLanguage "The &%City of &%MunchenGladbach in &%Germany.")
(instance MunsterGermany City)
(documentation MunsterGermany EnglishLanguage "The &%City of &%Munster in &%Germany.")
(instance MurloughNorthernIreland City)
(documentation MurloughNorthernIreland EnglishLanguage "The &%City of &%Murlough in &%NorthernIreland.")
(instance MusMusIsrael City)
(documentation MusMusIsrael EnglishLanguage "The &%City of &%MusMus in &%Israel.")
(instance MutataColombia City)
(documentation MutataColombia EnglishLanguage "The &%City of &%Mutata in &%Colombia.")
(instance MutturSriLanka City)
(documentation MutturSriLanka EnglishLanguage "The &%City of &%Muttur in &%SriLanka.")
(instance NaAlinWestBank City)
(documentation NaAlinWestBank EnglishLanguage "The &%City of &%NaAlin in &%WestBank.")
(instance NablusWestBank City)
(documentation NablusWestBank EnglishLanguage "The &%City of &%Nablus in &%WestBank.")
(instance NahalOzGazaStrip City)
(documentation NahalOzGazaStrip EnglishLanguage "The &%City of &%NahalOz in &%GazaStrip.")
(instance NaharaimIsrael City)
(documentation NaharaimIsrael EnglishLanguage "The &%City of &%Naharaim in &%Israel.")
(instance NahariyaIsrael City)
(documentation NahariyaIsrael EnglishLanguage "The &%City of &%Nahariya in &%Israel.")
(instance NairobiKenya City)
(documentation NairobiKenya EnglishLanguage "The &%City of &%Nairobi in &%Kenya.")
(instance NajafIraq City)
(documentation NajafIraq EnglishLanguage "The &%City of &%Najaf in &%Iraq.")
(instance NaquraLebanon City)
(documentation NaquraLebanon EnglishLanguage "The &%City of &%Naqura in &%Lebanon.")
(instance NarayangangBangladesh City)
(documentation NarayangangBangladesh EnglishLanguage "The &%City of &%Narayangang in &%Bangladesh.")
(instance NataniaIsrael City)
(documentation NataniaIsrael EnglishLanguage "The &%City of &%Natania in &%Israel.")
(instance NearAdarim City)
(documentation NearAdarim EnglishLanguage "The &%City of NearAdarim.")
(instance NearAleiZahav City)
(documentation NearAleiZahav EnglishLanguage "The &%City of NearAleiZahav.")
(instance NearJenin City)
(documentation NearJenin EnglishLanguage "The &%City of NearJenin.")
(instance NetanyaIsrael City)
(documentation NetanyaIsrael EnglishLanguage "The &%City of &%Netanya in &%Israel.")
(instance NetzarimGazaStrip City)
(documentation NetzarimGazaStrip EnglishLanguage "The &%City of &%Netzarim in &%GazaStrip.")
(instance NetzerHazaniGazaStrip City)
(documentation NetzerHazaniGazaStrip EnglishLanguage "The &%City of &%NetzerHazani in &%GazaStrip.")
(instance NeveDanielWestBank City)
(documentation NeveDanielWestBank EnglishLanguage "The &%City of &%NeveDaniel in &%WestBank.")
(instance NeveDekalim City)
(documentation NeveDekalim EnglishLanguage "The &%City of NeveDekalim.")
(instance NeveYaminIsrael City)
(documentation NeveYaminIsrael EnglishLanguage "The &%City of &%NeveYamin in &%Israel.")
(instance NewDelhiIndia City)
(documentation NewDelhiIndia EnglishLanguage "The &%City of &%NewDelhi in &%India.")
(instance NewYorkCityUnitedStates AmericanCity)
(documentation NewYorkCityUnitedStates EnglishLanguage "The largest &%City in the &%UnitedStates.  
A worldwide center of finance and culture, it is comprised of five boroughs.")
(=>
  (instance ?CITY AmericanCity)
  (lessThanOrEqualTo 
    (CardinalityFn (ResidentFn ?CITY)) 
    (CardinalityFn (ResidentFn NewYorkCityUnitedStates))))

(instance NiameyNiger City)
(documentation NiameyNiger EnglishLanguage "The &%City of &%Niamey in &%Niger.")
(instance NissanitGazaStrip City)
(documentation NissanitGazaStrip EnglishLanguage "The &%City of &%Nissanit in &%GazaStrip.")
(instance NitzaneiOzWestBank City)
(documentation NitzaneiOzWestBank EnglishLanguage "The &%City of &%NitzaneiOz in &%WestBank.")
(instance NitzanimIsrael City)
(documentation NitzanimIsrael EnglishLanguage "The &%City of &%Nitzanim in &%Israel.")
(instance NorteDeSantanderColombia City)
(documentation NorteDeSantanderColombia EnglishLanguage "The &%City of &%NorteDeSantander in &%Colombia.")
(instance NovogroznyRussia City)
(documentation NovogroznyRussia EnglishLanguage "The &%City of &%Novogrozny in &%Russia.")
(instance NovyyAtagiRussia City)
(documentation NovyyAtagiRussia EnglishLanguage "The &%City of &%NovyyAtagi in &%Russia.")
(instance OberwartAustria City)
(documentation OberwartAustria EnglishLanguage "The &%City of &%Oberwart in &%Austria.")
(instance OfraWestBank City)
(documentation OfraWestBank EnglishLanguage "The &%City of &%Ofra in &%WestBank.")
(instance OkaraPakistan City)
(documentation OkaraPakistan EnglishLanguage "The &%City of &%Okara in &%Pakistan.")
(instance OlayaHerreraColombia City)
(documentation OlayaHerreraColombia EnglishLanguage "The &%City of &%OlayaHerrera in &%Colombia.")
(instance OmaghNorthernIreland City)
(documentation OmaghNorthernIreland EnglishLanguage "The &%City of &%Omagh in &%NorthernIreland.")
(instance OrYehudaIsrael City)
(documentation OrYehudaIsrael EnglishLanguage "The &%City of &%OrYehuda in &%Israel.")
(instance OranAlgeria City)
(documentation OranAlgeria EnglishLanguage "The &%City of &%Oran in &%Algeria.")
(instance OsakaJapan City)
(documentation OsakaJapan EnglishLanguage "The &%City of &%Osaka in &%Japan.")
(instance OsloNorway City)
(documentation OsloNorway EnglishLanguage "The &%City of &%Oslo in &%Norway.")
(instance OssnabruckGermany City)
(documentation OssnabruckGermany EnglishLanguage "The &%City of &%Ossnabruck in &%Germany.")
(instance OtnielWestBank City)
(documentation OtnielWestBank EnglishLanguage "The &%City of &%Otniel in &%WestBank.")
(instance OtzarinWestBank City)
(documentation OtzarinWestBank EnglishLanguage "The &%City of &%Otzarin in &%WestBank.")
(instance OzamisPhilippines City)
(documentation OzamisPhilippines EnglishLanguage "The &%City of &%Ozamis in &%Philippines.")
(instance PahalgamIndia City)
(documentation PahalgamIndia EnglishLanguage "The &%City of &%Pahalgam in &%India.")
(instance PalorinyaUganda City)
(documentation PalorinyaUganda EnglishLanguage "The &%City of &%Palorinya in &%Uganda.")
(instance PamplonaSpain City)
(documentation PamplonaSpain EnglishLanguage "The &%City of &%Pamplona in &%Spain.")
(instance PanamaCityPanama City)
(documentation PanamaCityPanama EnglishLanguage "The &%City of &%PanamaCity in &%Panama.")
(instance PantrasGreece City)
(documentation PantrasGreece EnglishLanguage "The &%City of &%Pantras in &%Greece.")
(instance PapayinColombia City)
(documentation PapayinColombia EnglishLanguage "The &%City of &%Papayin in &%Colombia.")
(instance PapuaIndonesia City)
(documentation PapuaIndonesia EnglishLanguage "The &%City of &%Papua in &%Indonesia.")
(instance PatikulPhilippines City)
(documentation PatikulPhilippines EnglishLanguage "The &%City of &%Patikul in &%Philippines.")
(instance PauFrance City)
(documentation PauFrance EnglishLanguage "The &%City of &%Pau in &%France.")
(instance PeAtSadehGazaStrip City)
(documentation PeAtSadehGazaStrip EnglishLanguage "The &%City of &%PeAtSadeh in &%GazaStrip.")
(instance PeshawarPakistan City)
(documentation PeshawarPakistan EnglishLanguage "The &%City of &%Peshawar in &%Pakistan.")
(instance PetahTikva City)
(documentation PetahTikva EnglishLanguage "The &%City of PetahTikva.")
(instance PetahTikvahIsrael City)
(documentation PetahTikvahIsrael EnglishLanguage "The &%City of &%PetahTikvah in &%Israel.")
(instance PhnomPenhCambodia City)
(documentation PhnomPenhCambodia EnglishLanguage "The &%City of &%PhnomPenh in &%Cambodia.")
(instance PortadownIreland City)
(documentation PortadownIreland EnglishLanguage "The &%City of &%Portadown in &%Ireland.")
(instance PragueCzechRepublic City)
(documentation PragueCzechRepublic EnglishLanguage "The &%City of &%Prague in &%CzechRepublic.")
(instance PuertoAlviraColombia City)
(documentation PuertoAlviraColombia EnglishLanguage "The &%City of &%PuertoAlvira in &%Colombia.")
(instance PuertoLlerasColombia City)
(documentation PuertoLlerasColombia EnglishLanguage "The &%City of &%PuertoLleras in &%Colombia.")
(instance PunjabPakistan City)
(documentation PunjabPakistan EnglishLanguage "The &%City of &%Punjab in &%Pakistan.")
(instance QuettaPakistan City)
(documentation QuettaPakistan EnglishLanguage "The &%City of &%Quetta in &%Pakistan.")
(instance QuitoEcuador City)
(documentation QuitoEcuador EnglishLanguage "The &%City of &%Quito in &%Ecuador.")
(instance RadaAmanYemen City)
(documentation RadaAmanYemen EnglishLanguage "The &%City of &%RadaAman in &%Yemen.")
(instance RafahGazaStrip City)
(documentation RafahGazaStrip EnglishLanguage "The &%City of &%Rafah in &%GazaStrip.")
(instance RamaJunctionWestBank City)
(documentation RamaJunctionWestBank EnglishLanguage "The &%City of &%RamaJunction in &%WestBank.")
(instance RamalDeAspusanaPeru City)
(documentation RamalDeAspusanaPeru EnglishLanguage "The &%City of &%RamalDeAspusana in &%Peru.")
(instance RamallahWestBank City)
(documentation RamallahWestBank EnglishLanguage "The &%City of &%Ramallah in &%WestBank.")
(instance RamatGanIsrael City)
(documentation RamatGanIsrael EnglishLanguage "The &%City of &%RamatGan in &%Israel.")
(instance RaminWestBank City)
(documentation RaminWestBank EnglishLanguage "The &%City of &%Ramin in &%WestBank.")
(instance RamleIsrael City)
(documentation RamleIsrael EnglishLanguage "The &%City of &%Ramle in &%Israel.")
(instance RawalpindiPakistan City)
(documentation RawalpindiPakistan EnglishLanguage "The &%City of &%Rawalpindi in &%Pakistan.")
(instance ReusSpain City)
(documentation ReusSpain EnglishLanguage "The &%City of &%Reus in &%Spain.")
(instance RigaLatvia City)
(documentation RigaLatvia EnglishLanguage "The &%City of &%Riga in &%Latvia.")
(instance RijekaCroatia City)
(documentation RijekaCroatia EnglishLanguage "The &%City of &%Rijeka in &%Croatia.")
(instance RishonLeZionIsrael City)
(documentation RishonLeZionIsrael EnglishLanguage "The &%City of &%RishonLeZion in &%Israel.")
(instance RiyadhSaudiArabia City)
(documentation RiyadhSaudiArabia EnglishLanguage "The &%City of &%Riyadh in &%SaudiArabia.")
(instance RoermondNetherlands City)
(documentation RoermondNetherlands EnglishLanguage "The &%City of &%Roermond in &%Netherlands.")
(instance RosasSpain City)
(documentation RosasSpain EnglishLanguage "The &%City of &%Rosas in &%Spain.")
(instance RostovOnDonRussia City)
(documentation RostovOnDonRussia EnglishLanguage "The &%City of &%RostovOnDon in &%Russia.")
(instance RuhengeriRwanda City)
(documentation RuhengeriRwanda EnglishLanguage "The &%City of &%Ruhengeri in &%Rwanda.")
(instance SaadaYemen City)
(documentation SaadaYemen EnglishLanguage "The &%City of &%Saada in &%Yemen.")
(instance SabatenaColombia City)
(documentation SabatenaColombia EnglishLanguage "The &%City of &%Sabatena in &%Colombia.")
(instance SacramentoUnitedStates City)
(documentation SacramentoUnitedStates EnglishLanguage "The &%City of &%Sacramento in &%UnitedStates.")
(instance SaintAvoldFrance City)
(documentation SaintAvoldFrance EnglishLanguage "The &%City of &%SaintAvold in &%France.")
(instance SaintSebastianSpain City)
(documentation SaintSebastianSpain EnglishLanguage "The &%City of &%SaintSebastian in &%Spain.")
(instance SaintJeanDeLuzFrance City)
(documentation SaintJeanDeLuzFrance EnglishLanguage "The &%City of &%SaintJeanDeLuz in &%France.")
(instance SairanbarIraq City)
(documentation SairanbarIraq EnglishLanguage "The &%City of &%Sairanbar in &%Iraq.")
(instance SajaIAGazaStrip City)
(documentation SajaIAGazaStrip EnglishLanguage "The &%City of &%SajaIA in &%GazaStrip.")
(instance SallentDeGallegoSpain City)
(documentation SallentDeGallegoSpain EnglishLanguage "The &%City of &%SallentDeGallego in &%Spain.")
(instance SamariaWestBank City)
(documentation SamariaWestBank EnglishLanguage "The &%City of &%Samaria in &%WestBank.")
(instance SamashkiRussia City)
(documentation SamashkiRussia EnglishLanguage "The &%City of &%Samashki in &%Russia.")
(instance SanDiegoColombia City)
(documentation SanDiegoColombia EnglishLanguage "The &%City of &%SanDiego in &%Colombia.")
(instance SanJoseCostaRica City)
(documentation SanJoseCostaRica EnglishLanguage "The &%City of &%SanJose in &%CostaRica.")
(instance SanLuisColombia City)
(documentation SanLuisColombia EnglishLanguage "The &%City of &%SanLuis in &%Colombia.")
(instance SanMiguelElSalvador City)
(documentation SanMiguelElSalvador EnglishLanguage "The &%City of &%SanMiguel in &%ElSalvador.")
(instance SanPabloColombia City)
(documentation SanPabloColombia EnglishLanguage "The &%City of &%SanPablo in &%Colombia.")
(instance SanSebastianSpain City)
(documentation SanSebastianSpain EnglishLanguage "The &%City of &%SanSebastian in &%Spain.")
(instance SanaaYemen City)
(documentation SanaaYemen EnglishLanguage "The &%City of &%Sanaa in &%Yemen.")
(instance SangaldanIndia City)
(documentation SangaldanIndia EnglishLanguage "The &%City of &%Sangaldan in &%India.")
(instance SantaMartaColombia City)
(documentation SantaMartaColombia EnglishLanguage "The &%City of &%SantaMarta in &%Colombia.")
(instance SantaPolaSpain City)
(documentation SantaPolaSpain EnglishLanguage "The &%City of &%SantaPola in &%Spain.")
(instance SantiagoChile City)
(documentation SantiagoChile EnglishLanguage "The &%City of &%Santiago in &%Chile.")
(instance SanurIsrael City)
(documentation SanurIsrael EnglishLanguage "The &%City of &%Sanur in &%Israel.")
(instance SarajevoBosniaAndHerzegovina City)
(documentation SarajevoBosniaAndHerzegovina EnglishLanguage "The &%City of &%Sarajevo in &%BosniaAndHerzegovina.")
(instance SatkhiraBangladesh City)
(documentation SatkhiraBangladesh EnglishLanguage "The &%City of &%Satkhira in &%Bangladesh.")
(instance SegoviaColombia City)
(documentation SegoviaColombia EnglishLanguage "The &%City of &%Segovia in &%Colombia.")
(instance SeoulSouthKorea City)
(documentation SeoulSouthKorea EnglishLanguage "The &%City of &%Seoul in &%SouthKorea.")
(instance SevilleSpain City)
(documentation SevilleSpain EnglishLanguage "The &%City of &%Seville in &%Spain.")
(instance ShadmotMeholaWestBank City)
(documentation ShadmotMeholaWestBank EnglishLanguage "The &%City of &%ShadmotMehola in &%WestBank.")
(instance ShaveiShomronWestBank City)
(documentation ShaveiShomronWestBank EnglishLanguage "The &%City of &%ShaveiShomron in &%WestBank.")
(instance SheikhAjlunGazaStrip City)
(documentation SheikhAjlunGazaStrip EnglishLanguage "The &%City of &%SheikhAjlun in &%GazaStrip.")
(instance ShiloWestBank City)
(documentation ShiloWestBank EnglishLanguage "The &%City of &%Shilo in &%WestBank.")
(instance ShimiEcuador City)
(documentation ShimiEcuador EnglishLanguage "The &%City of &%Shimi in &%Ecuador.")
(instance ShlomiIsrael City)
(documentation ShlomiIsrael EnglishLanguage "The &%City of &%Shlomi in &%Israel.")
(instance SidiHalifahLibya City)
(documentation SidiHalifahLibya EnglishLanguage "The &%City of &%SidiHalifah in &%Libya.")
(instance SidonLebanon City)
(documentation SidonLebanon EnglishLanguage "The &%City of &%Sidon in &%Lebanon.")
(instance SiirtTurkey City)
(documentation SiirtTurkey EnglishLanguage "The &%City of &%Siirt in &%Turkey.")
(instance SilatADaharWestBank City)
(documentation SilatADaharWestBank EnglishLanguage "The &%City of &%SilatADahar in &%WestBank.")
(instance SitrahBahrain City)
(documentation SitrahBahrain EnglishLanguage "The &%City of &%Sitrah in &%Bahrain.")
(instance SoporeIndia City)
(documentation SoporeIndia EnglishLanguage "The &%City of &%Sopore in &%India.")
(instance SrinagarIndia City)
(documentation SrinagarIndia EnglishLanguage "The &%City of &%Srinagar in &%India.")
(documentation SriperumbudurIndia EnglishLanguage "The &%City of &%Sriperumbudur in &%India.")
(instance StewartstownNorthernIreland City)
(documentation StewartstownNorthernIreland EnglishLanguage "The &%City of &%Stewartstown in &%NorthernIreland.")
(instance StockholmSweden City)
(documentation StockholmSweden EnglishLanguage "The &%City of &%Stockholm in &%Sweden.")
(instance StrasbourgFrance City)
(documentation StrasbourgFrance EnglishLanguage "The &%City of &%Strasbourg in &%France.")
(instance SukaiManiyah City)
(documentation SukaiManiyah EnglishLanguage "The &%City of SukaiManiyah.")
(instance SulawesiIndonesia City)
(documentation SulawesiIndonesia EnglishLanguage "The &%City of &%Sulawesi in &%Indonesia.")
(instance SulaymaniyahIraq City)
(documentation SulaymaniyahIraq EnglishLanguage "The &%City of &%Sulaymaniyah in &%Iraq.")
(instance SumayrYemen City)
(documentation SumayrYemen EnglishLanguage "The &%City of &%Sumayr in &%Yemen.")
(instance SusiyaWestBank City)
(documentation SusiyaWestBank EnglishLanguage "The &%City of &%Susiya in &%WestBank.")
(instance TBilisiGeorgia City)
(documentation TBilisiGeorgia EnglishLanguage "The &%City of &%TBilisi in &%RepublicOfGeorgia.")
(instance TailaPakistan City)
(documentation TailaPakistan EnglishLanguage "The &%City of &%Taila in &%Pakistan.")
(instance TamezGuidaAlgeria City)
(documentation TamezGuidaAlgeria EnglishLanguage "The &%City of &%TamezGuida in &%Algeria.")
(instance TandySriLanka City)
(documentation TandySriLanka EnglishLanguage "The &%City of &%Tandy in &%SriLanka.")
(instance TaxilaPakistan City)
(documentation TaxilaPakistan EnglishLanguage "The &%City of &%Taxila in &%Pakistan.")
(instance TegucigalpaHonduras City)
(documentation TegucigalpaHonduras EnglishLanguage "The &%City of &%Tegucigalpa in &%Honduras.")
(instance TeheranIran City)
(documentation TeheranIran EnglishLanguage "The &%City of &%Teheran in &%Iran.")
(instance TekoaWestBank City)
(documentation TekoaWestBank EnglishLanguage "The &%City of &%Tekoa in &%WestBank.")
(instance TelAvivIsrael City)
(documentation TelAvivIsrael EnglishLanguage "The &%City of &%TelAviv in &%Israel.")
(instance TelQateifaGazaStrip City)
(documentation TelQateifaGazaStrip EnglishLanguage "The &%City of &%TelQateifa in &%GazaStrip.")
(instance TelRumeiydaIsrael City)
(documentation TelRumeiydaIsrael EnglishLanguage "The &%City of &%TelRumeiyda in &%Israel.")
(instance TelemIsrael City)
(documentation TelemIsrael EnglishLanguage "The &%City of &%Telem in &%Israel.")
(instance TenaWestBank City)
(documentation TenaWestBank EnglishLanguage "The &%City of &%Tena in &%WestBank.")
(instance TheHagueNetherlands City)
(documentation TheHagueNetherlands EnglishLanguage "The &%City of &%TheHague in &%Netherlands.")
(instance ThekraguriIndia City)
(documentation ThekraguriIndia EnglishLanguage "The &%City of &%Thekraguri in &%India.")
(instance TiaretAlgeria City)
(documentation TiaretAlgeria EnglishLanguage "The &%City of &%Tiaret in &%Algeria.")
(instance TiratAlgeria City)
(documentation TiratAlgeria EnglishLanguage "The &%City of &%Tirat in &%Algeria.")
(instance TokyoJapan City)
(capitalCity TokyoJapan Japan)
(documentation TokyoJapan EnglishLanguage "The capital and largest City in Japan.")
(instance TolosaSpain City)
(documentation TolosaSpain EnglishLanguage "The &%City of &%Tolosa in &%Spain.")
(instance TopkakiTurkey City)
(documentation TopkakiTurkey EnglishLanguage "The &%City of &%Topkaki in &%Turkey.")
(instance TrabzonTurkey City)
(documentation TrabzonTurkey EnglishLanguage "The &%City of &%Trabzon in &%Turkey.")
(instance TripoliLibya City)
(documentation TripoliLibya EnglishLanguage "The &%City of &%Tripoli in &%Libya.")
(instance TulkaremWestBank City)
(documentation TulkaremWestBank EnglishLanguage "The &%City of &%Tulkarem in &%WestBank.")
(instance TulkarmWestBank City)
(documentation TulkarmWestBank EnglishLanguage "The &%City of &%Tulkarm in &%WestBank.")
(instance TunceliTurkey City)
(documentation TunceliTurkey EnglishLanguage "The &%City of &%Tunceli in &%Turkey.")
(instance TurbatPakistan City)
(documentation TurbatPakistan EnglishLanguage "The &%City of &%Turbat in &%Pakistan.")
(instance UmAlFahmIsrael City)
(documentation UmAlFahmIsrael EnglishLanguage "The &%City of &%UmAlFahm in &%Israel.")
(instance UmmQasrIraq City)
(documentation UmmQasrIraq EnglishLanguage "The &%City of &%UmmQasr in &%Iraq.")
(instance UrenaVenezuela City)
(documentation UrenaVenezuela EnglishLanguage "The &%City of &%Urena in &%Venezuela.")
(instance UrraColombia City)
(documentation UrraColombia EnglishLanguage "The &%City of &%Urra in &%Colombia.")
(instance UrsMartanRussia City)
(documentation UrsMartanRussia EnglishLanguage "The &%City of &%UrsMartan in &%Russia.")
(instance ValenciaSpain City)
(documentation ValenciaSpain EnglishLanguage "The &%City of &%Valencia in &%Spain.")
(instance ValleduparColombia City)
(documentation ValleduparColombia EnglishLanguage "The &%City of &%Valledupar in &%Colombia.")
(instance VanTurkey City)
(documentation VanTurkey EnglishLanguage "The &%City of &%Van in &%Turkey.")
(instance VavuniyaSriLanka City)
(documentation VavuniyaSriLanka EnglishLanguage "The &%City of &%Vavuniya in &%SriLanka.")
(instance ViennaAustria City)
(documentation ViennaAustria EnglishLanguage "The &%City of &%Vienna in &%Austria.")
(instance VientianeLaos City)
(documentation VientianeLaos EnglishLanguage "The &%City of &%Vientiane in &%Laos.")
(instance VillavicencioColombia City)
(documentation VillavicencioColombia EnglishLanguage "The &%City of &%Villavicencio in &%Colombia.")
(instance VitoriaSpain City)
(documentation VitoriaSpain EnglishLanguage "The &%City of &%Vitoria in &%Spain.")
(instance VitrollesFrance City)
(documentation VitrollesFrance EnglishLanguage "The &%City of &%Vitrolles in &%France.")
(instance VladikavkazRussia City)
(documentation VladikavkazRussia EnglishLanguage "The &%City of &%Vladikavkaz in &%Russia.")
(instance VladivostokRussia City)
(documentation VladivostokRussia EnglishLanguage "The &%City of &%Vladivostok in &%Russia.")
(instance VolgodonskRussia City)
(documentation VolgodonskRussia EnglishLanguage "The &%City of &%Volgodonsk in &%Russia.")
(instance WadiAlDabaatYemen City)
(documentation WadiAlDabaatYemen EnglishLanguage "The &%City of &%WadiAlDabaat in &%Yemen.")
(instance WadiAraIsrael City)
(documentation WadiAraIsrael EnglishLanguage "The &%City of &%WadiAra in &%Israel.")
(instance WadiKeltWestBank City)
(documentation WadiKeltWestBank EnglishLanguage "The &%City of &%WadiKelt in &%WestBank.")
(instance WashingtonDCUnitedStates AmericanCity)
(documentation WashingtonDCUnitedStates EnglishLanguage "The &%capitalCity of the &%UnitedStates.")
(instance WattyanBahrain City)
(documentation WattyanBahrain EnglishLanguage "The &%City of &%Wattyan in &%Bahrain.")
(instance WestBeirutLebanon City)
(documentation WestBeirutLebanon EnglishLanguage "The &%City of &%WestBeirut in &%Lebanon.")

(instance YaAbadWestBank City)
(documentation YaAbadWestBank EnglishLanguage "The &%City of &%YaAbad in &%WestBank.")
(instance YagurJunctionIsrael City)
(documentation YagurJunctionIsrael EnglishLanguage "The &%City of &%YagurJunction in &%Israel.")
(instance YehudIsrael City)
(documentation YehudIsrael EnglishLanguage "The &%City of &%Yehud in &%Israel.")
(instance YerevanArmenia City)
(documentation YerevanArmenia EnglishLanguage "The &%City of &%Yerevan in &%Armenia.")
(instance YitzharWestBank City)
(documentation YitzharWestBank EnglishLanguage "The &%City of &%Yitzhar in &%WestBank.")
(instance YokotaJapan City)
(documentation YokotaJapan EnglishLanguage "The &%City of &%Yokota in &%Japan.")
(instance YopalColombia City)
(documentation YopalColombia EnglishLanguage "The &%City of &%Yopal in &%Colombia.")
(instance YuksekovaTurkey City)
(documentation YuksekovaTurkey EnglishLanguage "The &%City of &%Yuksekova in &%Turkey.")
(instance ZaitaIsrael City)
(documentation ZaitaIsrael EnglishLanguage "The &%City of &%Zaita in &%Israel.")
(instance ZamarYemen City)
(documentation ZamarYemen EnglishLanguage "The &%City of &%Zamar in &%Yemen.")
(instance ZamboangaPhilippines City)
(documentation ZamboangaPhilippines EnglishLanguage "The &%City of &%Zamboanga in &%Philippines.")
(instance ZaragozaSpain City)
(documentation ZaragozaSpain EnglishLanguage "The &%City of &%Zaragoza in &%Spain.")
(instance ZarauzSpain City)
(documentation ZarauzSpain EnglishLanguage "The &%City of &%Zarauz in &%Spain.")
(instance ZekharyaIsrael City)
(documentation ZekharyaIsrael EnglishLanguage "The &%City of &%Zekharya in &%Israel.")
(instance ZuliaColombia City)
(documentation ZuliaColombia EnglishLanguage "The &%City of &%Zulia in &%Colombia.")
(instance ZumaiaSpain City)
(documentation ZumaiaSpain EnglishLanguage "The &%City of &%Zumaia in &%Spain.")
(instance ZumarragaSpain City)
(documentation ZumarragaSpain EnglishLanguage "The &%City of &%Zumarraga in &%Spain.")
(instance ZvornikBosniaAndHerzegovina City)
(documentation ZvornikBosniaAndHerzegovina EnglishLanguage "The &%City of &%Zvornik in &%BosniaAndHerzegovina.")

;;-----------------------------------------------------------------------
;; Geographic subregion definitions

(geographicSubregion AdanaTurkey Turkey)
(names "Adana" AdanaTurkey)
(geographicSubregion AddisAbabaEthiopia Ethiopia)
(names "Addis Ababa" AddisAbabaEthiopia)
(geographicSubregion AdenYemen Yemen)
(names "Aden" AdenYemen)
(geographicSubregion AdoraWestBank WestBank)
(names "Adora" AdoraWestBank)
(geographicSubregion AfulaIsrael Israel)
(names "Afula" AfulaIsrael)
(geographicSubregion AgriTurkey Turkey)
(names "Agri" AgriTurkey)
(geographicSubregion AinDeflaAlgeria Algeria)
(names "Ain Defla" AinDeflaAlgeria)
(geographicSubregion AinElHajarAlgeria Algeria)
(names "Ain el Hajar" AinElHajarAlgeria)
(geographicSubregion AjaccioFrance France)
(names "Ajaccio" AjaccioFrance)
(geographicSubregion AlBalamandLebanon Lebanon)
(names "Al-Balamand " AlBalamandLebanon)
(geographicSubregion AleiSinaiGazaStrip GazaStrip)
(names "Alei Sinai" AleiSinaiGazaStrip)
(geographicSubregion AleiZahavWestBank WestBank)
(names "Alei Zahav" AleiZahavWestBank)
(geographicSubregion AleyLebanon Lebanon)
(names "Aley" AleyLebanon)
(geographicSubregion AlgiersAlgeria Algeria)
(names "Algiers" AlgiersAlgeria)
(geographicSubregion AlkhanYurtRussia Russia)
(names "Alkhan-Yurt" AlkhanYurtRussia)
(geographicSubregion AlonMorehWestBank WestBank)
(names "Alon Moreh" AlonMorehWestBank)
(geographicSubregion AmbonIndonesia Indonesia)
(names "Ambon" AmbonIndonesia)
(geographicSubregion AmmanJordan Jordan)
(names "Amman" AmmanJordan)
(geographicSubregion AnNuwaydiratBahrain Bahrain)
(names "An Nuwaydirat" AnNuwaydiratBahrain)
(geographicSubregion AndeanSpain Spain)
(names "Andean" AndeanSpain)
(geographicSubregion AngkorWatCambodia Cambodia)
(names "Angkor Wat " AngkorWatCambodia)
(geographicSubregion AnkaraTurkey Turkey)
(names "Ankara" AnkaraTurkey)
(geographicSubregion AntalyaTurkey Turkey)
(names "Antalya" AntalyaTurkey)
(geographicSubregion AntioquiaColombia ColombiaPanama)
(names "Antioquia" AntioquiaColombia)
(geographicSubregion AntwerpBelgium Belgium)
(names "Antwerp" AntwerpBelgium)
(geographicSubregion ApumiracPeru Peru)
(names "Apumirac" ApumiracPeru)
(geographicSubregion ApureVenezuela Venezuela)
(names "Apure" ApureVenezuela)
(geographicSubregion AraucaColombia ColombiaPanama)
(names "Arauca" AraucaColombia)
(geographicSubregion ArgunRussia Russia)
(names "Argun" ArgunRussia)
(geographicSubregion ArielWestBank WestBank)
(names "Ariel" ArielWestBank)
(geographicSubregion ArmaghNorthernIreland NorthernIreland)
(names "Armagh" ArmaghNorthernIreland)
(geographicSubregion ArzewAlgeria Algeria)
(names "Arzew" ArzewAlgeria)
(geographicSubregion AshdodIsrael Israel)
(names "Ashdod" AshdodIsrael)
(geographicSubregion AskelonIsrael Israel)
(names "Askelon" AskelonIsrael)
(geographicSubregion AsmaraEritrea Eritrea)
(names "Asmara" AsmaraEritrea)
(geographicSubregion AssamIndia India)
(names "Assam" AssamIndia)
(geographicSubregion AswanEgypt Egypt)
(names "Aswan" AswanEgypt)
(geographicSubregion AsyutEgypt Egypt)
(names "Asyut" AsyutEgypt)
(geographicSubregion AthensGreece Greece)
(names "Athens" AthensGreece)
(geographicSubregion AtrushIraq Iraq)
(names "Atrush" AtrushIraq)
(geographicSubregion AtzmonaGazaStrip GazaStrip)
(names "Atzmona" AtzmonaGazaStrip)
(geographicSubregion AvneiHefetzIsrael Israel)
(names "Avnei Hefetz" AvneiHefetzIsrael)
(geographicSubregion AyacuchoPeru Peru)
(names "Ayacucho" AyacuchoPeru)
(geographicSubregion AzorIsrael Israel)
(names "Azor" AzorIsrael)
(geographicSubregion BadVilbelGermany Germany)
(names "Bad Vilbel" BadVilbelGermany)
(geographicSubregion BaghdadIraq Iraq)
(names "Baghdad" BaghdadIraq)
(geographicSubregion BagreColombia ColombiaPanama)
(names "Bagre" BagreColombia)
(geographicSubregion BahawalpurPakistan Pakistan)
(names "Bahawalpur" BahawalpurPakistan)
(geographicSubregion BakaAlGarbiyehIsrael Israel)
(names "Baka al-Garbiyeh" BakaAlGarbiyehIsrael)
(geographicSubregion BakkaAlSharkiyaWestBank WestBank)
(names "Bakka al-Sharkiya" BakkaAlSharkiyaWestBank)
(geographicSubregion BakuAzerbaijan Azerbaijan)
(names "Baku" BakuAzerbaijan)
(geographicSubregion BaleEthiopia Ethiopia)
(names "Bale" BaleEthiopia)
(geographicSubregion BanbridgeNorthernIreland NorthernIreland)
(names "Banbridge" BanbridgeNorthernIreland)
(geographicSubregion BangkokThailand Thailand)
(names "Bangkok" BangkokThailand)
(geographicSubregion BangorNorthernIreland NorthernIreland)
(names "Bangor" BangorNorthernIreland)
(geographicSubregion BanguiCentralAfricanRepublic CentralAfricanRepublic)
(names "Bangui" BanguiCentralAfricanRepublic)
(geographicSubregion BarcelonaSpain Spain)
(names "Barcelona" BarcelonaSpain)
(geographicSubregion BarkeoCambodia Cambodia)
(names "Barkeo" BarkeoCambodia)
(geographicSubregion BarrancabermejaColombia Colombia)
(names "Barrancabermeja" BarrancabermejaColombia)
(geographicSubregion BasraIsrael Israel)
(names "Basra" BasraIsrael)
(geographicSubregion BatYamIsrael Israel)
(names "Bat Yam" BatYamIsrael)
(geographicSubregion BatmanTurkey Turkey)
(names "Batman" BatmanTurkey)
(geographicSubregion BeasainSpain Spain)
(names "Beasain" BeasainSpain)
(geographicSubregion BeErShevaIsrael Israel)
(names "Be'er Sheva" BeErShevaIsrael)
(geographicSubregion BeirutLebanon Lebanon)
(names "Beirut" BeirutLebanon)
(geographicSubregion BeitElWestBank WestBank)
(names "Beit El" BeitElWestBank)
(geographicSubregion BeitHaggaiWestBank WestBank)
(names "Beit Haggai" BeitHaggaiWestBank)
(geographicSubregion BeitSahurWestBank WestBank)
(names "Beit Sahur" BeitSahurWestBank)
(geographicSubregion BeitSheAnIsrael Israel)
(names "Beit She'an" BeitSheAnIsrael)
(geographicSubregion BeitShemeshIsrael Israel)
(names "Beit Shemesh" BeitShemeshIsrael)
(geographicSubregion BeledweyneSomalia Somalia)
(names "Beledweyne" BeledweyneSomalia)
(geographicSubregion BelfastNorthernIreland NorthernIreland)
(names "Belfast" BelfastNorthernIreland)
(geographicSubregion BelgradeSerbiaAndMontenegro SerbiaAndMontenegro)
(names "Belgrade" BelgradeSerbiaAndMontenegro)
(geographicSubregion BerlinGermany Germany)
(names "Berlin" BerlinGermany)
(geographicSubregion BetLeHiyehGazaStrip GazaStrip)
(names "Bet LeHiyeh" BetLeHiyehGazaStrip)
(instance BetLidJunctionIsrael GeographicArea)
(geographicSubregion BetLidJunctionIsrael Israel)
(names "Bet Lid Junction" BetLidJunctionIsrael)
(geographicSubregion BethElIsrael Israel)
(names "Beth El" BethElIsrael)
(geographicSubregion BethlehemWestBank WestBank)
(names "Bethlehem" BethlehemWestBank)
(geographicSubregion BidyaWestBank WestBank)
(names "Bidya" BidyaWestBank)
(geographicSubregion BilbaoSpain Spain)
(names "Bilbao" BilbaoSpain)
(geographicSubregion BillabonaSpain Spain)
(names "Billabona" BillabonaSpain)
(geographicSubregion BinyaminaIsrael Israel)
(names "Binyamina" BinyaminaIsrael)
(geographicSubregion BKaotWestBank WestBank)
(names "B'kaot" BKaotWestBank)
(geographicSubregion BneiAyishIsrael Israel)
(names "Bnei Ayish" BneiAyishIsrael)
(geographicSubregion BogotaColombia Colombia)
(names "Bogota" BogotaColombia)
(geographicSubregion BolognaItaly Italy)
(names "Bologna" BolognaItaly)
(geographicSubregion BonnGermany Germany)
(names "Bonn" BonnGermany)
(instance BosphorousStraitsTurkey GeographicArea)
(geographicSubregion BosphorousStraitsTurkey Turkey)
(names "BosphorousStraits" BosphorousStraitsTurkey)
(geographicSubregion BouiraAlgeria Algeria)
(names "Bouira" BouiraAlgeria)
(geographicSubregion BouzeGueneAlgeria Algeria)
(names "Bouze-guene" BouzeGueneAlgeria)
(geographicSubregion BrusselsBelgium Belgium)
(names "Brussels" BrusselsBelgium)
(geographicSubregion BucaramangaColombia Colombia)
(names "Bucaramanga" BucaramangaColombia)
(geographicSubregion BucharestRomania Romania) 	 
(names "Bucharest" BucharestRomania)
(geographicSubregion BuenosAiresArgentina Argentina)
(names "Buenos Aires" BuenosAiresArgentina)
(geographicSubregion BuinakskRussia Russia)
(names "Buinaksk" BuinakskRussia)
(instance BwindiforestUganda GeographicArea)
(geographicSubregion BwindiforestUganda Uganda)
(names "Bwindi forest" BwindiforestUganda)
(geographicSubregion CabindaAngola Angola)
(names "Cabinda" CabindaAngola)
(geographicSubregion CaglayanTurkey Turkey)
(names "Caglayan" CaglayanTurkey)
(geographicSubregion CairoEgypt Egypt)
(names "Cairo" CairoEgypt)
(geographicSubregion CalcuttaIndia India)
(names "Calcutta" CalcuttaIndia)
(geographicSubregion CaliColombia Colombia)
(names "Cali" CaliColombia)
(geographicSubregion CampZamaJapan Japan)
(names "Camp Zama" CampZamaJapan)
(geographicSubregion CankiriTurkey Turkey)
(names "Cankiri" CankiriTurkey)
(geographicSubregion CapeTownSouthAfrica SouthAfrica)
(names "Cape Town" CapeTownSouthAfrica)
(geographicSubregion CarmelIsrael Israel)
(names "Carmel" CarmelIsrael)
(geographicSubregion CarmenDeBolivarColombia Colombia)
(names "Carmen de Bolivar" CarmenDeBolivarColombia)
(geographicSubregion CarrejonColombia Colombia)
(names "Carrejon" CarrejonColombia)
(geographicSubregion ChamanPakistan Pakistan)
(names "Chaman" ChamanPakistan)
(geographicSubregion ChararESharifIndia India)
(names "Charar-e-Sharif " ChararESharifIndia)
(geographicSubregion CharsaadaPakistan Pakistan)
(names "Charsaada" CharsaadaPakistan)
(geographicSubregion ChernoRechyeRussia Russia)
(names "Cherno-rechye" ChernoRechyeRussia)
(geographicSubregion ChicagoUnitedStates UnitedStates)
(names "Chicago" ChicagoUnitedStates)
(geographicSubregion ChisimayuSomalia Somalia)
(names "Chisimayu" ChisimayuSomalia)
(geographicSubregion ChittagongBangladesh Bangladesh)
(names "Chittagong" ChittagongBangladesh)
(geographicSubregion ChobaAngola Angola)
(names "Choba" ChobaAngola)
(geographicSubregion ChocoColombia Colombia)
(names "Choco" ChocoColombia)
(geographicSubregion ChorrosQueroVenezuela Venezuela)
(names "Chorros-quero" ChorrosQueroVenezuela)
(instance ClarkAirbasePhilippines GeographicArea)
(geographicSubregion ClarkAirbasePhilippines Philippines)
(names "Clark Airbase" ClarkAirbasePhilippines)
(geographicSubregion CoimbatoreIndia India)
(names "Coimbatore" CoimbatoreIndia)
(geographicSubregion CologneGermany Germany)
(names "Cologne" CologneGermany)
(geographicSubregion ColombiaCityColombia Colombia)
(names "Colombia City" ColombiaCityColombia)
(geographicSubregion ColombiaPanama Panama)
(names "Colombia" ColombiaPanama)
(geographicSubregion ColomboSriLanka SriLanka)
(names "Colombo" ColomboSriLanka)
(geographicSubregion ComayaguaHonduras Honduras)
(names "Comayagua" ComayaguaHonduras)
(geographicSubregion CopacaBanaCuba Cuba)
(names "Copaca-bana" CopacaBanaCuba)
(geographicSubregion CopenhagenDenmark Denmark)
(names "Copenhagen" CopenhagenDenmark)
(geographicSubregion CorsicaFrance France)
(names "Corsica" CorsicaFrance)
(geographicSubregion CorteFrance France)
(names "Corte" CorteFrance)
(geographicSubregion CorumTurkey Turkey)
(names "Corum" CorumTurkey)
(geographicSubregion CundiNamarcaColombia Colombia)
(names "Cundi-namarca" CundiNamarcaColombia)
(geographicSubregion CupiaguaColombia Colombia)
(names "Cupiagua" CupiaguaColombia)
(geographicSubregion CuzcoPeru Peru)
(names "Cuzco" CuzcoPeru)
(geographicSubregion DagestanRussia Russia)
(names "Dagestan" DagestanRussia)
(geographicSubregion DahukIraq Iraq)
(names "Dahuk" DahukIraq)
(instance DangDistrictNepal GeographicArea)
(geographicSubregion DangDistrictNepal Nepal)
(names "Dang district" DangDistrictNepal)
(geographicSubregion DarEsSalaAmTanzania Tanzania)
(names "Dar es Sala'am" DarEsSalaAmTanzania)
(geographicSubregion DarvazTajikistan Tajikistan)
(names "Darvaz" DarvazTajikistan)
(geographicSubregion DebaSpain Spain)
(names "Deba" DebaSpain)
(geographicSubregion DelhiIndia India)
(names "Delhi" DelhiIndia)
(geographicSubregion DhahranSaudiArabia SaudiArabia)
(names "Dhahran" DhahranSaudiArabia)
(geographicSubregion DhakaBangladesh Bangladesh)
(names "Dhaka" DhakaBangladesh)
(geographicSubregion DinanFrance France)
(names "Dinan" DinanFrance)
(geographicSubregion DirNaballahWestBank WestBank)
(names "Dir Naballah" DirNaballahWestBank)
(geographicSubregion DireDawaEthiopia Ethiopia)
(names "Dire Dawa" DireDawaEthiopia)
(instance DistrictOfMansehraPakistan GeographicArea)
(geographicSubregion DistrictOfMansehraPakistan Pakistan)
(names "district of Mansehra" DistrictOfMansehraPakistan)
(geographicSubregion DjakashariGeorgia RepublicOfGeorgia)
(names "Djakashari" DjakashariGeorgia)
(geographicSubregion DjerbaTunisia Tunisia)
(names "Djerba" DjerbaTunisia)
(geographicSubregion DodaIndia India)
(names "Doda" DodaIndia)
(geographicSubregion DortmundGermany Germany)
(names "Dortmund" DortmundGermany)
(geographicSubregion DublinIreland Ireland)
(names "Dublin" DublinIreland)
(geographicSubregion DuesseldorfGermany Germany)
(names "Duesseldorf" DuesseldorfGermany)
(geographicSubregion DugitGazaStrip GazaStrip)
(names "Dugit" DugitGazaStrip)
(geographicSubregion DurangoSpain Spain)
(names "Durango" DurangoSpain)
(geographicSubregion DushanbeTajikistan Tajikistan)
(names "Dushanbe" DushanbeTajikistan)
(instance DushanbeAirportTajikistan GeographicArea)
(geographicSubregion DushanbeAirportTajikistan Tajikistan)
(names "Dushanbe airport" DushanbeAirportTajikistan)
(geographicSubregion DushanbeGarmTajikistan Tajikistan)
(names "Dushanbe Garm" DushanbeGarmTajikistan)
(geographicSubregion EastJerusalemIsrael Israel)
(names "East Jerusalem" EastJerusalemIsrael)
(geographicSubregion EfratWestBank WestBank)
(names "Efrat" EfratWestBank)
(geographicSubregion EilatIsrael Israel)
(names "Eilat" EilatIsrael)
(geographicSubregion EinavWestBank WestBank)
(names "Einav" EinavWestBank)
(geographicSubregion ElBagreColombia Colombia)
(names "El Bagre" ElBagreColombia)
(geographicSubregion ElBirehWestBank WestBank)
(names "El Bireh" ElBirehWestBank)
(geographicSubregion ElPlayonColombia Colombia)
(names "El Playon" ElPlayonColombia)
(geographicSubregion ElRipialApureVenezuela Venezuela)
(names "El Ripial Apure" ElRipialApureVenezuela)
(geographicSubregion ElayoSomalia Somalia)
(names "Elayo" ElayoSomalia)
(geographicSubregion ElAzzariyaWestBank WestBank)
(names "el-Azzariya" ElAzzariyaWestBank)
(geographicSubregion EleiSinaiGazaStrip GazaStrip)
(names "Elei Sinai" EleiSinaiGazaStrip)
(geographicSubregion EmmanuelWestBank WestBank)
(names "Emmanuel" EmmanuelWestBank)
(geographicSubregion ErezGazaStrip GazaStrip)
(names "Erez" ErezGazaStrip)
(instance FethiyeAndMarmarisTurkey GeographicArea)
(geographicSubregion FethiyeAndMarmarisTurkey Turkey)
(names "Fethiye and Marmaris" FethiyeAndMarmarisTurkey)
(instance FloridaUnitedStates GeographicArea)
(geographicSubregion FloridaUnitedStates UnitedStates)
(names "Florida" FloridaUnitedStates)
(geographicSubregion FormequeColombia Colombia)
(names "Formeque" FormequeColombia)
(geographicSubregion FrankfurtGermany Germany)
(names "Frankfurt" FrankfurtGermany)
(geographicSubregion FrenchHillIsrael Israel)
(names "French Hill" FrenchHillIsrael)
(geographicSubregion FuengirolaSpain Spain)
(names "Fuengirola" FuengirolaSpain)
(geographicSubregion FusagasusaColombia Colombia)
(names "Fusagasusa" FusagasusaColombia)
(geographicSubregion GaliAbkhaziaGeorgia RepublicOfGeorgia)
(names "Gali Abkhazia" GaliAbkhaziaGeorgia)
(geographicSubregion GanimWestBank WestBank)
(names "Ganim" GanimWestBank)
(geographicSubregion GashuriIsrael Israel)
(names "Gashuri " GashuriIsrael)
(geographicSubregion GeneralSantosPhilippines Philippines)
(names "General Santos" GeneralSantosPhilippines)
(geographicSubregion GenevaSwitzerland Switzerland)
(names "Geneva" GenevaSwitzerland)
(geographicSubregion GetxoSpain Spain)
(names "Getxo" GetxoSpain)
(geographicSubregion GhalebiehIraq Iraq)
(names "Ghalebieh" GhalebiehIraq)
(instance GhaziabadUttarPradeshIndia GeographicArea)
(geographicSubregion GhaziabadUttarPradeshIndia India)
(names "Ghaziabad Uttar Pradesh" GhaziabadUttarPradeshIndia)
(geographicSubregion GiloIsrael Israel)
(names "Gilo" GiloIsrael)
(geographicSubregion GivatZeEvWestBank WestBank)
(names "Givat Ze'ev" GivatZeEvWestBank)
(geographicSubregion GizaEgypt Egypt)
(names "Giza" GizaEgypt)
(geographicSubregion GonegalleSriLanka SriLanka)
(names "Gonegalle" GonegalleSriLanka)
(geographicSubregion GranadaSpain Spain)
(names "Granada" GranadaSpain)
(geographicSubregion GrazAustria Austria)
(names "Graz" GrazAustria)
(geographicSubregion GroznyChechnya Chechnya)
(names "Grozny" GroznyChechnya)
(geographicSubregion GuilinChina China)
(names "Guilin" GuilinChina)
(geographicSubregion GujaratIndia India)
(names "Gujarat" GujaratIndia)
(geographicSubregion GushEtzionWestBank WestBank)
(names "Gush Etzion" GushEtzionWestBank)
(instance GushKatifGazaStrip GeographicArea)
(geographicSubregion GushKatifGazaStrip GazaStrip)
(names "Gush Katif" GushKatifGazaStrip)
(geographicSubregion HaderaIsrael Israel)
(names "Hadera" HaderaIsrael)
(geographicSubregion HaifaIsrael Israel)
(names "Haifa" HaifaIsrael)
(geographicSubregion HamburgGermany Germany)
(names "Hamburg" HamburgGermany)
(geographicSubregion HamisMiliyanaAlgeria Algeria)
(names "Hamis Miliyana" HamisMiliyanaAlgeria)
(geographicSubregion HamraWestBank WestBank)
(names "Hamra" HamraWestBank)
(geographicSubregion HannoverGermany Germany)
(names "Hannover" HannoverGermany)
(geographicSubregion HarBrachaWestBank WestBank)
(names "Har Bracha" HarBrachaWestBank)
(geographicSubregion HarerEthiopia Ethiopia)
(names "Harer" HarerEthiopia)
(geographicSubregion HavanaCuba Cuba)
(names "Havana" HavanaCuba)
(geographicSubregion HawanaIraq Iraq)
(names "Hawana" HawanaIraq)
(geographicSubregion HeartAfghanistan Afghanistan)
(names "Heart" HeartAfghanistan)
(geographicSubregion HebronWestBank WestBank)
(names "Hebron" HebronWestBank)
(geographicSubregion HermeshIsrael Israel)
(names "Hermesh" HermeshIsrael)
(geographicSubregion HernaniSpain Spain)
(names "Hernani" HernaniSpain)
(geographicSubregion HerzliyaIsrael Israel)
(names "Herzliya" HerzliyaIsrael)
(geographicSubregion HilversumNetherlands Netherlands)
(names "Hilversum" HilversumNetherlands)
(geographicSubregion HizmaWestBank WestBank)
(names "Hizma" HizmaWestBank)
(instance HodayaJunctionIsrael GeographicArea)
(geographicSubregion HodayaJunctionIsrael Israel)
(names "Hodaya Junction" HodayaJunctionIsrael)
(instance HolonJunctionIsrael GeographicArea)
(geographicSubregion HolonJunctionIsrael Israel)
(names "Holon Junction" HolonJunctionIsrael)
(geographicSubregion HuallgaPeru Peru)
(names "Huallga" HuallgaPeru)
(geographicSubregion HurghadaEgypt Egypt)
(names "Hurghada" HurghadaEgypt)
(geographicSubregion HyderabadIndia India)
(names "Hyderabad" HyderabadIndia)
(geographicSubregion IbsrilIraq Iraq)
(names "Ibsril" IbsrilIraq)
(instance IncirlikAirbaseTurkey GeographicArea)
(geographicSubregion IncirlikAirbaseTurkey Turkey)
(names "Incirlik Airbase" IncirlikAirbaseTurkey)
(geographicSubregion IpilPhilippines Philippines)
(names "Ipil" IpilPhilippines)
(geographicSubregion IrbilIraq Iraq)
(names "Irbil" IrbilIraq)
(geographicSubregion IslamabadPakistan Pakistan)
(names "Islamabad" IslamabadPakistan)
(instance IslandOfBaliIndonesia GeographicArea)
(geographicSubregion IslandOfBaliIndonesia Indonesia)
(names "Island of Bali" IslandOfBaliIndonesia)
(geographicSubregion IstanbulTurkey Turkey)
(names "Istanbul" IstanbulTurkey)
(geographicSubregion ItamarWestBank WestBank)
(names "Itamar" ItamarWestBank)
(geographicSubregion IzmirTurkey Turkey)
(names "Izmir" IzmirTurkey)
(geographicSubregion JaffaIsrael Israel)
(names "Jaffa" JaffaIsrael)
(geographicSubregion JaffnaSriLanka SriLanka)
(names "Jaffna" JaffnaSriLanka)
(geographicSubregion JakartaIndonesia Indonesia)
(names "Jakarta" JakartaIndonesia)
(geographicSubregion JalahIndia India)
(names "Jalah" JalahIndia)
(instance JalpaiguriRailwayStationIndia GeographicArea)
(geographicSubregion JalpaiguriRailwayStationIndia India)
(names "Jalpaiguri Railway Station" JalpaiguriRailwayStationIndia)
(geographicSubregion JammuIndia India)
(names "Jammu" JammuIndia)
(geographicSubregion JangasPeru Peru)
(names "Jangas" JangasPeru)
(geographicSubregion JeninWestBank WestBank)
(names "Jenin" JeninWestBank)
(geographicSubregion JerusalemIsrael Israel)
(geographicSubregion JerusalemPalestine WestBank)
(capitalCity JerusalemPalestine WestBank) 

(documentation JerusalemPalestine EnglishLanguage "The capital and
largest City in the WestBank It is regarded as a holy city by Muslims,
Jews, and Christians.")       

(externalImage JerusalemPalestine
"http://upload.wikimedia.org/wikipedia/commons/ thumb/ 0/ 05/
Jerusalem_from_mt_olives.jpg/ 245px-Jerusalem_from_mt_olives.jpg")  


(instance JerusalemPalestine City) 

(names "Jerusalem" JerusalemPalestine) 

(termFormat EnglishLanguage JerusalemPalestine "Jerusalem Palestine")
(names "Jerusalem" JerusalemIsrael)
(geographicSubregion JMainWestBank WestBank)
(names "J'main" JMainWestBank)
(geographicSubregion JohannesburgSouthAfrica SouthAfrica)
(names "Johannesburg" JohannesburgSouthAfrica)
(geographicSubregion JoloPhilippines Philippines)
(names "Jolo" JoloPhilippines)
(geographicSubregion JubialSaudiArabia SaudiArabia)
(names "Jubial" JubialSaudiArabia)
(geographicSubregion JullundurIndia India)
(names "Jullundur" JullundurIndia)
(geographicSubregion KabacanPhilippines Philippines)
(names "Kabacan" KabacanPhilippines)
(geographicSubregion KabulAfghanistan Afghanistan)
(names "Kabul" KabulAfghanistan)
(geographicSubregion KafrAkabWestBank WestBank)
(names "Kafr Akab" KafrAkabWestBank)
(geographicSubregion KafrIdnaWestBank WestBank)
(names "Kafr Idna" KafrIdnaWestBank)
(geographicSubregion KalkilyaWestBank WestBank)
(names "Kalkilya" KalkilyaWestBank)
(geographicSubregion KalmunaiSriLanka SriLanka)
(names "Kalmunai" KalmunaiSriLanka)
(geographicSubregion KampalaUganda Uganda)
(names "Kampala" KampalaUganda)
(geographicSubregion KandySriLanka SriLanka)
(names "Kandy" KandySriLanka)
(geographicSubregion KanihamaIndia India)
(names "Kanihama" KanihamaIndia)
(geographicSubregion KarachiPakistan Pakistan)
(names "Karachi" KarachiPakistan)
(geographicSubregion KarkurIsrael Israel)
(names "Karkur" KarkurIsrael)
(geographicSubregion KarmeiTzurWestBank WestBank)
(names "Karmei Tzur" KarmeiTzurWestBank)
(geographicSubregion KarneiShomronWestBank WestBank)
(names "Karnei Shomron" KarneiShomronWestBank)
(geographicSubregion KashmirIndia India)
(names "Kashmir" KashmirIndia)
(instance KatmanduAirportNepal GeographicArea)
(geographicSubregion KatmanduAirportNepal Nepal)
(names "Katmandu Airport" KatmanduAirportNepal)
(geographicSubregion KedumimWestBank WestBank)
(names "Kedumim" KedumimWestBank)
(instance KedumimSettlementWestBank GeographicArea)
(geographicSubregion KedumimSettlementWestBank WestBank)
(names "Kedumim Settlement" KedumimSettlementWestBank)
(geographicSubregion KfarBaAnehIsrael Israel)
(names "Kfar Ba'aneh" KfarBaAnehIsrael)
(geographicSubregion KfarDaromGazaStrip GazaStrip)
(names "Kfar Darom" KfarDaromGazaStrip)
(geographicSubregion KfarHessIsrael Israel)
(names "Kfar Hess" KfarHessIsrael)
(geographicSubregion KfarSabaIsrael Israel)
(names "Kfar Saba" KfarSabaIsrael)
(geographicSubregion KfarTzurifWestBank WestBank)
(names "Kfar Tzurif" KfarTzurifWestBank)
(geographicSubregion KfarYamGazaStrip GazaStrip)
(names "Kfar Yam" KfarYamGazaStrip)
(geographicSubregion KfarDaromNetzarimIsrael Israel)
(names "Kfar-Darom Netzarim" KfarDaromNetzarimIsrael)
(geographicSubregion KhankalaChechnya Chechnya)
(names "Khankala" KhankalaChechnya)
(geographicSubregion KhartoumSudan Sudan)
(names "Khartoum" KhartoumSudan)
(geographicSubregion KhelilAlgeria Algeria)
(names "Khelil" KhelilAlgeria)
(geographicSubregion KhobarSaudiArabia SaudiArabia)
(names "Khobar" KhobarSaudiArabia)
(geographicSubregion KibbutzGalEdIsrael Israel)
(names "Kibbutz Gal 'Ed" KibbutzGalEdIsrael)
(geographicSubregion KibbutzMeravIsrael Israel)
(names "Kibbutz Merav" KibbutzMeravIsrael)
(geographicSubregion KibbutzSheluhotIsrael Israel)
(names "Kibbutz Sheluhot" KibbutzSheluhotIsrael)
(geographicSubregion KidapawanPhilippines Philippines)
(names "Kidapawan" KidapawanPhilippines)
(geographicSubregion KigaliRwanda Rwanda)
(names "Kigali" KigaliRwanda)
(geographicSubregion KirikkaleTurkey Turkey)
(names "Kirikkale" KirikkaleTurkey)
(geographicSubregion KiryatArbaWestBank WestBank)
(names "Kiryat Arba" KiryatArbaWestBank)
(geographicSubregion KiryatMotzkinIsrael Israel)
(names "Kiryat Motzkin" KiryatMotzkinIsrael)
(geographicSubregion KiryatNetafimWestBank WestBank)
(names "Kiryat Netafim" KiryatNetafimWestBank)
(geographicSubregion KissufimGazaStrip GazaStrip)
(names "Kissufim" KissufimGazaStrip)
(geographicSubregion KiursehirBoztepTurkey Turkey)
(names "Kiursehir-Boztep" KiursehirBoztepTurkey)
(geographicSubregion KlaiyatLebanon Lebanon)
(names "Klaiyat" KlaiyatLebanon)
(geographicSubregion KohlanYemen Yemen)
(names "Kohlan" KohlanYemen)
(geographicSubregion KomsomoLabadTajikistan Tajikistan)
(names "Komsomo-labad" KomsomoLabadTajikistan)
(geographicSubregion KuwaitCityKuwait Kuwait)
(names "Kuwait City" KuwaitCityKuwait)
(geographicSubregion LaCeibaHonduras Honduras)
(names "La Ceiba" LaCeibaHonduras)
(geographicSubregion LaGabarraVenezuela Venezuela)
(names "La Gabarra" LaGabarraVenezuela)
(geographicSubregion LaGuajiraColombia Colombia)
(names "La Guajira" LaGuajiraColombia)
(geographicSubregion LaPazBolivia Bolivia)
(names "La Paz" LaPazBolivia)
(geographicSubregion LaVictoriaVenezuela Venezuela)
(names "La Victoria" LaVictoriaVenezuela)
(geographicSubregion LahorePakistan Pakistan)
(names "Lahore" LahorePakistan)
(geographicSubregion LarbaAlgeria Algeria)
(names "Larba" LarbaAlgeria)
(geographicSubregion LarnacaCyprus Cyprus)
(names "Larnaca" LarnacaCyprus)
(geographicSubregion LasarteSpain Spain)
(names "Lasarte" LasarteSpain)
(geographicSubregion LeizaSpain Spain)
(names "Leiza" LeizaSpain)
(instance LesEucalyptusDistrictAlgeria GeographicArea)
(geographicSubregion LesEucalyptusDistrictAlgeria Algeria)
(names "Les Eucalyptus district" LesEucalyptusDistrictAlgeria)
(geographicSubregion LibertadorVenezuela Venezuela)
(names "Libertador" LibertadorVenezuela)
(geographicSubregion LiceTurkey Turkey)
(names "Lice" LiceTurkey)
(geographicSubregion LIleRousseFrance France)
(names "L'Ile-Rousse" LIleRousseFrance)
(geographicSubregion LimaPeru Peru)
(names "Lima" LimaPeru)
(geographicSubregion LindosRhodes Rhodes)
(names "Lindos" LindosRhodes)
(geographicSubregion LinzAustralia Australia)
(names "Linz" LinzAustralia)
(geographicSubregion LockerbieUnitedKingdom UnitedKingdom)
(names "Lockerbie" LockerbieUnitedKingdom)
(geographicSubregion LogronoSpain Spain)
(names "Logorno" LogronoSpain)
(geographicSubregion LondonUnitedKingdom UnitedKingdom)
(names "London" LondonUnitedKingdom)
(geographicSubregion LondonberryNorthernIreland NorthernIreland)
(names "Londonberry" LondonberryNorthernIreland)
(geographicSubregion LosAngelesCalifornia UnitedStates)
(names "Los Angeles" LosAngelesCalifornia)
(instance LosAngelesInternationalAirportUnitedStates GeographicArea)
(geographicSubregion LosAngelesInternationalAirportUnitedStates UnitedStates)
(names "Los Angeles International Airport" LosAngelesInternationalAirportUnitedStates)
(geographicSubregion LosBancosVenezuela Venezuela)
(names "Los Bancos" LosBancosVenezuela)
(instance LosKatiosNationalParkColombia GeographicArea)
(geographicSubregion LosKatiosNationalParkColombia Colombia)
(names "Los Katios National Park" LosKatiosNationalParkColombia)
(geographicSubregion LuandaAngola Angola)
(names "Luanda" LuandaAngola)
(geographicSubregion LuebeckGermany Germany)
(names "Luebeck" LuebeckGermany)
(geographicSubregion LundaNorteAngola Angola)
(names "Lunda Norte" LundaNorteAngola)
(geographicSubregion LuxorEgypt Egypt)
(names "Luxor" LuxorEgypt)
(geographicSubregion LyonsFrance France)
(names "Lyons" LyonsFrance)
(geographicSubregion MaAlehMichmashWestBank WestBank)
(names "Ma'aleh Michmash" MaAlehMichmashWestBank)
(geographicSubregion MaccabimIsrael Israel)
(names "Maccabim " MaccabimIsrael)
(geographicSubregion MadhuSriLanka SriLanka)
(names "Madhu" MadhuSriLanka)
(geographicSubregion MadrasIndia India)
(names "Madras" MadrasIndia)
(geographicSubregion MadridSpain Spain)
(names "Madrid" MadridSpain)
(geographicSubregion MagdalenaColombia Colombia)
(names "Magdalena" MagdalenaColombia)
(geographicSubregion MaidanSharAfghanistan Afghanistan)
(names "Maidan Shar" MaidanSharAfghanistan)
(geographicSubregion MakhachkalaRussia Russia)
(names "Makhachkala" MakhachkalaRussia)
(geographicSubregion MalagaSpain Spain)
(names "Malaga" MalagaSpain)
(instance MalukkaIslandsIndonesia GeographicArea)
(geographicSubregion MalukkaIslandsIndonesia Indonesia)
(names "Malukka islands" MalukkaIslandsIndonesia)
(geographicSubregion ManaguaNigeria Nigeria)
(names "Managua" ManaguaNigeria)
(geographicSubregion ManamaBahrain Bahrain)
(names "Manama" ManamaBahrain)
(geographicSubregion ManchesterUnitedKingdom UnitedKingdom)
(names "Manchester" ManchesterUnitedKingdom)
(instance MangalsenAndSanpheBagarNepal GeographicArea)
(geographicSubregion MangalsenAndSanpheBagarNepal Nepal)
(names "Mangalsen and Sanphe Bagar " MangalsenAndSanpheBagarNepal)
(geographicSubregion ManilaPhilippines Philippines)
(names "Manila" ManilaPhilippines)
(geographicSubregion MaonIsrael Israel)
(names "Maon" MaonIsrael)
(geographicSubregion MapourditSudan Sudan)
(names "Mapourdit" MapourditSudan)
(geographicSubregion MarSabaWestBank WestBank)
(names "Mar Saba" MarSabaWestBank)
(geographicSubregion MarawiPhilippines Philippines)
(names "Marawi" MarawiPhilippines)
(geographicSubregion MardanPakistan Pakistan)
(names "Mardan" MardanPakistan)
(geographicSubregion MarmarisTurkey Turkey)
(names "Marmaris" MarmarisTurkey)
(geographicSubregion MarseillesFrance France)
(names "Marseilles" MarseillesFrance)
(geographicSubregion MashaWestBank WestBank)
(names "Masha" MashaWestBank)
(geographicSubregion MatsumotoJapan Japan)
(names "Matsumoto" MatsumotoJapan)
(geographicSubregion MawdiyahYemen Yemen)
(names "Mawdiyah" MawdiyahYemen)
(geographicSubregion MeaShearimIsrael Israel)
(names "Mea Shearim" MeaShearimIsrael)
(geographicSubregion MeccaSaudiArabia SaudiArabia)
(names "Mecca" MeccaSaudiArabia)
(geographicSubregion MechoraWestBank WestBank)
(names "Mechora" MechoraWestBank)
(geographicSubregion MedanIndonesia Indonesia)
(names "Medan" MedanIndonesia)
(geographicSubregion MedellinColombia Colombia)
(names "Medellin" MedellinColombia)
(geographicSubregion MegidoIsrael Israel)
(names "Megido" MegidoIsrael)
(geographicSubregion MeholaIsrael Israel)
(names "Mehola" MeholaIsrael)
(geographicSubregion MekholahIsrael Israel)
(names "Mekholah" MekholahIsrael)
(geographicSubregion MersinTurkey Turkey)
(names "Mersin" MersinTurkey)
(geographicSubregion MetaColombia Colombia)
(names "Meta" MetaColombia)
(geographicSubregion MetullaIsrael Israel)
(names "Metulla" MetullaIsrael)
(geographicSubregion MetzerIsrael Israel)
(names "Metzer" MetzerIsrael)
(geographicSubregion MilanItaly Italy)
(names "Milan" MilanItaly)
(geographicSubregion MindanaoPhilippines Philippines)
(names "Mindanao" MindanaoPhilippines)
(instance MinharotRoadWestBank GeographicArea)
(geographicSubregion MinharotRoadWestBank WestBank)
(names "Minharot Road" MinharotRoadWestBank)
(geographicSubregion MiranShahPakistan Pakistan)
(names "Miran Shah " MiranShahPakistan)
(geographicSubregion MituColombia Colombia)
(names "Mitu" MituColombia)
(geographicSubregion ModiinIllitWestBank WestBank)
(names "Modiin Illit" ModiinIllitWestBank)
(geographicSubregion MombassaKenya Kenya)
(names "Mombassa" MombassaKenya)
(instance MoragJunctionGazaStrip GeographicArea)
(geographicSubregion MoragJunctionGazaStrip GazaStrip)
(names "Morag Junction" MoragJunctionGazaStrip)
(geographicSubregion MoscowRussia Russia)
(names "Moscow" MoscowRussia)
(geographicSubregion MoshavHagorIsrael Israel)
(names "Moshav Hagor" MoshavHagorIsrael)
(geographicSubregion MoshavTomerWestBank WestBank)
(names "Moshav Tomer" MoshavTomerWestBank)
(geographicSubregion MukallahAdenYemen Yemen)
(names "Mukallah-Aden" MukallahAdenYemen)
(geographicSubregion MunchenGladbachGermany Germany)
(names "Munchen-Gladbach" MunchenGladbachGermany)
(names "Munchen" MunchenGladbachGermany)
(names "Munich" MunchenGladbachGermany)
(geographicSubregion MunsterGermany Germany)
(names "Munster" MunsterGermany)
(geographicSubregion MurloughNorthernIreland NorthernIreland)
(names "Murlough" MurloughNorthernIreland)
(geographicSubregion MusMusIsrael Israel)
(names "Mus Mus" MusMusIsrael)
(geographicSubregion MutataColombia Colombia)
(names "Mutata" MutataColombia)
(geographicSubregion MutturSriLanka SriLanka)
(names "Muttur" MutturSriLanka)
(geographicSubregion NaAlinWestBank WestBank)
(names "Na'alin" NaAlinWestBank)
(geographicSubregion NablusWestBank WestBank)
(names "Nablus" NablusWestBank)
(geographicSubregion NahalOzGazaStrip GazaStrip)
(names "Nahal Oz" NahalOzGazaStrip)
(geographicSubregion NaharaimIsrael Israel)
(names "Naharaim" NaharaimIsrael)
(geographicSubregion NahariyaIsrael Israel)
(names "Nahariya" NahariyaIsrael)
(geographicSubregion NairobiKenya Kenya)
(names "Nairobi" NairobiKenya)
(geographicSubregion NajafIraq Iraq)
(names "Najaf" NajafIraq)
(instance NallurAreaSriLanka GeographicArea)
(geographicSubregion NallurAreaSriLanka SriLanka)
(names "Nallur Area" NallurAreaSriLanka)
(geographicSubregion NaquraLebanon Lebanon)
(names "Naqura" NaquraLebanon)
(geographicSubregion NarayangangBangladesh Bangladesh)
(names "Narayangang" NarayangangBangladesh)
(geographicSubregion NetanyaIsrael Israel)
(names "Netanya" NetanyaIsrael)
(geographicSubregion NetzarimGazaStrip GazaStrip)
(names "Netzarim" NetzarimGazaStrip)
(geographicSubregion NetzerHazaniGazaStrip GazaStrip)
(names "Netzer Hazani" NetzerHazaniGazaStrip)
(geographicSubregion NeveDanielWestBank WestBank)
(names "Neve Daniel" NeveDanielWestBank)
(geographicSubregion NeveYaminIsrael Israel)
(names "Neve Yamin" NeveYaminIsrael)
(geographicSubregion NewDelhiIndia India)
(names "New Delhi" NewDelhiIndia)
(names "New York City" NewYorkCityUnitedStates)
(instance NeztarimSettlementGazaStrip GeographicArea)
(geographicSubregion NeztarimSettlementGazaStrip GazaStrip)
(names "Neztarim Settlement" NeztarimSettlementGazaStrip)
(geographicSubregion NiameyNiger Niger)
(names "Niamey" NiameyNiger)
(geographicSubregion NissanitGazaStrip GazaStrip)
(names "Nissanit" NissanitGazaStrip)
(geographicSubregion NitzaneiOzWestBank WestBank)
(names "Nitzanei Oz" NitzaneiOzWestBank)
(geographicSubregion NitzanimIsrael Israel)
(names "Nitzanim" NitzanimIsrael)
(instance NokdimTekoaRdWestBank GeographicArea)
(geographicSubregion NokdimTekoaRdWestBank WestBank)
(names "Nokdim-Tekoa Rd." NokdimTekoaRdWestBank)
(geographicSubregion NorteDeSantanderColombia Colombia)
(names "Norte de Santander" NorteDeSantanderColombia)
(instance NorthernCaucasiusChechnya GeographicArea)
(geographicSubregion NorthernCaucasiusChechnya Chechnya)
(names "Northern Caucasius" NorthernCaucasiusChechnya)
(geographicSubregion NovogroznyRussia Russia)
(names "Novogrozny" NovogroznyRussia)
(geographicSubregion NovyyAtagiRussia Russia)
(names "Novyy Atagi " NovyyAtagiRussia)
(geographicSubregion OberwartAustria Austria)
(names "Nuremburg" NuremburgGermany)
(geographicSubregion NuremburgGermany Germany)
(instance NuremburgGermany City)
(names "Oberwart" OberwartAustria)
(geographicSubregion OfraWestBank WestBank)
(names "Ofra" OfraWestBank)
(instance OilbaseAlgeria GeographicArea)
(geographicSubregion OilbaseAlgeria Algeria)
(names "Oil base" OilbaseAlgeria)
(instance OilfieldsVenezuela GeographicArea)
(geographicSubregion OilfieldsVenezuela Venezuela)
(names "oilfields" OilfieldsVenezuela)
(geographicSubregion OkaraPakistan Pakistan)
(names "Okara" OkaraPakistan)
(geographicSubregion OlayaHerreraColombia Colombia)
(names "Olaya Herrera" OlayaHerreraColombia)
(geographicSubregion OmaghNorthernIreland NorthernIreland)
(names "Omagh" OmaghNorthernIreland)
(geographicSubregion OrYehudaIsrael Israel)
(names "Or Yehuda" OrYehudaIsrael)
(geographicSubregion OranAlgeria Algeria)
(names "Oran" OranAlgeria)
(geographicSubregion OsakaJapan Japan)
(names "Osaka" OsakaJapan)
(geographicSubregion OsloNorway Norway)
(names "Oslo" OsloNorway)
(geographicSubregion OssnabruckGermany Germany)
(names "Ossnabruck" OssnabruckGermany)
(instance OthnielJunctionIsrael GeographicArea)
(geographicSubregion OthnielJunctionIsrael Israel)
(names "Othniel Junction" OthnielJunctionIsrael)
(geographicSubregion OtnielWestBank WestBank)
(names "Otniel" OtnielWestBank)
(geographicSubregion OtzarinWestBank WestBank)
(names "Otzarin" OtzarinWestBank)
(geographicSubregion OzamisPhilippines Philippines)
(names "Ozamis" OzamisPhilippines)
(geographicSubregion PahalgamIndia India)
(names "Pahalgam" PahalgamIndia)
(geographicSubregion PalorinyaUganda Uganda)
(names "Palorinya" PalorinyaUganda)
(geographicSubregion PamplonaSpain Spain)
(names "Pamplona" PamplonaSpain)
(geographicSubregion PanamaCityPanama Panama)
(names "Panama City" PanamaCityPanama)
(geographicSubregion PantrasGreece Greece)
(names "Pantras" PantrasGreece)
(geographicSubregion PapayinColombia Colombia)
(names "Papayin" PapayinColombia)
(geographicSubregion PapuaIndonesia Indonesia)
(names "Papua" PapuaIndonesia)
(geographicSubregion Paris France)
(names "Paris" Paris)
(geographicSubregion PatikulPhilippines Philippines)
(names "Patikul" PatikulPhilippines)
(geographicSubregion PauFrance France)
(names "Pau" PauFrance)
(geographicSubregion PeAtSadehGazaStrip GazaStrip)
(names "Pe'at Sadeh" PeAtSadehGazaStrip)
(geographicSubregion PeshawarPakistan Pakistan)
(names "Peshawar" PeshawarPakistan)
(geographicSubregion PetahTikvahIsrael Israel)
(names "Petah Tikvah" PetahTikvahIsrael)
(geographicSubregion PhnomPenhCambodia Cambodia)
(names "Phnom Penh" PhnomPenhCambodia)
(geographicSubregion PortadownIreland Ireland)
(names "Portadown" PortadownIreland)
(geographicSubregion PragueCzechRepublic CzechRepublic)
(names "Prague" PragueCzechRepublic)
(geographicSubregion PuertoAlviraColombia Colombia)
(names "Puerto Alvira" PuertoAlviraColombia)
(geographicSubregion PuertoLlerasColombia Colombia)
(names "Puerto Lleras" PuertoLlerasColombia)
(geographicSubregion PunjabPakistan Pakistan)
(names "Punjab" PunjabPakistan)
(geographicSubregion QuettaPakistan Pakistan)
(names "Quetta" QuettaPakistan)
(geographicSubregion QuitoEcuador Ecuador)
(names "Quito" QuitoEcuador)
(geographicSubregion RadaAmanYemen Yemen)
(names "Rada-Aman" RadaAmanYemen)
(geographicSubregion RafahGazaStrip GazaStrip)
(names "Rafah" RafahGazaStrip)
(geographicSubregion RamaJunctionWestBank WestBank)
(names "Rama Junction" RamaJunctionWestBank)
(geographicSubregion RamalDeAspusanaPeru Peru)
(names "Ramal de Aspusana" RamalDeAspusanaPeru)
(geographicSubregion RamallahWestBank WestBank)
(names "Ramallah" RamallahWestBank)
(geographicSubregion RamatGanIsrael Israel)
(names "Ramat Gan" RamatGanIsrael)
(geographicSubregion RaminWestBank WestBank)
(names "Ramin" RaminWestBank)
(geographicSubregion RamleIsrael Israel)
(names "Ramle" RamleIsrael)
(geographicSubregion RawalpindiPakistan Pakistan)
(names "Rawalpindi" RawalpindiPakistan)
(geographicSubregion ReusSpain Spain)
(names "Reus" ReusSpain)
(geographicSubregion RigaLatvia Latvia)
(names "Riga" RigaLatvia)
(geographicSubregion RijekaCroatia Croatia)
(names "Rijeka" RijekaCroatia)
(instance RimalDistrictGazaStrip GeographicArea)
(geographicSubregion RimalDistrictGazaStrip GazaStrip)
(names "Rimal district" RimalDistrictGazaStrip)
(geographicSubregion RishonLeZionIsrael Israel)
(names "Rishon Le Zion" RishonLeZionIsrael)
(geographicSubregion RiyadhSaudiArabia SaudiArabia)
(names "Riyadh" RiyadhSaudiArabia)
(geographicSubregion RoermondNetherlands Netherlands)
(names "Roermond" RoermondNetherlands)
(geographicSubregion RomeItaly Italy)
(names "Rome" RomeItaly)
(geographicSubregion RosasSpain Spain)
(names "Rosas" RosasSpain)
(geographicSubregion RostovOnDonRussia Russia)
(names "Rostov-on-Don" RostovOnDonRussia)
(geographicSubregion RuhengeriRwanda Rwanda)
(names "Ruhengeri" RuhengeriRwanda)
(geographicSubregion SaadaYemen Yemen)
(names "Saada" SaadaYemen)
(instance SaadaPakistan GeographicArea)
(geographicSubregion SaadaPakistan Pakistan)
(geographicSubregion SabatenaColombia Colombia)
(names "Sabatena" SabatenaColombia)
(geographicSubregion SacramentoUnitedStates UnitedStates)
(names "Sacramento" SacramentoUnitedStates)
(geographicSubregion SaintAvoldFrance France)
(names "Saint Avold" SaintAvoldFrance)
(geographicSubregion SaintSebastianSpain Spain)
(names "Saint Sebastian" SaintSebastianSpain)
(geographicSubregion SaintJeanDeLuzFrance France)
(names "Saint-Jean-de-Luz" SaintJeanDeLuzFrance)
(geographicSubregion SairanbarIraq Iraq)
(names "Sairanbar" SairanbarIraq)
(geographicSubregion SajaIAGazaStrip GazaStrip)
(names "Saja'i'a " SajaIAGazaStrip)
(geographicSubregion SallentDeGallegoSpain Spain)
(names "Sallent de Gallego" SallentDeGallegoSpain)
(geographicSubregion SamariaWestBank WestBank)
(names "Samaria" SamariaWestBank)
(geographicSubregion SamashkiRussia Russia)
(names "Samashki" SamashkiRussia)
(geographicSubregion SanDiegoColombia Colombia)
(names "San Diego" SanDiegoColombia)
(geographicSubregion SanJoseCostaRica CostaRica)
(names "San Jose" SanJoseCostaRica)
(geographicSubregion SanLuisColombia Colombia)
(names "San Luis" SanLuisColombia)
(geographicSubregion SanMiguelElSalvador ElSalvador)
(names "San Miguel" SanMiguelElSalvador)
(geographicSubregion SanPabloColombia Colombia)
(names "San Pablo" SanPabloColombia)
(geographicSubregion SanSebastianSpain Spain)
(names "San Sebastian" SanSebastianSpain)
(geographicSubregion SanaaYemen Yemen)
(names "Sanaa" SanaaYemen)
(geographicSubregion SangaldanIndia India)
(names "Sangaldan" SangaldanIndia)
(geographicSubregion SantaMartaColombia Colombia)
(names "Santa Marta" SantaMartaColombia)
(geographicSubregion SantaPolaSpain Spain)
(names "Santa Pola" SantaPolaSpain)
(instance SantaRitaMountainsPanama GeographicArea)
(geographicSubregion SantaRitaMountainsPanama Panama)
(names "Santa Rita Mountains" SantaRitaMountainsPanama)
(geographicSubregion SantiagoChile Chile)
(names "Santiago" SantiagoChile)
(geographicSubregion SanurIsrael Israel)
(names "Sanur" SanurIsrael)
(geographicSubregion SarajevoBosniaAndHerzegovina BosniaAndHerzegovina)
(names "Sarajevo" SarajevoBosniaAndHerzegovina)
(geographicSubregion SatkhiraBangladesh Bangladesh)
(names "Satkhira" SatkhiraBangladesh)
(geographicSubregion SegoviaColombia Colombia)
(names "Segovia" SegoviaColombia)
(geographicSubregion SeoulSouthKorea SouthKorea)
(names "Seoul" SeoulSouthKorea)
(geographicSubregion SevilleSpain Spain)
(names "Seville" SevilleSpain)
(geographicSubregion ShadmotMeholaWestBank WestBank)
(names "Shadmot Mehola" ShadmotMeholaWestBank)
(geographicSubregion ShaveiShomronWestBank WestBank)
(names "Shavei Shomron" ShaveiShomronWestBank)
(geographicSubregion SheikhAjlunGazaStrip GazaStrip)
(names "Sheikh Ajlun" SheikhAjlunGazaStrip)
(geographicSubregion ShiloWestBank WestBank)
(names "Shilo" ShiloWestBank)
(geographicSubregion ShimiEcuador Ecuador)
(names "Shimi" ShimiEcuador)
(geographicSubregion ShlomiIsrael Israel)
(names "Shlomi" ShlomiIsrael)
(geographicSubregion SidiHalifahLibya Libya)
(names "Sidi Halifah" SidiHalifahLibya)
(geographicSubregion SidonLebanon Lebanon)
(names "Sidon" SidonLebanon)
(geographicSubregion SiirtTurkey Turkey)
(names "Siirt" SiirtTurkey)
(geographicSubregion SilatADaharWestBank WestBank)
(names "Silat a-Dahar" SilatADaharWestBank)
(instance SipadanIslandMalaysia GeographicArea)
(geographicSubregion SipadanIslandMalaysia Malaysia)
(names "Sipadan Island" SipadanIslandMalaysia)
(geographicSubregion SitrahBahrain Bahrain)
(names "Sitrah" SitrahBahrain)
(geographicSubregion SoporeIndia India)
(names "Sopore" SoporeIndia)
(geographicSubregion SrinagarIndia India)
(names "Srinagar" SrinagarIndia)
(instance SriperumbudurIndia City)
(geographicSubregion SriperumbudurIndia India)
(names "Sriperumbudur" SriperumbudurIndia)
(geographicSubregion StewartstownNorthernIreland NorthernIreland)
(names "Stewartstown" StewartstownNorthernIreland)
(geographicSubregion StockholmSweden Sweden)
(names "Stockholm" StockholmSweden)
(geographicSubregion StrasbourgFrance France)
(names "Strasbourg" StrasbourgFrance)
(instance SukaimaniyahIraq GeographicArea)
(geographicSubregion SukaimaniyahIraq Iraq)
(names "Sukai-maniyah" SukaimaniyahIraq)
(geographicSubregion SulawesiIndonesia Indonesia)
(names "Sulawesi" SulawesiIndonesia)
(geographicSubregion SulaymaniyahIraq Iraq)
(names "Sulaymaniyah" SulaymaniyahIraq)
(geographicSubregion SumayrYemen Yemen)
(names "Sumayr" SumayrYemen)
(geographicSubregion SusiyaWestBank WestBank)
(names "Susiya" SusiyaWestBank)
(geographicSubregion TailaPakistan Pakistan)
(names "Taila" TailaPakistan)
(geographicSubregion TamezGuidaAlgeria Algeria)
(names "Tamez-guida" TamezGuidaAlgeria)
(geographicSubregion TandySriLanka SriLanka)
(names "Tandy" TandySriLanka)
(geographicSubregion TaxilaPakistan Pakistan)
(names "Taxila" TaxilaPakistan)
(geographicSubregion TBilisiGeorgia RepublicOfGeorgia)
(names "T'bilisi" TBilisiGeorgia)
(geographicSubregion TegucigalpaHonduras Honduras)
(names "Tegucigalpa" TegucigalpaHonduras)
(geographicSubregion TeheranIran Iran)
(names "Teheran" TeheranIran)
(geographicSubregion TekoaWestBank WestBank)
(names "Tekoa" TekoaWestBank)
(geographicSubregion TelAvivIsrael Israel)
(names "Tel Aviv" TelAvivIsrael)
(names "Tel-Aviv" TelAvivIsrael)
(instance TelHaShomerJunctionIsrael GeographicArea)
(geographicSubregion TelHaShomerJunctionIsrael Israel)
(names "Tel HaShomer Junction" TelHaShomerJunctionIsrael)
(geographicSubregion TelQateifaGazaStrip GazaStrip)
(names "Tel Qateifa" TelQateifaGazaStrip)
(geographicSubregion TelRumeiydaIsrael Israel)
(names "Tel Rumeiyda" TelRumeiydaIsrael)
(geographicSubregion TelemIsrael Israel)
(names "Telem" TelemIsrael)
(geographicSubregion TenaWestBank WestBank)
(names "Tena" TenaWestBank)
(geographicSubregion TheHagueNetherlands Netherlands)
(names "The Hague" TheHagueNetherlands)
(instance BishkekKyrgyzstan GeographicArea)
(geographicSubregion BishkekKyrgyzstan China)
(names "The Kyrgyz capital Bishkek." BishkekKyrgyzstan)
(geographicSubregion ThekraguriIndia India)
(names "Thekraguri" ThekraguriIndia)
(geographicSubregion TiaretAlgeria Algeria)
(names "Tiaret" TiaretAlgeria)
(geographicSubregion TiratAlgeria Algeria)
(names "Tirat" TiratAlgeria)
(geographicSubregion TokyoJapan Japan)
(names "Tokyo" TokyoJapan)
(geographicSubregion TolosaSpain Spain)
(names "Tolosa" TolosaSpain)
(geographicSubregion TopkakiTurkey Turkey)
(names "Topkaki" TopkakiTurkey)
(geographicSubregion TrabzonTurkey Turkey)
(names "Trabzon" TrabzonTurkey)
(instance TrincomaleeHarborSriLanka GeographicArea)
(geographicSubregion TrincomaleeHarborSriLanka SriLanka)
(names "Trincomalee Harbor" TrincomaleeHarborSriLanka)
(geographicSubregion TripoliLibya Libya)
(names "Tripoli" TripoliLibya)
(geographicSubregion TulkaremWestBank WestBank)
(names "Tulkarem" TulkaremWestBank)
(geographicSubregion TulkarmWestBank WestBank)
(names "Tulkarm" TulkarmWestBank)
(geographicSubregion TunceliTurkey Turkey)
(names "Tunceli" TunceliTurkey)
(geographicSubregion TurbatPakistan Pakistan)
(names "Turbat" TurbatPakistan)
(geographicSubregion UmAlFahmIsrael Israel)
(names "Um al-Fahm" UmAlFahmIsrael)
(geographicSubregion UmmQasrIraq Iraq)
(names "Umm Qasr" UmmQasrIraq)
(geographicSubregion UrenaVenezuela Venezuela)
(names "Urena" UrenaVenezuela)
(geographicSubregion UrraColombia Colombia)
(names "Urra" UrraColombia)
(geographicSubregion UrsMartanRussia Russia)
(names "Urs-Martan" UrsMartanRussia)
(instance UWaIndianReservationColombia GeographicArea)
(geographicSubregion UWaIndianReservationColombia Colombia)
(names "U'wa Indian reservation" UWaIndianReservationColombia)
(geographicSubregion ValenciaSpain Spain)
(names "Valencia" ValenciaSpain)
(geographicSubregion ValleduparColombia Colombia)
(names "Valledupar" ValleduparColombia)
(geographicSubregion VanTurkey Turkey)
(names "Van" VanTurkey)
(geographicSubregion VavuniyaSriLanka SriLanka)
(names "Vavuniya" VavuniyaSriLanka)
(geographicSubregion ViennaAustria Austria)
(names "Vienna" ViennaAustria)
(geographicSubregion VientianeLaos Laos)
(names "Vientiane" VientianeLaos)
(geographicSubregion VillavicencioColombia Colombia)
(names "Villavicencio" VillavicencioColombia)
(geographicSubregion VitoriaSpain Spain)
(names "Vitoria" VitoriaSpain)
(geographicSubregion VitrollesFrance France)
(names "Vitrolles" VitrollesFrance)
(geographicSubregion VladikavkazRussia Russia)
(names "Vladikavkaz" VladikavkazRussia)
(geographicSubregion VladivostokRussia Russia)
(names "Vladivostok" VladivostokRussia)
(geographicSubregion VolgodonskRussia Russia)
(names "Volgodonsk" VolgodonskRussia)
(geographicSubregion WadiAlDabaatYemen Yemen)
(names "Wadi al-Dabaat" WadiAlDabaatYemen)
(geographicSubregion WadiAraIsrael Israel)
(names "Wadi Ara" WadiAraIsrael)
(geographicSubregion WadiKeltWestBank WestBank)
(names "Wadi Kelt" WadiKeltWestBank)
(geographicSubregion WarsawPoland Poland)
(names "Warsaw" WarsawPoland)
(geographicSubregion WashingtonDCUnitedStates UnitedStates)
(names "Washington DC." WashingtonDCUnitedStates)
(geographicSubregion WattyanBahrain Bahrain)
(names "Wattyan" WattyanBahrain)
(geographicSubregion WestBeirutLebanon Lebanon)
(names "West Beirut" WestBeirutLebanon)

(geographicSubregion YaAbadWestBank WestBank)
(names "Ya'abad" YaAbadWestBank)
(geographicSubregion YagurJunctionIsrael Israel)
(names "Yagur Junction" YagurJunctionIsrael)
(geographicSubregion YehudIsrael Israel)
(names "Yehud" YehudIsrael)
(geographicSubregion YerevanArmenia Armenia)
(names "Yerevan" YerevanArmenia)
(geographicSubregion YitzharWestBank WestBank)
(names "Yitzhar" YitzharWestBank)
(geographicSubregion YokotaJapan Japan)
(names "Yokota" YokotaJapan)
(geographicSubregion YopalColombia Colombia)
(names "Yopal" YopalColombia)
(geographicSubregion YuksekovaTurkey Turkey)
(names "Yuksekova" YuksekovaTurkey)
(geographicSubregion ZaitaIsrael Israel)
(names "Zaita" ZaitaIsrael)
(geographicSubregion ZamarYemen Yemen)
(names "Zamar" ZamarYemen)
(geographicSubregion ZamboangaPhilippines Philippines)
(names "Zamboanga" ZamboangaPhilippines)
(geographicSubregion ZaragozaSpain Spain)
(names "Zaragoza" ZaragozaSpain)
(geographicSubregion ZarauzSpain Spain)
(names "Zarauz" ZarauzSpain)
(instance ZeifIntersectionWestBank GeographicArea)
(geographicSubregion ZeifIntersectionWestBank WestBank)
(names "Zeif intersection" ZeifIntersectionWestBank)
(geographicSubregion ZekharyaIsrael Israel)
(names "Zekharya" ZekharyaIsrael)
(geographicSubregion ZuliaColombia Colombia)
(names "Zulia" ZuliaColombia)
(geographicSubregion ZumaiaSpain Spain)
(names "Zumaia" ZumaiaSpain)
(geographicSubregion ZumarragaSpain Spain)
(names "Zumarraga" ZumarragaSpain)


(claimedTerritory GazaStrip Israel)
(claimedTerritory GazaStrip PalestinianLiberationOrganization)
(claimedTerritory ParacelIslands China)
(claimedTerritory ParacelIslands Taiwan)
(claimedTerritory ParacelIslands Vietnam)
(claimedTerritory SpratlyIslands China)
(claimedTerritory SpratlyIslands Taiwan)
(claimedTerritory SpratlyIslands Vietnam)
(claimedTerritory WestBank Israel)
(claimedTerritory WestBank PalestinianLiberationOrganization)
(claimedTerritory WesternSahara Morocco)
(dependentGeopoliticalArea AmericanSamoa UnitedStates)
(documentation AmericanSamoa EnglishLanguage "A dependency of the &%UnitedStates")
(dependentGeopoliticalArea Anguilla UnitedKingdom)
(documentation Anguilla EnglishLanguage "A dependency of the &%UnitedKingdom")
(dependentGeopoliticalArea Aruba Netherlands)
(documentation Aruba EnglishLanguage "A dependency of the &%Netherlands")
(dependentGeopoliticalArea AshmoreAndCartierIslands Australia)
(documentation AshmoreAndCartierIslands EnglishLanguage "A dependency of &%Australia")
(dependentGeopoliticalArea BakerIsland UnitedStates)
(documentation BakerIsland EnglishLanguage "A dependency of the &%UnitedStates")
(dependentGeopoliticalArea BassasDaIndia France)
(documentation BassasDaIndia EnglishLanguage "A dependency of &%France")
(dependentGeopoliticalArea Bermuda UnitedKingdom)
(documentation Bermuda EnglishLanguage "A dependency of the &%UnitedKingdom")
(dependentGeopoliticalArea BouvetIsland Norway)
(documentation BouvetIsland EnglishLanguage "A dependency of &%Norway")
(dependentGeopoliticalArea BritishIndianOceanTerritory UnitedKingdom)
(documentation BritishIndianOceanTerritory EnglishLanguage "A dependency of the &%UnitedKingdom")
(dependentGeopoliticalArea BritishVirginIslands UnitedKingdom)
(documentation BritishVirginIslands EnglishLanguage "A dependency of the &%UnitedKingdom")

(dependentGeopoliticalArea CaymanIslands UnitedKingdom)
(documentation CaymanIslands EnglishLanguage "A dependency of the &%UnitedKingdom")

(dependentGeopoliticalArea ChannelIslands UnitedKingdom)
(documentation ChannelIslands EnglishLanguage "A dependency of the &%UnitedKingdom")
(instance ChannelIslands DependencyOrSpecialSovereigntyArea)

(dependentGeopoliticalArea ChristmasIsland Australia)
(documentation ChristmasIsland EnglishLanguage "A dependency of &%Australia")
(dependentGeopoliticalArea ClippertonIsland France)
(documentation ClippertonIsland EnglishLanguage "A dependency of &%France")
(dependentGeopoliticalArea CocosKeelingIslands Australia)
(documentation CocosKeelingIslands EnglishLanguage "A dependency of &%Australia")
(dependentGeopoliticalArea CookIslands NewZealand)
(documentation CookIslands EnglishLanguage "A dependency of &%NewZealand")
(dependentGeopoliticalArea CoralSeaIslands Australia)
(documentation CoralSeaIslands EnglishLanguage "A dependency of &%Australia")
(dependentGeopoliticalArea EuropaIsland France)
(documentation EuropaIsland EnglishLanguage "A dependency of &%France")
(dependentGeopoliticalArea FalklandIslands UnitedKingdom)
(documentation FalklandIslands EnglishLanguage "A dependency of the &%UnitedKingdom")
(dependentGeopoliticalArea FaroeIslands Denmark)
(documentation FaroeIslands EnglishLanguage "A dependency of &%Denmark")
(dependentGeopoliticalArea FrenchGuiana France)
(documentation FrenchGuiana EnglishLanguage "A dependency of &%France")
(dependentGeopoliticalArea FrenchPolynesia France)
(documentation FrenchPolynesia EnglishLanguage "A dependency of &%France")
(dependentGeopoliticalArea FrenchSouthernAndAntarcticLands France)
(documentation FrenchSouthernAndAntarcticLands EnglishLanguage "A dependency of &%France")
(dependentGeopoliticalArea Gibraltar UnitedKingdom)
(documentation Gibraltar EnglishLanguage "A dependency of the &%UnitedKingdom")
(dependentGeopoliticalArea GloriosoIslands France)
(documentation GloriosoIslands EnglishLanguage "A dependency of &%France")
(dependentGeopoliticalArea Greenland Denmark)
(documentation Greenland EnglishLanguage "A dependency of &%Denmark")
(dependentGeopoliticalArea Guadeloupe France)
(documentation Guadeloupe EnglishLanguage "A dependency of &%France")
(dependentGeopoliticalArea Guam UnitedStates)
(dependentGeopoliticalArea Guernsey UnitedKingdom)
(documentation Guernsey EnglishLanguage "A dependency of the &%UnitedKingdom")
(dependentGeopoliticalArea HeardIslandAndMcDonaldIslands Australia)
(documentation HeardIslandAndMcDonaldIslands EnglishLanguage "A dependency of &%Australia")
(dependentGeopoliticalArea HongKong China) 
(documentation HongKong EnglishLanguage "A dependency of &%China")
(dependentGeopoliticalArea HowlandIsland UnitedStates)
(documentation HowlandIsland EnglishLanguage "A dependency of the &%UnitedStates")
(dependentGeopoliticalArea IsleOfMan UnitedKingdom)
(documentation IsleOfMan EnglishLanguage "A dependency of the &%UnitedKingdom")
(dependentGeopoliticalArea JanMayenIsland Norway)
(documentation JanMayenIsland EnglishLanguage "A dependency of &%Norway")
(dependentGeopoliticalArea JarvisIsland UnitedStates)
(documentation JarvisIsland EnglishLanguage "A dependency of the &%UnitedStates")
(dependentGeopoliticalArea Jersey UnitedKingdom)
(documentation Jersey EnglishLanguage "A dependency of the &%UnitedKingdom")
(dependentGeopoliticalArea JohnstonAtoll UnitedStates)
(documentation JohnstonAtoll EnglishLanguage "A dependency of the &%UnitedStates")
(dependentGeopoliticalArea JuanDeNovaIsland France)
(documentation JuanDeNovaIsland EnglishLanguage "A dependency of &%France")
(dependentGeopoliticalArea KingmanReef UnitedStates)
(documentation KingmanReef EnglishLanguage "A dependency of the &%UnitedStates")
(dependentGeopoliticalArea Macau China) 
(documentation Macau EnglishLanguage "A dependency of &%China")
(dependentGeopoliticalArea Martinique France)
(documentation Martinique EnglishLanguage "A dependency of &%France")
(dependentGeopoliticalArea Mayotte France)
(documentation Mayotte EnglishLanguage "A dependency of &%France")
(dependentGeopoliticalArea MidwayIslands UnitedStates)
(documentation MidwayIslands EnglishLanguage "A dependency of the &%UnitedStates")
(dependentGeopoliticalArea Montserrat UnitedKingdom)
(documentation Montserrat EnglishLanguage "A dependency of the &%UnitedKingdom")
(dependentGeopoliticalArea NavassaIsland UnitedStates)
(documentation NavassaIsland EnglishLanguage "A dependency of the &%UnitedStates")
(dependentGeopoliticalArea NetherlandsAntilles Netherlands)
(documentation NetherlandsAntilles EnglishLanguage "A dependency of the &%Netherlands")
(dependentGeopoliticalArea NewCaledonia France)
(documentation NewCaledonia EnglishLanguage "A dependency of &%France")
(dependentGeopoliticalArea Niue NewZealand)
(documentation Niue EnglishLanguage "A dependency of &%NewZealand")
(dependentGeopoliticalArea NorfolkIsland Australia)
(documentation NorfolkIsland EnglishLanguage "A dependency of &%Australia")
(dependentGeopoliticalArea NorthernMarianaIslands UnitedStates)
(documentation NorthernMarianaIslands EnglishLanguage "A dependency of the &%UnitedStates")
(dependentGeopoliticalArea PalmyraAtoll UnitedStates)
(documentation PalmyraAtoll EnglishLanguage "A dependency of the &%UnitedStates")
(dependentGeopoliticalArea PitcairnIslands UnitedKingdom)
(documentation PitcairnIslands EnglishLanguage "A dependency of the &%UnitedKingdom")
(dependentGeopoliticalArea PuertoRico UnitedStates)
(dependentGeopoliticalArea Reunion France)
(documentation Reunion EnglishLanguage "A dependency of &%France")
(dependentGeopoliticalArea SaintHelena UnitedKingdom)
(documentation SaintHelena EnglishLanguage "A dependency of the &%UnitedKingdom")
(dependentGeopoliticalArea SaintPierreAndMiquelon France)
(documentation SaintPierreAndMiquelon EnglishLanguage "A dependency of &%France")
(dependentGeopoliticalArea SouthGeorgiaAndTheSouthSandwichIslands UnitedKingdom)
(documentation SouthGeorgiaAndTheSouthSandwichIslands EnglishLanguage "A dependency of the &%UnitedKingdom")
(dependentGeopoliticalArea Svalbard Norway)
(documentation Svalbard EnglishLanguage "A dependency of &%Norway")
(dependentGeopoliticalArea Tokelau NewZealand)
(documentation Tokelau EnglishLanguage "A dependency of &%NewZealand")
(dependentGeopoliticalArea TromelinIsland France)
(documentation TromelinIsland EnglishLanguage "A dependency of &%France")
(dependentGeopoliticalArea TurksAndCaicosIslands UnitedKingdom)
(documentation TurksAndCaicosIslands EnglishLanguage "A dependency of the &%UnitedKingdom")
(dependentGeopoliticalArea USVirginIslands UnitedStates)
(documentation USVirginIslands EnglishLanguage "A dependency of the &%UnitedStates")
(instance USVirginIslands DependencyOrSpecialSovereigntyArea)
(dependentGeopoliticalArea WakeIsland UnitedStates)
(documentation WakeIsland EnglishLanguage "A dependency of the &%UnitedStates")
(dependentGeopoliticalArea WallisAndFutuna France)
(documentation WallisAndFutuna EnglishLanguage "A dependency of &%France")

(instance AmericanSamoa DependencyOrSpecialSovereigntyArea)
(instance Anguilla DependencyOrSpecialSovereigntyArea)
(instance Aruba DependencyOrSpecialSovereigntyArea)
(instance AshmoreAndCartierIslands DependencyOrSpecialSovereigntyArea)
(instance BakerIsland DependencyOrSpecialSovereigntyArea)
(instance BassasDaIndia DependencyOrSpecialSovereigntyArea)
(instance Bermuda DependencyOrSpecialSovereigntyArea)
(instance BouvetIsland DependencyOrSpecialSovereigntyArea)
(instance BritishIndianOceanTerritory DependencyOrSpecialSovereigntyArea)
(instance BritishVirginIslands DependencyOrSpecialSovereigntyArea)
(instance CaymanIslands DependencyOrSpecialSovereigntyArea)
(instance ChristmasIsland DependencyOrSpecialSovereigntyArea)
(instance ClippertonIsland DependencyOrSpecialSovereigntyArea)
(instance CocosKeelingIslands DependencyOrSpecialSovereigntyArea)
(instance CookIslands DependencyOrSpecialSovereigntyArea)
(instance CoralSeaIslands DependencyOrSpecialSovereigntyArea)
(instance EuropaIsland DependencyOrSpecialSovereigntyArea)
(instance FalklandIslands DependencyOrSpecialSovereigntyArea)
(instance FaroeIslands DependencyOrSpecialSovereigntyArea)
(instance FrenchGuiana DependencyOrSpecialSovereigntyArea)
(instance FrenchPolynesia DependencyOrSpecialSovereigntyArea)
(instance FrenchSouthernAndAntarcticLands DependencyOrSpecialSovereigntyArea)
(instance Gibraltar DependencyOrSpecialSovereigntyArea)
(instance GloriosoIslands DependencyOrSpecialSovereigntyArea)
(instance Greenland DependencyOrSpecialSovereigntyArea)
(instance Guadeloupe DependencyOrSpecialSovereigntyArea)
(instance Guam DependencyOrSpecialSovereigntyArea)
(instance Guernsey DependencyOrSpecialSovereigntyArea)
(instance HeardIslandAndMcDonaldIslands DependencyOrSpecialSovereigntyArea)
(instance HongKong DependencyOrSpecialSovereigntyArea)
(instance HowlandIsland DependencyOrSpecialSovereigntyArea)
(instance IsleOfMan DependencyOrSpecialSovereigntyArea)
(instance JanMayenIsland DependencyOrSpecialSovereigntyArea)
(instance JarvisIsland DependencyOrSpecialSovereigntyArea)
(instance Jersey DependencyOrSpecialSovereigntyArea)
(instance JohnstonAtoll DependencyOrSpecialSovereigntyArea)
(instance JuanDeNovaIsland DependencyOrSpecialSovereigntyArea)
(instance KingmanReef DependencyOrSpecialSovereigntyArea)
(instance Macau DependencyOrSpecialSovereigntyArea)
(instance Martinique DependencyOrSpecialSovereigntyArea)
(instance Mayotte DependencyOrSpecialSovereigntyArea)
(instance MidwayIslands DependencyOrSpecialSovereigntyArea)
(instance Montserrat DependencyOrSpecialSovereigntyArea)
(instance NavassaIsland DependencyOrSpecialSovereigntyArea)
(instance NetherlandsAntilles DependencyOrSpecialSovereigntyArea)
(instance NewCaledonia DependencyOrSpecialSovereigntyArea)
(instance Niue DependencyOrSpecialSovereigntyArea)
(instance NorfolkIsland DependencyOrSpecialSovereigntyArea)
(instance NorthernMarianaIslands DependencyOrSpecialSovereigntyArea)
(instance PalestinianLiberationOrganization PoliticalOrganization)
(instance PalmyraAtoll DependencyOrSpecialSovereigntyArea)
(instance PitcairnIslands DependencyOrSpecialSovereigntyArea)
(instance PuertoRico DependencyOrSpecialSovereigntyArea)
(instance Reunion DependencyOrSpecialSovereigntyArea)
(instance SaintHelena DependencyOrSpecialSovereigntyArea)
(instance SaintPierreAndMiquelon DependencyOrSpecialSovereigntyArea)
(instance SouthGeorgiaAndTheSouthSandwichIslands DependencyOrSpecialSovereigntyArea)
(instance Svalbard DependencyOrSpecialSovereigntyArea)
(instance Tokelau DependencyOrSpecialSovereigntyArea)
(instance TromelinIsland DependencyOrSpecialSovereigntyArea)
(instance TurksAndCaicosIslands DependencyOrSpecialSovereigntyArea)
(instance VirginIslands DependencyOrSpecialSovereigntyArea)
(instance WakeIsland DependencyOrSpecialSovereigntyArea)
(instance WallisAndFutuna DependencyOrSpecialSovereigntyArea)

(claimedTerritory Antarctica Argentina)
(claimedTerritory Antarctica Australia)
(claimedTerritory Antarctica Chile)
(claimedTerritory Antarctica France)
(claimedTerritory Antarctica NewZealand)
(claimedTerritory Antarctica Norway)
(claimedTerritory Antarctica UnitedKingdom)

(names "Burundi" Burundi)
(names "Central African Republic" CentralAfricanRepublic)
(names "Chad" Chad)
(names "Democratic Republic of the Congo" DemocraticRepublicOfTheCongo)
(names "Rwanda" Rwanda)

(names "Djibouti" Djibouti)
(names "Eritrea" Eritrea)
(names "Ethiopia" Ethiopia)
(names "Kenya" Kenya)
(names "Seychelles" Seychelles)
(names "Somalia" Somalia)
(names "Tanzania" Tanzania)
(names "Uganda" Uganda)

(names "Algeria" Algeria)
(names "Egypt" Egypt)
(names "Libya" Libya)
(names "Mauritania" Mauritania)
(names "Morocco" Morocco)
(names "Sudan" Sudan)
(names "Tunisia" Tunisia)
(names "Western Sahara" WesternSahara)

(names "Angola" Angola)
(names "Bassas da India" BassasDaIndia)
(names "Botswana" Botswana)
(names "Bouvet Island" BouvetIsland)
(names "Comoros" Comoros)
(names "Europa Island" EuropaIsland)
(names "Glorioso Islands" GloriosoIslands)
(names "Heard Island and McDonald Islands" HeardIslandAndMcDonaldIslands)
(names "Juan de Nova Island" JuanDeNovaIsland)
(names "Lesotho" Lesotho)
(names "Basutoland" Lesotho)
(names "Madagascar" Madagascar)
(names "Malawi" Malawi)
(names "Mauritius" Mauritius)
(names "Mayotte" Mayotte)
(names "Mozambique" Mozambique)
(names "Namibia" Namibia)
(names "Reunion" Reunion)
(names "South Africa" SouthAfrica)
(names "Swaziland" Swaziland)
(names "Tromelin Island" TromelinIsland)
(names "Zambia" Zambia)
(names "Zimbabwe" Zimbabwe)

(names "Benin" Benin)
(names "Burkina Faso" BurkinaFaso)
(names "Cameroon" Cameroon)
(names "Cape Verde" CapeVerde)
(names "Cote d'Ivoire" CoteDIvoire)
(names "Equatorial Guinea" EquatorialGuinea)
(names "Gabon" Gabon)
(names "Gambia" Gambia)
(names "Ghana" Ghana)
(names "Guinea" Guinea)
(names "Guinea Bissau" GuineaBissau)
(names "Liberia" Liberia)
(names "Mali" Mali)
(names "Niger" Niger)
(names "Nigeria" Nigeria)
(names "Sao Tome and Principe" SaoTomeAndPrincipe)
(names "Senegal" Senegal)
(names "Sierra Leone" SierraLeone)
(names "Togo" Togo)

(names "Saint Helena" SaintHelena)

(names "Bahrain" Bahrain)
(names "Cyprus" Cyprus)
(names "Gaza Strip" GazaStrip)
(names "Iran" Iran)
(names "Iraq" Iraq)
(names "Israel" Israel)
(names "Jordan" Jordan)
(names "Kuwait" Kuwait)
(names "Lebanon" Lebanon)
(names "Oman" Oman)
(names "Qatar" Qatar)
(names "Saudi Arabia" SaudiArabia)
(names "Syria" Syria)
(names "United Arab Emirates" UnitedArabEmirates)
(names "West Bank" WestBank)
(names "Yemen" Yemen)

(names "Austria" Austria)
(names "Czech Republic" CzechRepublic)
(names "Germany" Germany)
(names "Hungary" Hungary)
(names "Liechtenstein" Liechtenstein)
(names "Poland" Poland)
(names "Slovakia" Slovakia)
(names "Slovenia" Slovenia)
(names "Switzerland" Switzerland)

(names "Belarus" Belarus)
(names "Estonia" Estonia)
(names "Latvia" Latvia)
(names "Lithuania" Lithuania)
(names "Moldova" Moldova)
(names "Ukraine" Ukraine)

(names "Denmark" Denmark)
(names "Faroe Islands" FaroeIslands)
(names "Finland" Finland)
(names "Iceland" Iceland)
(names "Jan Mayen Island" JanMayenIsland)
(names "Norway" Norway)
(names "Svalbard" Svalbard)
(names "Sweden" Sweden)

(names "Greece" Greece)
(names "Holy See" HolySee)
(names "Italy" Italy)
(names "Malta" Malta)
(names "San Marino" SanMarino)

(names "Belgium" Belgium)
(names "France" France)
(names "Guernsey" Guernsey)
(names "Ireland" Ireland)
(names "Jersey" Jersey)
(names "Luxembourg" Luxembourg)
(names "Isle of Man" IsleOfMan)
(names "Monaco" Monaco)
(names "Netherlands" Netherlands)
(names "United Kingdom of Great Britain and Northern Ireland" UnitedKingdom)
(names "United Kingdom" UnitedKingdom)
(names "Great Britain" UnitedKingdom)
(abbreviation "UK" UnitedKingdom)

(names "Albania" Albania)
(names "Bosnia and Herzegovina" BosniaAndHerzegovina)
(names "Bulgaria" Bulgaria)
(names "Croatia" Croatia)
(names "Macedonia" Macedonia)
(names "Romania" Romania)
(names "Turkey" Turkey)
(names "Serbia and Montenegro" SerbiaAndMontenegro)

(names "Andorra" Andorra)
(names "Gibraltar" Gibraltar)
(names "Portugal" Portugal)
(names "Spain" Spain)

(names "Bermuda" Bermuda)
(names "United States" UnitedStates)

(names "Canada" Canada)
(names "Greenland" Greenland)
(names "Saint Pierre and Miquelon" SaintPierreAndMiquelon)

(names "Anguilla" Anguilla)
(names "Antigua and Barbuda" AntiguaAndBarbuda)
(names "Aruba" Aruba)
(names "Bahamas" TheBahamas)
(names "Barbados" Barbados)
(names "British Virgin Islands" BritishVirginIslands)
(abbreviation "BVI" BritishVirginIslands)
(names "Cayman Islands" CaymanIslands)
(names "Cuba" Cuba)
(names "Dominica" Dominica)
(names "Dominican Republic" DominicanRepublic)
(names "Grenada" Grenada)
(names "Guadeloupe" Guadeloupe)
(names "Haiti" Haiti)
(names "Jamaica" Jamaica)
(names "Martinique" Martinique)
(names "Montserrat" Montserrat)
(names "Navassa Island" NavassaIsland)
(names "Netherlands Antilles" NetherlandsAntilles)
(names "Puerto Rico" PuertoRico)
(names "Saint Kitts and Nevis" SaintKittsAndNevis)
(names "Saint Lucia" SaintLucia)
(names "Saint Vincent and the Grenadines" SaintVincentAndTheGrenadines)
(names "Trinidad and Tobago" TrinidadAndTobago)
(names "Turks and Caicos Islands" TurksAndCaicosIslands)
(names "Virgin Islands" VirginIslands)

(names "Belize" Belize)
(names "Clipperton Island" ClippertonIsland)
(names "Costa Rica" CostaRica)
(names "El Salvador" ElSalvador)
(names "Guatemala" Guatemala)
(names "Honduras" Honduras)
(names "Mexico" Mexico)
(names "Nicaragua" Nicaragua)
(names "Panama" Panama)

(names "Bolivia" Bolivia)
(names "Paraguay" Paraguay)

(names "Brazil" Brazil)

(names "Colombia" Colombia)
(names "French Guiana" FrenchGuiana)
(names "Guyana" Guyana)
(names "Suriname" Suriname)
(names "Venezuela" Venezuela)

(names "Argentina" Argentina)
(names "Chile" Chile)
(names "Falkland Islands" FalklandIslands)
(names "South Georgia and the South Sandwich Islands" SouthGeorgiaAndTheSouthSandwichIslands)
(names "Uruguay" Uruguay)

(names "Ecuador" Ecuador)
(names "Peru" Peru)

(names "Kazakhstan" Kazakhstan)
(names "Kyrgyzstan" Kyrgyzstan)
(names "Tajikistan" Tajikistan)
(names "Turkmenistan" Turkmenistan)
(names "Uzbekistan" Uzbekistan)

(names "China" China)
(names "Hong Kong" HongKong)
(names "Japan" Japan)
(names "NorthKorea" NorthKorea)
(names "SouthKorea" SouthKorea)
(names "Macau" Macau)
(names "Taiwan" Taiwan)
(names "Republic of China" Taiwan)
(abbreviation "ROC" Taiwan)
(names "Mongolia" Mongolia)
(names "Russia" Russia)

(names "Afghanistan" Afghanistan)
(names "Bangladesh" Bangladesh)
(names "Bhutan" Bhutan)
(names "British Indian Ocean Territory" BritishIndianOceanTerritory)
(names "India" India)
(names "Maldives" Maldives)
(names "Nepal" Nepal)
(names "Pakistan" Pakistan)
(names "Sri Lanka" SriLanka)

(names "French Southern and Antarctic Lands" FrenchSouthernAndAntarcticLands)

(names "Ashmore and Cartier Islands" AshmoreAndCartierIslands)
(names "Brunei" Brunei)
(names "Cambodia" Cambodia)
(names "Christmas Island" ChristmasIsland)
(names "Cocos Keeling Islands" CocosKeelingIslands)
(names "East Timor" EastTimor)
(names "Indonesia" Indonesia)
(names "Laos" Laos)
(names "Malaysia" Malaysia)
(names "Myanmar" Myanmar)
(names "Papua New Guinea" PapuaNewGuinea)
(names "Paracel Islands" ParacelIslands)
(names "Philippines" Philippines)
(names "Singapore" Singapore)
(names "Spratly Islands" SpratlyIslands)
(names "Thailand" Thailand)
(names "Vietnam" Vietnam)

(names "Armenia" Armenia)
(names "Azerbaijan" Azerbaijan)
(names "Republic Of Georgia" RepublicOfGeorgia)

(names "American Samoa" AmericanSamoa)
(names "Australia" Australia)
(names "Baker Island" BakerIsland)
(names "Cook Islands" CookIslands)
(names "Coral Sea Islands" CoralSeaIslands)
(names "Fiji" Fiji)
(names "French Polynesia" FrenchPolynesia)
(names "Guam" Guam)
(names "Howland Island" HowlandIsland)
(names "Jarvis Island" JarvisIsland)
(names "Johnston Atoll" JohnstonAtoll)
(names "Kingman Reef" KingmanReef)
(names "Kiribati" Kiribati)
(formerName "Gilbert Islands" Kiribati)
(names "Marshall Islands" MarshallIslands)
(names "Micronesia" Micronesia)
(conventionalLongName "Federated States of Micronesia" Micronesia)
(names "Midway Islands" MidwayIslands)
(names "Nauru" Nauru)
(names "New Caledonia" NewCaledonia)
(names "New Zealand" NewZealand)
(names "Niue" Niue)
(names "Norfolk Island" NorfolkIsland)
(names "Northern Mariana Islands" NorthernMarianaIslands)
(names "Palau" Palau)
(names "Palmyra Atoll" PalmyraAtoll)
(names "Pitcairn Islands" PitcairnIslands)
(names "Samoa" Samoa)
(names "Solomon Islands" SolomonIslands)
(names "Tokelau" Tokelau)
(names "Tonga" Tonga)
(names "Tuvalu" Tuvalu)
(formerName "Ellice Islands" Tuvalu)
(names "Vanuatu" Vanuatu)
(formerName "New Hebrides" Vanuatu)
(names "Wake Island" WakeIsland)
(names "Wallis and Futuna" WallisAndFutuna)

;; WFB Main Entries declared as Nation or GeopoliticalArea:

(instance GazaStrip GeopoliticalArea)
(instance ParacelIslands GeopoliticalArea)
(instance SpratlyIslands GeopoliticalArea)
(instance WestBank GeopoliticalArea)
(instance WesternSahara GeopoliticalArea)

(instance Antarctica GeopoliticalArea)
(instance RedRiver River)
(part RedRiver MississippiRiver)
(part RedRiver UnitedStates)
(documentation RedRiver EnglishLanguage "A tributary of the Mississippi River.")

(instance Guam Island)
(documentation Guam EnglishLanguage "An &%Island in the &%PacificOcean that is a 
protectorate of the &%UnitedStates.")

(instance Shanghai City)
(geopoliticalSubdivision Shanghai China)
(termFormat EnglishLanguage Shanghai "Shanghai")

(instance Beijing City)
(geopoliticalSubdivision Beijing China)
(termFormat EnglishLanguage Beijing "Beijing")

(instance Chongqing City)
(geopoliticalSubdivision Chongqing China)
(termFormat EnglishLanguage Chongqing "Chongqing")

(instance Tianjin City)
(geopoliticalSubdivision Tianjin China)
(termFormat EnglishLanguage Tianjin "Tianjin")

(instance Guangzhou City)
(geopoliticalSubdivision Guangzhou China)
(termFormat EnglishLanguage Guangzhou "Guangzhou")

(instance Shenzhen City)
(geopoliticalSubdivision Shenzhen China)
(termFormat EnglishLanguage Shenzhen "Shenzhen")

(instance Chengdu City)
(geopoliticalSubdivision Chengdu China)
(termFormat EnglishLanguage Chengdu "Chengdu")

(instance Nanjing City)
(geopoliticalSubdivision Nanjing China)
(termFormat EnglishLanguage Nanjing "Nanjing")

(instance Wuhan City)
(geopoliticalSubdivision Wuhan China)
(termFormat EnglishLanguage Wuhan "Wuhan")

(instance Xian City)
(geopoliticalSubdivision Xian China)
(termFormat EnglishLanguage Xian "Xi'an")