gf-3.1.6: examples/SUMO/TPTP/CommunicationsPredAx.p

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)).