From f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Mon, 16 Sep 2013 07:17:27 +0000 Subject: Remove contribs and examples Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb --- examples/SUMO/TPTP/CountriesAndRegionsAx.p | 2307 ---------------------------- 1 file changed, 2307 deletions(-) delete mode 100644 examples/SUMO/TPTP/CountriesAndRegionsAx.p (limited to 'examples/SUMO/TPTP/CountriesAndRegionsAx.p') diff --git a/examples/SUMO/TPTP/CountriesAndRegionsAx.p b/examples/SUMO/TPTP/CountriesAndRegionsAx.p deleted file mode 100644 index e57cad802..000000000 --- a/examples/SUMO/TPTP/CountriesAndRegionsAx.p +++ /dev/null @@ -1,2307 +0,0 @@ -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))). - -- cgit v1.2.3