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/CommunicationsPredAx.p | 3411 ----------------------------- 1 file changed, 3411 deletions(-) delete mode 100644 examples/SUMO/TPTP/CommunicationsPredAx.p (limited to 'examples/SUMO/TPTP/CommunicationsPredAx.p') diff --git a/examples/SUMO/TPTP/CommunicationsPredAx.p b/examples/SUMO/TPTP/CommunicationsPredAx.p deleted file mode 100644 index 1eddb0620..000000000 --- a/examples/SUMO/TPTP/CommunicationsPredAx.p +++ /dev/null @@ -1,3411 +0,0 @@ -fof(axCountriesP0, axiom, - f_part(inst_NewEngland,inst_UnitedStates)). - -fof(axCountriesP1, axiom, - f_meetsSpatially(inst_Europe,inst_Asia)). - -fof(axCountriesP2, axiom, - f_part(inst_Paris,inst_France)). - -fof(axCountriesP3, axiom, - f_capitalCity(inst_LondonUnitedKingdom,inst_UnitedKingdom)). - -fof(axCountriesP4, axiom, - f_geographicSubregion(inst_Burundi,inst_CentralAfrica)). - -fof(axCountriesP5, axiom, - f_geographicSubregion(inst_CentralAfricanRepublic,inst_CentralAfrica)). - -fof(axCountriesP6, axiom, - f_geographicSubregion(inst_Chad,inst_CentralAfrica)). - -fof(axCountriesP7, axiom, - f_geographicSubregion(inst_DemocraticRepublicOfTheCongo,inst_CentralAfrica)). - -fof(axCountriesP8, axiom, - f_geographicSubregion(inst_Rwanda,inst_CentralAfrica)). - -fof(axCountriesP9, axiom, - f_geographicSubregion(inst_Djibouti,inst_EasternAfrica)). - -fof(axCountriesP10, axiom, - f_geographicSubregion(inst_Eritrea,inst_EasternAfrica)). - -fof(axCountriesP11, axiom, - f_geographicSubregion(inst_Ethiopia,inst_EasternAfrica)). - -fof(axCountriesP12, axiom, - f_geographicSubregion(inst_Kenya,inst_EasternAfrica)). - -fof(axCountriesP13, axiom, - f_geographicSubregion(inst_Seychelles,inst_EasternAfrica)). - -fof(axCountriesP14, axiom, - f_geographicSubregion(inst_Somalia,inst_EasternAfrica)). - -fof(axCountriesP15, axiom, - f_geographicSubregion(inst_Tanzania,inst_EasternAfrica)). - -fof(axCountriesP16, axiom, - f_geographicSubregion(inst_Uganda,inst_EasternAfrica)). - -fof(axCountriesP17, axiom, - f_geographicSubregion(inst_Algeria,inst_NorthernAfrica)). - -fof(axCountriesP18, axiom, - f_geographicSubregion(inst_Egypt,inst_NorthernAfrica)). - -fof(axCountriesP19, axiom, - f_geographicSubregion(inst_Libya,inst_NorthernAfrica)). - -fof(axCountriesP20, axiom, - f_geographicSubregion(inst_Mauritania,inst_NorthernAfrica)). - -fof(axCountriesP21, axiom, - f_geographicSubregion(inst_Morocco,inst_NorthernAfrica)). - -fof(axCountriesP22, axiom, - f_part(inst_Morocco,inst_Africa)). - -fof(axCountriesP23, axiom, - f_geographicSubregion(inst_Sudan,inst_NorthernAfrica)). - -fof(axCountriesP24, axiom, - f_geographicSubregion(inst_Tunisia,inst_NorthernAfrica)). - -fof(axCountriesP25, axiom, - f_geographicSubregion(inst_WesternSahara,inst_NorthernAfrica)). - -fof(axCountriesP26, axiom, - f_meetsSpatially(inst_BassasDaIndia,inst_IndianOcean)). - -fof(axCountriesP27, axiom, - f_meetsSpatially(inst_BouvetIsland,inst_SouthAtlanticOcean)). - -fof(axCountriesP28, axiom, - f_meetsSpatially(inst_EuropaIsland,inst_IndianOcean)). - -fof(axCountriesP29, axiom, - f_meetsSpatially(inst_GloriosoIslands,inst_IndianOcean)). - -fof(axCountriesP30, axiom, - f_meetsSpatially(inst_HeardIslandAndMcDonaldIslands,inst_IndianOcean)). - -fof(axCountriesP31, axiom, - f_meetsSpatially(inst_JuanDeNovaIsland,inst_IndianOcean)). - -fof(axCountriesP32, axiom, - f_meetsSpatially(inst_Mayotte,inst_IndianOcean)). - -fof(axCountriesP33, axiom, - f_meetsSpatially(inst_TromelinIsland,inst_IndianOcean)). - -fof(axCountriesP34, axiom, - f_geographicSubregion(inst_Angola,inst_SouthernAfrica)). - -fof(axCountriesP35, axiom, - f_geographicSubregion(inst_BassasDaIndia,inst_SouthernAfrica)). - -fof(axCountriesP36, axiom, - f_geographicSubregion(inst_Botswana,inst_SouthernAfrica)). - -fof(axCountriesP37, axiom, - f_geographicSubregion(inst_BouvetIsland,inst_SouthernAfrica)). - -fof(axCountriesP38, axiom, - f_geographicSubregion(inst_Comoros,inst_SouthernAfrica)). - -fof(axCountriesP39, axiom, - f_geographicSubregion(inst_EuropaIsland,inst_SouthernAfrica)). - -fof(axCountriesP40, axiom, - f_geographicSubregion(inst_GloriosoIslands,inst_SouthernAfrica)). - -fof(axCountriesP41, axiom, - f_geographicSubregion(inst_HeardIslandAndMcDonaldIslands,inst_SouthernAfrica)). - -fof(axCountriesP42, axiom, - f_geographicSubregion(inst_JuanDeNovaIsland,inst_SouthernAfrica)). - -fof(axCountriesP43, axiom, - f_geographicSubregion(inst_Lesotho,inst_SouthernAfrica)). - -fof(axCountriesP44, axiom, - f_geographicSubregion(inst_Madagascar,inst_SouthernAfrica)). - -fof(axCountriesP45, axiom, - f_geographicSubregion(inst_Malawi,inst_SouthernAfrica)). - -fof(axCountriesP46, axiom, - f_geographicSubregion(inst_Mauritius,inst_SouthernAfrica)). - -fof(axCountriesP47, axiom, - f_geographicSubregion(inst_Mayotte,inst_SouthernAfrica)). - -fof(axCountriesP48, axiom, - f_geographicSubregion(inst_Mozambique,inst_SouthernAfrica)). - -fof(axCountriesP49, axiom, - f_geographicSubregion(inst_Namibia,inst_SouthernAfrica)). - -fof(axCountriesP50, axiom, - f_geographicSubregion(inst_Reunion,inst_SouthernAfrica)). - -fof(axCountriesP51, axiom, - f_geographicSubregion(inst_SouthAfrica,inst_SouthernAfrica)). - -fof(axCountriesP52, axiom, - f_geographicSubregion(inst_Swaziland,inst_SouthernAfrica)). - -fof(axCountriesP53, axiom, - f_geographicSubregion(inst_TromelinIsland,inst_SouthernAfrica)). - -fof(axCountriesP54, axiom, - f_geographicSubregion(inst_Zambia,inst_SouthernAfrica)). - -fof(axCountriesP55, axiom, - f_geographicSubregion(inst_Zimbabwe,inst_SouthernAfrica)). - -fof(axCountriesP56, axiom, - f_geographicSubregion(inst_Benin,inst_WesternAfrica)). - -fof(axCountriesP57, axiom, - f_geographicSubregion(inst_BurkinaFaso,inst_WesternAfrica)). - -fof(axCountriesP58, axiom, - f_geographicSubregion(inst_Cameroon,inst_WesternAfrica)). - -fof(axCountriesP59, axiom, - f_geographicSubregion(inst_CapeVerde,inst_WesternAfrica)). - -fof(axCountriesP60, axiom, - f_geographicSubregion(inst_CoteDIvoire,inst_WesternAfrica)). - -fof(axCountriesP61, axiom, - f_geographicSubregion(inst_EquatorialGuinea,inst_WesternAfrica)). - -fof(axCountriesP62, axiom, - f_geographicSubregion(inst_Gabon,inst_WesternAfrica)). - -fof(axCountriesP63, axiom, - f_geographicSubregion(inst_Gambia,inst_WesternAfrica)). - -fof(axCountriesP64, axiom, - f_geographicSubregion(inst_Ghana,inst_WesternAfrica)). - -fof(axCountriesP65, axiom, - f_geographicSubregion(inst_Guinea,inst_WesternAfrica)). - -fof(axCountriesP66, axiom, - f_geographicSubregion(inst_GuineaBissau,inst_WesternAfrica)). - -fof(axCountriesP67, axiom, - f_geographicSubregion(inst_Liberia,inst_WesternAfrica)). - -fof(axCountriesP68, axiom, - f_geographicSubregion(inst_Mali,inst_WesternAfrica)). - -fof(axCountriesP69, axiom, - f_geographicSubregion(inst_Niger,inst_WesternAfrica)). - -fof(axCountriesP70, axiom, - f_geographicSubregion(inst_Nigeria,inst_WesternAfrica)). - -fof(axCountriesP71, axiom, - f_geographicSubregion(inst_SaoTomeAndPrincipe,inst_WesternAfrica)). - -fof(axCountriesP72, axiom, - f_geographicSubregion(inst_Senegal,inst_WesternAfrica)). - -fof(axCountriesP73, axiom, - f_geographicSubregion(inst_SierraLeone,inst_WesternAfrica)). - -fof(axCountriesP74, axiom, - f_geographicSubregion(inst_Togo,inst_WesternAfrica)). - -fof(axCountriesP75, axiom, - f_located(inst_SaintHelena,inst_SouthAtlanticOcean)). - -fof(axCountriesP76, axiom, - f_between(inst_SouthAmerica,inst_SaintHelena,inst_WesternAfrica)). - -fof(axCountriesP77, axiom, - f_geographicSubregion(inst_Bahrain,inst_MiddleEastRegion)). - -fof(axCountriesP78, axiom, - f_geographicSubregion(inst_Cyprus,inst_MiddleEastRegion)). - -fof(axCountriesP79, axiom, - f_geographicSubregion(inst_GazaStrip,inst_MiddleEastRegion)). - -fof(axCountriesP80, axiom, - f_geographicSubregion(inst_Iran,inst_MiddleEastRegion)). - -fof(axCountriesP81, axiom, - f_geographicSubregion(inst_Iraq,inst_MiddleEastRegion)). - -fof(axCountriesP82, axiom, - f_geographicSubregion(inst_Israel,inst_MiddleEastRegion)). - -fof(axCountriesP83, axiom, - f_geographicSubregion(inst_Jordan,inst_MiddleEastRegion)). - -fof(axCountriesP84, axiom, - f_geographicSubregion(inst_Kuwait,inst_MiddleEastRegion)). - -fof(axCountriesP85, axiom, - f_geographicSubregion(inst_Lebanon,inst_MiddleEastRegion)). - -fof(axCountriesP86, axiom, - f_geographicSubregion(inst_Oman,inst_MiddleEastRegion)). - -fof(axCountriesP87, axiom, - f_geographicSubregion(inst_Qatar,inst_MiddleEastRegion)). - -fof(axCountriesP88, axiom, - f_geographicSubregion(inst_SaudiArabia,inst_MiddleEastRegion)). - -fof(axCountriesP89, axiom, - f_geographicSubregion(inst_Syria,inst_MiddleEastRegion)). - -fof(axCountriesP90, axiom, - f_geographicSubregion(inst_UnitedArabEmirates,inst_MiddleEastRegion)). - -fof(axCountriesP91, axiom, - f_geographicSubregion(inst_WestBank,inst_MiddleEastRegion)). - -fof(axCountriesP92, axiom, - f_geographicSubregion(inst_Yemen,inst_MiddleEastRegion)). - -fof(axCountriesP93, axiom, - f_geographicSubregion(inst_Austria,inst_CentralEurope)). - -fof(axCountriesP94, axiom, - f_geographicSubregion(inst_CzechRepublic,inst_CentralEurope)). - -fof(axCountriesP95, axiom, - f_geographicSubregion(inst_Germany,inst_CentralEurope)). - -fof(axCountriesP96, axiom, - f_geographicSubregion(inst_Hungary,inst_CentralEurope)). - -fof(axCountriesP97, axiom, - f_geographicSubregion(inst_Liechtenstein,inst_CentralEurope)). - -fof(axCountriesP98, axiom, - f_geographicSubregion(inst_Poland,inst_CentralEurope)). - -fof(axCountriesP99, axiom, - f_geographicSubregion(inst_Slovakia,inst_CentralEurope)). - -fof(axCountriesP100, axiom, - f_geographicSubregion(inst_Slovenia,inst_CentralEurope)). - -fof(axCountriesP101, axiom, - f_geographicSubregion(inst_Switzerland,inst_CentralEurope)). - -fof(axCountriesP102, axiom, - f_geographicSubregion(inst_Belarus,inst_EasternEurope)). - -fof(axCountriesP103, axiom, - f_geographicSubregion(inst_Estonia,inst_EasternEurope)). - -fof(axCountriesP104, axiom, - f_geographicSubregion(inst_Latvia,inst_EasternEurope)). - -fof(axCountriesP105, axiom, - f_geographicSubregion(inst_Lithuania,inst_EasternEurope)). - -fof(axCountriesP106, axiom, - f_geographicSubregion(inst_Moldova,inst_EasternEurope)). - -fof(axCountriesP107, axiom, - f_geographicSubregion(inst_Ukraine,inst_EasternEurope)). - -fof(axCountriesP108, axiom, - f_geographicSubregion(inst_Denmark,inst_NorthernEurope)). - -fof(axCountriesP109, axiom, - f_geographicSubregion(inst_FaroeIslands,inst_NorthernEurope)). - -fof(axCountriesP110, axiom, - f_geographicSubregion(inst_Finland,inst_NorthernEurope)). - -fof(axCountriesP111, axiom, - f_geographicSubregion(inst_Iceland,inst_NorthernEurope)). - -fof(axCountriesP112, axiom, - f_geographicSubregion(inst_JanMayenIsland,inst_NorthernEurope)). - -fof(axCountriesP113, axiom, - f_geographicSubregion(inst_Norway,inst_NorthernEurope)). - -fof(axCountriesP114, axiom, - f_geographicSubregion(inst_Svalbard,inst_NorthernEurope)). - -fof(axCountriesP115, axiom, - f_geographicSubregion(inst_Sweden,inst_NorthernEurope)). - -fof(axCountriesP116, axiom, - f_geographicSubregion(inst_Greece,inst_SouthernEurope)). - -fof(axCountriesP117, axiom, - f_geographicSubregion(inst_HolySee,inst_SouthernEurope)). - -fof(axCountriesP118, axiom, - f_geographicSubregion(inst_Italy,inst_SouthernEurope)). - -fof(axCountriesP119, axiom, - f_geographicSubregion(inst_Malta,inst_SouthernEurope)). - -fof(axCountriesP120, axiom, - f_geographicSubregion(inst_SanMarino,inst_SouthernEurope)). - -fof(axCountriesP121, axiom, - f_geographicSubregion(inst_Belgium,inst_WesternEurope)). - -fof(axCountriesP122, axiom, - f_geographicSubregion(inst_France,inst_WesternEurope)). - -fof(axCountriesP123, axiom, - f_geographicSubregion(inst_Guernsey,inst_WesternEurope)). - -fof(axCountriesP124, axiom, - f_geographicSubregion(inst_Ireland,inst_WesternEurope)). - -fof(axCountriesP125, axiom, - f_geographicSubregion(inst_Jersey,inst_WesternEurope)). - -fof(axCountriesP126, axiom, - f_geographicSubregion(inst_Luxembourg,inst_WesternEurope)). - -fof(axCountriesP127, axiom, - f_geographicSubregion(inst_IsleOfMan,inst_WesternEurope)). - -fof(axCountriesP128, axiom, - f_geographicSubregion(inst_Monaco,inst_WesternEurope)). - -fof(axCountriesP129, axiom, - f_geographicSubregion(inst_Netherlands,inst_WesternEurope)). - -fof(axCountriesP130, axiom, - f_geographicSubregion(inst_UnitedKingdom,inst_WesternEurope)). - -fof(axCountriesP131, axiom, - f_geographicSubregion(inst_Albania,inst_SoutheasternEurope)). - -fof(axCountriesP132, axiom, - f_geographicSubregion(inst_BosniaAndHerzegovina,inst_SoutheasternEurope)). - -fof(axCountriesP133, axiom, - f_geographicSubregion(inst_Bulgaria,inst_SoutheasternEurope)). - -fof(axCountriesP134, axiom, - f_geographicSubregion(inst_Croatia,inst_SoutheasternEurope)). - -fof(axCountriesP135, axiom, - f_geographicSubregion(inst_Macedonia,inst_SoutheasternEurope)). - -fof(axCountriesP136, axiom, - f_geographicSubregion(inst_Romania,inst_SoutheasternEurope)). - -fof(axCountriesP137, axiom, - f_geographicSubregion(inst_Turkey,inst_SoutheasternEurope)). - -fof(axCountriesP138, axiom, - f_geographicSubregion(inst_SerbiaAndMontenegro,inst_SoutheasternEurope)). - -fof(axCountriesP139, axiom, - f_geographicSubregion(inst_Andorra,inst_SouthwesternEurope)). - -fof(axCountriesP140, axiom, - f_geographicSubregion(inst_Gibraltar,inst_SouthwesternEurope)). - -fof(axCountriesP141, axiom, - f_geographicSubregion(inst_Portugal,inst_SouthwesternEurope)). - -fof(axCountriesP142, axiom, - f_geographicSubregion(inst_Spain,inst_SouthwesternEurope)). - -fof(axCountriesP143, axiom, - f_geographicSubregion(inst_Bermuda,inst_NorthAmerica)). - -fof(axCountriesP144, axiom, - f_geographicSubregion(inst_UnitedStates,inst_NorthAmerica)). - -fof(axCountriesP145, axiom, - f_geographicSubregion(inst_Canada,inst_NorthernNorthAmerica)). - -fof(axCountriesP146, axiom, - f_meetsSpatially(inst_Canada,inst_UnitedStates)). - -fof(axCountriesP147, axiom, - f_geographicSubregion(inst_Greenland,inst_NorthernNorthAmerica)). - -fof(axCountriesP148, axiom, - f_geographicSubregion(inst_SaintPierreAndMiquelon,inst_NorthernNorthAmerica)). - -fof(axCountriesP149, axiom, - f_geographicSubregion(inst_Anguilla,inst_CaribbeanRegion)). - -fof(axCountriesP150, axiom, - f_geographicSubregion(inst_AntiguaAndBarbuda,inst_CaribbeanRegion)). - -fof(axCountriesP151, axiom, - f_geographicSubregion(inst_Aruba,inst_CaribbeanRegion)). - -fof(axCountriesP152, axiom, - f_geographicSubregion(inst_TheBahamas,inst_CaribbeanRegion)). - -fof(axCountriesP153, axiom, - f_geographicSubregion(inst_Barbados,inst_CaribbeanRegion)). - -fof(axCountriesP154, axiom, - f_geographicSubregion(inst_BritishVirginIslands,inst_CaribbeanRegion)). - -fof(axCountriesP155, axiom, - f_geographicSubregion(inst_CaymanIslands,inst_CaribbeanRegion)). - -fof(axCountriesP156, axiom, - f_geographicSubregion(inst_Cuba,inst_CaribbeanRegion)). - -fof(axCountriesP157, axiom, - f_geographicSubregion(inst_Dominica,inst_CaribbeanRegion)). - -fof(axCountriesP158, axiom, - f_geographicSubregion(inst_DominicanRepublic,inst_CaribbeanRegion)). - -fof(axCountriesP159, axiom, - f_geographicSubregion(inst_Grenada,inst_CaribbeanRegion)). - -fof(axCountriesP160, axiom, - f_geographicSubregion(inst_Guadeloupe,inst_CaribbeanRegion)). - -fof(axCountriesP161, axiom, - f_geographicSubregion(inst_Haiti,inst_CaribbeanRegion)). - -fof(axCountriesP162, axiom, - f_geographicSubregion(inst_Jamaica,inst_CaribbeanRegion)). - -fof(axCountriesP163, axiom, - f_geographicSubregion(inst_Martinique,inst_CaribbeanRegion)). - -fof(axCountriesP164, axiom, - f_geographicSubregion(inst_Montserrat,inst_CaribbeanRegion)). - -fof(axCountriesP165, axiom, - f_geographicSubregion(inst_NavassaIsland,inst_CaribbeanRegion)). - -fof(axCountriesP166, axiom, - f_geographicSubregion(inst_NetherlandsAntilles,inst_CaribbeanRegion)). - -fof(axCountriesP167, axiom, - f_geographicSubregion(inst_PuertoRico,inst_CaribbeanRegion)). - -fof(axCountriesP168, axiom, - f_geographicSubregion(inst_SaintKittsAndNevis,inst_CaribbeanRegion)). - -fof(axCountriesP169, axiom, - f_geographicSubregion(inst_SaintLucia,inst_CaribbeanRegion)). - -fof(axCountriesP170, axiom, - f_geographicSubregion(inst_SaintVincentAndTheGrenadines,inst_CaribbeanRegion)). - -fof(axCountriesP171, axiom, - f_geographicSubregion(inst_TrinidadAndTobago,inst_CaribbeanRegion)). - -fof(axCountriesP172, axiom, - f_geographicSubregion(inst_TurksAndCaicosIslands,inst_CaribbeanRegion)). - -fof(axCountriesP173, axiom, - f_geographicSubregion(inst_VirginIslands,inst_CaribbeanRegion)). - -fof(axCountriesP174, axiom, - f_geographicSubregion(inst_Belize,inst_MiddleAmerica)). - -fof(axCountriesP175, axiom, - f_geographicSubregion(inst_ClippertonIsland,inst_MiddleAmerica)). - -fof(axCountriesP176, axiom, - f_geographicSubregion(inst_CostaRica,inst_MiddleAmerica)). - -fof(axCountriesP177, axiom, - f_geographicSubregion(inst_ElSalvador,inst_MiddleAmerica)). - -fof(axCountriesP178, axiom, - f_geographicSubregion(inst_Guatemala,inst_MiddleAmerica)). - -fof(axCountriesP179, axiom, - f_geographicSubregion(inst_Honduras,inst_MiddleAmerica)). - -fof(axCountriesP180, axiom, - f_geographicSubregion(inst_Mexico,inst_MiddleAmerica)). - -fof(axCountriesP181, axiom, - f_geographicSubregion(inst_Nicaragua,inst_MiddleAmerica)). - -fof(axCountriesP182, axiom, - f_geographicSubregion(inst_Panama,inst_MiddleAmerica)). - -fof(axCountriesP183, axiom, - f_geographicSubregion(inst_Bolivia,inst_CentralSouthAmerica)). - -fof(axCountriesP184, axiom, - f_geographicSubregion(inst_Paraguay,inst_CentralSouthAmerica)). - -fof(axCountriesP185, axiom, - f_geographicSubregion(inst_Brazil,inst_EasternSouthAmerica)). - -fof(axCountriesP186, axiom, - f_geographicSubregion(inst_Colombia,inst_NorthernSouthAmerica)). - -fof(axCountriesP187, axiom, - f_geographicSubregion(inst_FrenchGuiana,inst_NorthernSouthAmerica)). - -fof(axCountriesP188, axiom, - f_geographicSubregion(inst_Guyana,inst_NorthernSouthAmerica)). - -fof(axCountriesP189, axiom, - f_geographicSubregion(inst_Suriname,inst_NorthernSouthAmerica)). - -fof(axCountriesP190, axiom, - f_geographicSubregion(inst_Venezuela,inst_NorthernSouthAmerica)). - -fof(axCountriesP191, axiom, - f_geographicSubregion(inst_Argentina,inst_SouthernSouthAmerica)). - -fof(axCountriesP192, axiom, - f_geographicSubregion(inst_Chile,inst_SouthernSouthAmerica)). - -fof(axCountriesP193, axiom, - f_geographicSubregion(inst_FalklandIslands,inst_SouthernSouthAmerica)). - -fof(axCountriesP194, axiom, - f_geographicSubregion(inst_SouthGeorgiaAndTheSouthSandwichIslands,inst_SouthernSouthAmerica)). - -fof(axCountriesP195, axiom, - f_geographicSubregion(inst_Uruguay,inst_SouthernSouthAmerica)). - -fof(axCountriesP196, axiom, - f_geographicSubregion(inst_Ecuador,inst_WesternSouthAmerica)). - -fof(axCountriesP197, axiom, - f_geographicSubregion(inst_Peru,inst_WesternSouthAmerica)). - -fof(axCountriesP198, axiom, - f_geographicSubregion(inst_Kazakhstan,inst_CentralAsia)). - -fof(axCountriesP199, axiom, - f_geographicSubregion(inst_Kyrgyzstan,inst_CentralAsia)). - -fof(axCountriesP200, axiom, - f_geographicSubregion(inst_Tajikistan,inst_CentralAsia)). - -fof(axCountriesP201, axiom, - f_geographicSubregion(inst_Turkmenistan,inst_CentralAsia)). - -fof(axCountriesP202, axiom, - f_geographicSubregion(inst_Uzbekistan,inst_CentralAsia)). - -fof(axCountriesP203, axiom, - f_geographicSubregion(inst_China,inst_EasternAsia)). - -fof(axCountriesP204, axiom, - f_geographicSubregion(inst_HongKong,inst_EasternAsia)). - -fof(axCountriesP205, axiom, - f_geographicSubregion(inst_Japan,inst_EasternAsia)). - -fof(axCountriesP206, axiom, - f_geographicSubregion(inst_NorthKorea,inst_EasternAsia)). - -fof(axCountriesP207, axiom, - f_geographicSubregion(inst_SouthKorea,inst_EasternAsia)). - -fof(axCountriesP208, axiom, - f_geographicSubregion(inst_Macau,inst_EasternAsia)). - -fof(axCountriesP209, axiom, - f_geographicSubregion(inst_Taiwan,inst_EasternAsia)). - -fof(axCountriesP210, axiom, - f_geographicSubregion(inst_Mongolia,inst_NorthernAsia)). - -fof(axCountriesP211, axiom, - f_geographicSubregion(inst_Russia,inst_NorthernAsia)). - -fof(axCountriesP212, axiom, - f_geographicSubregion(inst_Afghanistan,inst_SouthernAsia)). - -fof(axCountriesP213, axiom, - f_geographicSubregion(inst_Bangladesh,inst_SouthernAsia)). - -fof(axCountriesP214, axiom, - f_geographicSubregion(inst_Bhutan,inst_SouthernAsia)). - -fof(axCountriesP215, axiom, - f_geographicSubregion(inst_BritishIndianOceanTerritory,inst_SouthernAsia)). - -fof(axCountriesP216, axiom, - f_geographicSubregion(inst_India,inst_SouthernAsia)). - -fof(axCountriesP217, axiom, - f_geographicSubregion(inst_Maldives,inst_SouthernAsia)). - -fof(axCountriesP218, axiom, - f_geographicSubregion(inst_Nepal,inst_SouthernAsia)). - -fof(axCountriesP219, axiom, - f_geographicSubregion(inst_Pakistan,inst_SouthernAsia)). - -fof(axCountriesP220, axiom, - f_geographicSubregion(inst_SriLanka,inst_SouthernAsia)). - -fof(axCountriesP221, axiom, - f_located(inst_FrenchSouthernAndAntarcticLands,inst_IndianOcean)). - -fof(axCountriesP222, axiom, - f_located(inst_FrenchSouthernAndAntarcticLands,f_DirectionalSubregionFn(inst_South,inst_IndianOcean))). - -fof(axCountriesP223, axiom, - f_geographicSubregion(inst_AshmoreAndCartierIslands,inst_SoutheasternAsia)). - -fof(axCountriesP224, axiom, - f_geographicSubregion(inst_Brunei,inst_SoutheasternAsia)). - -fof(axCountriesP225, axiom, - f_geographicSubregion(inst_Myanmar,inst_SoutheasternAsia)). - -fof(axCountriesP226, axiom, - f_geographicSubregion(inst_Cambodia,inst_SoutheasternAsia)). - -fof(axCountriesP227, axiom, - f_geographicSubregion(inst_ChristmasIsland,inst_SoutheasternAsia)). - -fof(axCountriesP228, axiom, - f_geographicSubregion(inst_CocosKeelingIslands,inst_SoutheasternAsia)). - -fof(axCountriesP229, axiom, - f_geographicSubregion(inst_EastTimor,inst_SoutheasternAsia)). - -fof(axCountriesP230, axiom, - f_geographicSubregion(inst_Indonesia,inst_SoutheasternAsia)). - -fof(axCountriesP231, axiom, - f_geographicSubregion(inst_Laos,inst_SoutheasternAsia)). - -fof(axCountriesP232, axiom, - f_geographicSubregion(inst_Malaysia,inst_SoutheasternAsia)). - -fof(axCountriesP233, axiom, - f_geographicSubregion(inst_PapuaNewGuinea,inst_SoutheasternAsia)). - -fof(axCountriesP234, axiom, - f_geographicSubregion(inst_ParacelIslands,inst_SoutheasternAsia)). - -fof(axCountriesP235, axiom, - f_geographicSubregion(inst_Philippines,inst_SoutheasternAsia)). - -fof(axCountriesP236, axiom, - f_geographicSubregion(inst_Singapore,inst_SoutheasternAsia)). - -fof(axCountriesP237, axiom, - f_geographicSubregion(inst_SpratlyIslands,inst_SoutheasternAsia)). - -fof(axCountriesP238, axiom, - f_geographicSubregion(inst_Thailand,inst_SoutheasternAsia)). - -fof(axCountriesP239, axiom, - f_geographicSubregion(inst_Vietnam,inst_SoutheasternAsia)). - -fof(axCountriesP240, axiom, - f_geographicSubregion(inst_Armenia,inst_SouthwesternAsia)). - -fof(axCountriesP241, axiom, - f_geographicSubregion(inst_Azerbaijan,inst_SouthwesternAsia)). - -fof(axCountriesP242, axiom, - f_geographicSubregion(inst_RepublicOfGeorgia,inst_SouthwesternAsia)). - -fof(axCountriesP243, axiom, - f_geographicSubregion(inst_AmericanSamoa,inst_Oceania)). - -fof(axCountriesP244, axiom, - f_geographicSubregion(inst_Australia,inst_Oceania)). - -fof(axCountriesP245, axiom, - f_part(inst_Australia,inst_Oceania)). - -fof(axCountriesP246, axiom, - f_geographicSubregion(inst_BakerIsland,inst_Oceania)). - -fof(axCountriesP247, axiom, - f_geographicSubregion(inst_CookIslands,inst_Oceania)). - -fof(axCountriesP248, axiom, - f_geographicSubregion(inst_CoralSeaIslands,inst_Oceania)). - -fof(axCountriesP249, axiom, - f_geographicSubregion(inst_Fiji,inst_Oceania)). - -fof(axCountriesP250, axiom, - f_geographicSubregion(inst_FrenchPolynesia,inst_Oceania)). - -fof(axCountriesP251, axiom, - f_geographicSubregion(inst_Guam,inst_Oceania)). - -fof(axCountriesP252, axiom, - f_geographicSubregion(inst_HowlandIsland,inst_Oceania)). - -fof(axCountriesP253, axiom, - f_geographicSubregion(inst_JarvisIsland,inst_Oceania)). - -fof(axCountriesP254, axiom, - f_geographicSubregion(inst_JohnstonAtoll,inst_Oceania)). - -fof(axCountriesP255, axiom, - f_geographicSubregion(inst_KingmanReef,inst_Oceania)). - -fof(axCountriesP256, axiom, - f_geographicSubregion(inst_Kiribati,inst_Oceania)). - -fof(axCountriesP257, axiom, - f_geographicSubregion(inst_MarshallIslands,inst_Oceania)). - -fof(axCountriesP258, axiom, - f_geographicSubregion(inst_Micronesia,inst_Oceania)). - -fof(axCountriesP259, axiom, - f_geographicSubregion(inst_MidwayIslands,inst_Oceania)). - -fof(axCountriesP260, axiom, - f_geographicSubregion(inst_Nauru,inst_Oceania)). - -fof(axCountriesP261, axiom, - f_geographicSubregion(inst_NewCaledonia,inst_Oceania)). - -fof(axCountriesP262, axiom, - f_geographicSubregion(inst_NewZealand,inst_Oceania)). - -fof(axCountriesP263, axiom, - f_geographicSubregion(inst_Niue,inst_Oceania)). - -fof(axCountriesP264, axiom, - f_geographicSubregion(inst_NorfolkIsland,inst_Oceania)). - -fof(axCountriesP265, axiom, - f_geographicSubregion(inst_NorthernMarianaIslands,inst_Oceania)). - -fof(axCountriesP266, axiom, - f_geographicSubregion(inst_Palau,inst_Oceania)). - -fof(axCountriesP267, axiom, - f_geographicSubregion(inst_PalmyraAtoll,inst_Oceania)). - -fof(axCountriesP268, axiom, - f_geographicSubregion(inst_PitcairnIslands,inst_Oceania)). - -fof(axCountriesP269, axiom, - f_geographicSubregion(inst_Samoa,inst_Oceania)). - -fof(axCountriesP270, axiom, - f_geographicSubregion(inst_SolomonIslands,inst_Oceania)). - -fof(axCountriesP271, axiom, - f_geographicSubregion(inst_Tokelau,inst_Oceania)). - -fof(axCountriesP272, axiom, - f_geographicSubregion(inst_Tonga,inst_Oceania)). - -fof(axCountriesP273, axiom, - f_geographicSubregion(inst_Tuvalu,inst_Oceania)). - -fof(axCountriesP274, axiom, - f_geographicSubregion(inst_Vanuatu,inst_Oceania)). - -fof(axCountriesP275, axiom, - f_geographicSubregion(inst_WakeIsland,inst_Oceania)). - -fof(axCountriesP276, axiom, - f_geographicSubregion(inst_WallisAndFutuna,inst_Oceania)). - -fof(axCountriesP277, axiom, - f_part(inst_AtlantaGeorgia,inst_Georgia)). - -fof(axCountriesP278, axiom, - f_part(inst_BaltimoreMaryland,inst_Maryland)). - -fof(axCountriesP279, axiom, - f_capitalCity(inst_BerlinGermany,inst_Germany)). - -fof(axCountriesP280, axiom, - f_capitalCity(inst_BernSwitzerland,inst_Switzerland)). - -fof(axCountriesP281, axiom, - f_part(inst_BostonMassachusetts,inst_Massachusetts)). - -fof(axCountriesP282, axiom, - f_part(inst_KansasCityMissouri,inst_Missouri)). - -fof(axCountriesP283, axiom, - f_part(inst_ManchesterNewHampshire,inst_NewHampshire)). - -fof(axCountriesP284, axiom, - f_part(inst_MemphisTennessee,inst_Tennessee)). - -fof(axCountriesP285, axiom, - f_part(inst_MinneapolisMinnesota,inst_Minnesota)). - -fof(axCountriesP286, axiom, - f_part(inst_MississippiRiver,inst_UnitedStates)). - -fof(axCountriesP287, axiom, - f_connected(inst_MississippiRiver,inst_GulfOfMexico)). - -fof(axCountriesP288, axiom, - f_part(inst_MontrealCanada,inst_Canada)). - -fof(axCountriesP289, axiom, - f_capitalCity(inst_MoscowRussia,inst_Russia)). - -fof(axCountriesP290, axiom, - f_part(inst_NashvilleTennessee,inst_Tennessee)). - -fof(axCountriesP291, axiom, - f_dependentGeopoliticalArea(inst_Palestine,inst_UnitedKingdom)). - -fof(axCountriesP292, axiom, - f_capitalCity(inst_ParisFrance,inst_France)). - -fof(axCountriesP293, axiom, - f_part(inst_PhiladelphiaPennsylvania,inst_Pennsylvania)). - -fof(axCountriesP294, axiom, - f_part(inst_PittsburghPennsylvania,inst_Pennsylvania)). - -fof(axCountriesP295, axiom, - f_capitalCity(inst_ProvidenceRhodeIsland,inst_RhodeIsland)). - -fof(axCountriesP296, axiom, - f_capitalCity(inst_RichmondVirginia,inst_Virginia)). - -fof(axCountriesP297, axiom, - f_capitalCity(inst_RomeItaly,inst_Italy)). - -fof(axCountriesP298, axiom, - f_part(inst_SaintLouisMissouri,inst_Missouri)). - -fof(axCountriesP299, axiom, - f_capitalCity(inst_SaintPaulMinnesota,inst_Minnesota)). - -fof(axCountriesP300, axiom, - f_meetsSpatially(inst_SaintPaulMinnesota,inst_MinneapolisMinnesota)). - -fof(axCountriesP301, axiom, - f_part(inst_SanFranciscoCalifornia,inst_California)). - -fof(axCountriesP302, axiom, - f_part(inst_SavannahGeorgia,inst_Georgia)). - -fof(axCountriesP303, axiom, - f_part(inst_Scotland,inst_UnitedKingdom)). - -fof(axCountriesP304, axiom, - f_capitalCity(inst_WarsawPoland,inst_Poland)). - -fof(axCountriesP305, axiom, - f_part(inst_LongIsland,inst_NewYorkState)). - -fof(axCountriesP306, axiom, - f_part(inst_LosAngelesCalifornia,inst_California)). - -fof(axCountriesP307, axiom, - f_part(inst_KoreanPeninsula,inst_Asia)). - -fof(axCountriesP308, axiom, - f_capitalCity(inst_HonoluluHawaii,inst_Hawaii)). - -fof(axCountriesP309, axiom, - f_part(inst_HoustonTexas,inst_Texas)). - -fof(axCountriesP310, axiom, - f_part(inst_HudsonRiver,inst_NewYorkState)). - -fof(axCountriesP311, axiom, - f_part(inst_FargoNorthDakota,inst_NorthDakota)). - -fof(axCountriesP312, axiom, - f_capitalCity(inst_DenverColorado,inst_Colorado)). - -fof(axCountriesP313, axiom, - f_part(inst_DetroitMichigan,inst_Michigan)). - -fof(axCountriesP314, axiom, - f_capitalCity(inst_CopenhagenDenmark,inst_Denmark)). - -fof(axCountriesP315, axiom, - f_part(inst_DallasTexas,inst_Texas)). - -fof(axCountriesP316, axiom, - f_part(inst_ClevelandOhio,inst_Ohio)). - -fof(axCountriesP317, axiom, - f_capitalCity(inst_ColumbusOhio,inst_Ohio)). - -fof(axCountriesP318, axiom, - f_meetsSpatially(inst_Alabama,inst_Mississippi)). - -fof(axCountriesP319, axiom, - f_meetsSpatially(inst_Alaska,inst_Canada)). - -fof(axCountriesP320, axiom, - f_meetsSpatially(inst_Alaska,inst_PacificOcean)). - -fof(axCountriesP321, axiom, - f_meetsSpatially(inst_Alaska,inst_ArcticOcean)). - -fof(axCountriesP322, axiom, - f_meetsSpatially(inst_Arizona,inst_Nevada)). - -fof(axCountriesP323, axiom, - f_meetsSpatially(inst_Arizona,inst_California)). - -fof(axCountriesP324, axiom, - f_meetsSpatially(inst_Arizona,inst_Mexico)). - -fof(axCountriesP325, axiom, - f_meetsSpatially(inst_Arkansas,inst_Oklahoma)). - -fof(axCountriesP326, axiom, - f_meetsSpatially(inst_Arkansas,inst_Texas)). - -fof(axCountriesP327, axiom, - f_meetsSpatially(inst_Arkansas,inst_Louisiana)). - -fof(axCountriesP328, axiom, - f_meetsSpatially(inst_California,inst_PacificOcean)). - -fof(axCountriesP329, axiom, - f_meetsSpatially(inst_California,inst_Mexico)). - -fof(axCountriesP330, axiom, - f_meetsSpatially(inst_California,inst_NewMexico)). - -fof(axCountriesP331, axiom, - f_meetsSpatially(inst_California,inst_Oregon)). - -fof(axCountriesP332, axiom, - f_meetsSpatially(inst_California,inst_Washington)). - -fof(axCountriesP333, axiom, - f_meetsSpatially(inst_Colorado,inst_Utah)). - -fof(axCountriesP334, axiom, - f_meetsSpatially(inst_Colorado,inst_Arizona)). - -fof(axCountriesP335, axiom, - f_meetsSpatially(inst_Colorado,inst_NewMexico)). - -fof(axCountriesP336, axiom, - f_meetsSpatially(inst_Colorado,inst_Texas)). - -fof(axCountriesP337, axiom, - f_part(inst_Connecticut,inst_NewEngland)). - -fof(axCountriesP338, axiom, - f_meetsSpatially(inst_Delaware,inst_NorthAtlanticOcean)). - -fof(axCountriesP339, axiom, - f_meetsSpatially(inst_Delaware,inst_Maryland)). - -fof(axCountriesP340, axiom, - f_meetsSpatially(inst_Delaware,inst_Pennsylvania)). - -fof(axCountriesP341, axiom, - f_meetsSpatially(inst_Florida,inst_NorthAtlanticOcean)). - -fof(axCountriesP342, axiom, - f_meetsSpatially(inst_Florida,inst_Alabama)). - -fof(axCountriesP343, axiom, - f_meetsSpatially(inst_Florida,inst_GulfOfMexico)). - -fof(axCountriesP344, axiom, - f_meetsSpatially(inst_Georgia,inst_NorthAtlanticOcean)). - -fof(axCountriesP345, axiom, - f_meetsSpatially(inst_Georgia,inst_Florida)). - -fof(axCountriesP346, axiom, - f_meetsSpatially(inst_Georgia,inst_Alabama)). - -fof(axCountriesP347, axiom, - f_meetsSpatially(inst_Hawaii,inst_PacificOcean)). - -fof(axCountriesP348, axiom, - f_meetsSpatially(inst_Idaho,inst_Canada)). - -fof(axCountriesP349, axiom, - f_meetsSpatially(inst_Idaho,inst_Washington)). - -fof(axCountriesP350, axiom, - f_meetsSpatially(inst_Idaho,inst_Oregon)). - -fof(axCountriesP351, axiom, - f_meetsSpatially(inst_Idaho,inst_Nevada)). - -fof(axCountriesP352, axiom, - f_meetsSpatially(inst_Idaho,inst_Utah)). - -fof(axCountriesP353, axiom, - f_meetsSpatially(inst_Illinois,inst_Iowa)). - -fof(axCountriesP354, axiom, - f_meetsSpatially(inst_Illinois,inst_Missouri)). - -fof(axCountriesP355, axiom, - f_meetsSpatially(inst_Indiana,inst_Illinois)). - -fof(axCountriesP356, axiom, - f_meetsSpatially(inst_Iowa,inst_SouthDakota)). - -fof(axCountriesP357, axiom, - f_meetsSpatially(inst_Iowa,inst_Nebraska)). - -fof(axCountriesP358, axiom, - f_meetsSpatially(inst_Iowa,inst_Missouri)). - -fof(axCountriesP359, axiom, - f_meetsSpatially(inst_Kansas,inst_Colorado)). - -fof(axCountriesP360, axiom, - f_meetsSpatially(inst_Kansas,inst_Texas)). - -fof(axCountriesP361, axiom, - f_meetsSpatially(inst_Kentucky,inst_Tennessee)). - -fof(axCountriesP362, axiom, - f_meetsSpatially(inst_Kentucky,inst_Missouri)). - -fof(axCountriesP363, axiom, - f_meetsSpatially(inst_Kentucky,inst_Illinois)). - -fof(axCountriesP364, axiom, - f_meetsSpatially(inst_Kentucky,inst_Indiana)). - -fof(axCountriesP365, axiom, - f_meetsSpatially(inst_Louisiana,inst_Texas)). - -fof(axCountriesP366, axiom, - f_meetsSpatially(inst_Louisiana,inst_GulfOfMexico)). - -fof(axCountriesP367, axiom, - f_meetsSpatially(inst_Maine,inst_NewHampshire)). - -fof(axCountriesP368, axiom, - f_meetsSpatially(inst_Maine,inst_Canada)). - -fof(axCountriesP369, axiom, - f_meetsSpatially(inst_Maine,inst_NorthAtlanticOcean)). - -fof(axCountriesP370, axiom, - f_meetsSpatially(inst_Maryland,inst_NorthAtlanticOcean)). - -fof(axCountriesP371, axiom, - f_meetsSpatially(inst_Maryland,inst_Virginia)). - -fof(axCountriesP372, axiom, - f_meetsSpatially(inst_Maryland,inst_WestVirginia)). - -fof(axCountriesP373, axiom, - f_part(inst_Massachusetts,inst_NewEngland)). - -fof(axCountriesP374, axiom, - f_meetsSpatially(inst_Massachusetts,inst_NorthAtlanticOcean)). - -fof(axCountriesP375, axiom, - f_meetsSpatially(inst_Massachusetts,inst_NewYorkState)). - -fof(axCountriesP376, axiom, - f_meetsSpatially(inst_Massachusetts,inst_Connecticut)). - -fof(axCountriesP377, axiom, - f_meetsSpatially(inst_Massachusetts,inst_RhodeIsland)). - -fof(axCountriesP378, axiom, - f_meetsSpatially(inst_Michigan,inst_Indiana)). - -fof(axCountriesP379, axiom, - f_meetsSpatially(inst_Michigan,inst_Illinois)). - -fof(axCountriesP380, axiom, - f_meetsSpatially(inst_Michigan,inst_Canada)). - -fof(axCountriesP381, axiom, - f_meetsSpatially(inst_Minnesota,inst_Canada)). - -fof(axCountriesP382, axiom, - f_meetsSpatially(inst_Minnesota,inst_NorthDakota)). - -fof(axCountriesP383, axiom, - f_meetsSpatially(inst_Minnesota,inst_SouthDakota)). - -fof(axCountriesP384, axiom, - f_meetsSpatially(inst_Minnesota,inst_Iowa)). - -fof(axCountriesP385, axiom, - f_meetsSpatially(inst_Mississippi,inst_Arkansas)). - -fof(axCountriesP386, axiom, - f_meetsSpatially(inst_Mississippi,inst_Louisiana)). - -fof(axCountriesP387, axiom, - f_meetsSpatially(inst_Mississippi,inst_GulfOfMexico)). - -fof(axCountriesP388, axiom, - f_meetsSpatially(inst_Missouri,inst_Nebraska)). - -fof(axCountriesP389, axiom, - f_meetsSpatially(inst_Missouri,inst_Kansas)). - -fof(axCountriesP390, axiom, - f_meetsSpatially(inst_Missouri,inst_Oklahoma)). - -fof(axCountriesP391, axiom, - f_meetsSpatially(inst_Montana,inst_Canada)). - -fof(axCountriesP392, axiom, - f_meetsSpatially(inst_Montana,inst_Idaho)). - -fof(axCountriesP393, axiom, - f_meetsSpatially(inst_Montana,inst_Wyoming)). - -fof(axCountriesP394, axiom, - f_meetsSpatially(inst_Nebraska,inst_Wyoming)). - -fof(axCountriesP395, axiom, - f_meetsSpatially(inst_Nebraska,inst_Colorado)). - -fof(axCountriesP396, axiom, - f_meetsSpatially(inst_Nebraska,inst_Kansas)). - -fof(axCountriesP397, axiom, - f_meetsSpatially(inst_Nevada,inst_Oregon)). - -fof(axCountriesP398, axiom, - f_meetsSpatially(inst_Nevada,inst_California)). - -fof(axCountriesP399, axiom, - f_part(inst_NewHampshire,inst_NewEngland)). - -fof(axCountriesP400, axiom, - f_meetsSpatially(inst_NewHampshire,inst_Canada)). - -fof(axCountriesP401, axiom, - f_meetsSpatially(inst_NewHampshire,inst_NorthAtlanticOcean)). - -fof(axCountriesP402, axiom, - f_meetsSpatially(inst_NewHampshire,inst_Vermont)). - -fof(axCountriesP403, axiom, - f_meetsSpatially(inst_NewHampshire,inst_Massachusetts)). - -fof(axCountriesP404, axiom, - f_meetsSpatially(inst_NewJersey,inst_NorthAtlanticOcean)). - -fof(axCountriesP405, axiom, - f_meetsSpatially(inst_NewJersey,inst_Delaware)). - -fof(axCountriesP406, axiom, - f_meetsSpatially(inst_NewJersey,inst_Pennsylvania)). - -fof(axCountriesP407, axiom, - f_meetsSpatially(inst_NewMexico,inst_Arizona)). - -fof(axCountriesP408, axiom, - f_meetsSpatially(inst_NewMexico,inst_Mexico)). - -fof(axCountriesP409, axiom, - f_geographicSubregion(inst_NewJersey,inst_UnitedStates)). - -fof(axCountriesP410, axiom, - f_geographicSubregion(inst_NewYorkState,inst_UnitedStates)). - -fof(axCountriesP411, axiom, - f_geographicSubregion(inst_NewYorkCityUnitedStates,inst_UnitedStates)). - -fof(axCountriesP412, axiom, - f_meetsSpatially(inst_NewYorkState,inst_Canada)). - -fof(axCountriesP413, axiom, - f_meetsSpatially(inst_NewYorkState,inst_Pennsylvania)). - -fof(axCountriesP414, axiom, - f_meetsSpatially(inst_NewYorkState,inst_NewJersey)). - -fof(axCountriesP415, axiom, - f_meetsSpatially(inst_NewYorkState,inst_NorthAtlanticOcean)). - -fof(axCountriesP416, axiom, - f_meetsSpatially(inst_NorthCarolina,inst_NorthAtlanticOcean)). - -fof(axCountriesP417, axiom, - f_meetsSpatially(inst_NorthCarolina,inst_SouthCarolina)). - -fof(axCountriesP418, axiom, - f_meetsSpatially(inst_NorthCarolina,inst_Tennessee)). - -fof(axCountriesP419, axiom, - f_meetsSpatially(inst_NorthDakota,inst_Montana)). - -fof(axCountriesP420, axiom, - f_meetsSpatially(inst_NorthDakota,inst_SouthDakota)). - -fof(axCountriesP421, axiom, - f_meetsSpatially(inst_NorthDakota,inst_Canada)). - -fof(axCountriesP422, axiom, - f_meetsSpatially(inst_Ohio,inst_Kentucky)). - -fof(axCountriesP423, axiom, - f_meetsSpatially(inst_Ohio,inst_Indiana)). - -fof(axCountriesP424, axiom, - f_meetsSpatially(inst_Ohio,inst_Michigan)). - -fof(axCountriesP425, axiom, - f_meetsSpatially(inst_Ohio,inst_Canada)). - -fof(axCountriesP426, axiom, - f_meetsSpatially(inst_Oregon,inst_PacificOcean)). - -fof(axCountriesP427, axiom, - f_meetsSpatially(inst_Oregon,inst_California)). - -fof(axCountriesP428, axiom, - f_meetsSpatially(inst_Pennsylvania,inst_WestVirginia)). - -fof(axCountriesP429, axiom, - f_meetsSpatially(inst_Pennsylvania,inst_Ohio)). - -fof(axCountriesP430, axiom, - f_meetsSpatially(inst_Pennsylvania,inst_Canada)). - -fof(axCountriesP431, axiom, - f_part(inst_RhodeIsland,inst_NewEngland)). - -fof(axCountriesP432, axiom, - f_meetsSpatially(inst_SouthCarolina,inst_NorthAtlanticOcean)). - -fof(axCountriesP433, axiom, - f_meetsSpatially(inst_SouthCarolina,inst_Georgia)). - -fof(axCountriesP434, axiom, - f_meetsSpatially(inst_SouthDakota,inst_Montana)). - -fof(axCountriesP435, axiom, - f_meetsSpatially(inst_SouthDakota,inst_Wyoming)). - -fof(axCountriesP436, axiom, - f_meetsSpatially(inst_SouthDakota,inst_Nebraska)). - -fof(axCountriesP437, axiom, - f_meetsSpatially(inst_Tennessee,inst_Alabama)). - -fof(axCountriesP438, axiom, - f_meetsSpatially(inst_Tennessee,inst_Mississippi)). - -fof(axCountriesP439, axiom, - f_meetsSpatially(inst_Tennessee,inst_Arkansas)). - -fof(axCountriesP440, axiom, - f_meetsSpatially(inst_Tennessee,inst_Missouri)). - -fof(axCountriesP441, axiom, - f_meetsSpatially(inst_Texas,inst_NewMexico)). - -fof(axCountriesP442, axiom, - f_meetsSpatially(inst_Texas,inst_Mexico)). - -fof(axCountriesP443, axiom, - f_meetsSpatially(inst_Texas,inst_GulfOfMexico)). - -fof(axCountriesP444, axiom, - f_geographicSubregion(inst_Texas,inst_UnitedStates)). - -fof(axCountriesP445, axiom, - f_meetsSpatially(inst_Utah,inst_Nevada)). - -fof(axCountriesP446, axiom, - f_meetsSpatially(inst_Utah,inst_Arizona)). - -fof(axCountriesP447, axiom, - f_meetsSpatially(inst_Utah,inst_NewMexico)). - -fof(axCountriesP448, axiom, - f_part(inst_Vermont,inst_NewEngland)). - -fof(axCountriesP449, axiom, - f_meetsSpatially(inst_Vermont,inst_Canada)). - -fof(axCountriesP450, axiom, - f_meetsSpatially(inst_Vermont,inst_NewYorkState)). - -fof(axCountriesP451, axiom, - f_meetsSpatially(inst_Vermont,inst_Massachusetts)). - -fof(axCountriesP452, axiom, - f_meetsSpatially(inst_Virginia,inst_NorthCarolina)). - -fof(axCountriesP453, axiom, - f_meetsSpatially(inst_Virginia,inst_Tennessee)). - -fof(axCountriesP454, axiom, - f_meetsSpatially(inst_Virginia,inst_Kentucky)). - -fof(axCountriesP455, axiom, - f_meetsSpatially(inst_Virginia,inst_WestVirginia)). - -fof(axCountriesP456, axiom, - f_meetsSpatially(inst_Washington,inst_Canada)). - -fof(axCountriesP457, axiom, - f_meetsSpatially(inst_Washington,inst_PacificOcean)). - -fof(axCountriesP458, axiom, - f_meetsSpatially(inst_Washington,inst_Oregon)). - -fof(axCountriesP459, axiom, - f_meetsSpatially(inst_WestVirginia,inst_Kentucky)). - -fof(axCountriesP460, axiom, - f_meetsSpatially(inst_WestVirginia,inst_Ohio)). - -fof(axCountriesP461, axiom, - f_meetsSpatially(inst_Wisconsin,inst_Illinois)). - -fof(axCountriesP462, axiom, - f_meetsSpatially(inst_Wisconsin,inst_Iowa)). - -fof(axCountriesP463, axiom, - f_meetsSpatially(inst_Wisconsin,inst_Minnesota)). - -fof(axCountriesP464, axiom, - f_meetsSpatially(inst_Wyoming,inst_Idaho)). - -fof(axCountriesP465, axiom, - f_meetsSpatially(inst_Wyoming,inst_Utah)). - -fof(axCountriesP466, axiom, - f_meetsSpatially(inst_Wyoming,inst_Colorado)). - -fof(axCountriesP467, axiom, - f_part(inst_PuertoRico,inst_UnitedStates)). - -fof(axCountriesP468, axiom, - f_part(inst_Germany,inst_Europe)). - -fof(axCountriesP469, axiom, - f_part(inst_Greece,inst_Europe)). - -fof(axCountriesP470, axiom, - f_meetsSpatially(inst_Mexico,inst_UnitedStates)). - -fof(axCountriesP471, axiom, - f_part(inst_ChicagoUnitedStates,inst_Illinois)). - -fof(axCountriesP472, axiom, - f_capitalCity(inst_JerusalemIsrael,inst_Israel)). - -fof(axCountriesP473, axiom, - f_part(inst_NewYorkCityUnitedStates,inst_NewYorkState)). - -fof(axCountriesP474, axiom, - f_capitalCity(inst_TokyoJapan,inst_Japan)). - -fof(axCountriesP475, axiom, - f_geographicSubregion(inst_AdanaTurkey,inst_Turkey)). - -fof(axCountriesP476, axiom, - f_geographicSubregion(inst_AddisAbabaEthiopia,inst_Ethiopia)). - -fof(axCountriesP477, axiom, - f_geographicSubregion(inst_AdenYemen,inst_Yemen)). - -fof(axCountriesP478, axiom, - f_geographicSubregion(inst_AdoraWestBank,inst_WestBank)). - -fof(axCountriesP479, axiom, - f_geographicSubregion(inst_AfulaIsrael,inst_Israel)). - -fof(axCountriesP480, axiom, - f_geographicSubregion(inst_AgriTurkey,inst_Turkey)). - -fof(axCountriesP481, axiom, - f_geographicSubregion(inst_AinDeflaAlgeria,inst_Algeria)). - -fof(axCountriesP482, axiom, - f_geographicSubregion(inst_AinElHajarAlgeria,inst_Algeria)). - -fof(axCountriesP483, axiom, - f_geographicSubregion(inst_AjaccioFrance,inst_France)). - -fof(axCountriesP484, axiom, - f_geographicSubregion(inst_AlBalamandLebanon,inst_Lebanon)). - -fof(axCountriesP485, axiom, - f_geographicSubregion(inst_AleiSinaiGazaStrip,inst_GazaStrip)). - -fof(axCountriesP486, axiom, - f_geographicSubregion(inst_AleiZahavWestBank,inst_WestBank)). - -fof(axCountriesP487, axiom, - f_geographicSubregion(inst_AleyLebanon,inst_Lebanon)). - -fof(axCountriesP488, axiom, - f_geographicSubregion(inst_AlgiersAlgeria,inst_Algeria)). - -fof(axCountriesP489, axiom, - f_geographicSubregion(inst_AlkhanYurtRussia,inst_Russia)). - -fof(axCountriesP490, axiom, - f_geographicSubregion(inst_AlonMorehWestBank,inst_WestBank)). - -fof(axCountriesP491, axiom, - f_geographicSubregion(inst_AmbonIndonesia,inst_Indonesia)). - -fof(axCountriesP492, axiom, - f_geographicSubregion(inst_AmmanJordan,inst_Jordan)). - -fof(axCountriesP493, axiom, - f_geographicSubregion(inst_AnNuwaydiratBahrain,inst_Bahrain)). - -fof(axCountriesP494, axiom, - f_geographicSubregion(inst_AndeanSpain,inst_Spain)). - -fof(axCountriesP495, axiom, - f_geographicSubregion(inst_AngkorWatCambodia,inst_Cambodia)). - -fof(axCountriesP496, axiom, - f_geographicSubregion(inst_AnkaraTurkey,inst_Turkey)). - -fof(axCountriesP497, axiom, - f_geographicSubregion(inst_AntalyaTurkey,inst_Turkey)). - -fof(axCountriesP498, axiom, - f_geographicSubregion(inst_AntioquiaColombia,inst_ColombiaPanama)). - -fof(axCountriesP499, axiom, - f_geographicSubregion(inst_AntwerpBelgium,inst_Belgium)). - -fof(axCountriesP500, axiom, - f_geographicSubregion(inst_ApumiracPeru,inst_Peru)). - -fof(axCountriesP501, axiom, - f_geographicSubregion(inst_ApureVenezuela,inst_Venezuela)). - -fof(axCountriesP502, axiom, - f_geographicSubregion(inst_AraucaColombia,inst_ColombiaPanama)). - -fof(axCountriesP503, axiom, - f_geographicSubregion(inst_ArgunRussia,inst_Russia)). - -fof(axCountriesP504, axiom, - f_geographicSubregion(inst_ArielWestBank,inst_WestBank)). - -fof(axCountriesP505, axiom, - f_geographicSubregion(inst_ArmaghNorthernIreland,inst_NorthernIreland)). - -fof(axCountriesP506, axiom, - f_geographicSubregion(inst_ArzewAlgeria,inst_Algeria)). - -fof(axCountriesP507, axiom, - f_geographicSubregion(inst_AshdodIsrael,inst_Israel)). - -fof(axCountriesP508, axiom, - f_geographicSubregion(inst_AskelonIsrael,inst_Israel)). - -fof(axCountriesP509, axiom, - f_geographicSubregion(inst_AsmaraEritrea,inst_Eritrea)). - -fof(axCountriesP510, axiom, - f_geographicSubregion(inst_AssamIndia,inst_India)). - -fof(axCountriesP511, axiom, - f_geographicSubregion(inst_AswanEgypt,inst_Egypt)). - -fof(axCountriesP512, axiom, - f_geographicSubregion(inst_AsyutEgypt,inst_Egypt)). - -fof(axCountriesP513, axiom, - f_geographicSubregion(inst_AthensGreece,inst_Greece)). - -fof(axCountriesP514, axiom, - f_geographicSubregion(inst_AtrushIraq,inst_Iraq)). - -fof(axCountriesP515, axiom, - f_geographicSubregion(inst_AtzmonaGazaStrip,inst_GazaStrip)). - -fof(axCountriesP516, axiom, - f_geographicSubregion(inst_AvneiHefetzIsrael,inst_Israel)). - -fof(axCountriesP517, axiom, - f_geographicSubregion(inst_AyacuchoPeru,inst_Peru)). - -fof(axCountriesP518, axiom, - f_geographicSubregion(inst_AzorIsrael,inst_Israel)). - -fof(axCountriesP519, axiom, - f_geographicSubregion(inst_BadVilbelGermany,inst_Germany)). - -fof(axCountriesP520, axiom, - f_geographicSubregion(inst_BaghdadIraq,inst_Iraq)). - -fof(axCountriesP521, axiom, - f_geographicSubregion(inst_BagreColombia,inst_ColombiaPanama)). - -fof(axCountriesP522, axiom, - f_geographicSubregion(inst_BahawalpurPakistan,inst_Pakistan)). - -fof(axCountriesP523, axiom, - f_geographicSubregion(inst_BakaAlGarbiyehIsrael,inst_Israel)). - -fof(axCountriesP524, axiom, - f_geographicSubregion(inst_BakkaAlSharkiyaWestBank,inst_WestBank)). - -fof(axCountriesP525, axiom, - f_geographicSubregion(inst_BakuAzerbaijan,inst_Azerbaijan)). - -fof(axCountriesP526, axiom, - f_geographicSubregion(inst_BaleEthiopia,inst_Ethiopia)). - -fof(axCountriesP527, axiom, - f_geographicSubregion(inst_BanbridgeNorthernIreland,inst_NorthernIreland)). - -fof(axCountriesP528, axiom, - f_geographicSubregion(inst_BangkokThailand,inst_Thailand)). - -fof(axCountriesP529, axiom, - f_geographicSubregion(inst_BangorNorthernIreland,inst_NorthernIreland)). - -fof(axCountriesP530, axiom, - f_geographicSubregion(inst_BanguiCentralAfricanRepublic,inst_CentralAfricanRepublic)). - -fof(axCountriesP531, axiom, - f_geographicSubregion(inst_BarcelonaSpain,inst_Spain)). - -fof(axCountriesP532, axiom, - f_geographicSubregion(inst_BarkeoCambodia,inst_Cambodia)). - -fof(axCountriesP533, axiom, - f_geographicSubregion(inst_BarrancabermejaColombia,inst_Colombia)). - -fof(axCountriesP534, axiom, - f_geographicSubregion(inst_BasraIsrael,inst_Israel)). - -fof(axCountriesP535, axiom, - f_geographicSubregion(inst_BatYamIsrael,inst_Israel)). - -fof(axCountriesP536, axiom, - f_geographicSubregion(inst_BatmanTurkey,inst_Turkey)). - -fof(axCountriesP537, axiom, - f_geographicSubregion(inst_BeasainSpain,inst_Spain)). - -fof(axCountriesP538, axiom, - f_geographicSubregion(inst_BeErShevaIsrael,inst_Israel)). - -fof(axCountriesP539, axiom, - f_geographicSubregion(inst_BeirutLebanon,inst_Lebanon)). - -fof(axCountriesP540, axiom, - f_geographicSubregion(inst_BeitElWestBank,inst_WestBank)). - -fof(axCountriesP541, axiom, - f_geographicSubregion(inst_BeitHaggaiWestBank,inst_WestBank)). - -fof(axCountriesP542, axiom, - f_geographicSubregion(inst_BeitSahurWestBank,inst_WestBank)). - -fof(axCountriesP543, axiom, - f_geographicSubregion(inst_BeitSheAnIsrael,inst_Israel)). - -fof(axCountriesP544, axiom, - f_geographicSubregion(inst_BeitShemeshIsrael,inst_Israel)). - -fof(axCountriesP545, axiom, - f_geographicSubregion(inst_BeledweyneSomalia,inst_Somalia)). - -fof(axCountriesP546, axiom, - f_geographicSubregion(inst_BelfastNorthernIreland,inst_NorthernIreland)). - -fof(axCountriesP547, axiom, - f_geographicSubregion(inst_BelgradeSerbiaAndMontenegro,inst_SerbiaAndMontenegro)). - -fof(axCountriesP548, axiom, - f_geographicSubregion(inst_BerlinGermany,inst_Germany)). - -fof(axCountriesP549, axiom, - f_geographicSubregion(inst_BetLeHiyehGazaStrip,inst_GazaStrip)). - -fof(axCountriesP550, axiom, - f_geographicSubregion(inst_BetLidJunctionIsrael,inst_Israel)). - -fof(axCountriesP551, axiom, - f_geographicSubregion(inst_BethElIsrael,inst_Israel)). - -fof(axCountriesP552, axiom, - f_geographicSubregion(inst_BethlehemWestBank,inst_WestBank)). - -fof(axCountriesP553, axiom, - f_geographicSubregion(inst_BidyaWestBank,inst_WestBank)). - -fof(axCountriesP554, axiom, - f_geographicSubregion(inst_BilbaoSpain,inst_Spain)). - -fof(axCountriesP555, axiom, - f_geographicSubregion(inst_BillabonaSpain,inst_Spain)). - -fof(axCountriesP556, axiom, - f_geographicSubregion(inst_BinyaminaIsrael,inst_Israel)). - -fof(axCountriesP557, axiom, - f_geographicSubregion(inst_BKaotWestBank,inst_WestBank)). - -fof(axCountriesP558, axiom, - f_geographicSubregion(inst_BneiAyishIsrael,inst_Israel)). - -fof(axCountriesP559, axiom, - f_geographicSubregion(inst_BogotaColombia,inst_Colombia)). - -fof(axCountriesP560, axiom, - f_geographicSubregion(inst_BolognaItaly,inst_Italy)). - -fof(axCountriesP561, axiom, - f_geographicSubregion(inst_BonnGermany,inst_Germany)). - -fof(axCountriesP562, axiom, - f_geographicSubregion(inst_BosphorousStraitsTurkey,inst_Turkey)). - -fof(axCountriesP563, axiom, - f_geographicSubregion(inst_BouiraAlgeria,inst_Algeria)). - -fof(axCountriesP564, axiom, - f_geographicSubregion(inst_BouzeGueneAlgeria,inst_Algeria)). - -fof(axCountriesP565, axiom, - f_geographicSubregion(inst_BrusselsBelgium,inst_Belgium)). - -fof(axCountriesP566, axiom, - f_geographicSubregion(inst_BucaramangaColombia,inst_Colombia)). - -fof(axCountriesP567, axiom, - f_geographicSubregion(inst_BucharestIndia,inst_India)). - -fof(axCountriesP568, axiom, - f_geographicSubregion(inst_BuenosAiresArgentina,inst_Argentina)). - -fof(axCountriesP569, axiom, - f_geographicSubregion(inst_BuinakskRussia,inst_Russia)). - -fof(axCountriesP570, axiom, - f_geographicSubregion(inst_BwindiforestUganda,inst_Uganda)). - -fof(axCountriesP571, axiom, - f_geographicSubregion(inst_CabindaAngola,inst_Angola)). - -fof(axCountriesP572, axiom, - f_geographicSubregion(inst_CaglayanTurkey,inst_Turkey)). - -fof(axCountriesP573, axiom, - f_geographicSubregion(inst_CairoEgypt,inst_Egypt)). - -fof(axCountriesP574, axiom, - f_geographicSubregion(inst_CalcuttaIndia,inst_India)). - -fof(axCountriesP575, axiom, - f_geographicSubregion(inst_CaliColombia,inst_Colombia)). - -fof(axCountriesP576, axiom, - f_geographicSubregion(inst_CampZamaJapan,inst_Japan)). - -fof(axCountriesP577, axiom, - f_geographicSubregion(inst_CankiriTurkey,inst_Turkey)). - -fof(axCountriesP578, axiom, - f_geographicSubregion(inst_CapeTownSouthAfrica,inst_SouthAfrica)). - -fof(axCountriesP579, axiom, - f_geographicSubregion(inst_CaritasPolandChechnya,inst_Chechnya)). - -fof(axCountriesP580, axiom, - f_geographicSubregion(inst_CarmelIsrael,inst_Israel)). - -fof(axCountriesP581, axiom, - f_geographicSubregion(inst_CarmenDeBolivarColombia,inst_Colombia)). - -fof(axCountriesP582, axiom, - f_geographicSubregion(inst_CarrejonColombia,inst_Colombia)). - -fof(axCountriesP583, axiom, - f_geographicSubregion(inst_ChamanPakistan,inst_Pakistan)). - -fof(axCountriesP584, axiom, - f_geographicSubregion(inst_ChararESharifIndia,inst_India)). - -fof(axCountriesP585, axiom, - f_geographicSubregion(inst_CharsaadaPakistan,inst_Pakistan)). - -fof(axCountriesP586, axiom, - f_geographicSubregion(inst_ChernoRechyeRussia,inst_Russia)). - -fof(axCountriesP587, axiom, - f_geographicSubregion(inst_ChicagoUnitedStates,inst_UnitedStates)). - -fof(axCountriesP588, axiom, - f_geographicSubregion(inst_ChisimayuSomalia,inst_Somalia)). - -fof(axCountriesP589, axiom, - f_geographicSubregion(inst_ChittagongBangladesh,inst_Bangladesh)). - -fof(axCountriesP590, axiom, - f_geographicSubregion(inst_ChobaAngola,inst_Angola)). - -fof(axCountriesP591, axiom, - f_geographicSubregion(inst_ChocoColombia,inst_Colombia)). - -fof(axCountriesP592, axiom, - f_geographicSubregion(inst_ChorrosQueroVenezuela,inst_Venezuela)). - -fof(axCountriesP593, axiom, - f_geographicSubregion(inst_ClarkAirbasePhilippines,inst_Philippines)). - -fof(axCountriesP594, axiom, - f_geographicSubregion(inst_CoimbatoreIndia,inst_India)). - -fof(axCountriesP595, axiom, - f_geographicSubregion(inst_CologneGermany,inst_Germany)). - -fof(axCountriesP596, axiom, - f_geographicSubregion(inst_ColombiaCityColombia,inst_Colombia)). - -fof(axCountriesP597, axiom, - f_geographicSubregion(inst_ColombiaPanama,inst_Panama)). - -fof(axCountriesP598, axiom, - f_geographicSubregion(inst_ColomboSriLanka,inst_SriLanka)). - -fof(axCountriesP599, axiom, - f_geographicSubregion(inst_ComayaguaHonduras,inst_Honduras)). - -fof(axCountriesP600, axiom, - f_geographicSubregion(inst_CopacaBanaCuba,inst_Cuba)). - -fof(axCountriesP601, axiom, - f_geographicSubregion(inst_CopenhagenDenmark,inst_Denmark)). - -fof(axCountriesP602, axiom, - f_geographicSubregion(inst_CorsicaFrance,inst_France)). - -fof(axCountriesP603, axiom, - f_geographicSubregion(inst_CorteFrance,inst_France)). - -fof(axCountriesP604, axiom, - f_geographicSubregion(inst_CorumTurkey,inst_Turkey)). - -fof(axCountriesP605, axiom, - f_geographicSubregion(inst_CundiNamarcaColombia,inst_Colombia)). - -fof(axCountriesP606, axiom, - f_geographicSubregion(inst_CupiaguaColombia,inst_Colombia)). - -fof(axCountriesP607, axiom, - f_geographicSubregion(inst_CuzcoPeru,inst_Peru)). - -fof(axCountriesP608, axiom, - f_geographicSubregion(inst_DagestanRussia,inst_Russia)). - -fof(axCountriesP609, axiom, - f_geographicSubregion(inst_DahukIraq,inst_Iraq)). - -fof(axCountriesP610, axiom, - f_geographicSubregion(inst_DangDistrictNepal,inst_Nepal)). - -fof(axCountriesP611, axiom, - f_geographicSubregion(inst_DarEsSalaAmTanzania,inst_Tanzania)). - -fof(axCountriesP612, axiom, - f_geographicSubregion(inst_DarvazTajikistan,inst_Tajikistan)). - -fof(axCountriesP613, axiom, - f_geographicSubregion(inst_DebaSpain,inst_Spain)). - -fof(axCountriesP614, axiom, - f_geographicSubregion(inst_DelhiIndia,inst_India)). - -fof(axCountriesP615, axiom, - f_geographicSubregion(inst_DhahranSaudiArabia,inst_SaudiArabia)). - -fof(axCountriesP616, axiom, - f_geographicSubregion(inst_DhakaBangladesh,inst_Bangladesh)). - -fof(axCountriesP617, axiom, - f_geographicSubregion(inst_DinanFrance,inst_France)). - -fof(axCountriesP618, axiom, - f_geographicSubregion(inst_DirNaballahWestBank,inst_WestBank)). - -fof(axCountriesP619, axiom, - f_geographicSubregion(inst_DireDawaEthiopia,inst_Ethiopia)). - -fof(axCountriesP620, axiom, - f_geographicSubregion(inst_DistrictOfMansehraPakistan,inst_Pakistan)). - -fof(axCountriesP621, axiom, - f_geographicSubregion(inst_DjakashariGeorgia,inst_RepublicOfGeorgia)). - -fof(axCountriesP622, axiom, - f_geographicSubregion(inst_DjerbaTunisia,inst_Tunisia)). - -fof(axCountriesP623, axiom, - f_geographicSubregion(inst_DodaIndia,inst_India)). - -fof(axCountriesP624, axiom, - f_geographicSubregion(inst_DortmundGermany,inst_Germany)). - -fof(axCountriesP625, axiom, - f_geographicSubregion(inst_DublinIreland,inst_Ireland)). - -fof(axCountriesP626, axiom, - f_geographicSubregion(inst_DuesseldorfGermany,inst_Germany)). - -fof(axCountriesP627, axiom, - f_geographicSubregion(inst_DugitGazaStrip,inst_GazaStrip)). - -fof(axCountriesP628, axiom, - f_geographicSubregion(inst_DurangoSpain,inst_Spain)). - -fof(axCountriesP629, axiom, - f_geographicSubregion(inst_DushanbeTajikistan,inst_Tajikistan)). - -fof(axCountriesP630, axiom, - f_geographicSubregion(inst_DushanbeAirportTajikistan,inst_Tajikistan)). - -fof(axCountriesP631, axiom, - f_geographicSubregion(inst_DushanbeGarmTajikistan,inst_Tajikistan)). - -fof(axCountriesP632, axiom, - f_geographicSubregion(inst_EastJerusalemIsrael,inst_Israel)). - -fof(axCountriesP633, axiom, - f_geographicSubregion(inst_EfratWestBank,inst_WestBank)). - -fof(axCountriesP634, axiom, - f_geographicSubregion(inst_EilatIsrael,inst_Israel)). - -fof(axCountriesP635, axiom, - f_geographicSubregion(inst_EinavWestBank,inst_WestBank)). - -fof(axCountriesP636, axiom, - f_geographicSubregion(inst_ElBagreColombia,inst_Colombia)). - -fof(axCountriesP637, axiom, - f_geographicSubregion(inst_ElBirehWestBank,inst_WestBank)). - -fof(axCountriesP638, axiom, - f_geographicSubregion(inst_ElPlayonColombia,inst_Colombia)). - -fof(axCountriesP639, axiom, - f_geographicSubregion(inst_ElRipialApureVenezuela,inst_Venezuela)). - -fof(axCountriesP640, axiom, - f_geographicSubregion(inst_ElayoSomalia,inst_Somalia)). - -fof(axCountriesP641, axiom, - f_geographicSubregion(inst_ElAzzariyaWestBank,inst_WestBank)). - -fof(axCountriesP642, axiom, - f_geographicSubregion(inst_EleiSinaiGazaStrip,inst_GazaStrip)). - -fof(axCountriesP643, axiom, - f_geographicSubregion(inst_EmmanuelWestBank,inst_WestBank)). - -fof(axCountriesP644, axiom, - f_geographicSubregion(inst_ErezGazaStrip,inst_GazaStrip)). - -fof(axCountriesP645, axiom, - f_geographicSubregion(inst_FethiyeAndMarmarisTurkey,inst_Turkey)). - -fof(axCountriesP646, axiom, - f_geographicSubregion(inst_FloridaUnitedStates,inst_UnitedStates)). - -fof(axCountriesP647, axiom, - f_geographicSubregion(inst_FormequeColombia,inst_Colombia)). - -fof(axCountriesP648, axiom, - f_geographicSubregion(inst_FrankfurtGermany,inst_Germany)). - -fof(axCountriesP649, axiom, - f_geographicSubregion(inst_FrenchHillIsrael,inst_Israel)). - -fof(axCountriesP650, axiom, - f_geographicSubregion(inst_FuengirolaSpain,inst_Spain)). - -fof(axCountriesP651, axiom, - f_geographicSubregion(inst_FusagasusaColombia,inst_Colombia)). - -fof(axCountriesP652, axiom, - f_geographicSubregion(inst_GaliAbkhaziaGeorgia,inst_RepublicOfGeorgia)). - -fof(axCountriesP653, axiom, - f_geographicSubregion(inst_GanimWestBank,inst_WestBank)). - -fof(axCountriesP654, axiom, - f_geographicSubregion(inst_GashuriIsrael,inst_Israel)). - -fof(axCountriesP655, axiom, - f_geographicSubregion(inst_GeneralSantosPhilippines,inst_Philippines)). - -fof(axCountriesP656, axiom, - f_geographicSubregion(inst_GenevaSwitzerland,inst_Switzerland)). - -fof(axCountriesP657, axiom, - f_geographicSubregion(inst_GetxoSpain,inst_Spain)). - -fof(axCountriesP658, axiom, - f_geographicSubregion(inst_GhalebiehIraq,inst_Iraq)). - -fof(axCountriesP659, axiom, - f_geographicSubregion(inst_GhaziabadUttarPradeshIndia,inst_India)). - -fof(axCountriesP660, axiom, - f_geographicSubregion(inst_GiloIsrael,inst_Israel)). - -fof(axCountriesP661, axiom, - f_geographicSubregion(inst_GivatZeEvWestBank,inst_WestBank)). - -fof(axCountriesP662, axiom, - f_geographicSubregion(inst_GizaEgypt,inst_Egypt)). - -fof(axCountriesP663, axiom, - f_geographicSubregion(inst_GonegalleSriLanka,inst_SriLanka)). - -fof(axCountriesP664, axiom, - f_geographicSubregion(inst_GranadaSpain,inst_Spain)). - -fof(axCountriesP665, axiom, - f_geographicSubregion(inst_GrazAustria,inst_Austria)). - -fof(axCountriesP666, axiom, - f_geographicSubregion(inst_GroznyChechnya,inst_Chechnya)). - -fof(axCountriesP667, axiom, - f_geographicSubregion(inst_GuilinChina,inst_China)). - -fof(axCountriesP668, axiom, - f_geographicSubregion(inst_GujaratIndia,inst_India)). - -fof(axCountriesP669, axiom, - f_geographicSubregion(inst_GushEtzionWestBank,inst_WestBank)). - -fof(axCountriesP670, axiom, - f_geographicSubregion(inst_GushKatifGazaStrip,inst_GazaStrip)). - -fof(axCountriesP671, axiom, - f_geographicSubregion(inst_HaderaIsrael,inst_Israel)). - -fof(axCountriesP672, axiom, - f_geographicSubregion(inst_HaifaIsrael,inst_Israel)). - -fof(axCountriesP673, axiom, - f_geographicSubregion(inst_HamburgGermany,inst_Germany)). - -fof(axCountriesP674, axiom, - f_geographicSubregion(inst_HamisMiliyanaAlgeria,inst_Algeria)). - -fof(axCountriesP675, axiom, - f_geographicSubregion(inst_HamraWestBank,inst_WestBank)). - -fof(axCountriesP676, axiom, - f_geographicSubregion(inst_HannoverGermany,inst_Germany)). - -fof(axCountriesP677, axiom, - f_geographicSubregion(inst_HarBrachaWestBank,inst_WestBank)). - -fof(axCountriesP678, axiom, - f_geographicSubregion(inst_HarerEthiopia,inst_Ethiopia)). - -fof(axCountriesP679, axiom, - f_geographicSubregion(inst_HavanaCuba,inst_Cuba)). - -fof(axCountriesP680, axiom, - f_geographicSubregion(inst_HawanaIraq,inst_Iraq)). - -fof(axCountriesP681, axiom, - f_geographicSubregion(inst_HeartAfghanistan,inst_Afghanistan)). - -fof(axCountriesP682, axiom, - f_geographicSubregion(inst_HebronWestBank,inst_WestBank)). - -fof(axCountriesP683, axiom, - f_geographicSubregion(inst_HermeshIsrael,inst_Israel)). - -fof(axCountriesP684, axiom, - f_geographicSubregion(inst_HernaniSpain,inst_Spain)). - -fof(axCountriesP685, axiom, - f_geographicSubregion(inst_HerzliyaIsrael,inst_Israel)). - -fof(axCountriesP686, axiom, - f_geographicSubregion(inst_HilversumNetherlands,inst_Netherlands)). - -fof(axCountriesP687, axiom, - f_geographicSubregion(inst_HizmaWestBank,inst_WestBank)). - -fof(axCountriesP688, axiom, - f_geographicSubregion(inst_HodayaJunctionIsrael,inst_Israel)). - -fof(axCountriesP689, axiom, - f_geographicSubregion(inst_HolonJunctionIsrael,inst_Israel)). - -fof(axCountriesP690, axiom, - f_geographicSubregion(inst_HuallgaPeru,inst_Peru)). - -fof(axCountriesP691, axiom, - f_geographicSubregion(inst_HurghadaEgypt,inst_Egypt)). - -fof(axCountriesP692, axiom, - f_geographicSubregion(inst_HyderabadPakistan,inst_Pakistan)). - -fof(axCountriesP693, axiom, - f_geographicSubregion(inst_IbsrilIraq,inst_Iraq)). - -fof(axCountriesP694, axiom, - f_geographicSubregion(inst_IncirlikAirbaseTurkey,inst_Turkey)). - -fof(axCountriesP695, axiom, - f_geographicSubregion(inst_IpilPhilippines,inst_Philippines)). - -fof(axCountriesP696, axiom, - f_geographicSubregion(inst_IrbilIraq,inst_Iraq)). - -fof(axCountriesP697, axiom, - f_geographicSubregion(inst_IslamabadPakistan,inst_Pakistan)). - -fof(axCountriesP698, axiom, - f_geographicSubregion(inst_IslandOfBaliIndonesia,inst_Indonesia)). - -fof(axCountriesP699, axiom, - f_geographicSubregion(inst_IstanbulTurkey,inst_Turkey)). - -fof(axCountriesP700, axiom, - f_geographicSubregion(inst_ItamarWestBank,inst_WestBank)). - -fof(axCountriesP701, axiom, - f_geographicSubregion(inst_IzmirTurkey,inst_Turkey)). - -fof(axCountriesP702, axiom, - f_geographicSubregion(inst_JaffaIsrael,inst_Israel)). - -fof(axCountriesP703, axiom, - f_geographicSubregion(inst_JaffnaSriLanka,inst_SriLanka)). - -fof(axCountriesP704, axiom, - f_geographicSubregion(inst_JakartaIndonesia,inst_Indonesia)). - -fof(axCountriesP705, axiom, - f_geographicSubregion(inst_JalahIndia,inst_India)). - -fof(axCountriesP706, axiom, - f_geographicSubregion(inst_JalpaiguriRailwayStationIndia,inst_India)). - -fof(axCountriesP707, axiom, - f_geographicSubregion(inst_JammuIndia,inst_India)). - -fof(axCountriesP708, axiom, - f_geographicSubregion(inst_JangasPeru,inst_Peru)). - -fof(axCountriesP709, axiom, - f_geographicSubregion(inst_JeninWestBank,inst_WestBank)). - -fof(axCountriesP710, axiom, - f_geographicSubregion(inst_JerusalemIsrael,inst_Israel)). - -fof(axCountriesP711, axiom, - f_geographicSubregion(inst_JerusalemIsrael,inst_WestBank)). - -fof(axCountriesP712, axiom, - f_geographicSubregion(inst_JMainWestBank,inst_WestBank)). - -fof(axCountriesP713, axiom, - f_geographicSubregion(inst_JohannesburgSouthAfrica,inst_SouthAfrica)). - -fof(axCountriesP714, axiom, - f_geographicSubregion(inst_JoloPhilippines,inst_Philippines)). - -fof(axCountriesP715, axiom, - f_geographicSubregion(inst_JubialSaudiArabia,inst_SaudiArabia)). - -fof(axCountriesP716, axiom, - f_geographicSubregion(inst_JullundurIndia,inst_India)). - -fof(axCountriesP717, axiom, - f_geographicSubregion(inst_KabacanPhilippines,inst_Philippines)). - -fof(axCountriesP718, axiom, - f_geographicSubregion(inst_KabulAfghanistan,inst_Afghanistan)). - -fof(axCountriesP719, axiom, - f_geographicSubregion(inst_KafrAkabWestBank,inst_WestBank)). - -fof(axCountriesP720, axiom, - f_geographicSubregion(inst_KafrIdnaWestBank,inst_WestBank)). - -fof(axCountriesP721, axiom, - f_geographicSubregion(inst_KalkilyaWestBank,inst_WestBank)). - -fof(axCountriesP722, axiom, - f_geographicSubregion(inst_KalmunaiSriLanka,inst_SriLanka)). - -fof(axCountriesP723, axiom, - f_geographicSubregion(inst_KampalaUganda,inst_Uganda)). - -fof(axCountriesP724, axiom, - f_geographicSubregion(inst_KandySriLanka,inst_SriLanka)). - -fof(axCountriesP725, axiom, - f_geographicSubregion(inst_KanihamaIndia,inst_India)). - -fof(axCountriesP726, axiom, - f_geographicSubregion(inst_KarachiPakistan,inst_Pakistan)). - -fof(axCountriesP727, axiom, - f_geographicSubregion(inst_KarkurIsrael,inst_Israel)). - -fof(axCountriesP728, axiom, - f_geographicSubregion(inst_KarmeiTzurWestBank,inst_WestBank)). - -fof(axCountriesP729, axiom, - f_geographicSubregion(inst_KarneiShomronWestBank,inst_WestBank)). - -fof(axCountriesP730, axiom, - f_geographicSubregion(inst_KashmirIndia,inst_India)). - -fof(axCountriesP731, axiom, - f_geographicSubregion(inst_KatmanduAirportNepal,inst_Nepal)). - -fof(axCountriesP732, axiom, - f_geographicSubregion(inst_KedumimWestBank,inst_WestBank)). - -fof(axCountriesP733, axiom, - f_geographicSubregion(inst_KedumimSettlementWestBank,inst_WestBank)). - -fof(axCountriesP734, axiom, - f_geographicSubregion(inst_KfarBaAnehIsrael,inst_Israel)). - -fof(axCountriesP735, axiom, - f_geographicSubregion(inst_KfarDaromGazaStrip,inst_GazaStrip)). - -fof(axCountriesP736, axiom, - f_geographicSubregion(inst_KfarHessIsrael,inst_Israel)). - -fof(axCountriesP737, axiom, - f_geographicSubregion(inst_KfarSabaIsrael,inst_Israel)). - -fof(axCountriesP738, axiom, - f_geographicSubregion(inst_KfarTzurifWestBank,inst_WestBank)). - -fof(axCountriesP739, axiom, - f_geographicSubregion(inst_KfarYamGazaStrip,inst_GazaStrip)). - -fof(axCountriesP740, axiom, - f_geographicSubregion(inst_KfarDaromNetzarimIsrael,inst_Israel)). - -fof(axCountriesP741, axiom, - f_geographicSubregion(inst_KhankalaChechnya,inst_Chechnya)). - -fof(axCountriesP742, axiom, - f_geographicSubregion(inst_KhartoumSudan,inst_Sudan)). - -fof(axCountriesP743, axiom, - f_geographicSubregion(inst_KhelilAlgeria,inst_Algeria)). - -fof(axCountriesP744, axiom, - f_geographicSubregion(inst_KhobarSaudiArabia,inst_SaudiArabia)). - -fof(axCountriesP745, axiom, - f_geographicSubregion(inst_KibbutzGalEdIsrael,inst_Israel)). - -fof(axCountriesP746, axiom, - f_geographicSubregion(inst_KibbutzMeravIsrael,inst_Israel)). - -fof(axCountriesP747, axiom, - f_geographicSubregion(inst_KibbutzSheluhotIsrael,inst_Israel)). - -fof(axCountriesP748, axiom, - f_geographicSubregion(inst_KidapawanPhilippines,inst_Philippines)). - -fof(axCountriesP749, axiom, - f_geographicSubregion(inst_KigaliRwanda,inst_Rwanda)). - -fof(axCountriesP750, axiom, - f_geographicSubregion(inst_KirikkaleTurkey,inst_Turkey)). - -fof(axCountriesP751, axiom, - f_geographicSubregion(inst_KiryatArbaWestBank,inst_WestBank)). - -fof(axCountriesP752, axiom, - f_geographicSubregion(inst_KiryatMotzkinIsrael,inst_Israel)). - -fof(axCountriesP753, axiom, - f_geographicSubregion(inst_KiryatNetafimWestBank,inst_WestBank)). - -fof(axCountriesP754, axiom, - f_geographicSubregion(inst_KissufimGazaStrip,inst_GazaStrip)). - -fof(axCountriesP755, axiom, - f_geographicSubregion(inst_KiursehirBoztepTurkey,inst_Turkey)). - -fof(axCountriesP756, axiom, - f_geographicSubregion(inst_KlaiyatLebanon,inst_Lebanon)). - -fof(axCountriesP757, axiom, - f_geographicSubregion(inst_KohlanYemen,inst_Yemen)). - -fof(axCountriesP758, axiom, - f_geographicSubregion(inst_KomsomoLabadTajikistan,inst_Tajikistan)). - -fof(axCountriesP759, axiom, - f_geographicSubregion(inst_KuwaitCityKuwait,inst_Kuwait)). - -fof(axCountriesP760, axiom, - f_geographicSubregion(inst_LaCeibaHonduras,inst_Honduras)). - -fof(axCountriesP761, axiom, - f_geographicSubregion(inst_LaGabarraVenezuela,inst_Venezuela)). - -fof(axCountriesP762, axiom, - f_geographicSubregion(inst_LaGuajiraColombia,inst_Colombia)). - -fof(axCountriesP763, axiom, - f_geographicSubregion(inst_LaPazBolivia,inst_Bolivia)). - -fof(axCountriesP764, axiom, - f_geographicSubregion(inst_LaVictoriaVenezuela,inst_Venezuela)). - -fof(axCountriesP765, axiom, - f_geographicSubregion(inst_LahorePakistan,inst_Pakistan)). - -fof(axCountriesP766, axiom, - f_geographicSubregion(inst_LarbaAlgeria,inst_Algeria)). - -fof(axCountriesP767, axiom, - f_geographicSubregion(inst_LarnacaCyprus,inst_Cyprus)). - -fof(axCountriesP768, axiom, - f_geographicSubregion(inst_LasarteSpain,inst_Spain)). - -fof(axCountriesP769, axiom, - f_geographicSubregion(inst_LeizaSpain,inst_Spain)). - -fof(axCountriesP770, axiom, - f_geographicSubregion(inst_LesEucalyptusDistrictAlgeria,inst_Algeria)). - -fof(axCountriesP771, axiom, - f_geographicSubregion(inst_LibertadorVenezuela,inst_Venezuela)). - -fof(axCountriesP772, axiom, - f_geographicSubregion(inst_LiceTurkey,inst_Turkey)). - -fof(axCountriesP773, axiom, - f_geographicSubregion(inst_LIleRousseFrance,inst_France)). - -fof(axCountriesP774, axiom, - f_geographicSubregion(inst_LimaPeru,inst_Peru)). - -fof(axCountriesP775, axiom, - f_geographicSubregion(inst_LindosRhodes,inst_Rhodes)). - -fof(axCountriesP776, axiom, - f_geographicSubregion(inst_LinzAustralia,inst_Australia)). - -fof(axCountriesP777, axiom, - f_geographicSubregion(inst_LockerbieUnitedKingdom,inst_UnitedKingdom)). - -fof(axCountriesP778, axiom, - f_geographicSubregion(inst_LogornoSpain,inst_Spain)). - -fof(axCountriesP779, axiom, - f_geographicSubregion(inst_LondonUnitedKingdom,inst_UnitedKingdom)). - -fof(axCountriesP780, axiom, - f_geographicSubregion(inst_LondonberryNorthernIreland,inst_NorthernIreland)). - -fof(axCountriesP781, axiom, - f_geographicSubregion(inst_LosAngelesUnitedStates,inst_UnitedStates)). - -fof(axCountriesP782, axiom, - f_geographicSubregion(inst_LosAngelesInternationalAirportUnitedStates,inst_UnitedStates)). - -fof(axCountriesP783, axiom, - f_geographicSubregion(inst_LosBancosVenezuela,inst_Venezuela)). - -fof(axCountriesP784, axiom, - f_geographicSubregion(inst_LosKatiosNationalParkColombia,inst_Colombia)). - -fof(axCountriesP785, axiom, - f_geographicSubregion(inst_LuandaAngola,inst_Angola)). - -fof(axCountriesP786, axiom, - f_geographicSubregion(inst_LuebeckGermany,inst_Germany)). - -fof(axCountriesP787, axiom, - f_geographicSubregion(inst_LundaNorteAngola,inst_Angola)). - -fof(axCountriesP788, axiom, - f_geographicSubregion(inst_LuxorEgypt,inst_Egypt)). - -fof(axCountriesP789, axiom, - f_geographicSubregion(inst_LyonsFrance,inst_France)). - -fof(axCountriesP790, axiom, - f_geographicSubregion(inst_MaAlehMichmashWestBank,inst_WestBank)). - -fof(axCountriesP791, axiom, - f_geographicSubregion(inst_MaccabimIsrael,inst_Israel)). - -fof(axCountriesP792, axiom, - f_geographicSubregion(inst_MadhuSriLanka,inst_SriLanka)). - -fof(axCountriesP793, axiom, - f_geographicSubregion(inst_MadrasIndia,inst_India)). - -fof(axCountriesP794, axiom, - f_geographicSubregion(inst_MadridSpain,inst_Spain)). - -fof(axCountriesP795, axiom, - f_geographicSubregion(inst_MagdalenaColombia,inst_Colombia)). - -fof(axCountriesP796, axiom, - f_geographicSubregion(inst_MaidanSharAfghanistan,inst_Afghanistan)). - -fof(axCountriesP797, axiom, - f_geographicSubregion(inst_MakhachkalaRussia,inst_Russia)). - -fof(axCountriesP798, axiom, - f_geographicSubregion(inst_MalagaSpain,inst_Spain)). - -fof(axCountriesP799, axiom, - f_geographicSubregion(inst_MalukkaIslandsIndonesia,inst_Indonesia)). - -fof(axCountriesP800, axiom, - f_geographicSubregion(inst_ManaguaNigeria,inst_Nigeria)). - -fof(axCountriesP801, axiom, - f_geographicSubregion(inst_ManamaBahrain,inst_Bahrain)). - -fof(axCountriesP802, axiom, - f_geographicSubregion(inst_ManchesterUnitedKingdom,inst_UnitedKingdom)). - -fof(axCountriesP803, axiom, - f_geographicSubregion(inst_MangalsenAndSanpheBagarNepal,inst_Nepal)). - -fof(axCountriesP804, axiom, - f_geographicSubregion(inst_ManilaPhilippines,inst_Philippines)). - -fof(axCountriesP805, axiom, - f_geographicSubregion(inst_MaonIsrael,inst_Israel)). - -fof(axCountriesP806, axiom, - f_geographicSubregion(inst_MapourditSudan,inst_Sudan)). - -fof(axCountriesP807, axiom, - f_geographicSubregion(inst_MarSabaWestBank,inst_WestBank)). - -fof(axCountriesP808, axiom, - f_geographicSubregion(inst_MarawiPhilippines,inst_Philippines)). - -fof(axCountriesP809, axiom, - f_geographicSubregion(inst_MardanPakistan,inst_Pakistan)). - -fof(axCountriesP810, axiom, - f_geographicSubregion(inst_MarmarisTurkey,inst_Turkey)). - -fof(axCountriesP811, axiom, - f_geographicSubregion(inst_MarseillesFrance,inst_France)). - -fof(axCountriesP812, axiom, - f_geographicSubregion(inst_MashaWestBank,inst_WestBank)). - -fof(axCountriesP813, axiom, - f_geographicSubregion(inst_MatsumotoJapan,inst_Japan)). - -fof(axCountriesP814, axiom, - f_geographicSubregion(inst_MawdiyahYemen,inst_Yemen)). - -fof(axCountriesP815, axiom, - f_geographicSubregion(inst_MeaShearimIsrael,inst_Israel)). - -fof(axCountriesP816, axiom, - f_geographicSubregion(inst_MeccaSaudiArabia,inst_SaudiArabia)). - -fof(axCountriesP817, axiom, - f_geographicSubregion(inst_MechoraWestBank,inst_WestBank)). - -fof(axCountriesP818, axiom, - f_geographicSubregion(inst_MedanIndonesia,inst_Indonesia)). - -fof(axCountriesP819, axiom, - f_geographicSubregion(inst_MedellinColombia,inst_Colombia)). - -fof(axCountriesP820, axiom, - f_geographicSubregion(inst_MegidoIsrael,inst_Israel)). - -fof(axCountriesP821, axiom, - f_geographicSubregion(inst_MeholaIsrael,inst_Israel)). - -fof(axCountriesP822, axiom, - f_geographicSubregion(inst_MekholahIsrael,inst_Israel)). - -fof(axCountriesP823, axiom, - f_geographicSubregion(inst_MersinTurkey,inst_Turkey)). - -fof(axCountriesP824, axiom, - f_geographicSubregion(inst_MetaColombia,inst_Colombia)). - -fof(axCountriesP825, axiom, - f_geographicSubregion(inst_MetullaIsrael,inst_Israel)). - -fof(axCountriesP826, axiom, - f_geographicSubregion(inst_MetzerIsrael,inst_Israel)). - -fof(axCountriesP827, axiom, - f_geographicSubregion(inst_MilanItaly,inst_Italy)). - -fof(axCountriesP828, axiom, - f_geographicSubregion(inst_MindanaoPhilippines,inst_Philippines)). - -fof(axCountriesP829, axiom, - f_geographicSubregion(inst_MinharotRoadWestBank,inst_WestBank)). - -fof(axCountriesP830, axiom, - f_geographicSubregion(inst_MiranShahPakistan,inst_Pakistan)). - -fof(axCountriesP831, axiom, - f_geographicSubregion(inst_MituColombia,inst_Colombia)). - -fof(axCountriesP832, axiom, - f_geographicSubregion(inst_ModiinIllitWestBank,inst_WestBank)). - -fof(axCountriesP833, axiom, - f_geographicSubregion(inst_MombassaKenya,inst_Kenya)). - -fof(axCountriesP834, axiom, - f_geographicSubregion(inst_MoragJunctionGazaStrip,inst_GazaStrip)). - -fof(axCountriesP835, axiom, - f_geographicSubregion(inst_MoscowRussia,inst_Russia)). - -fof(axCountriesP836, axiom, - f_geographicSubregion(inst_MoshavHagorIsrael,inst_Israel)). - -fof(axCountriesP837, axiom, - f_geographicSubregion(inst_MoshavTomerWestBank,inst_WestBank)). - -fof(axCountriesP838, axiom, - f_geographicSubregion(inst_MukallahAdenYemen,inst_Yemen)). - -fof(axCountriesP839, axiom, - f_geographicSubregion(inst_MunchenGladbachGermany,inst_Germany)). - -fof(axCountriesP840, axiom, - f_geographicSubregion(inst_MunsterGermany,inst_Germany)). - -fof(axCountriesP841, axiom, - f_geographicSubregion(inst_MurloughNorthernIreland,inst_NorthernIreland)). - -fof(axCountriesP842, axiom, - f_geographicSubregion(inst_MusMusIsrael,inst_Israel)). - -fof(axCountriesP843, axiom, - f_geographicSubregion(inst_MutataColombia,inst_Colombia)). - -fof(axCountriesP844, axiom, - f_geographicSubregion(inst_MutturSriLanka,inst_SriLanka)). - -fof(axCountriesP845, axiom, - f_geographicSubregion(inst_NaAlinWestBank,inst_WestBank)). - -fof(axCountriesP846, axiom, - f_geographicSubregion(inst_NablusWestBank,inst_WestBank)). - -fof(axCountriesP847, axiom, - f_geographicSubregion(inst_NahalOzGazaStrip,inst_GazaStrip)). - -fof(axCountriesP848, axiom, - f_geographicSubregion(inst_NaharaimIsrael,inst_Israel)). - -fof(axCountriesP849, axiom, - f_geographicSubregion(inst_NahariyaIsrael,inst_Israel)). - -fof(axCountriesP850, axiom, - f_geographicSubregion(inst_NairobiKenya,inst_Kenya)). - -fof(axCountriesP851, axiom, - f_geographicSubregion(inst_NajafIraq,inst_Iraq)). - -fof(axCountriesP852, axiom, - f_geographicSubregion(inst_NallurAreaSriLanka,inst_SriLanka)). - -fof(axCountriesP853, axiom, - f_geographicSubregion(inst_NaquraLebanon,inst_Lebanon)). - -fof(axCountriesP854, axiom, - f_geographicSubregion(inst_NarayangangBangladesh,inst_Bangladesh)). - -fof(axCountriesP855, axiom, - f_geographicSubregion(inst_NetanyaIsrael,inst_Israel)). - -fof(axCountriesP856, axiom, - f_geographicSubregion(inst_NetzarimGazaStrip,inst_GazaStrip)). - -fof(axCountriesP857, axiom, - f_geographicSubregion(inst_NetzerHazaniGazaStrip,inst_GazaStrip)). - -fof(axCountriesP858, axiom, - f_geographicSubregion(inst_NeveDanielWestBank,inst_WestBank)). - -fof(axCountriesP859, axiom, - f_geographicSubregion(inst_NeveYaminIsrael,inst_Israel)). - -fof(axCountriesP860, axiom, - f_geographicSubregion(inst_NewDelhiIndia,inst_India)). - -fof(axCountriesP861, axiom, - f_geographicSubregion(inst_NeztarimSettlementGazaStrip,inst_GazaStrip)). - -fof(axCountriesP862, axiom, - f_geographicSubregion(inst_NiameyNiger,inst_Niger)). - -fof(axCountriesP863, axiom, - f_geographicSubregion(inst_NissanitGazaStrip,inst_GazaStrip)). - -fof(axCountriesP864, axiom, - f_geographicSubregion(inst_NitzaneiOzWestBank,inst_WestBank)). - -fof(axCountriesP865, axiom, - f_geographicSubregion(inst_NitzanimIsrael,inst_Israel)). - -fof(axCountriesP866, axiom, - f_geographicSubregion(inst_NokdimTekoaRdWestBank,inst_WestBank)). - -fof(axCountriesP867, axiom, - f_geographicSubregion(inst_NorteDeSantanderColombia,inst_Colombia)). - -fof(axCountriesP868, axiom, - f_geographicSubregion(inst_NorthernCaucasiusChechnya,inst_Chechnya)). - -fof(axCountriesP869, axiom, - f_geographicSubregion(inst_NovogroznyRussia,inst_Russia)). - -fof(axCountriesP870, axiom, - f_geographicSubregion(inst_NovyyAtagiRussia,inst_Russia)). - -fof(axCountriesP871, axiom, - f_geographicSubregion(inst_OberwartAustria,inst_Austria)). - -fof(axCountriesP872, axiom, - f_geographicSubregion(inst_OfraWestBank,inst_WestBank)). - -fof(axCountriesP873, axiom, - f_geographicSubregion(inst_OilbaseAlgeria,inst_Algeria)). - -fof(axCountriesP874, axiom, - f_geographicSubregion(inst_oilfieldsVenezuela,inst_Venezuela)). - -fof(axCountriesP875, axiom, - f_geographicSubregion(inst_OkaraPakistan,inst_Pakistan)). - -fof(axCountriesP876, axiom, - f_geographicSubregion(inst_OlayaHerreraColombia,inst_Colombia)). - -fof(axCountriesP877, axiom, - f_geographicSubregion(inst_OmaghNorthernIreland,inst_NorthernIreland)). - -fof(axCountriesP878, axiom, - f_geographicSubregion(inst_OrYehudaIsrael,inst_Israel)). - -fof(axCountriesP879, axiom, - f_geographicSubregion(inst_OranAlgeria,inst_Algeria)). - -fof(axCountriesP880, axiom, - f_geographicSubregion(inst_OsakaJapan,inst_Japan)). - -fof(axCountriesP881, axiom, - f_geographicSubregion(inst_OsloNorway,inst_Norway)). - -fof(axCountriesP882, axiom, - f_geographicSubregion(inst_OssnabruckGermany,inst_Germany)). - -fof(axCountriesP883, axiom, - f_geographicSubregion(inst_OthnielJunctionIsrael,inst_Israel)). - -fof(axCountriesP884, axiom, - f_geographicSubregion(inst_OtnielWestBank,inst_WestBank)). - -fof(axCountriesP885, axiom, - f_geographicSubregion(inst_OtzarinWestBank,inst_WestBank)). - -fof(axCountriesP886, axiom, - f_geographicSubregion(inst_OzamisPhilippines,inst_Philippines)). - -fof(axCountriesP887, axiom, - f_geographicSubregion(inst_PahalgamIndia,inst_India)). - -fof(axCountriesP888, axiom, - f_geographicSubregion(inst_PalorinyaUganda,inst_Uganda)). - -fof(axCountriesP889, axiom, - f_geographicSubregion(inst_PamplonaSpain,inst_Spain)). - -fof(axCountriesP890, axiom, - f_geographicSubregion(inst_PanamaCityPanama,inst_Panama)). - -fof(axCountriesP891, axiom, - f_geographicSubregion(inst_PantrasGreece,inst_Greece)). - -fof(axCountriesP892, axiom, - f_geographicSubregion(inst_PapayinColombia,inst_Colombia)). - -fof(axCountriesP893, axiom, - f_geographicSubregion(inst_PapuaIndonesia,inst_Indonesia)). - -fof(axCountriesP894, axiom, - f_geographicSubregion(inst_ParisFrance,inst_France)). - -fof(axCountriesP895, axiom, - f_geographicSubregion(inst_PatikulPhilippines,inst_Philippines)). - -fof(axCountriesP896, axiom, - f_geographicSubregion(inst_PauFrance,inst_France)). - -fof(axCountriesP897, axiom, - f_geographicSubregion(inst_PeAtSadehGazaStrip,inst_GazaStrip)). - -fof(axCountriesP898, axiom, - f_geographicSubregion(inst_PeshawarPakistan,inst_Pakistan)). - -fof(axCountriesP899, axiom, - f_geographicSubregion(inst_PetahTikvahIsrael,inst_Israel)). - -fof(axCountriesP900, axiom, - f_geographicSubregion(inst_PhnomPenhCambodia,inst_Cambodia)). - -fof(axCountriesP901, axiom, - f_geographicSubregion(inst_PortadownIreland,inst_Ireland)). - -fof(axCountriesP902, axiom, - f_geographicSubregion(inst_PragueCzechRepublic,inst_CzechRepublic)). - -fof(axCountriesP903, axiom, - f_geographicSubregion(inst_PuertoAlviraColombia,inst_Colombia)). - -fof(axCountriesP904, axiom, - f_geographicSubregion(inst_PuertoLlerasColombia,inst_Colombia)). - -fof(axCountriesP905, axiom, - f_geographicSubregion(inst_PunjabPakistan,inst_Pakistan)). - -fof(axCountriesP906, axiom, - f_geographicSubregion(inst_QuettaPakistan,inst_Pakistan)). - -fof(axCountriesP907, axiom, - f_geographicSubregion(inst_QuitoEcuador,inst_Ecuador)). - -fof(axCountriesP908, axiom, - f_geographicSubregion(inst_RadaAmanYemen,inst_Yemen)). - -fof(axCountriesP909, axiom, - f_geographicSubregion(inst_RafahGazaStrip,inst_GazaStrip)). - -fof(axCountriesP910, axiom, - f_geographicSubregion(inst_RamaJunctionWestBank,inst_WestBank)). - -fof(axCountriesP911, axiom, - f_geographicSubregion(inst_RamalDeAspusanaPeru,inst_Peru)). - -fof(axCountriesP912, axiom, - f_geographicSubregion(inst_RamallahWestBank,inst_WestBank)). - -fof(axCountriesP913, axiom, - f_geographicSubregion(inst_RamatGanIsrael,inst_Israel)). - -fof(axCountriesP914, axiom, - f_geographicSubregion(inst_RaminWestBank,inst_WestBank)). - -fof(axCountriesP915, axiom, - f_geographicSubregion(inst_RamleIsrael,inst_Israel)). - -fof(axCountriesP916, axiom, - f_geographicSubregion(inst_RawalpindiPakistan,inst_Pakistan)). - -fof(axCountriesP917, axiom, - f_geographicSubregion(inst_ReusSpain,inst_Spain)). - -fof(axCountriesP918, axiom, - f_geographicSubregion(inst_RigaLatvia,inst_Latvia)). - -fof(axCountriesP919, axiom, - f_geographicSubregion(inst_RijekaCroatia,inst_Croatia)). - -fof(axCountriesP920, axiom, - f_geographicSubregion(inst_RimalDistrictGazaStrip,inst_GazaStrip)). - -fof(axCountriesP921, axiom, - f_geographicSubregion(inst_RishonLeZionIsrael,inst_Israel)). - -fof(axCountriesP922, axiom, - f_geographicSubregion(inst_RiyadhSaudiArabia,inst_SaudiArabia)). - -fof(axCountriesP923, axiom, - f_geographicSubregion(inst_RoermondNetherlands,inst_Netherlands)). - -fof(axCountriesP924, axiom, - f_geographicSubregion(inst_RomeItaly,inst_Italy)). - -fof(axCountriesP925, axiom, - f_geographicSubregion(inst_RosasSpain,inst_Spain)). - -fof(axCountriesP926, axiom, - f_geographicSubregion(inst_RostovOnDonRussia,inst_Russia)). - -fof(axCountriesP927, axiom, - f_geographicSubregion(inst_RuhengeriRwanda,inst_Rwanda)). - -fof(axCountriesP928, axiom, - f_geographicSubregion(inst_SaadaYemen,inst_Yemen)). - -fof(axCountriesP929, axiom, - f_geographicSubregion(inst_SaadaPakistan,inst_Pakistan)). - -fof(axCountriesP930, axiom, - f_geographicSubregion(inst_SabatenaColombia,inst_Colombia)). - -fof(axCountriesP931, axiom, - f_geographicSubregion(inst_SacramentoUnitedStates,inst_UnitedStates)). - -fof(axCountriesP932, axiom, - f_geographicSubregion(inst_SaintAvoldFrance,inst_France)). - -fof(axCountriesP933, axiom, - f_geographicSubregion(inst_SaintSebastianSpain,inst_Spain)). - -fof(axCountriesP934, axiom, - f_geographicSubregion(inst_SaintJeanDeLuzFrance,inst_France)). - -fof(axCountriesP935, axiom, - f_geographicSubregion(inst_SairanbarIraq,inst_Iraq)). - -fof(axCountriesP936, axiom, - f_geographicSubregion(inst_SajaIAGazaStrip,inst_GazaStrip)). - -fof(axCountriesP937, axiom, - f_geographicSubregion(inst_SallentDeGallegoSpain,inst_Spain)). - -fof(axCountriesP938, axiom, - f_geographicSubregion(inst_SamariaWestBank,inst_WestBank)). - -fof(axCountriesP939, axiom, - f_geographicSubregion(inst_SamashkiRussia,inst_Russia)). - -fof(axCountriesP940, axiom, - f_geographicSubregion(inst_SanDiegoColombia,inst_Colombia)). - -fof(axCountriesP941, axiom, - f_geographicSubregion(inst_SanJoseCostaRica,inst_CostaRica)). - -fof(axCountriesP942, axiom, - f_geographicSubregion(inst_SanLuisColombia,inst_Colombia)). - -fof(axCountriesP943, axiom, - f_geographicSubregion(inst_SanMiguelElSalvador,inst_ElSalvador)). - -fof(axCountriesP944, axiom, - f_geographicSubregion(inst_SanPabloColombia,inst_Colombia)). - -fof(axCountriesP945, axiom, - f_geographicSubregion(inst_SanSabatianSpain,inst_Spain)). - -fof(axCountriesP946, axiom, - f_geographicSubregion(inst_SanaaYemen,inst_Yemen)). - -fof(axCountriesP947, axiom, - f_geographicSubregion(inst_SangaldanIndia,inst_India)). - -fof(axCountriesP948, axiom, - f_geographicSubregion(inst_SantaMartaColombia,inst_Colombia)). - -fof(axCountriesP949, axiom, - f_geographicSubregion(inst_SantaPolaSpain,inst_Spain)). - -fof(axCountriesP950, axiom, - f_geographicSubregion(inst_SantaRitaMountainsPanama,inst_Panama)). - -fof(axCountriesP951, axiom, - f_geographicSubregion(inst_SantiagoChile,inst_Chile)). - -fof(axCountriesP952, axiom, - f_geographicSubregion(inst_SanurIsrael,inst_Israel)). - -fof(axCountriesP953, axiom, - f_geographicSubregion(inst_SarajevoBosniaAndHerzegovina,inst_BosniaAndHerzegovina)). - -fof(axCountriesP954, axiom, - f_geographicSubregion(inst_SatkhiraBangladesh,inst_Bangladesh)). - -fof(axCountriesP955, axiom, - f_geographicSubregion(inst_SegoviaColombia,inst_Colombia)). - -fof(axCountriesP956, axiom, - f_geographicSubregion(inst_SeoulSouthKorea,inst_SouthKorea)). - -fof(axCountriesP957, axiom, - f_geographicSubregion(inst_SevilleSpain,inst_Spain)). - -fof(axCountriesP958, axiom, - f_geographicSubregion(inst_ShadmotMeholaWestBank,inst_WestBank)). - -fof(axCountriesP959, axiom, - f_geographicSubregion(inst_ShaveiShomronWestBank,inst_WestBank)). - -fof(axCountriesP960, axiom, - f_geographicSubregion(inst_SheikhAjlunGazaStrip,inst_GazaStrip)). - -fof(axCountriesP961, axiom, - f_geographicSubregion(inst_ShiloWestBank,inst_WestBank)). - -fof(axCountriesP962, axiom, - f_geographicSubregion(inst_ShimiEcuador,inst_Ecuador)). - -fof(axCountriesP963, axiom, - f_geographicSubregion(inst_ShlomiIsrael,inst_Israel)). - -fof(axCountriesP964, axiom, - f_geographicSubregion(inst_SidiHalifahLibya,inst_Libya)). - -fof(axCountriesP965, axiom, - f_geographicSubregion(inst_SidonLebanon,inst_Lebanon)). - -fof(axCountriesP966, axiom, - f_geographicSubregion(inst_SiirtTurkey,inst_Turkey)). - -fof(axCountriesP967, axiom, - f_geographicSubregion(inst_SilatADaharWestBank,inst_WestBank)). - -fof(axCountriesP968, axiom, - f_geographicSubregion(inst_SipadanIslandMalaysia,inst_Malaysia)). - -fof(axCountriesP969, axiom, - f_geographicSubregion(inst_SitrahBahrain,inst_Bahrain)). - -fof(axCountriesP970, axiom, - f_geographicSubregion(inst_SoporeIndia,inst_India)). - -fof(axCountriesP971, axiom, - f_geographicSubregion(inst_SrinagarIndia,inst_India)). - -fof(axCountriesP972, axiom, - f_geographicSubregion(inst_SrinigarIndia,inst_India)). - -fof(axCountriesP973, axiom, - f_geographicSubregion(inst_SriperumbudurIndia,inst_India)). - -fof(axCountriesP974, axiom, - f_geographicSubregion(inst_StewartstownNorthernIreland,inst_NorthernIreland)). - -fof(axCountriesP975, axiom, - f_geographicSubregion(inst_StockholmSweden,inst_Sweden)). - -fof(axCountriesP976, axiom, - f_geographicSubregion(inst_StrasbourgFrance,inst_France)). - -fof(axCountriesP977, axiom, - f_geographicSubregion(inst_SukaimaniyahIraq,inst_Iraq)). - -fof(axCountriesP978, axiom, - f_geographicSubregion(inst_SulawesiIndonesia,inst_Indonesia)). - -fof(axCountriesP979, axiom, - f_geographicSubregion(inst_SulaymaniyahIraq,inst_Iraq)). - -fof(axCountriesP980, axiom, - f_geographicSubregion(inst_SumayrYemen,inst_Yemen)). - -fof(axCountriesP981, axiom, - f_geographicSubregion(inst_SusiyaWestBank,inst_WestBank)). - -fof(axCountriesP982, axiom, - f_geographicSubregion(inst_TailaPakistan,inst_Pakistan)). - -fof(axCountriesP983, axiom, - f_geographicSubregion(inst_TamezGuidaAlgeria,inst_Algeria)). - -fof(axCountriesP984, axiom, - f_geographicSubregion(inst_TandySriLanka,inst_SriLanka)). - -fof(axCountriesP985, axiom, - f_geographicSubregion(inst_TaxilaPakistan,inst_Pakistan)). - -fof(axCountriesP986, axiom, - f_geographicSubregion(inst_TBilisiGeorgia,inst_RepublicOfGeorgia)). - -fof(axCountriesP987, axiom, - f_geographicSubregion(inst_TegucigalpaHonduras,inst_Honduras)). - -fof(axCountriesP988, axiom, - f_geographicSubregion(inst_TeheranIran,inst_Iran)). - -fof(axCountriesP989, axiom, - f_geographicSubregion(inst_TekoaWestBank,inst_WestBank)). - -fof(axCountriesP990, axiom, - f_geographicSubregion(inst_TelAvivIsrael,inst_Israel)). - -fof(axCountriesP991, axiom, - f_geographicSubregion(inst_TelHaShomerJunctionIsrael,inst_Israel)). - -fof(axCountriesP992, axiom, - f_geographicSubregion(inst_TelQateifaGazaStrip,inst_GazaStrip)). - -fof(axCountriesP993, axiom, - f_geographicSubregion(inst_TelRumeiydaIsrael,inst_Israel)). - -fof(axCountriesP994, axiom, - f_geographicSubregion(inst_TelemIsrael,inst_Israel)). - -fof(axCountriesP995, axiom, - f_geographicSubregion(inst_TenaWestBank,inst_WestBank)). - -fof(axCountriesP996, axiom, - f_geographicSubregion(inst_TheHagueNetherlands,inst_Netherlands)). - -fof(axCountriesP997, axiom, - f_geographicSubregion(inst_TheKyrgyzCapitalBishkekChina,inst_China)). - -fof(axCountriesP998, axiom, - f_geographicSubregion(inst_ThekraguriIndia,inst_India)). - -fof(axCountriesP999, axiom, - f_geographicSubregion(inst_TiaretAlgeria,inst_Algeria)). - -fof(axCountriesP1000, axiom, - f_geographicSubregion(inst_TiratAlgeria,inst_Algeria)). - -fof(axCountriesP1001, axiom, - f_geographicSubregion(inst_TokyoJapan,inst_Japan)). - -fof(axCountriesP1002, axiom, - f_geographicSubregion(inst_TolosaSpain,inst_Spain)). - -fof(axCountriesP1003, axiom, - f_geographicSubregion(inst_TopkakiTurkey,inst_Turkey)). - -fof(axCountriesP1004, axiom, - f_geographicSubregion(inst_TrabzonTurkey,inst_Turkey)). - -fof(axCountriesP1005, axiom, - f_geographicSubregion(inst_TrincomaleeHarborSriLanka,inst_SriLanka)). - -fof(axCountriesP1006, axiom, - f_geographicSubregion(inst_TripoliLibya,inst_Libya)). - -fof(axCountriesP1007, axiom, - f_geographicSubregion(inst_TulkaremWestBank,inst_WestBank)). - -fof(axCountriesP1008, axiom, - f_geographicSubregion(inst_TulkarmWestBank,inst_WestBank)). - -fof(axCountriesP1009, axiom, - f_geographicSubregion(inst_TunceliTurkey,inst_Turkey)). - -fof(axCountriesP1010, axiom, - f_geographicSubregion(inst_TurbatPakistan,inst_Pakistan)). - -fof(axCountriesP1011, axiom, - f_geographicSubregion(inst_UmAlFahmIsrael,inst_Israel)). - -fof(axCountriesP1012, axiom, - f_geographicSubregion(inst_UmmQasrIraq,inst_Iraq)). - -fof(axCountriesP1013, axiom, - f_geographicSubregion(inst_UrenaVenezuela,inst_Venezuela)). - -fof(axCountriesP1014, axiom, - f_geographicSubregion(inst_UrraColombia,inst_Colombia)). - -fof(axCountriesP1015, axiom, - f_geographicSubregion(inst_UrsMartanRussia,inst_Russia)). - -fof(axCountriesP1016, axiom, - f_geographicSubregion(inst_UWaIndianReservationColombia,inst_Colombia)). - -fof(axCountriesP1017, axiom, - f_geographicSubregion(inst_ValenciaSpain,inst_Spain)). - -fof(axCountriesP1018, axiom, - f_geographicSubregion(inst_ValleduparColombia,inst_Colombia)). - -fof(axCountriesP1019, axiom, - f_geographicSubregion(inst_VanTurkey,inst_Turkey)). - -fof(axCountriesP1020, axiom, - f_geographicSubregion(inst_VavuniyaSriLanka,inst_SriLanka)). - -fof(axCountriesP1021, axiom, - f_geographicSubregion(inst_ViennaAustria,inst_Austria)). - -fof(axCountriesP1022, axiom, - f_geographicSubregion(inst_VientianeLaos,inst_Laos)). - -fof(axCountriesP1023, axiom, - f_geographicSubregion(inst_VillavicencioColombia,inst_Colombia)). - -fof(axCountriesP1024, axiom, - f_geographicSubregion(inst_VitoriaSpain,inst_Spain)). - -fof(axCountriesP1025, axiom, - f_geographicSubregion(inst_VitrollesFrance,inst_France)). - -fof(axCountriesP1026, axiom, - f_geographicSubregion(inst_VladikavkazRussia,inst_Russia)). - -fof(axCountriesP1027, axiom, - f_geographicSubregion(inst_VladivostokRussia,inst_Russia)). - -fof(axCountriesP1028, axiom, - f_geographicSubregion(inst_VolgodonskRussia,inst_Russia)). - -fof(axCountriesP1029, axiom, - f_geographicSubregion(inst_WadiAlDabaatYemen,inst_Yemen)). - -fof(axCountriesP1030, axiom, - f_geographicSubregion(inst_WadiAraIsrael,inst_Israel)). - -fof(axCountriesP1031, axiom, - f_geographicSubregion(inst_WadiKeltWestBank,inst_WestBank)). - -fof(axCountriesP1032, axiom, - f_geographicSubregion(inst_WarsawPoland,inst_Poland)). - -fof(axCountriesP1033, axiom, - f_geographicSubregion(inst_WashingtonDCUnitedStates,inst_UnitedStates)). - -fof(axCountriesP1034, axiom, - f_geographicSubregion(inst_WattyanBahrain,inst_Bahrain)). - -fof(axCountriesP1035, axiom, - f_geographicSubregion(inst_WestBeirutLebanon,inst_Lebanon)). - -fof(axCountriesP1036, axiom, - f_geographicSubregion(inst_XiAnChina,inst_China)). - -fof(axCountriesP1037, axiom, - f_geographicSubregion(inst_YaAbadWestBank,inst_WestBank)). - -fof(axCountriesP1038, axiom, - f_geographicSubregion(inst_YagurJunctionIsrael,inst_Israel)). - -fof(axCountriesP1039, axiom, - f_geographicSubregion(inst_YehudIsrael,inst_Israel)). - -fof(axCountriesP1040, axiom, - f_geographicSubregion(inst_YerevanArmenia,inst_Armenia)). - -fof(axCountriesP1041, axiom, - f_geographicSubregion(inst_YitzharWestBank,inst_WestBank)). - -fof(axCountriesP1042, axiom, - f_geographicSubregion(inst_YokotaJapan,inst_Japan)). - -fof(axCountriesP1043, axiom, - f_geographicSubregion(inst_YopalColombia,inst_Colombia)). - -fof(axCountriesP1044, axiom, - f_geographicSubregion(inst_YuksekovaTurkey,inst_Turkey)). - -fof(axCountriesP1045, axiom, - f_geographicSubregion(inst_ZaitaIsrael,inst_Israel)). - -fof(axCountriesP1046, axiom, - f_geographicSubregion(inst_ZamarYemen,inst_Yemen)). - -fof(axCountriesP1047, axiom, - f_geographicSubregion(inst_ZamboangaPhilippines,inst_Philippines)). - -fof(axCountriesP1048, axiom, - f_geographicSubregion(inst_ZaragozaSpain,inst_Spain)). - -fof(axCountriesP1049, axiom, - f_geographicSubregion(inst_ZarauzSpain,inst_Spain)). - -fof(axCountriesP1050, axiom, - f_geographicSubregion(inst_ZeifIntersectionWestBank,inst_WestBank)). - -fof(axCountriesP1051, axiom, - f_geographicSubregion(inst_ZekharyaIsrael,inst_Israel)). - -fof(axCountriesP1052, axiom, - f_geographicSubregion(inst_ZuliaColombia,inst_Colombia)). - -fof(axCountriesP1053, axiom, - f_geographicSubregion(inst_ZumaiaSpain,inst_Spain)). - -fof(axCountriesP1054, axiom, - f_geographicSubregion(inst_ZumarragaSpain,inst_Spain)). - -fof(axCountriesP1055, axiom, - f_claimedTerritory(inst_GazaStrip,inst_Israel)). - -fof(axCountriesP1056, axiom, - f_claimedTerritory(inst_GazaStrip,inst_PalestinianLiberationOrganization)). - -fof(axCountriesP1057, axiom, - f_claimedTerritory(inst_ParacelIslands,inst_China)). - -fof(axCountriesP1058, axiom, - f_claimedTerritory(inst_ParacelIslands,inst_Taiwan)). - -fof(axCountriesP1059, axiom, - f_claimedTerritory(inst_ParacelIslands,inst_Vietnam)). - -fof(axCountriesP1060, axiom, - f_claimedTerritory(inst_SpratlyIslands,inst_China)). - -fof(axCountriesP1061, axiom, - f_claimedTerritory(inst_SpratlyIslands,inst_Taiwan)). - -fof(axCountriesP1062, axiom, - f_claimedTerritory(inst_SpratlyIslands,inst_Vietnam)). - -fof(axCountriesP1063, axiom, - f_claimedTerritory(inst_WestBank,inst_Israel)). - -fof(axCountriesP1064, axiom, - f_claimedTerritory(inst_WestBank,inst_PalestinianLiberationOrganization)). - -fof(axCountriesP1065, axiom, - f_claimedTerritory(inst_WesternSahara,inst_Morocco)). - -fof(axCountriesP1066, axiom, - f_dependentGeopoliticalArea(inst_AmericanSamoa,inst_UnitedStates)). - -fof(axCountriesP1067, axiom, - f_dependentGeopoliticalArea(inst_Anguilla,inst_UnitedKingdom)). - -fof(axCountriesP1068, axiom, - f_dependentGeopoliticalArea(inst_Aruba,inst_Netherlands)). - -fof(axCountriesP1069, axiom, - f_dependentGeopoliticalArea(inst_AshmoreAndCartierIslands,inst_Australia)). - -fof(axCountriesP1070, axiom, - f_dependentGeopoliticalArea(inst_BakerIsland,inst_UnitedStates)). - -fof(axCountriesP1071, axiom, - f_dependentGeopoliticalArea(inst_BassasDaIndia,inst_France)). - -fof(axCountriesP1072, axiom, - f_dependentGeopoliticalArea(inst_Bermuda,inst_UnitedKingdom)). - -fof(axCountriesP1073, axiom, - f_dependentGeopoliticalArea(inst_BouvetIsland,inst_Norway)). - -fof(axCountriesP1074, axiom, - f_dependentGeopoliticalArea(inst_BritishIndianOceanTerritory,inst_UnitedKingdom)). - -fof(axCountriesP1075, axiom, - f_dependentGeopoliticalArea(inst_BritishVirginIslands,inst_UnitedKingdom)). - -fof(axCountriesP1076, axiom, - f_dependentGeopoliticalArea(inst_CaymanIslands,inst_UnitedKingdom)). - -fof(axCountriesP1077, axiom, - f_dependentGeopoliticalArea(inst_ChristmasIsland,inst_Australia)). - -fof(axCountriesP1078, axiom, - f_dependentGeopoliticalArea(inst_ClippertonIsland,inst_France)). - -fof(axCountriesP1079, axiom, - f_dependentGeopoliticalArea(inst_CocosKeelingIslands,inst_Australia)). - -fof(axCountriesP1080, axiom, - f_dependentGeopoliticalArea(inst_CookIslands,inst_NewZealand)). - -fof(axCountriesP1081, axiom, - f_dependentGeopoliticalArea(inst_CoralSeaIslands,inst_Australia)). - -fof(axCountriesP1082, axiom, - f_dependentGeopoliticalArea(inst_EuropaIsland,inst_France)). - -fof(axCountriesP1083, axiom, - f_dependentGeopoliticalArea(inst_FalklandIslands,inst_UnitedKingdom)). - -fof(axCountriesP1084, axiom, - f_dependentGeopoliticalArea(inst_FaroeIslands,inst_Denmark)). - -fof(axCountriesP1085, axiom, - f_dependentGeopoliticalArea(inst_FrenchGuiana,inst_France)). - -fof(axCountriesP1086, axiom, - f_dependentGeopoliticalArea(inst_FrenchPolynesia,inst_France)). - -fof(axCountriesP1087, axiom, - f_dependentGeopoliticalArea(inst_FrenchSouthernAndAntarcticLands,inst_France)). - -fof(axCountriesP1088, axiom, - f_dependentGeopoliticalArea(inst_Gibraltar,inst_UnitedKingdom)). - -fof(axCountriesP1089, axiom, - f_dependentGeopoliticalArea(inst_GloriosoIslands,inst_France)). - -fof(axCountriesP1090, axiom, - f_dependentGeopoliticalArea(inst_Greenland,inst_Denmark)). - -fof(axCountriesP1091, axiom, - f_dependentGeopoliticalArea(inst_Guadeloupe,inst_France)). - -fof(axCountriesP1092, axiom, - f_dependentGeopoliticalArea(inst_Guam,inst_UnitedStates)). - -fof(axCountriesP1093, axiom, - f_dependentGeopoliticalArea(inst_Guernsey,inst_UnitedKingdom)). - -fof(axCountriesP1094, axiom, - f_dependentGeopoliticalArea(inst_HeardIslandAndMcDonaldIslands,inst_Australia)). - -fof(axCountriesP1095, axiom, - f_dependentGeopoliticalArea(inst_HongKong,inst_China)). - -fof(axCountriesP1096, axiom, - f_dependentGeopoliticalArea(inst_HowlandIsland,inst_UnitedStates)). - -fof(axCountriesP1097, axiom, - f_dependentGeopoliticalArea(inst_IsleOfMan,inst_UnitedKingdom)). - -fof(axCountriesP1098, axiom, - f_dependentGeopoliticalArea(inst_JanMayenIsland,inst_Norway)). - -fof(axCountriesP1099, axiom, - f_dependentGeopoliticalArea(inst_JarvisIsland,inst_UnitedStates)). - -fof(axCountriesP1100, axiom, - f_dependentGeopoliticalArea(inst_Jersey,inst_UnitedKingdom)). - -fof(axCountriesP1101, axiom, - f_dependentGeopoliticalArea(inst_JohnstonAtoll,inst_UnitedStates)). - -fof(axCountriesP1102, axiom, - f_dependentGeopoliticalArea(inst_JuanDeNovaIsland,inst_France)). - -fof(axCountriesP1103, axiom, - f_dependentGeopoliticalArea(inst_KingmanReef,inst_UnitedStates)). - -fof(axCountriesP1104, axiom, - f_dependentGeopoliticalArea(inst_Macau,inst_China)). - -fof(axCountriesP1105, axiom, - f_dependentGeopoliticalArea(inst_Martinique,inst_France)). - -fof(axCountriesP1106, axiom, - f_dependentGeopoliticalArea(inst_Mayotte,inst_France)). - -fof(axCountriesP1107, axiom, - f_dependentGeopoliticalArea(inst_MidwayIslands,inst_UnitedStates)). - -fof(axCountriesP1108, axiom, - f_dependentGeopoliticalArea(inst_Montserrat,inst_UnitedKingdom)). - -fof(axCountriesP1109, axiom, - f_dependentGeopoliticalArea(inst_NavassaIsland,inst_UnitedStates)). - -fof(axCountriesP1110, axiom, - f_dependentGeopoliticalArea(inst_NetherlandsAntilles,inst_Netherlands)). - -fof(axCountriesP1111, axiom, - f_dependentGeopoliticalArea(inst_NewCaledonia,inst_France)). - -fof(axCountriesP1112, axiom, - f_dependentGeopoliticalArea(inst_Niue,inst_NewZealand)). - -fof(axCountriesP1113, axiom, - f_dependentGeopoliticalArea(inst_NorfolkIsland,inst_Australia)). - -fof(axCountriesP1114, axiom, - f_dependentGeopoliticalArea(inst_NorthernMarianaIslands,inst_UnitedStates)). - -fof(axCountriesP1115, axiom, - f_dependentGeopoliticalArea(inst_PalmyraAtoll,inst_UnitedStates)). - -fof(axCountriesP1116, axiom, - f_dependentGeopoliticalArea(inst_PitcairnIslands,inst_UnitedKingdom)). - -fof(axCountriesP1117, axiom, - f_dependentGeopoliticalArea(inst_PuertoRico,inst_UnitedStates)). - -fof(axCountriesP1118, axiom, - f_dependentGeopoliticalArea(inst_Reunion,inst_France)). - -fof(axCountriesP1119, axiom, - f_dependentGeopoliticalArea(inst_SaintHelena,inst_UnitedKingdom)). - -fof(axCountriesP1120, axiom, - f_dependentGeopoliticalArea(inst_SaintPierreAndMiquelon,inst_France)). - -fof(axCountriesP1121, axiom, - f_dependentGeopoliticalArea(inst_SouthGeorgiaAndTheSouthSandwichIslands,inst_UnitedKingdom)). - -fof(axCountriesP1122, axiom, - f_dependentGeopoliticalArea(inst_Svalbard,inst_Norway)). - -fof(axCountriesP1123, axiom, - f_dependentGeopoliticalArea(inst_Tokelau,inst_NewZealand)). - -fof(axCountriesP1124, axiom, - f_dependentGeopoliticalArea(inst_TromelinIsland,inst_France)). - -fof(axCountriesP1125, axiom, - f_dependentGeopoliticalArea(inst_TurksAndCaicosIslands,inst_UnitedKingdom)). - -fof(axCountriesP1126, axiom, - f_dependentGeopoliticalArea(inst_WakeIsland,inst_UnitedStates)). - -fof(axCountriesP1127, axiom, - f_dependentGeopoliticalArea(inst_WallisAndFutuna,inst_France)). - -fof(axCountriesP1128, axiom, - f_claimedTerritory(inst_Antarctica,inst_Argentina)). - -fof(axCountriesP1129, axiom, - f_claimedTerritory(inst_Antarctica,inst_Australia)). - -fof(axCountriesP1130, axiom, - f_claimedTerritory(inst_Antarctica,inst_Chile)). - -fof(axCountriesP1131, axiom, - f_claimedTerritory(inst_Antarctica,inst_France)). - -fof(axCountriesP1132, axiom, - f_claimedTerritory(inst_Antarctica,inst_NewZealand)). - -fof(axCountriesP1133, axiom, - f_claimedTerritory(inst_Antarctica,inst_Norway)). - -fof(axCountriesP1134, axiom, - f_claimedTerritory(inst_Antarctica,inst_UnitedKingdom)). - -fof(axCountriesP1135, axiom, - f_part(inst_RedRiver,inst_MississippiRiver)). - -fof(axCountriesP1136, axiom, - f_part(inst_RedRiver,inst_UnitedStates)). - -- cgit v1.2.3