diff options
| author | john.j.camilleri <john.j.camilleri@chalmers.se> | 2013-09-16 07:17:27 +0000 |
|---|---|---|
| committer | john.j.camilleri <john.j.camilleri@chalmers.se> | 2013-09-16 07:17:27 +0000 |
| commit | f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 (patch) | |
| tree | 946c9e8542b8e8271b6b529a95c0400fa6613cb4 /examples/SUMO/TPTP/CountriesAndRegionsAx.p | |
| parent | 8e1c6cca407c82fc09569d80c231b8d256735989 (diff) | |
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
Diffstat (limited to 'examples/SUMO/TPTP/CountriesAndRegionsAx.p')
| -rw-r--r-- | examples/SUMO/TPTP/CountriesAndRegionsAx.p | 2307 |
1 files changed, 0 insertions, 2307 deletions
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))).
-
|