gf-3.1.6: examples/SUMO/TPTP/CountriesAndRegionsAx.p
fof(axCountriesAndRegions0, axiom,
( ! [X] :
(hasType(type_AmericanCity, X) => hasType(type_City, X)))).
fof(axCountriesAndRegions1, axiom,
( ! [X] :
(hasType(type_AmericanState, X) => hasType(type_StateOrProvince, X)))).
fof(axCountriesAndRegions2, axiom,
( ! [X] :
(hasType(type_EuropeanCity, X) => hasType(type_City, X)))).
fof(axCountriesAndRegions3, axiom,
(hasType(type_City, inst_AdanaTurkey))).
fof(axCountriesAndRegions4, axiom,
(hasType(type_City, inst_AddisAbabaEthiopia))).
fof(axCountriesAndRegions5, axiom,
(hasType(type_City, inst_AdenYemen))).
fof(axCountriesAndRegions6, axiom,
(hasType(type_City, inst_AdoraWestBank))).
fof(axCountriesAndRegions7, axiom,
(hasType(type_City, inst_AfulaIsrael))).
fof(axCountriesAndRegions8, axiom,
(hasType(type_City, inst_AgriTurkey))).
fof(axCountriesAndRegions9, axiom,
(hasType(type_City, inst_AinDeflaAlgeria))).
fof(axCountriesAndRegions10, axiom,
(hasType(type_City, inst_AinElHajarAlgeria))).
fof(axCountriesAndRegions11, axiom,
(hasType(type_City, inst_AjaccioFrance))).
fof(axCountriesAndRegions12, axiom,
(hasType(type_City, inst_AlBalamandLebanon))).
fof(axCountriesAndRegions13, axiom,
(hasType(type_AmericanState, inst_Alabama))).
fof(axCountriesAndRegions14, axiom,
(hasType(type_AmericanState, inst_Alaska))).
fof(axCountriesAndRegions15, axiom,
(hasType(type_City, inst_AleiSinaiGazaStrip))).
fof(axCountriesAndRegions16, axiom,
(hasType(type_City, inst_AleiZahavWestBank))).
fof(axCountriesAndRegions17, axiom,
(hasType(type_City, inst_AleyLebanon))).
fof(axCountriesAndRegions18, axiom,
(hasType(type_City, inst_AlgiersAlgeria))).
fof(axCountriesAndRegions19, axiom,
(hasType(type_City, inst_AlkhanYurtRussia))).
fof(axCountriesAndRegions20, axiom,
(hasType(type_City, inst_AlonMorehWestBank))).
fof(axCountriesAndRegions21, axiom,
(hasType(type_City, inst_AmbonIndonesia))).
fof(axCountriesAndRegions22, axiom,
(hasType(type_City, inst_AmmanJordan))).
fof(axCountriesAndRegions23, axiom,
(hasType(type_City, inst_AnNuwaydiratBahrain))).
fof(axCountriesAndRegions24, axiom,
(hasType(type_City, inst_AndeanSpain))).
fof(axCountriesAndRegions25, axiom,
(hasType(type_City, inst_AngkorWatCambodia))).
fof(axCountriesAndRegions26, axiom,
(hasType(type_City, inst_AnkaraTurkey))).
fof(axCountriesAndRegions27, axiom,
(hasType(type_City, inst_AntalyaTurkey))).
fof(axCountriesAndRegions28, axiom,
(hasType(type_GeopoliticalArea, inst_Antarctica))).
fof(axCountriesAndRegions29, axiom,
(hasType(type_City, inst_AntioquiaColombia))).
fof(axCountriesAndRegions30, axiom,
(hasType(type_City, inst_AntwerpBelgium))).
fof(axCountriesAndRegions31, axiom,
(hasType(type_City, inst_ApumiracPeru))).
fof(axCountriesAndRegions32, axiom,
(hasType(type_City, inst_ApureVenezuela))).
fof(axCountriesAndRegions33, axiom,
(hasType(type_City, inst_AraucaColombia))).
fof(axCountriesAndRegions34, axiom,
(hasType(type_City, inst_ArgunRussia))).
fof(axCountriesAndRegions35, axiom,
(hasType(type_City, inst_ArielWestBank))).
fof(axCountriesAndRegions36, axiom,
(hasType(type_AmericanState, inst_Arizona))).
fof(axCountriesAndRegions37, axiom,
(hasType(type_AmericanState, inst_Arkansas))).
fof(axCountriesAndRegions38, axiom,
(hasType(type_City, inst_ArmaghNorthernIreland))).
fof(axCountriesAndRegions39, axiom,
(hasType(type_City, inst_ArzewAlgeria))).
fof(axCountriesAndRegions40, axiom,
(hasType(type_City, inst_AshdodIsrael))).
fof(axCountriesAndRegions41, axiom,
(hasType(type_City, inst_AskelonIsrael))).
fof(axCountriesAndRegions42, axiom,
(hasType(type_City, inst_AsmaraEritrea))).
fof(axCountriesAndRegions43, axiom,
(hasType(type_City, inst_AssamIndia))).
fof(axCountriesAndRegions44, axiom,
(hasType(type_City, inst_AswanEgypt))).
fof(axCountriesAndRegions45, axiom,
(hasType(type_City, inst_AsyutEgypt))).
fof(axCountriesAndRegions46, axiom,
(hasType(type_City, inst_AthensGreece))).
fof(axCountriesAndRegions47, axiom,
(hasType(type_AmericanCity, inst_AtlantaGeorgia))).
fof(axCountriesAndRegions48, axiom,
(hasType(type_City, inst_AtrushIraq))).
fof(axCountriesAndRegions49, axiom,
(hasType(type_City, inst_AtzmonaGazaStrip))).
fof(axCountriesAndRegions50, axiom,
(hasType(type_City, inst_AvneiHefetzIsrael))).
fof(axCountriesAndRegions51, axiom,
(hasType(type_City, inst_AyacuchoPeru))).
fof(axCountriesAndRegions52, axiom,
(hasType(type_City, inst_AzorIsrael))).
fof(axCountriesAndRegions53, axiom,
(hasType(type_City, inst_BKaotWestBank))).
fof(axCountriesAndRegions54, axiom,
(hasType(type_City, inst_BadVilbelGermany))).
fof(axCountriesAndRegions55, axiom,
(hasType(type_City, inst_BaghdadIraq))).
fof(axCountriesAndRegions56, axiom,
(hasType(type_City, inst_BagreColombia))).
fof(axCountriesAndRegions57, axiom,
(hasType(type_City, inst_BahawalpurPakistan))).
fof(axCountriesAndRegions58, axiom,
(hasType(type_City, inst_BakaAlGarbiyehIsrael))).
fof(axCountriesAndRegions59, axiom,
(hasType(type_City, inst_BakkaAlSharkiyaWestBank))).
fof(axCountriesAndRegions60, axiom,
(hasType(type_City, inst_BakuAzerbaijan))).
fof(axCountriesAndRegions61, axiom,
(hasType(type_City, inst_BaleEthiopia))).
fof(axCountriesAndRegions62, axiom,
(hasType(type_AmericanCity, inst_BaltimoreMaryland))).
fof(axCountriesAndRegions63, axiom,
(hasType(type_City, inst_BanbridgeNorthernIreland))).
fof(axCountriesAndRegions64, axiom,
(hasType(type_City, inst_BangkokThailand))).
fof(axCountriesAndRegions65, axiom,
(hasType(type_City, inst_BangorNorthernIreland))).
fof(axCountriesAndRegions66, axiom,
(hasType(type_City, inst_BanguiCentralAfricanRepublic))).
fof(axCountriesAndRegions67, axiom,
(hasType(type_City, inst_BarcelonaSpain))).
fof(axCountriesAndRegions68, axiom,
(hasType(type_City, inst_BarkeoCambodia))).
fof(axCountriesAndRegions69, axiom,
(hasType(type_City, inst_BarrancabermejaColombia))).
fof(axCountriesAndRegions70, axiom,
(hasType(type_City, inst_BasraIsrael))).
fof(axCountriesAndRegions71, axiom,
(hasType(type_City, inst_BatYamIsrael))).
fof(axCountriesAndRegions72, axiom,
(hasType(type_City, inst_BatmanTurkey))).
fof(axCountriesAndRegions73, axiom,
(hasType(type_City, inst_BeErShevaIsrael))).
fof(axCountriesAndRegions74, axiom,
(hasType(type_City, inst_BeasainSpain))).
fof(axCountriesAndRegions75, axiom,
(hasType(type_City, inst_BeirutLebanon))).
fof(axCountriesAndRegions76, axiom,
(hasType(type_City, inst_BeitElWestBank))).
fof(axCountriesAndRegions77, axiom,
(hasType(type_City, inst_BeitHaggaiWestBank))).
fof(axCountriesAndRegions78, axiom,
(hasType(type_City, inst_BeitHaninaWestBank))).
fof(axCountriesAndRegions79, axiom,
(hasType(type_City, inst_BeitSahurWestBank))).
fof(axCountriesAndRegions80, axiom,
(hasType(type_City, inst_BeitSheAnIsrael))).
fof(axCountriesAndRegions81, axiom,
(hasType(type_City, inst_BeitShemeshIsrael))).
fof(axCountriesAndRegions82, axiom,
(hasType(type_City, inst_BeledweyneSomalia))).
fof(axCountriesAndRegions83, axiom,
(hasType(type_City, inst_BelfastNorthernIreland))).
fof(axCountriesAndRegions84, axiom,
(hasType(type_City, inst_BelgradeSerbiaAndMontenegro))).
fof(axCountriesAndRegions85, axiom,
(hasType(type_EuropeanCity, inst_BernSwitzerland))).
fof(axCountriesAndRegions86, axiom,
(hasType(type_City, inst_BetLeHiyehGazaStrip))).
fof(axCountriesAndRegions87, axiom,
(hasType(type_GeographicArea, inst_BetLidJunctionIsrael))).
fof(axCountriesAndRegions88, axiom,
(hasType(type_City, inst_BethElIsrael))).
fof(axCountriesAndRegions89, axiom,
(hasType(type_City, inst_BethlehemWestBank))).
fof(axCountriesAndRegions90, axiom,
(hasType(type_City, inst_BidyaWestBank))).
fof(axCountriesAndRegions91, axiom,
(hasType(type_City, inst_BilbaoSpain))).
fof(axCountriesAndRegions92, axiom,
(hasType(type_City, inst_BillabonaSpain))).
fof(axCountriesAndRegions93, axiom,
(hasType(type_City, inst_BinyaminaIsrael))).
fof(axCountriesAndRegions94, axiom,
(hasType(type_City, inst_BishkekKyrgyzstan))).
fof(axCountriesAndRegions95, axiom,
(hasType(type_City, inst_BneiAyishIsrael))).
fof(axCountriesAndRegions96, axiom,
(hasType(type_City, inst_BogotaColombia))).
fof(axCountriesAndRegions97, axiom,
(hasType(type_City, inst_BolognaItaly))).
fof(axCountriesAndRegions98, axiom,
(hasType(type_City, inst_BonnGermany))).
fof(axCountriesAndRegions99, axiom,
(hasType(type_GeographicArea, inst_BosphorousStraitsTurkey))).
fof(axCountriesAndRegions100, axiom,
(hasType(type_AmericanCity, inst_BostonMassachusetts))).
fof(axCountriesAndRegions101, axiom,
(hasType(type_City, inst_BouiraAlgeria))).
fof(axCountriesAndRegions102, axiom,
(hasType(type_City, inst_BouzeGueneAlgeria))).
fof(axCountriesAndRegions103, axiom,
(hasType(type_City, inst_BrusselsBelgium))).
fof(axCountriesAndRegions104, axiom,
(hasType(type_City, inst_BucaramangaColombia))).
fof(axCountriesAndRegions105, axiom,
(hasType(type_City, inst_BucharestIndia))).
fof(axCountriesAndRegions106, axiom,
(hasType(type_City, inst_BuenosAiresArgentina))).
fof(axCountriesAndRegions107, axiom,
(hasType(type_City, inst_BuinakskRussia))).
fof(axCountriesAndRegions108, axiom,
(hasType(type_GeographicArea, inst_BwindiforestUganda))).
fof(axCountriesAndRegions109, axiom,
(hasType(type_City, inst_CabindaAngola))).
fof(axCountriesAndRegions110, axiom,
(hasType(type_City, inst_CaglayanTurkey))).
fof(axCountriesAndRegions111, axiom,
(hasType(type_City, inst_CairoEgypt))).
fof(axCountriesAndRegions112, axiom,
(hasType(type_City, inst_CalcuttaIndia))).
fof(axCountriesAndRegions113, axiom,
(hasType(type_City, inst_CaliColombia))).
fof(axCountriesAndRegions114, axiom,
(hasType(type_AmericanState, inst_California))).
fof(axCountriesAndRegions115, axiom,
(hasType(type_City, inst_CampZamaJapan))).
fof(axCountriesAndRegions116, axiom,
(hasType(type_City, inst_CankiriTurkey))).
fof(axCountriesAndRegions117, axiom,
(hasType(type_City, inst_CapeTownSouthAfrica))).
fof(axCountriesAndRegions118, axiom,
(hasType(type_GeographicArea, inst_CaritasPolandChechnya))).
fof(axCountriesAndRegions119, axiom,
(hasType(type_City, inst_CarmelIsrael))).
fof(axCountriesAndRegions120, axiom,
(hasType(type_City, inst_CarmenDeBolivarColombia))).
fof(axCountriesAndRegions121, axiom,
(hasType(type_City, inst_CarrejonColombia))).
fof(axCountriesAndRegions122, axiom,
(hasType(type_City, inst_ChamanPakistan))).
fof(axCountriesAndRegions123, axiom,
(hasType(type_City, inst_ChararESharifIndia))).
fof(axCountriesAndRegions124, axiom,
(hasType(type_City, inst_CharsaadaPakistan))).
fof(axCountriesAndRegions125, axiom,
(hasType(type_Nation, inst_Chechnya))).
fof(axCountriesAndRegions126, axiom,
(hasType(type_City, inst_ChernoRechyeRussia))).
fof(axCountriesAndRegions127, axiom,
(hasType(type_AmericanCity, inst_ChicagoUnitedStates))).
fof(axCountriesAndRegions128, axiom,
(hasType(type_City, inst_ChisimayuSomalia))).
fof(axCountriesAndRegions129, axiom,
(hasType(type_City, inst_ChittagongBangladesh))).
fof(axCountriesAndRegions130, axiom,
(hasType(type_City, inst_ChobaAngola))).
fof(axCountriesAndRegions131, axiom,
(hasType(type_City, inst_ChocoColombia))).
fof(axCountriesAndRegions132, axiom,
(hasType(type_City, inst_ChorrosQueroVenezuela))).
fof(axCountriesAndRegions133, axiom,
(hasType(type_GeographicArea, inst_ClarkAirbasePhilippines))).
fof(axCountriesAndRegions134, axiom,
(hasType(type_AmericanCity, inst_ClevelandOhio))).
fof(axCountriesAndRegions135, axiom,
(hasType(type_City, inst_CoimbatoreIndia))).
fof(axCountriesAndRegions136, axiom,
(hasType(type_City, inst_CologneGermany))).
fof(axCountriesAndRegions137, axiom,
(hasType(type_City, inst_ColombiaCityColombia))).
fof(axCountriesAndRegions138, axiom,
(hasType(type_City, inst_ColombiaPanama))).
fof(axCountriesAndRegions139, axiom,
(hasType(type_City, inst_ColomboSriLanka))).
fof(axCountriesAndRegions140, axiom,
(hasType(type_AmericanState, inst_Colorado))).
fof(axCountriesAndRegions141, axiom,
(hasType(type_AmericanCity, inst_ColumbusOhio))).
fof(axCountriesAndRegions142, axiom,
(hasType(type_City, inst_ComayaguaHonduras))).
fof(axCountriesAndRegions143, axiom,
(hasType(type_AmericanState, inst_Connecticut))).
fof(axCountriesAndRegions144, axiom,
(hasType(type_City, inst_CopacaBanaCuba))).
fof(axCountriesAndRegions145, axiom,
(hasType(type_City, inst_CorsicaFrance))).
fof(axCountriesAndRegions146, axiom,
(hasType(type_City, inst_CorteFrance))).
fof(axCountriesAndRegions147, axiom,
(hasType(type_City, inst_CorumTurkey))).
fof(axCountriesAndRegions148, axiom,
(hasType(type_City, inst_CundiNamarcaColombia))).
fof(axCountriesAndRegions149, axiom,
(hasType(type_City, inst_CupiaguaColombia))).
fof(axCountriesAndRegions150, axiom,
(hasType(type_City, inst_CuzcoPeru))).
fof(axCountriesAndRegions151, axiom,
(hasType(type_EuropeanNation, inst_Czechoslovakia))).
fof(axCountriesAndRegions152, axiom,
(hasType(type_City, inst_DagestanRussia))).
fof(axCountriesAndRegions153, axiom,
(hasType(type_City, inst_DahukIraq))).
fof(axCountriesAndRegions154, axiom,
(hasType(type_AmericanCity, inst_DallasTexas))).
fof(axCountriesAndRegions155, axiom,
(hasType(type_GeographicArea, inst_DangDistrictNepal))).
fof(axCountriesAndRegions156, axiom,
(hasType(type_City, inst_DarEsSalaAmTanzania))).
fof(axCountriesAndRegions157, axiom,
(hasType(type_City, inst_DarvazTajikistan))).
fof(axCountriesAndRegions158, axiom,
(hasType(type_City, inst_DebaSpain))).
fof(axCountriesAndRegions159, axiom,
(hasType(type_AmericanState, inst_Delaware))).
fof(axCountriesAndRegions160, axiom,
(hasType(type_City, inst_DelhiIndia))).
fof(axCountriesAndRegions161, axiom,
(hasType(type_Nation, inst_DemocraticRepublicOfTheCongo))).
fof(axCountriesAndRegions162, axiom,
(hasType(type_AmericanCity, inst_DenverColorado))).
fof(axCountriesAndRegions163, axiom,
(hasType(type_AmericanCity, inst_DetroitMichigan))).
fof(axCountriesAndRegions164, axiom,
(hasType(type_City, inst_DhahranSaudiArabia))).
fof(axCountriesAndRegions165, axiom,
(hasType(type_City, inst_DhakaBangladesh))).
fof(axCountriesAndRegions166, axiom,
(hasType(type_City, inst_DinanFrance))).
fof(axCountriesAndRegions167, axiom,
(hasType(type_City, inst_DirNaballahWestBank))).
fof(axCountriesAndRegions168, axiom,
(hasType(type_City, inst_DireDawaEthiopia))).
fof(axCountriesAndRegions169, axiom,
(hasType(type_GeographicArea, inst_DistrictOfMansehraPakistan))).
fof(axCountriesAndRegions170, axiom,
(hasType(type_City, inst_DjakashariGeorgia))).
fof(axCountriesAndRegions171, axiom,
(hasType(type_City, inst_DjerbaTunisia))).
fof(axCountriesAndRegions172, axiom,
(hasType(type_City, inst_DodaIndia))).
fof(axCountriesAndRegions173, axiom,
(hasType(type_City, inst_DortmundGermany))).
fof(axCountriesAndRegions174, axiom,
(hasType(type_City, inst_DublinIreland))).
fof(axCountriesAndRegions175, axiom,
(hasType(type_City, inst_DuesseldorfGermany))).
fof(axCountriesAndRegions176, axiom,
(hasType(type_City, inst_DugitGazaStrip))).
fof(axCountriesAndRegions177, axiom,
(hasType(type_City, inst_DurangoSpain))).
fof(axCountriesAndRegions178, axiom,
(hasType(type_GeographicArea, inst_DushanbeAirportTajikistan))).
fof(axCountriesAndRegions179, axiom,
(hasType(type_City, inst_DushanbeGarmTajikistan))).
fof(axCountriesAndRegions180, axiom,
(hasType(type_City, inst_DushanbeTajikistan))).
fof(axCountriesAndRegions181, axiom,
(hasType(type_City, inst_EastJerusalemIsrael))).
fof(axCountriesAndRegions182, axiom,
(hasType(type_Nation, inst_EastTimor))).
fof(axCountriesAndRegions183, axiom,
(hasType(type_City, inst_EfratWestBank))).
fof(axCountriesAndRegions184, axiom,
(hasType(type_City, inst_EilatIsrael))).
fof(axCountriesAndRegions185, axiom,
(hasType(type_City, inst_EinavWestBank))).
fof(axCountriesAndRegions186, axiom,
(hasType(type_City, inst_ElAzzariyaWestBank))).
fof(axCountriesAndRegions187, axiom,
(hasType(type_City, inst_ElBagreColombia))).
fof(axCountriesAndRegions188, axiom,
(hasType(type_City, inst_ElBirehWestBank))).
fof(axCountriesAndRegions189, axiom,
(hasType(type_City, inst_ElPlayonColombia))).
fof(axCountriesAndRegions190, axiom,
(hasType(type_City, inst_ElRipialApureVenezuela))).
fof(axCountriesAndRegions191, axiom,
(hasType(type_City, inst_ElayoSomalia))).
fof(axCountriesAndRegions192, axiom,
(hasType(type_City, inst_EleiSinaiGazaStrip))).
fof(axCountriesAndRegions193, axiom,
(hasType(type_City, inst_EmmanuelWestBank))).
fof(axCountriesAndRegions194, axiom,
(hasType(type_City, inst_ErezGazaStrip))).
fof(axCountriesAndRegions195, axiom,
(hasType(type_Continent, inst_Europe))).
fof(axCountriesAndRegions196, axiom,
(hasType(type_AmericanCity, inst_FargoNorthDakota))).
fof(axCountriesAndRegions197, axiom,
(hasType(type_GeographicArea, inst_FethiyeAndMarmarisTurkey))).
fof(axCountriesAndRegions198, axiom,
(hasType(type_AmericanState, inst_Florida))).
fof(axCountriesAndRegions199, axiom,
(hasType(type_GeographicArea, inst_FloridaUnitedStates))).
fof(axCountriesAndRegions200, axiom,
(hasType(type_City, inst_FormequeColombia))).
fof(axCountriesAndRegions201, axiom,
(hasType(type_City, inst_FrankfurtGermany))).
fof(axCountriesAndRegions202, axiom,
(hasType(type_City, inst_FrenchHillIsrael))).
fof(axCountriesAndRegions203, axiom,
(hasType(type_City, inst_FuengirolaSpain))).
fof(axCountriesAndRegions204, axiom,
(hasType(type_City, inst_FusagasusaColombia))).
fof(axCountriesAndRegions205, axiom,
(hasType(type_City, inst_GaliAbkhaziaGeorgia))).
fof(axCountriesAndRegions206, axiom,
(hasType(type_City, inst_GanimWestBank))).
fof(axCountriesAndRegions207, axiom,
(hasType(type_City, inst_GashuriIsrael))).
fof(axCountriesAndRegions208, axiom,
(hasType(type_City, inst_GeneralSantosPhilippines))).
fof(axCountriesAndRegions209, axiom,
(hasType(type_City, inst_GenevaSwitzerland))).
fof(axCountriesAndRegions210, axiom,
(hasType(type_AmericanState, inst_Georgia_US))).
fof(axCountriesAndRegions211, axiom,
(hasType(type_City, inst_GetxoSpain))).
fof(axCountriesAndRegions212, axiom,
(hasType(type_City, inst_GhalebiehIraq))).
fof(axCountriesAndRegions213, axiom,
(hasType(type_City, inst_GhaziabadIndia))).
fof(axCountriesAndRegions214, axiom,
(hasType(type_GeographicArea, inst_GhaziabadUttarPradeshIndia))).
fof(axCountriesAndRegions215, axiom,
(hasType(type_City, inst_GiloIsrael))).
fof(axCountriesAndRegions216, axiom,
(hasType(type_City, inst_GivatZeEvWestBank))).
fof(axCountriesAndRegions217, axiom,
(hasType(type_City, inst_GizaEgypt))).
fof(axCountriesAndRegions218, axiom,
(hasType(type_City, inst_GonegalleSriLanka))).
fof(axCountriesAndRegions219, axiom,
(hasType(type_City, inst_GranadaSpain))).
fof(axCountriesAndRegions220, axiom,
(hasType(type_City, inst_GrazAustria))).
fof(axCountriesAndRegions221, axiom,
(hasType(type_City, inst_GroznyChechnya))).
fof(axCountriesAndRegions222, axiom,
(hasType(type_City, inst_GuilinChina))).
fof(axCountriesAndRegions223, axiom,
(hasType(type_Nation, inst_GuineaBissau))).
fof(axCountriesAndRegions224, axiom,
(hasType(type_City, inst_GujaratIndia))).
fof(axCountriesAndRegions225, axiom,
(hasType(type_City, inst_GushEtzionWestBank))).
fof(axCountriesAndRegions226, axiom,
(hasType(type_GeographicArea, inst_GushKatifGazaStrip))).
fof(axCountriesAndRegions227, axiom,
(hasType(type_City, inst_GushKhatifGazaStrip))).
fof(axCountriesAndRegions228, axiom,
(hasType(type_City, inst_HaderaIsrael))).
fof(axCountriesAndRegions229, axiom,
(hasType(type_City, inst_HaifaIsrael))).
fof(axCountriesAndRegions230, axiom,
(hasType(type_City, inst_HamburgGermany))).
fof(axCountriesAndRegions231, axiom,
(hasType(type_City, inst_HamisMiliyanaAlgeria))).
fof(axCountriesAndRegions232, axiom,
(hasType(type_City, inst_HamraWestBank))).
fof(axCountriesAndRegions233, axiom,
(hasType(type_City, inst_HannoverGermany))).
fof(axCountriesAndRegions234, axiom,
(hasType(type_City, inst_HarBrachaWestBank))).
fof(axCountriesAndRegions235, axiom,
(hasType(type_City, inst_HarerEthiopia))).
fof(axCountriesAndRegions236, axiom,
(hasType(type_City, inst_HavanaCuba))).
fof(axCountriesAndRegions237, axiom,
(hasType(type_AmericanState, inst_Hawaii))).
fof(axCountriesAndRegions238, axiom,
(hasType(type_City, inst_HawanaIraq))).
fof(axCountriesAndRegions239, axiom,
(hasType(type_City, inst_HeartAfghanistan))).
fof(axCountriesAndRegions240, axiom,
(hasType(type_City, inst_HebronWestBank))).
fof(axCountriesAndRegions241, axiom,
(hasType(type_City, inst_HermeshIsrael))).
fof(axCountriesAndRegions242, axiom,
(hasType(type_City, inst_HernaniSpain))).
fof(axCountriesAndRegions243, axiom,
(hasType(type_City, inst_HerzliyaIsrael))).
fof(axCountriesAndRegions244, axiom,
(hasType(type_City, inst_HilversumNetherlands))).
fof(axCountriesAndRegions245, axiom,
(hasType(type_City, inst_HizmaWestBank))).
fof(axCountriesAndRegions246, axiom,
(hasType(type_GeographicArea, inst_HodayaJunctionIsrael))).
fof(axCountriesAndRegions247, axiom,
(hasType(type_GeographicArea, inst_HolonJunctionIsrael))).
fof(axCountriesAndRegions248, axiom,
(hasType(type_AmericanCity, inst_HonoluluHawaii))).
fof(axCountriesAndRegions249, axiom,
(hasType(type_AmericanCity, inst_HoustonTexas))).
fof(axCountriesAndRegions250, axiom,
(hasType(type_City, inst_HuallgaPeru))).
fof(axCountriesAndRegions251, axiom,
(hasType(type_River, inst_HudsonRiver))).
fof(axCountriesAndRegions252, axiom,
(hasType(type_City, inst_HurghadaEgypt))).
fof(axCountriesAndRegions253, axiom,
(hasType(type_City, inst_HyderabadPakistan))).
fof(axCountriesAndRegions254, axiom,
(hasType(type_City, inst_IbsrilIraq))).
fof(axCountriesAndRegions255, axiom,
(hasType(type_AmericanState, inst_Idaho))).
fof(axCountriesAndRegions256, axiom,
(hasType(type_AmericanState, inst_Illinois))).
fof(axCountriesAndRegions257, axiom,
(hasType(type_GeographicArea, inst_IncirlikAirbaseTurkey))).
fof(axCountriesAndRegions258, axiom,
(hasType(type_AmericanState, inst_Indiana))).
fof(axCountriesAndRegions259, axiom,
(hasType(type_AmericanState, inst_Iowa))).
fof(axCountriesAndRegions260, axiom,
(hasType(type_City, inst_IpilPhilippines))).
fof(axCountriesAndRegions261, axiom,
(hasType(type_City, inst_IrbilIraq))).
fof(axCountriesAndRegions262, axiom,
(hasType(type_City, inst_IslamabadPakistan))).
fof(axCountriesAndRegions263, axiom,
(hasType(type_GeographicArea, inst_IslandOfBaliIndonesia))).
fof(axCountriesAndRegions264, axiom,
(hasType(type_City, inst_IstanbulTurkey))).
fof(axCountriesAndRegions265, axiom,
(hasType(type_City, inst_ItamarWestBank))).
fof(axCountriesAndRegions266, axiom,
(hasType(type_City, inst_IzmirTurkey))).
fof(axCountriesAndRegions267, axiom,
(hasType(type_City, inst_JMainWestBank))).
fof(axCountriesAndRegions268, axiom,
(hasType(type_City, inst_JaffaIsrael))).
fof(axCountriesAndRegions269, axiom,
(hasType(type_City, inst_JaffnaSriLanka))).
fof(axCountriesAndRegions270, axiom,
(hasType(type_City, inst_JakartaIndonesia))).
fof(axCountriesAndRegions271, axiom,
(hasType(type_City, inst_JalahIndia))).
fof(axCountriesAndRegions272, axiom,
(hasType(type_GeographicArea, inst_JalpaiguriRailwayStationIndia))).
fof(axCountriesAndRegions273, axiom,
(hasType(type_City, inst_JammuIndia))).
fof(axCountriesAndRegions274, axiom,
(hasType(type_City, inst_JangasPeru))).
fof(axCountriesAndRegions275, axiom,
(hasType(type_City, inst_JeninWestBank))).
fof(axCountriesAndRegions276, axiom,
(hasType(type_City, inst_JerusalemHillsIsrael))).
fof(axCountriesAndRegions277, axiom,
(hasType(type_City, inst_JerusalemIsrael))).
fof(axCountriesAndRegions278, axiom,
(hasType(type_City, inst_JerusalemOldCityIsrael))).
fof(axCountriesAndRegions279, axiom,
(hasType(type_City, inst_JohannesburgSouthAfrica))).
fof(axCountriesAndRegions280, axiom,
(hasType(type_City, inst_JoloPhilippines))).
fof(axCountriesAndRegions281, axiom,
(hasType(type_City, inst_JubialSaudiArabia))).
fof(axCountriesAndRegions282, axiom,
(hasType(type_City, inst_JullundurIndia))).
fof(axCountriesAndRegions283, axiom,
(hasType(type_City, inst_KabacanPhilippines))).
fof(axCountriesAndRegions284, axiom,
(hasType(type_City, inst_KabulAfghanistan))).
fof(axCountriesAndRegions285, axiom,
(hasType(type_City, inst_KafrAkabWestBank))).
fof(axCountriesAndRegions286, axiom,
(hasType(type_City, inst_KafrIdnaWestBank))).
fof(axCountriesAndRegions287, axiom,
(hasType(type_City, inst_KalkilyaWestBank))).
fof(axCountriesAndRegions288, axiom,
(hasType(type_City, inst_KalmunaiSriLanka))).
fof(axCountriesAndRegions289, axiom,
(hasType(type_City, inst_KampalaUganda))).
fof(axCountriesAndRegions290, axiom,
(hasType(type_City, inst_KandySriLanka))).
fof(axCountriesAndRegions291, axiom,
(hasType(type_City, inst_KanihamaIndia))).
fof(axCountriesAndRegions292, axiom,
(hasType(type_AmericanState, inst_Kansas))).
fof(axCountriesAndRegions293, axiom,
(hasType(type_AmericanCity, inst_KansasCityMissouri))).
fof(axCountriesAndRegions294, axiom,
(hasType(type_City, inst_KarachiPakistan))).
fof(axCountriesAndRegions295, axiom,
(hasType(type_City, inst_KarkurIsrael))).
fof(axCountriesAndRegions296, axiom,
(hasType(type_City, inst_KarmeiTzurWestBank))).
fof(axCountriesAndRegions297, axiom,
(hasType(type_City, inst_KarneiShomronWestBank))).
fof(axCountriesAndRegions298, axiom,
(hasType(type_City, inst_KashmirIndia))).
fof(axCountriesAndRegions299, axiom,
(hasType(type_GeographicArea, inst_KatmanduAirportNepal))).
fof(axCountriesAndRegions300, axiom,
(hasType(type_Nation, inst_Kazakhstan))).
fof(axCountriesAndRegions301, axiom,
(hasType(type_GeographicArea, inst_KedumimSettlementWestBank))).
fof(axCountriesAndRegions302, axiom,
(hasType(type_City, inst_KedumimWestBank))).
fof(axCountriesAndRegions303, axiom,
(hasType(type_AmericanState, inst_Kentucky))).
fof(axCountriesAndRegions304, axiom,
(hasType(type_City, inst_KfarBaAnehIsrael))).
fof(axCountriesAndRegions305, axiom,
(hasType(type_City, inst_KfarDaromGazaStrip))).
fof(axCountriesAndRegions306, axiom,
(hasType(type_City, inst_KfarDaromNetzarimIsrael))).
fof(axCountriesAndRegions307, axiom,
(hasType(type_City, inst_KfarHessIsrael))).
fof(axCountriesAndRegions308, axiom,
(hasType(type_City, inst_KfarSabaIsrael))).
fof(axCountriesAndRegions309, axiom,
(hasType(type_City, inst_KfarTzurifWestBank))).
fof(axCountriesAndRegions310, axiom,
(hasType(type_City, inst_KfarYamGazaStrip))).
fof(axCountriesAndRegions311, axiom,
(hasType(type_City, inst_KhankalaChechnya))).
fof(axCountriesAndRegions312, axiom,
(hasType(type_City, inst_KhartoumSudan))).
fof(axCountriesAndRegions313, axiom,
(hasType(type_City, inst_KhelilAlgeria))).
fof(axCountriesAndRegions314, axiom,
(hasType(type_City, inst_KhobarSaudiArabia))).
fof(axCountriesAndRegions315, axiom,
(hasType(type_City, inst_KibbutzGalEdIsrael))).
fof(axCountriesAndRegions316, axiom,
(hasType(type_City, inst_KibbutzMeravIsrael))).
fof(axCountriesAndRegions317, axiom,
(hasType(type_City, inst_KibbutzSheluhotIsrael))).
fof(axCountriesAndRegions318, axiom,
(hasType(type_City, inst_KidapawanPhilippines))).
fof(axCountriesAndRegions319, axiom,
(hasType(type_City, inst_KigaliRwanda))).
fof(axCountriesAndRegions320, axiom,
(hasType(type_City, inst_KirikkaleTurkey))).
fof(axCountriesAndRegions321, axiom,
(hasType(type_City, inst_KiryatArbaWestBank))).
fof(axCountriesAndRegions322, axiom,
(hasType(type_City, inst_KiryatMotzkinIsrael))).
fof(axCountriesAndRegions323, axiom,
(hasType(type_City, inst_KiryatNetafimWestBank))).
fof(axCountriesAndRegions324, axiom,
(hasType(type_City, inst_KissufimGazaStrip))).
fof(axCountriesAndRegions325, axiom,
(hasType(type_City, inst_KiursehirBoztepTurkey))).
fof(axCountriesAndRegions326, axiom,
(hasType(type_City, inst_KlaiyatLebanon))).
fof(axCountriesAndRegions327, axiom,
(hasType(type_City, inst_KohlanYemen))).
fof(axCountriesAndRegions328, axiom,
(hasType(type_City, inst_KomsomoLabadTajikistan))).
fof(axCountriesAndRegions329, axiom,
(hasType(type_Peninsula, inst_KoreanPeninsula))).
fof(axCountriesAndRegions330, axiom,
(hasType(type_City, inst_KuwaitCityKuwait))).
fof(axCountriesAndRegions331, axiom,
(hasType(type_City, inst_LIleRousseFrance))).
fof(axCountriesAndRegions332, axiom,
(hasType(type_City, inst_LaCeibaHonduras))).
fof(axCountriesAndRegions333, axiom,
(hasType(type_City, inst_LaGabarraVenezuela))).
fof(axCountriesAndRegions334, axiom,
(hasType(type_City, inst_LaGuajiraColombia))).
fof(axCountriesAndRegions335, axiom,
(hasType(type_City, inst_LaPazBolivia))).
fof(axCountriesAndRegions336, axiom,
(hasType(type_City, inst_LaVictoriaVenezuela))).
fof(axCountriesAndRegions337, axiom,
(hasType(type_City, inst_LahorePakistan))).
fof(axCountriesAndRegions338, axiom,
(hasType(type_City, inst_LarbaAlgeria))).
fof(axCountriesAndRegions339, axiom,
(hasType(type_City, inst_LarnacaCyprus))).
fof(axCountriesAndRegions340, axiom,
(hasType(type_City, inst_LasarteSpain))).
fof(axCountriesAndRegions341, axiom,
(hasType(type_City, inst_LeizaSpain))).
fof(axCountriesAndRegions342, axiom,
(hasType(type_GeographicArea, inst_LesEucalyptusDistrictAlgeria))).
fof(axCountriesAndRegions343, axiom,
(hasType(type_City, inst_LibertadorVenezuela))).
fof(axCountriesAndRegions344, axiom,
(hasType(type_City, inst_LiceTurkey))).
fof(axCountriesAndRegions345, axiom,
(hasType(type_City, inst_LimaPeru))).
fof(axCountriesAndRegions346, axiom,
(hasType(type_City, inst_LindosRhodes))).
fof(axCountriesAndRegions347, axiom,
(hasType(type_City, inst_LinzAustralia))).
fof(axCountriesAndRegions348, axiom,
(hasType(type_City, inst_LockerbieUnitedKingdom))).
fof(axCountriesAndRegions349, axiom,
(hasType(type_City, inst_LogornoSpain))).
fof(axCountriesAndRegions350, axiom,
(hasType(type_City, inst_LondonberryNorthernIreland))).
fof(axCountriesAndRegions351, axiom,
(hasType(type_Island, inst_LongIsland))).
fof(axCountriesAndRegions352, axiom,
(hasType(type_AmericanCity, inst_LosAngelesCalifornia))).
fof(axCountriesAndRegions353, axiom,
(hasType(type_GeographicArea, inst_LosAngelesInternationalAirportUnitedStates))).
fof(axCountriesAndRegions354, axiom,
(hasType(type_City, inst_LosAngelesUnitedStates))).
fof(axCountriesAndRegions355, axiom,
(hasType(type_City, inst_LosBancosVenezuela))).
fof(axCountriesAndRegions356, axiom,
(hasType(type_GeographicArea, inst_LosKatiosNationalParkColombia))).
fof(axCountriesAndRegions357, axiom,
(hasType(type_AmericanState, inst_Louisiana))).
fof(axCountriesAndRegions358, axiom,
(hasType(type_City, inst_LuandaAngola))).
fof(axCountriesAndRegions359, axiom,
(hasType(type_City, inst_LuebeckGermany))).
fof(axCountriesAndRegions360, axiom,
(hasType(type_City, inst_LundaNorteAngola))).
fof(axCountriesAndRegions361, axiom,
(hasType(type_City, inst_LuxorEgypt))).
fof(axCountriesAndRegions362, axiom,
(hasType(type_City, inst_LyonsFrance))).
fof(axCountriesAndRegions363, axiom,
(hasType(type_City, inst_MaAlehMichmashWestBank))).
fof(axCountriesAndRegions364, axiom,
(hasType(type_City, inst_MaccabimIsrael))).
fof(axCountriesAndRegions365, axiom,
(hasType(type_City, inst_MadhuSriLanka))).
fof(axCountriesAndRegions366, axiom,
(hasType(type_City, inst_MadrasIndia))).
fof(axCountriesAndRegions367, axiom,
(hasType(type_City, inst_MadridSpain))).
fof(axCountriesAndRegions368, axiom,
(hasType(type_City, inst_MagdalenaColombia))).
fof(axCountriesAndRegions369, axiom,
(hasType(type_City, inst_MaidanSharAfghanistan))).
fof(axCountriesAndRegions370, axiom,
(hasType(type_AmericanState, inst_Maine))).
fof(axCountriesAndRegions371, axiom,
(hasType(type_City, inst_MakhachkalaRussia))).
fof(axCountriesAndRegions372, axiom,
(hasType(type_City, inst_MalagaSpain))).
fof(axCountriesAndRegions373, axiom,
(hasType(type_GeographicArea, inst_MalukkaIslandsIndonesia))).
fof(axCountriesAndRegions374, axiom,
(hasType(type_City, inst_ManaguaNigeria))).
fof(axCountriesAndRegions375, axiom,
(hasType(type_City, inst_ManamaBahrain))).
fof(axCountriesAndRegions376, axiom,
(hasType(type_AmericanCity, inst_ManchesterNewHampshire))).
fof(axCountriesAndRegions377, axiom,
(hasType(type_City, inst_ManchesterUnitedKingdom))).
fof(axCountriesAndRegions378, axiom,
(hasType(type_GeographicArea, inst_MangalsenAndSanpheBagarNepal))).
fof(axCountriesAndRegions379, axiom,
(hasType(type_City, inst_ManilaPhilippines))).
fof(axCountriesAndRegions380, axiom,
(hasType(type_City, inst_MaonIsrael))).
fof(axCountriesAndRegions381, axiom,
(hasType(type_City, inst_MapourditSudan))).
fof(axCountriesAndRegions382, axiom,
(hasType(type_City, inst_MarSabaWestBank))).
fof(axCountriesAndRegions383, axiom,
(hasType(type_City, inst_MarawiPhilippines))).
fof(axCountriesAndRegions384, axiom,
(hasType(type_City, inst_MardanPakistan))).
fof(axCountriesAndRegions385, axiom,
(hasType(type_City, inst_MarmarisTurkey))).
fof(axCountriesAndRegions386, axiom,
(hasType(type_City, inst_MarseillesFrance))).
fof(axCountriesAndRegions387, axiom,
(hasType(type_AmericanState, inst_Maryland))).
fof(axCountriesAndRegions388, axiom,
(hasType(type_City, inst_MashaWestBank))).
fof(axCountriesAndRegions389, axiom,
(hasType(type_AmericanState, inst_Massachusetts))).
fof(axCountriesAndRegions390, axiom,
(hasType(type_City, inst_MatsumotoJapan))).
fof(axCountriesAndRegions391, axiom,
(hasType(type_City, inst_MawdiyahYemen))).
fof(axCountriesAndRegions392, axiom,
(hasType(type_City, inst_MeaShearimIsrael))).
fof(axCountriesAndRegions393, axiom,
(hasType(type_City, inst_MeccaSaudiArabia))).
fof(axCountriesAndRegions394, axiom,
(hasType(type_City, inst_MechoraWestBank))).
fof(axCountriesAndRegions395, axiom,
(hasType(type_City, inst_MedanIndonesia))).
fof(axCountriesAndRegions396, axiom,
(hasType(type_City, inst_MedellinColombia))).
fof(axCountriesAndRegions397, axiom,
(hasType(type_City, inst_MegidoIsrael))).
fof(axCountriesAndRegions398, axiom,
(hasType(type_City, inst_MeholaIsrael))).
fof(axCountriesAndRegions399, axiom,
(hasType(type_City, inst_MekholahIsrael))).
fof(axCountriesAndRegions400, axiom,
(hasType(type_AmericanCity, inst_MemphisTennessee))).
fof(axCountriesAndRegions401, axiom,
(hasType(type_City, inst_MersinTurkey))).
fof(axCountriesAndRegions402, axiom,
(hasType(type_City, inst_MetaColombia))).
fof(axCountriesAndRegions403, axiom,
(hasType(type_City, inst_MetullaIsrael))).
fof(axCountriesAndRegions404, axiom,
(hasType(type_City, inst_MetzerIsrael))).
fof(axCountriesAndRegions405, axiom,
(hasType(type_AmericanState, inst_Michigan))).
fof(axCountriesAndRegions406, axiom,
(hasType(type_City, inst_MilanItaly))).
fof(axCountriesAndRegions407, axiom,
(hasType(type_City, inst_MindanaoPhilippines))).
fof(axCountriesAndRegions408, axiom,
(hasType(type_GeographicArea, inst_MinharotRoadWestBank))).
fof(axCountriesAndRegions409, axiom,
(hasType(type_AmericanCity, inst_MinneapolisMinnesota))).
fof(axCountriesAndRegions410, axiom,
(hasType(type_AmericanState, inst_Minnesota))).
fof(axCountriesAndRegions411, axiom,
(hasType(type_City, inst_MiranShahPakistan))).
fof(axCountriesAndRegions412, axiom,
(hasType(type_AmericanState, inst_Mississippi))).
fof(axCountriesAndRegions413, axiom,
(hasType(type_River, inst_MississippiRiver))).
fof(axCountriesAndRegions414, axiom,
(hasType(type_AmericanState, inst_Missouri))).
fof(axCountriesAndRegions415, axiom,
(hasType(type_City, inst_MituColombia))).
fof(axCountriesAndRegions416, axiom,
(hasType(type_City, inst_ModiinIllitWestBank))).
fof(axCountriesAndRegions417, axiom,
(hasType(type_City, inst_MombassaKenya))).
fof(axCountriesAndRegions418, axiom,
(hasType(type_AmericanState, inst_Montana))).
fof(axCountriesAndRegions419, axiom,
(hasType(type_City, inst_MontrealCanada))).
fof(axCountriesAndRegions420, axiom,
(hasType(type_GeographicArea, inst_MoragJunctionGazaStrip))).
fof(axCountriesAndRegions421, axiom,
(hasType(type_City, inst_MoshavHagorIsrael))).
fof(axCountriesAndRegions422, axiom,
(hasType(type_City, inst_MoshavTomerWestBank))).
fof(axCountriesAndRegions423, axiom,
(hasType(type_City, inst_MukallahAdenYemen))).
fof(axCountriesAndRegions424, axiom,
(hasType(type_City, inst_MunchenGladbachGermany))).
fof(axCountriesAndRegions425, axiom,
(hasType(type_City, inst_MunsterGermany))).
fof(axCountriesAndRegions426, axiom,
(hasType(type_City, inst_MurloughNorthernIreland))).
fof(axCountriesAndRegions427, axiom,
(hasType(type_City, inst_MusMusIsrael))).
fof(axCountriesAndRegions428, axiom,
(hasType(type_City, inst_MutataColombia))).
fof(axCountriesAndRegions429, axiom,
(hasType(type_City, inst_MutturSriLanka))).
fof(axCountriesAndRegions430, axiom,
(hasType(type_Nation, inst_Myanmar))).
fof(axCountriesAndRegions431, axiom,
(hasType(type_City, inst_NaAlinWestBank))).
fof(axCountriesAndRegions432, axiom,
(hasType(type_City, inst_NablusWestBank))).
fof(axCountriesAndRegions433, axiom,
(hasType(type_City, inst_NahalOzGazaStrip))).
fof(axCountriesAndRegions434, axiom,
(hasType(type_City, inst_NaharaimIsrael))).
fof(axCountriesAndRegions435, axiom,
(hasType(type_City, inst_NahariyaIsrael))).
fof(axCountriesAndRegions436, axiom,
(hasType(type_City, inst_NairobiKenya))).
fof(axCountriesAndRegions437, axiom,
(hasType(type_City, inst_NajafIraq))).
fof(axCountriesAndRegions438, axiom,
(hasType(type_GeographicArea, inst_NallurAreaSriLanka))).
fof(axCountriesAndRegions439, axiom,
(hasType(type_City, inst_NaquraLebanon))).
fof(axCountriesAndRegions440, axiom,
(hasType(type_City, inst_NarayangangBangladesh))).
fof(axCountriesAndRegions441, axiom,
(hasType(type_AmericanCity, inst_NashvilleTennessee))).
fof(axCountriesAndRegions442, axiom,
(hasType(type_City, inst_NataniaIsrael))).
fof(axCountriesAndRegions443, axiom,
(hasType(type_City, inst_NearAdarim))).
fof(axCountriesAndRegions444, axiom,
(hasType(type_City, inst_NearAleiZahav))).
fof(axCountriesAndRegions445, axiom,
(hasType(type_City, inst_NearJenin))).
fof(axCountriesAndRegions446, axiom,
(hasType(type_AmericanState, inst_Nebraska))).
fof(axCountriesAndRegions447, axiom,
(hasType(type_City, inst_NetanyaIsrael))).
fof(axCountriesAndRegions448, axiom,
(hasType(type_City, inst_NetzarimGazaStrip))).
fof(axCountriesAndRegions449, axiom,
(hasType(type_City, inst_NetzerHazaniGazaStrip))).
fof(axCountriesAndRegions450, axiom,
(hasType(type_AmericanState, inst_Nevada))).
fof(axCountriesAndRegions451, axiom,
(hasType(type_City, inst_NeveDanielWestBank))).
fof(axCountriesAndRegions452, axiom,
(hasType(type_City, inst_NeveDekalim))).
fof(axCountriesAndRegions453, axiom,
(hasType(type_City, inst_NeveYaminIsrael))).
fof(axCountriesAndRegions454, axiom,
(hasType(type_City, inst_NewDelhiIndia))).
fof(axCountriesAndRegions455, axiom,
(hasType(type_GeographicArea, inst_NewEngland))).
fof(axCountriesAndRegions456, axiom,
(hasType(type_AmericanState, inst_NewHampshire))).
fof(axCountriesAndRegions457, axiom,
(hasType(type_AmericanState, inst_NewJersey))).
fof(axCountriesAndRegions458, axiom,
(hasType(type_AmericanState, inst_NewMexico))).
fof(axCountriesAndRegions459, axiom,
(hasType(type_AmericanCity, inst_NewYorkCityUnitedStates))).
fof(axCountriesAndRegions460, axiom,
(hasType(type_AmericanState, inst_NewYorkState))).
fof(axCountriesAndRegions461, axiom,
(hasType(type_GeographicArea, inst_NeztarimSettlementGazaStrip))).
fof(axCountriesAndRegions462, axiom,
(hasType(type_City, inst_NiameyNiger))).
fof(axCountriesAndRegions463, axiom,
(hasType(type_City, inst_NissanitGazaStrip))).
fof(axCountriesAndRegions464, axiom,
(hasType(type_City, inst_NitzaneiOzWestBank))).
fof(axCountriesAndRegions465, axiom,
(hasType(type_City, inst_NitzanimIsrael))).
fof(axCountriesAndRegions466, axiom,
(hasType(type_GeographicArea, inst_NokdimTekoaRdWestBank))).
fof(axCountriesAndRegions467, axiom,
(hasType(type_City, inst_NorteDeSantanderColombia))).
fof(axCountriesAndRegions468, axiom,
(hasType(type_AmericanState, inst_NorthCarolina))).
fof(axCountriesAndRegions469, axiom,
(hasType(type_AmericanState, inst_NorthDakota))).
fof(axCountriesAndRegions470, axiom,
(hasType(type_GeographicArea, inst_NorthernCaucasiusChechnya))).
fof(axCountriesAndRegions471, axiom,
(hasType(type_Nation, inst_NorthernIreland))).
fof(axCountriesAndRegions472, axiom,
(hasType(type_City, inst_NovogroznyRussia))).
fof(axCountriesAndRegions473, axiom,
(hasType(type_City, inst_NovyyAtagiRussia))).
fof(axCountriesAndRegions474, axiom,
(hasType(type_City, inst_OberwartAustria))).
fof(axCountriesAndRegions475, axiom,
(hasType(type_City, inst_OfraWestBank))).
fof(axCountriesAndRegions476, axiom,
(hasType(type_AmericanState, inst_Ohio))).
fof(axCountriesAndRegions477, axiom,
(hasType(type_GeographicArea, inst_OilbaseAlgeria))).
fof(axCountriesAndRegions478, axiom,
(hasType(type_City, inst_OkaraPakistan))).
fof(axCountriesAndRegions479, axiom,
(hasType(type_AmericanState, inst_Oklahoma))).
fof(axCountriesAndRegions480, axiom,
(hasType(type_City, inst_OlayaHerreraColombia))).
fof(axCountriesAndRegions481, axiom,
(hasType(type_City, inst_OmaghNorthernIreland))).
fof(axCountriesAndRegions482, axiom,
(hasType(type_City, inst_OrYehudaIsrael))).
fof(axCountriesAndRegions483, axiom,
(hasType(type_City, inst_OranAlgeria))).
fof(axCountriesAndRegions484, axiom,
(hasType(type_AmericanState, inst_Oregon))).
fof(axCountriesAndRegions485, axiom,
(hasType(type_City, inst_OsakaJapan))).
fof(axCountriesAndRegions486, axiom,
(hasType(type_City, inst_OsloNorway))).
fof(axCountriesAndRegions487, axiom,
(hasType(type_City, inst_OssnabruckGermany))).
fof(axCountriesAndRegions488, axiom,
(hasType(type_GeographicArea, inst_OthnielJunctionIsrael))).
fof(axCountriesAndRegions489, axiom,
(hasType(type_City, inst_OtnielWestBank))).
fof(axCountriesAndRegions490, axiom,
(hasType(type_City, inst_OtzarinWestBank))).
fof(axCountriesAndRegions491, axiom,
(hasType(type_City, inst_OzamisPhilippines))).
fof(axCountriesAndRegions492, axiom,
(hasType(type_City, inst_PahalgamIndia))).
fof(axCountriesAndRegions493, axiom,
(hasType(type_OverseasArea, inst_Palestine))).
fof(axCountriesAndRegions494, axiom,
(hasType(type_PoliticalOrganization, inst_PalestinianLiberationOrganization))).
fof(axCountriesAndRegions495, axiom,
(hasType(type_City, inst_PalorinyaUganda))).
fof(axCountriesAndRegions496, axiom,
(hasType(type_City, inst_PamplonaSpain))).
fof(axCountriesAndRegions497, axiom,
(hasType(type_City, inst_PanamaCityPanama))).
fof(axCountriesAndRegions498, axiom,
(hasType(type_City, inst_PantrasGreece))).
fof(axCountriesAndRegions499, axiom,
(hasType(type_City, inst_PapayinColombia))).
fof(axCountriesAndRegions500, axiom,
(hasType(type_City, inst_PapuaIndonesia))).
fof(axCountriesAndRegions501, axiom,
(hasType(type_EuropeanCity, inst_Paris))).
fof(axCountriesAndRegions502, axiom,
(hasType(type_EuropeanCity, inst_ParisFrance))).
fof(axCountriesAndRegions503, axiom,
(hasType(type_City, inst_PatikulPhilippines))).
fof(axCountriesAndRegions504, axiom,
(hasType(type_City, inst_PauFrance))).
fof(axCountriesAndRegions505, axiom,
(hasType(type_City, inst_PeAtSadehGazaStrip))).
fof(axCountriesAndRegions506, axiom,
(hasType(type_AmericanState, inst_Pennsylvania))).
fof(axCountriesAndRegions507, axiom,
(hasType(type_City, inst_PeshawarPakistan))).
fof(axCountriesAndRegions508, axiom,
(hasType(type_City, inst_PetahTikva))).
fof(axCountriesAndRegions509, axiom,
(hasType(type_City, inst_PetahTikvahIsrael))).
fof(axCountriesAndRegions510, axiom,
(hasType(type_AmericanCity, inst_PhiladelphiaPennsylvania))).
fof(axCountriesAndRegions511, axiom,
(hasType(type_City, inst_PhnomPenhCambodia))).
fof(axCountriesAndRegions512, axiom,
(hasType(type_AmericanCity, inst_PittsburghPennsylvania))).
fof(axCountriesAndRegions513, axiom,
(hasType(type_City, inst_PortadownIreland))).
fof(axCountriesAndRegions514, axiom,
(hasType(type_City, inst_PragueCzechRepublic))).
fof(axCountriesAndRegions515, axiom,
(hasType(type_AmericanCity, inst_ProvidenceRhodeIsland))).
fof(axCountriesAndRegions516, axiom,
(hasType(type_City, inst_PuertoAlviraColombia))).
fof(axCountriesAndRegions517, axiom,
(hasType(type_City, inst_PuertoLlerasColombia))).
fof(axCountriesAndRegions518, axiom,
(hasType(type_City, inst_PunjabPakistan))).
fof(axCountriesAndRegions519, axiom,
(hasType(type_City, inst_QuettaPakistan))).
fof(axCountriesAndRegions520, axiom,
(hasType(type_City, inst_QuitoEcuador))).
fof(axCountriesAndRegions521, axiom,
(hasType(type_City, inst_RadaAmanYemen))).
fof(axCountriesAndRegions522, axiom,
(hasType(type_City, inst_RafahGazaStrip))).
fof(axCountriesAndRegions523, axiom,
(hasType(type_City, inst_RamaJunctionWestBank))).
fof(axCountriesAndRegions524, axiom,
(hasType(type_City, inst_RamalDeAspusanaPeru))).
fof(axCountriesAndRegions525, axiom,
(hasType(type_City, inst_RamallahWestBank))).
fof(axCountriesAndRegions526, axiom,
(hasType(type_City, inst_RamatGanIsrael))).
fof(axCountriesAndRegions527, axiom,
(hasType(type_City, inst_RaminWestBank))).
fof(axCountriesAndRegions528, axiom,
(hasType(type_City, inst_RamleIsrael))).
fof(axCountriesAndRegions529, axiom,
(hasType(type_City, inst_RawalpindiPakistan))).
fof(axCountriesAndRegions530, axiom,
(hasType(type_River, inst_RedRiver))).
fof(axCountriesAndRegions531, axiom,
(hasType(type_Nation, inst_RepublicOfGeorgia))).
fof(axCountriesAndRegions532, axiom,
(hasType(type_City, inst_ReusSpain))).
fof(axCountriesAndRegions533, axiom,
(hasType(type_AmericanState, inst_RhodeIsland))).
fof(axCountriesAndRegions534, axiom,
(hasType(type_Nation, inst_Rhodes))).
fof(axCountriesAndRegions535, axiom,
(hasType(type_AmericanCity, inst_RichmondVirginia))).
fof(axCountriesAndRegions536, axiom,
(hasType(type_City, inst_RigaLatvia))).
fof(axCountriesAndRegions537, axiom,
(hasType(type_City, inst_RijekaCroatia))).
fof(axCountriesAndRegions538, axiom,
(hasType(type_GeographicArea, inst_RimalDistrictGazaStrip))).
fof(axCountriesAndRegions539, axiom,
(hasType(type_City, inst_RishonLeZionIsrael))).
fof(axCountriesAndRegions540, axiom,
(hasType(type_City, inst_RiyadhSaudiArabia))).
fof(axCountriesAndRegions541, axiom,
(hasType(type_City, inst_RoermondNetherlands))).
fof(axCountriesAndRegions542, axiom,
(hasType(type_City, inst_RosasSpain))).
fof(axCountriesAndRegions543, axiom,
(hasType(type_City, inst_RostovOnDonRussia))).
fof(axCountriesAndRegions544, axiom,
(hasType(type_City, inst_RuhengeriRwanda))).
fof(axCountriesAndRegions545, axiom,
(hasType(type_GeographicArea, inst_SaadaPakistan))).
fof(axCountriesAndRegions546, axiom,
(hasType(type_City, inst_SaadaYemen))).
fof(axCountriesAndRegions547, axiom,
(hasType(type_City, inst_SabatenaColombia))).
fof(axCountriesAndRegions548, axiom,
(hasType(type_City, inst_SacramentoUnitedStates))).
fof(axCountriesAndRegions549, axiom,
(hasType(type_City, inst_SaintAvoldFrance))).
fof(axCountriesAndRegions550, axiom,
(hasType(type_City, inst_SaintJeanDeLuzFrance))).
fof(axCountriesAndRegions551, axiom,
(hasType(type_AmericanCity, inst_SaintLouisMissouri))).
fof(axCountriesAndRegions552, axiom,
(hasType(type_AmericanCity, inst_SaintPaulMinnesota))).
fof(axCountriesAndRegions553, axiom,
(hasType(type_City, inst_SaintSebastianSpain))).
fof(axCountriesAndRegions554, axiom,
(hasType(type_City, inst_SairanbarIraq))).
fof(axCountriesAndRegions555, axiom,
(hasType(type_City, inst_SajaIAGazaStrip))).
fof(axCountriesAndRegions556, axiom,
(hasType(type_City, inst_SallentDeGallegoSpain))).
fof(axCountriesAndRegions557, axiom,
(hasType(type_City, inst_SamariaWestBank))).
fof(axCountriesAndRegions558, axiom,
(hasType(type_City, inst_SamashkiRussia))).
fof(axCountriesAndRegions559, axiom,
(hasType(type_Nation, inst_Samoa))).
fof(axCountriesAndRegions560, axiom,
(hasType(type_City, inst_SanDiegoColombia))).
fof(axCountriesAndRegions561, axiom,
(hasType(type_AmericanCity, inst_SanFranciscoCalifornia))).
fof(axCountriesAndRegions562, axiom,
(hasType(type_City, inst_SanJoseCostaRica))).
fof(axCountriesAndRegions563, axiom,
(hasType(type_City, inst_SanLuisColombia))).
fof(axCountriesAndRegions564, axiom,
(hasType(type_City, inst_SanMiguelElSalvador))).
fof(axCountriesAndRegions565, axiom,
(hasType(type_City, inst_SanPabloColombia))).
fof(axCountriesAndRegions566, axiom,
(hasType(type_City, inst_SanSabatianSpain))).
fof(axCountriesAndRegions567, axiom,
(hasType(type_City, inst_SanaaYemen))).
fof(axCountriesAndRegions568, axiom,
(hasType(type_City, inst_SangaldanIndia))).
fof(axCountriesAndRegions569, axiom,
(hasType(type_City, inst_SantaMartaColombia))).
fof(axCountriesAndRegions570, axiom,
(hasType(type_City, inst_SantaPolaSpain))).
fof(axCountriesAndRegions571, axiom,
(hasType(type_GeographicArea, inst_SantaRitaMountainsPanama))).
fof(axCountriesAndRegions572, axiom,
(hasType(type_City, inst_SantiagoChile))).
fof(axCountriesAndRegions573, axiom,
(hasType(type_City, inst_SanurIsrael))).
fof(axCountriesAndRegions574, axiom,
(hasType(type_City, inst_SarajevoBosniaAndHerzegovina))).
fof(axCountriesAndRegions575, axiom,
(hasType(type_City, inst_SatkhiraBangladesh))).
fof(axCountriesAndRegions576, axiom,
(hasType(type_AmericanCity, inst_SavannahGeorgia))).
fof(axCountriesAndRegions577, axiom,
(hasType(type_GeopoliticalArea, inst_Scotland))).
fof(axCountriesAndRegions578, axiom,
(hasType(type_City, inst_SegoviaColombia))).
fof(axCountriesAndRegions579, axiom,
(hasType(type_City, inst_SeoulSouthKorea))).
fof(axCountriesAndRegions580, axiom,
(hasType(type_City, inst_SevilleSpain))).
fof(axCountriesAndRegions581, axiom,
(hasType(type_City, inst_ShadmotMeholaWestBank))).
fof(axCountriesAndRegions582, axiom,
(hasType(type_City, inst_ShaveiShomronWestBank))).
fof(axCountriesAndRegions583, axiom,
(hasType(type_City, inst_SheikhAjlunGazaStrip))).
fof(axCountriesAndRegions584, axiom,
(hasType(type_City, inst_ShiloWestBank))).
fof(axCountriesAndRegions585, axiom,
(hasType(type_City, inst_ShimiEcuador))).
fof(axCountriesAndRegions586, axiom,
(hasType(type_City, inst_ShlomiIsrael))).
fof(axCountriesAndRegions587, axiom,
(hasType(type_City, inst_SidiHalifahLibya))).
fof(axCountriesAndRegions588, axiom,
(hasType(type_City, inst_SidonLebanon))).
fof(axCountriesAndRegions589, axiom,
(hasType(type_City, inst_SiirtTurkey))).
fof(axCountriesAndRegions590, axiom,
(hasType(type_City, inst_SilatADaharWestBank))).
fof(axCountriesAndRegions591, axiom,
(hasType(type_GeographicArea, inst_SipadanIslandMalaysia))).
fof(axCountriesAndRegions592, axiom,
(hasType(type_City, inst_Sitra))).
fof(axCountriesAndRegions593, axiom,
(hasType(type_City, inst_SitrahBahrain))).
fof(axCountriesAndRegions594, axiom,
(hasType(type_City, inst_SoporeIndia))).
fof(axCountriesAndRegions595, axiom,
(hasType(type_AmericanState, inst_SouthCarolina))).
fof(axCountriesAndRegions596, axiom,
(hasType(type_AmericanState, inst_SouthDakota))).
fof(axCountriesAndRegions597, axiom,
(hasType(type_EuropeanNation, inst_SovietUnion))).
fof(axCountriesAndRegions598, axiom,
(hasType(type_City, inst_SrinagarIndia))).
fof(axCountriesAndRegions599, axiom,
(hasType(type_City, inst_SrinigarIndia))).
fof(axCountriesAndRegions600, axiom,
(hasType(type_City, inst_SriperumbudurIndia))).
fof(axCountriesAndRegions601, axiom,
(hasType(type_City, inst_StewartstownNorthernIreland))).
fof(axCountriesAndRegions602, axiom,
(hasType(type_City, inst_StockholmSweden))).
fof(axCountriesAndRegions603, axiom,
(hasType(type_City, inst_StrasbourgFrance))).
fof(axCountriesAndRegions604, axiom,
(hasType(type_City, inst_SukaiManiyah))).
fof(axCountriesAndRegions605, axiom,
(hasType(type_GeographicArea, inst_SukaimaniyahIraq))).
fof(axCountriesAndRegions606, axiom,
(hasType(type_City, inst_SulawesiIndonesia))).
fof(axCountriesAndRegions607, axiom,
(hasType(type_City, inst_SulaymaniyahIraq))).
fof(axCountriesAndRegions608, axiom,
(hasType(type_City, inst_SumayrYemen))).
fof(axCountriesAndRegions609, axiom,
(hasType(type_City, inst_SusiyaWestBank))).
fof(axCountriesAndRegions610, axiom,
(hasType(type_City, inst_TBilisiGeorgia))).
fof(axCountriesAndRegions611, axiom,
(hasType(type_City, inst_TailaPakistan))).
fof(axCountriesAndRegions612, axiom,
(hasType(type_City, inst_TamezGuidaAlgeria))).
fof(axCountriesAndRegions613, axiom,
(hasType(type_City, inst_TandySriLanka))).
fof(axCountriesAndRegions614, axiom,
(hasType(type_City, inst_TaxilaPakistan))).
fof(axCountriesAndRegions615, axiom,
(hasType(type_City, inst_TegucigalpaHonduras))).
fof(axCountriesAndRegions616, axiom,
(hasType(type_City, inst_TeheranIran))).
fof(axCountriesAndRegions617, axiom,
(hasType(type_City, inst_Tehran))).
fof(axCountriesAndRegions618, axiom,
(hasType(type_City, inst_TekoaWestBank))).
fof(axCountriesAndRegions619, axiom,
(hasType(type_City, inst_TelAvivIsrael))).
fof(axCountriesAndRegions620, axiom,
(hasType(type_GeographicArea, inst_TelHaShomerJunctionIsrael))).
fof(axCountriesAndRegions621, axiom,
(hasType(type_City, inst_TelQateifaGazaStrip))).
fof(axCountriesAndRegions622, axiom,
(hasType(type_City, inst_TelRumeiydaIsrael))).
fof(axCountriesAndRegions623, axiom,
(hasType(type_City, inst_TelemIsrael))).
fof(axCountriesAndRegions624, axiom,
(hasType(type_City, inst_TenaWestBank))).
fof(axCountriesAndRegions625, axiom,
(hasType(type_AmericanState, inst_Tennessee))).
fof(axCountriesAndRegions626, axiom,
(hasType(type_AmericanState, inst_Texas))).
fof(axCountriesAndRegions627, axiom,
(hasType(type_Nation, inst_TheBahamas))).
fof(axCountriesAndRegions628, axiom,
(hasType(type_City, inst_TheHagueNetherlands))).
fof(axCountriesAndRegions629, axiom,
(hasType(type_GeographicArea, inst_TheKyrgyzCapitalBishkekChina))).
fof(axCountriesAndRegions630, axiom,
(hasType(type_City, inst_ThekraguriIndia))).
fof(axCountriesAndRegions631, axiom,
(hasType(type_City, inst_TiaretAlgeria))).
fof(axCountriesAndRegions632, axiom,
(hasType(type_City, inst_TiratAlgeria))).
fof(axCountriesAndRegions633, axiom,
(hasType(type_City, inst_TokyoJapan))).
fof(axCountriesAndRegions634, axiom,
(hasType(type_City, inst_TolosaSpain))).
fof(axCountriesAndRegions635, axiom,
(hasType(type_City, inst_TopkakiTurkey))).
fof(axCountriesAndRegions636, axiom,
(hasType(type_City, inst_TrabzonTurkey))).
fof(axCountriesAndRegions637, axiom,
(hasType(type_GeographicArea, inst_TrincomaleeHarborSriLanka))).
fof(axCountriesAndRegions638, axiom,
(hasType(type_City, inst_TripoliLibya))).
fof(axCountriesAndRegions639, axiom,
(hasType(type_City, inst_TulkaremWestBank))).
fof(axCountriesAndRegions640, axiom,
(hasType(type_City, inst_TulkarmWestBank))).
fof(axCountriesAndRegions641, axiom,
(hasType(type_City, inst_TunceliTurkey))).
fof(axCountriesAndRegions642, axiom,
(hasType(type_City, inst_TurbatPakistan))).
fof(axCountriesAndRegions643, axiom,
(hasType(type_GeographicArea, inst_UWaIndianReservationColombia))).
fof(axCountriesAndRegions644, axiom,
(hasType(type_City, inst_UmAlFahmIsrael))).
fof(axCountriesAndRegions645, axiom,
(hasType(type_City, inst_UmmQasrIraq))).
fof(axCountriesAndRegions646, axiom,
(hasType(type_City, inst_UrenaVenezuela))).
fof(axCountriesAndRegions647, axiom,
(hasType(type_City, inst_UrraColombia))).
fof(axCountriesAndRegions648, axiom,
(hasType(type_City, inst_UrsMartanRussia))).
fof(axCountriesAndRegions649, axiom,
(hasType(type_AmericanState, inst_Utah))).
fof(axCountriesAndRegions650, axiom,
(hasType(type_City, inst_ValenciaSpain))).
fof(axCountriesAndRegions651, axiom,
(hasType(type_City, inst_ValleduparColombia))).
fof(axCountriesAndRegions652, axiom,
(hasType(type_City, inst_VanTurkey))).
fof(axCountriesAndRegions653, axiom,
(hasType(type_City, inst_VavuniyaSriLanka))).
fof(axCountriesAndRegions654, axiom,
(hasType(type_AmericanState, inst_Vermont))).
fof(axCountriesAndRegions655, axiom,
(hasType(type_City, inst_ViennaAustria))).
fof(axCountriesAndRegions656, axiom,
(hasType(type_City, inst_VientianeLaos))).
fof(axCountriesAndRegions657, axiom,
(hasType(type_City, inst_VillavicencioColombia))).
fof(axCountriesAndRegions658, axiom,
(hasType(type_AmericanState, inst_Virginia))).
fof(axCountriesAndRegions659, axiom,
(hasType(type_City, inst_VitoriaSpain))).
fof(axCountriesAndRegions660, axiom,
(hasType(type_City, inst_VitrollesFrance))).
fof(axCountriesAndRegions661, axiom,
(hasType(type_City, inst_VladikavkazRussia))).
fof(axCountriesAndRegions662, axiom,
(hasType(type_City, inst_VladivostokRussia))).
fof(axCountriesAndRegions663, axiom,
(hasType(type_City, inst_VolgodonskRussia))).
fof(axCountriesAndRegions664, axiom,
(hasType(type_City, inst_WadiAlDabaatYemen))).
fof(axCountriesAndRegions665, axiom,
(hasType(type_City, inst_WadiAraIsrael))).
fof(axCountriesAndRegions666, axiom,
(hasType(type_City, inst_WadiKeltWestBank))).
fof(axCountriesAndRegions667, axiom,
(hasType(type_AmericanState, inst_Washington))).
fof(axCountriesAndRegions668, axiom,
(hasType(type_AmericanCity, inst_WashingtonDCUnitedStates))).
fof(axCountriesAndRegions669, axiom,
(hasType(type_City, inst_WattyanBahrain))).
fof(axCountriesAndRegions670, axiom,
(hasType(type_City, inst_WestBeirutLebanon))).
fof(axCountriesAndRegions671, axiom,
(hasType(type_AmericanState, inst_WestVirginia))).
fof(axCountriesAndRegions672, axiom,
(hasType(type_AmericanState, inst_Wisconsin))).
fof(axCountriesAndRegions673, axiom,
(hasType(type_AmericanState, inst_Wyoming))).
fof(axCountriesAndRegions674, axiom,
(hasType(type_City, inst_XiAnChina))).
fof(axCountriesAndRegions675, axiom,
(hasType(type_City, inst_YaAbadWestBank))).
fof(axCountriesAndRegions676, axiom,
(hasType(type_City, inst_YagurJunctionIsrael))).
fof(axCountriesAndRegions677, axiom,
(hasType(type_City, inst_YehudIsrael))).
fof(axCountriesAndRegions678, axiom,
(hasType(type_City, inst_YerevanArmenia))).
fof(axCountriesAndRegions679, axiom,
(hasType(type_City, inst_YitzharWestBank))).
fof(axCountriesAndRegions680, axiom,
(hasType(type_City, inst_YokotaJapan))).
fof(axCountriesAndRegions681, axiom,
(hasType(type_City, inst_YopalColombia))).
fof(axCountriesAndRegions682, axiom,
(hasType(type_City, inst_YuksekovaTurkey))).
fof(axCountriesAndRegions683, axiom,
(hasType(type_City, inst_ZaitaIsrael))).
fof(axCountriesAndRegions684, axiom,
(hasType(type_City, inst_ZamarYemen))).
fof(axCountriesAndRegions685, axiom,
(hasType(type_City, inst_ZamboangaPhilippines))).
fof(axCountriesAndRegions686, axiom,
(hasType(type_City, inst_ZamboangoPhilippines))).
fof(axCountriesAndRegions687, axiom,
(hasType(type_City, inst_ZaragozaSpain))).
fof(axCountriesAndRegions688, axiom,
(hasType(type_City, inst_ZarauzSpain))).
fof(axCountriesAndRegions689, axiom,
(hasType(type_GeographicArea, inst_ZeifIntersectionWestBank))).
fof(axCountriesAndRegions690, axiom,
(hasType(type_City, inst_ZekharyaIsrael))).
fof(axCountriesAndRegions691, axiom,
(hasType(type_Nation, inst_Zimbabwe))).
fof(axCountriesAndRegions692, axiom,
(hasType(type_City, inst_ZuliaColombia))).
fof(axCountriesAndRegions693, axiom,
(hasType(type_City, inst_ZumaiaSpain))).
fof(axCountriesAndRegions694, axiom,
(hasType(type_City, inst_ZumarragaSpain))).
fof(axCountriesAndRegions695, axiom,
(hasType(type_City, inst_ZvornikBosniaAndHerzegovina))).
fof(axCountriesAndRegions696, axiom,
(hasType(type_GeographicArea, inst_oilfieldsVenezuela))).
fof(axCountriesAndRegions697, axiom,
(hasType(type_LandArea, inst_AmericanSamoa) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_AmericanSamoa))).
fof(axCountriesAndRegions698, axiom,
(hasType(type_LandArea, inst_Anguilla) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_Anguilla))).
fof(axCountriesAndRegions699, axiom,
(hasType(type_LandArea, inst_Aruba) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_Aruba))).
fof(axCountriesAndRegions700, axiom,
(hasType(type_LandArea, inst_AshmoreAndCartierIslands) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_AshmoreAndCartierIslands))).
fof(axCountriesAndRegions701, axiom,
(hasType(type_LandArea, inst_BakerIsland) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_BakerIsland))).
fof(axCountriesAndRegions702, axiom,
(hasType(type_Island, inst_BassasDaIndia) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_BassasDaIndia))).
fof(axCountriesAndRegions703, axiom,
(hasType(type_EuropeanCity, inst_BerlinGermany))).
fof(axCountriesAndRegions704, axiom,
(hasType(type_LandArea, inst_Bermuda) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_Bermuda))).
fof(axCountriesAndRegions705, axiom,
(hasType(type_Island, inst_BouvetIsland) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_BouvetIsland))).
fof(axCountriesAndRegions706, axiom,
(hasType(type_LandArea, inst_BritishIndianOceanTerritory) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_BritishIndianOceanTerritory))).
fof(axCountriesAndRegions707, axiom,
(hasType(type_LandArea, inst_BritishVirginIslands) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_BritishVirginIslands))).
fof(axCountriesAndRegions708, axiom,
(hasType(type_LandArea, inst_CaymanIslands) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_CaymanIslands))).
fof(axCountriesAndRegions709, axiom,
(hasType(type_LandArea, inst_ChristmasIsland) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_ChristmasIsland))).
fof(axCountriesAndRegions710, axiom,
(hasType(type_LandArea, inst_ClippertonIsland) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_ClippertonIsland))).
fof(axCountriesAndRegions711, axiom,
(hasType(type_LandArea, inst_CocosKeelingIslands) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_CocosKeelingIslands))).
fof(axCountriesAndRegions712, axiom,
(hasType(type_LandArea, inst_CookIslands) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_CookIslands))).
fof(axCountriesAndRegions713, axiom,
(hasType(type_EuropeanCity, inst_CopenhagenDenmark))).
fof(axCountriesAndRegions714, axiom,
(hasType(type_LandArea, inst_CoralSeaIslands) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_CoralSeaIslands))).
fof(axCountriesAndRegions715, axiom,
(hasType(type_Island, inst_EuropaIsland) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_EuropaIsland))).
fof(axCountriesAndRegions716, axiom,
(hasType(type_LandArea, inst_FalklandIslands) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_FalklandIslands))).
fof(axCountriesAndRegions717, axiom,
(hasType(type_LandArea, inst_FaroeIslands) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_FaroeIslands))).
fof(axCountriesAndRegions718, axiom,
(hasType(type_LandArea, inst_FrenchPolynesia) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_FrenchPolynesia))).
fof(axCountriesAndRegions719, axiom,
(hasType(type_LandArea, inst_FrenchSouthernAndAntarcticLands) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_FrenchSouthernAndAntarcticLands))).
fof(axCountriesAndRegions720, axiom,
(hasType(type_LandArea, inst_GazaStrip) & hasType(type_Nation, inst_GazaStrip) & hasType(type_GeographicArea, inst_GazaStrip) & hasType(type_GeopoliticalArea, inst_GazaStrip))).
fof(axCountriesAndRegions721, axiom,
(hasType(type_LandArea, inst_Gibraltar) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_Gibraltar))).
fof(axCountriesAndRegions722, axiom,
(hasType(type_Island, inst_GloriosoIslands) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_GloriosoIslands))).
fof(axCountriesAndRegions723, axiom,
(hasType(type_LandArea, inst_Greenland) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_Greenland))).
fof(axCountriesAndRegions724, axiom,
(hasType(type_LandArea, inst_Guadeloupe) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_Guadeloupe))).
fof(axCountriesAndRegions725, axiom,
(hasType(type_DependencyOrSpecialSovereigntyArea, inst_Guam) & hasType(type_Island, inst_Guam))).
fof(axCountriesAndRegions726, axiom,
(hasType(type_LandArea, inst_Guernsey) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_Guernsey))).
fof(axCountriesAndRegions727, axiom,
(hasType(type_Island, inst_HeardIslandAndMcDonaldIslands) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_HeardIslandAndMcDonaldIslands))).
fof(axCountriesAndRegions728, axiom,
(hasType(type_LandArea, inst_HongKong) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_HongKong))).
fof(axCountriesAndRegions729, axiom,
(hasType(type_LandArea, inst_HowlandIsland) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_HowlandIsland))).
fof(axCountriesAndRegions730, axiom,
(hasType(type_LandArea, inst_IsleOfMan) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_IsleOfMan))).
fof(axCountriesAndRegions731, axiom,
(hasType(type_LandArea, inst_JanMayenIsland) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_JanMayenIsland))).
fof(axCountriesAndRegions732, axiom,
(hasType(type_LandArea, inst_JarvisIsland) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_JarvisIsland))).
fof(axCountriesAndRegions733, axiom,
(hasType(type_LandArea, inst_Jersey) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_Jersey))).
fof(axCountriesAndRegions734, axiom,
(hasType(type_LandArea, inst_JohnstonAtoll) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_JohnstonAtoll))).
fof(axCountriesAndRegions735, axiom,
(hasType(type_Island, inst_JuanDeNovaIsland) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_JuanDeNovaIsland))).
fof(axCountriesAndRegions736, axiom,
(hasType(type_LandArea, inst_KingmanReef) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_KingmanReef))).
fof(axCountriesAndRegions737, axiom,
(hasType(type_EuropeanCity, inst_LondonUnitedKingdom))).
fof(axCountriesAndRegions738, axiom,
(hasType(type_LandArea, inst_Macau) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_Macau))).
fof(axCountriesAndRegions739, axiom,
(hasType(type_LandArea, inst_Martinique) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_Martinique))).
fof(axCountriesAndRegions740, axiom,
(hasType(type_Island, inst_Mayotte) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_Mayotte))).
fof(axCountriesAndRegions741, axiom,
(hasType(type_LandArea, inst_MidwayIslands) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_MidwayIslands))).
fof(axCountriesAndRegions742, axiom,
(hasType(type_LandArea, inst_Montserrat) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_Montserrat))).
fof(axCountriesAndRegions743, axiom,
(hasType(type_EuropeanCity, inst_MoscowRussia))).
fof(axCountriesAndRegions744, axiom,
(hasType(type_LandArea, inst_NavassaIsland) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_NavassaIsland))).
fof(axCountriesAndRegions745, axiom,
(hasType(type_LandArea, inst_NetherlandsAntilles) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_NetherlandsAntilles))).
fof(axCountriesAndRegions746, axiom,
(hasType(type_LandArea, inst_Niue) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_Niue))).
fof(axCountriesAndRegions747, axiom,
(hasType(type_LandArea, inst_NorfolkIsland) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_NorfolkIsland))).
fof(axCountriesAndRegions748, axiom,
(hasType(type_LandArea, inst_NorthernMarianaIslands) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_NorthernMarianaIslands))).
fof(axCountriesAndRegions749, axiom,
(hasType(type_LandArea, inst_PalmyraAtoll) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_PalmyraAtoll))).
fof(axCountriesAndRegions750, axiom,
(hasType(type_LandArea, inst_ParacelIslands) & hasType(type_GeopoliticalArea, inst_ParacelIslands))).
fof(axCountriesAndRegions751, axiom,
(hasType(type_LandArea, inst_PitcairnIslands) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_PitcairnIslands))).
fof(axCountriesAndRegions752, axiom,
(hasType(type_Archipelago, inst_PuertoRico) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_PuertoRico))).
fof(axCountriesAndRegions753, axiom,
(hasType(type_Nation, inst_Reunion) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_Reunion))).
fof(axCountriesAndRegions754, axiom,
(hasType(type_EuropeanCity, inst_RomeItaly))).
fof(axCountriesAndRegions755, axiom,
(hasType(type_LandArea, inst_SaintHelena) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_SaintHelena))).
fof(axCountriesAndRegions756, axiom,
(hasType(type_LandArea, inst_SaintPierreAndMiquelon) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_SaintPierreAndMiquelon))).
fof(axCountriesAndRegions757, axiom,
(hasType(type_LandArea, inst_SouthGeorgiaAndTheSouthSandwichIslands) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_SouthGeorgiaAndTheSouthSandwichIslands))).
fof(axCountriesAndRegions758, axiom,
(hasType(type_LandArea, inst_SpratlyIslands) & hasType(type_GeopoliticalArea, inst_SpratlyIslands))).
fof(axCountriesAndRegions759, axiom,
(hasType(type_LandArea, inst_Svalbard) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_Svalbard))).
fof(axCountriesAndRegions760, axiom,
(hasType(type_LandArea, inst_Tokelau) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_Tokelau))).
fof(axCountriesAndRegions761, axiom,
(hasType(type_Island, inst_TromelinIsland) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_TromelinIsland))).
fof(axCountriesAndRegions762, axiom,
(hasType(type_LandArea, inst_TurksAndCaicosIslands) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_TurksAndCaicosIslands))).
fof(axCountriesAndRegions763, axiom,
(hasType(type_Archipelago, inst_VirginIslands) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_VirginIslands))).
fof(axCountriesAndRegions764, axiom,
(hasType(type_LandArea, inst_WakeIsland) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_WakeIsland))).
fof(axCountriesAndRegions765, axiom,
(hasType(type_LandArea, inst_WallisAndFutuna) & hasType(type_DependencyOrSpecialSovereigntyArea, inst_WallisAndFutuna))).
fof(axCountriesAndRegions766, axiom,
(hasType(type_EuropeanCity, inst_WarsawPoland))).
fof(axCountriesAndRegions767, axiom,
(hasType(type_LandArea, inst_WestBank) & hasType(type_Nation, inst_WestBank) & hasType(type_GeographicArea, inst_WestBank) & hasType(type_GeopoliticalArea, inst_WestBank))).