GeographyAx.p

fof(axGeography0, axiom, 
 ( ! [X] : 
 (hasType(type_AcidRainfall, X) => hasType(type_WeatherProcess, X)))).

fof(axGeography1, axiom, 
 ( ! [X] : 
 (hasType(type_Acidification, X) => hasType(type_Combining, X)))).

fof(axGeography2, axiom, 
 ( ! [X] : 
 (hasType(type_AerosolParticulate, X) => hasType(type_Substance, X)))).

fof(axGeography3, axiom, 
 ( ! [X] : 
 (hasType(type_Afforestation, X) => hasType(type_Planting, X)))).

fof(axGeography4, axiom, 
 ( ! [X] : 
 (hasType(type_Aftershock, X) => hasType(type_EarthTremor, X)))).

fof(axGeography5, axiom, 
 ( ! [X] : 
 (hasType(type_Agreement, X) => hasType(type_Proposition, X)))).

fof(axGeography6, axiom, 
 ( ! [X] : 
 (hasType(type_Agriculture, X) => hasType(type_Maintaining, X)))).

fof(axGeography7, axiom, 
 ( ! [X] : 
 (hasType(type_AirPollution, X) => hasType(type_Pollution, X)))).

fof(axGeography8, axiom, 
 ( ! [X] : 
 (hasType(type_AirStream, X) => hasType(type_Air, X)))).

fof(axGeography9, axiom, 
 ( ! [X] : 
 (hasType(type_AirStream, X) => hasType(type_FlowRegion, X)))).

fof(axGeography10, axiom, 
 ( ! [X] : 
 (hasType(type_AntarcticArea, X) => hasType(type_LandArea, X)))).

fof(axGeography11, axiom, 
 ( ! [X] : 
 (hasType(type_ArableLand, X) => hasType(type_LandArea, X)))).

fof(axGeography12, axiom, 
 ( ! [X] : 
 (hasType(type_ArchipelagicArea, X) => hasType(type_GeographicArea, X)))).

fof(axGeography13, axiom, 
 ( ! [X] : 
 (hasType(type_Archipelago, X) => hasType(type_Collection, X)))).

fof(axGeography14, axiom, 
 ( ! [X] : 
 (hasType(type_Archipelago, X) => hasType(type_LandForm, X)))).

fof(axGeography15, axiom, 
 ( ! [X] : 
 (hasType(type_AridClimateZone, X) => hasType(type_ClimateZone, X)))).

fof(axGeography16, axiom, 
 ( ! [X] : 
 (hasType(type_Asbestos, X) => hasType(type_Mineral, X)))).

fof(axGeography17, axiom, 
 ( ! [X] : 
 (hasType(type_Atmosphere, X) => hasType(type_Region, X)))).

fof(axGeography18, axiom, 
 ( ! [X] : 
 (hasType(type_AtmosphericHazing, X) => hasType(type_WeatherProcess, X)))).

fof(axGeography19, axiom, 
 ( ! [X] : 
 (hasType(type_Atoll, X) => hasType(type_CoralReef, X)))).

fof(axGeography20, axiom, 
 ( ! [X] : 
 (hasType(type_AvalancheProcess, X) => hasType(type_Impelling, X)))).

fof(axGeography21, axiom, 
 ( ! [X] : 
 (hasType(type_Barite, X) => hasType(type_CompoundSubstance, X)))).

fof(axGeography22, axiom, 
 ( ! [X] : 
 (hasType(type_Barite, X) => hasType(type_Mineral, X)))).

fof(axGeography23, axiom, 
 ( ! [X] : 
 (hasType(type_Basin, X) => hasType(type_LandForm, X)))).

fof(axGeography24, axiom, 
 ( ! [X] : 
 (hasType(type_Bay, X) => hasType(type_Inlet, X)))).

fof(axGeography25, axiom, 
 ( ! [X] : 
 (hasType(type_BeaufortNumber, X) => hasType(type_RelationalAttribute, X)))).

fof(axGeography26, axiom, 
 ( ! [X] : 
 (hasType(type_BiodiversityAttribute, X) => hasType(type_InternalAttribute, X)))).

fof(axGeography27, axiom, 
 ( ! [X] : 
 (hasType(type_BiodiversityIssue, X) => hasType(type_EnvironmentalIssue, X)))).

fof(axGeography28, axiom, 
 ( ! [X] : 
 (hasType(type_Biome, X) => hasType(type_Ecosystem, X)))).

fof(axGeography29, axiom, 
 ( ! [X] : 
 (hasType(type_Blizzard, X) => hasType(type_WeatherProcess, X)))).

fof(axGeography30, axiom, 
 ( ! [X] : 
 (hasType(type_BodyOfWater, X) => hasType(type_WaterArea, X)))).

fof(axGeography31, axiom, 
 ( ! [X] : 
 (hasType(type_BorealForest, X) => hasType(type_Biome, X)))).

fof(axGeography32, axiom, 
 ( ! [X] : 
 (hasType(type_BorealForest, X) => hasType(type_Forest, X)))).

fof(axGeography33, axiom, 
 ( ! [X] : 
 (hasType(type_BrownCoal, X) => hasType(type_Coal, X)))).

fof(axGeography34, axiom, 
 ( ! [X] : 
 (hasType(type_Butte, X) => hasType(type_LandForm, X)))).

fof(axGeography35, axiom, 
 ( ! [X] : 
 (hasType(type_Butte, X) => hasType(type_UplandArea, X)))).

fof(axGeography36, axiom, 
 ( ! [X] : 
 (hasType(type_CanalStructure, X) => hasType(type_StationaryArtifact, X)))).

fof(axGeography37, axiom, 
 ( ! [X] : 
 (hasType(type_Canal, X) => hasType(type_StationaryArtifact, X)))).

fof(axGeography38, axiom, 
 ( ! [X] : 
 (hasType(type_Canal, X) => hasType(type_Waterway, X)))).

fof(axGeography39, axiom, 
 ( ! [X] : 
 (hasType(type_Canyon, X) => hasType(type_LandForm, X)))).

fof(axGeography40, axiom, 
 ( ! [X] : 
 (hasType(type_Cape, X) => hasType(type_LandForm, X)))).

fof(axGeography41, axiom, 
 ( ! [X] : 
 (hasType(type_CarbonCycle, X) => hasType(type_GeologicalProcess, X)))).

fof(axGeography42, axiom, 
 ( ! [X] : 
 (hasType(type_CarbonDioxideEmission, X) => hasType(type_Separating, X)))).

fof(axGeography43, axiom, 
 ( ! [X] : 
 (hasType(type_CaveMatrix, X) => hasType(type_LandForm, X)))).

fof(axGeography44, axiom, 
 ( ! [X] : 
 (hasType(type_Cave, X) => hasType(type_Hole, X)))).

fof(axGeography45, axiom, 
 ( ! [X] : 
 (hasType(type_Channel, X) => hasType(type_BodyOfWater, X)))).

fof(axGeography46, axiom, 
 ( ! [X] : 
 (hasType(type_ChinookWind, X) => hasType(type_WindProcess, X)))).

fof(axGeography47, axiom, 
 ( ! [X] : 
 (hasType(type_Chromite, X) => hasType(type_CompoundSubstance, X)))).

fof(axGeography48, axiom, 
 ( ! [X] : 
 (hasType(type_Chromite, X) => hasType(type_Mineral, X)))).

fof(axGeography49, axiom, 
 ( ! [X] : 
 (hasType(type_Clay, X) => hasType(type_Soil, X)))).

fof(axGeography50, axiom, 
 ( ! [X] : 
 (hasType(type_ClearWeather, X) => hasType(type_WeatherProcess, X)))).

fof(axGeography51, axiom, 
 ( ! [X] : 
 (hasType(type_Cliff, X) => hasType(type_SlopedArea, X)))).

fof(axGeography52, axiom, 
 ( ! [X] : 
 (hasType(type_ClimateZone, X) => hasType(type_GeographicArea, X)))).

fof(axGeography53, axiom, 
 ( ! [X] : 
 (hasType(type_Coal, X) => hasType(type_FossilFuel, X)))).

fof(axGeography54, axiom, 
 ( ! [X] : 
 (hasType(type_Coal, X) => hasType(type_Mineral, X)))).

fof(axGeography55, axiom, 
 ( ! [X] : 
 (hasType(type_Coal, X) => hasType(type_Rock, X)))).

fof(axGeography56, axiom, 
 ( ! [X] : 
 (hasType(type_CoastalFlooding, X) => hasType(type_Flooding, X)))).

fof(axGeography57, axiom, 
 ( ! [X] : 
 (hasType(type_CoastalPlain, X) => hasType(type_Plain, X)))).

fof(axGeography58, axiom, 
 ( ! [X] : 
 (hasType(type_ColdClimateZone, X) => hasType(type_ClimateZone, X)))).

fof(axGeography59, axiom, 
 ( ! [X] : 
 (hasType(type_ColdDampClimateZone, X) => hasType(type_ColdClimateZone, X)))).

fof(axGeography60, axiom, 
 ( ! [X] : 
 (hasType(type_ColdFront, X) => hasType(type_WeatherFront, X)))).

fof(axGeography61, axiom, 
 ( ! [X] : 
 (hasType(type_ContinentalClimateZone, X) => hasType(type_TemperateClimateZone, X)))).

fof(axGeography62, axiom, 
 ( ! [X] : 
 (hasType(type_ContinentalMargin, X) => hasType(type_SubmergedLandArea, X)))).

fof(axGeography63, axiom, 
 ( ! [X] : 
 (hasType(type_ContinentalShelf, X) => hasType(type_SubmergedLandArea, X)))).

fof(axGeography64, axiom, 
 ( ! [X] : 
 (hasType(type_CoralReef, X) => hasType(type_Reef, X)))).

fof(axGeography65, axiom, 
 ( ! [X] : 
 (hasType(type_Coral, X) => hasType(type_Invertebrate, X)))).

fof(axGeography66, axiom, 
 ( ! [X] : 
 (hasType(type_Cove, X) => hasType(type_Inlet, X)))).

fof(axGeography67, axiom, 
 ( ! [X] : 
 (hasType(type_CyclonicStorm, X) => hasType(type_LowPressureWeatherSystem, X)))).

fof(axGeography68, axiom, 
 ( ! [X] : 
 (hasType(type_CyclonicStorm, X) => hasType(type_Windstorm, X)))).

fof(axGeography69, axiom, 
 ( ! [X] : 
 (hasType(type_DDT, X) => hasType(type_CompoundSubstance, X)))).

fof(axGeography70, axiom, 
 ( ! [X] : 
 (hasType(type_Dam, X) => hasType(type_StationaryArtifact, X)))).

fof(axGeography71, axiom, 
 ( ! [X] : 
 (hasType(type_Defoliant, X) => hasType(type_PureSubstance, X)))).

fof(axGeography72, axiom, 
 ( ! [X] : 
 (hasType(type_Deforestation, X) => hasType(type_ForestDamage, X)))).

fof(axGeography73, axiom, 
 ( ! [X] : 
 (hasType(type_Deforestation, X) => hasType(type_Removing, X)))).

fof(axGeography74, axiom, 
 ( ! [X] : 
 (hasType(type_Delta, X) => hasType(type_LandForm, X)))).

fof(axGeography75, axiom, 
 ( ! [X] : 
 (hasType(type_DesertClimateZone, X) => hasType(type_AridClimateZone, X)))).

fof(axGeography76, axiom, 
 ( ! [X] : 
 (hasType(type_Desert, X) => hasType(type_LandArea, X)))).

fof(axGeography77, axiom, 
 ( ! [X] : 
 (hasType(type_Desertification, X) => hasType(type_WeatherProcess, X)))).

fof(axGeography78, axiom, 
 ( ! [X] : 
 (hasType(type_DipSlipFault, X) => hasType(type_GeologicalFault, X)))).

fof(axGeography79, axiom, 
 ( ! [X] : 
 (hasType(type_DiseaseConditionsIssue, X) => hasType(type_EnvironmentalIssue, X)))).

fof(axGeography80, axiom, 
 ( ! [X] : 
 (hasType(type_Dredging, X) => hasType(type_Removing, X)))).

fof(axGeography81, axiom, 
 ( ! [X] : 
 (hasType(type_DriftnetFishing, X) => hasType(type_Fishing, X)))).

fof(axGeography82, axiom, 
 ( ! [X] : 
 (hasType(type_Drought, X) => hasType(type_WeatherProcess, X)))).

fof(axGeography83, axiom, 
 ( ! [X] : 
 (hasType(type_DryWinterColdClimateZone, X) => hasType(type_ColdClimateZone, X)))).

fof(axGeography84, axiom, 
 ( ! [X] : 
 (hasType(type_DustStorm, X) => hasType(type_WeatherProcess, X)))).

fof(axGeography85, axiom, 
 ( ! [X] : 
 (hasType(type_EarthTremor, X) => hasType(type_GeologicalProcess, X)))).

fof(axGeography86, axiom, 
 ( ! [X] : 
 (hasType(type_EarthTremor, X) => hasType(type_Tremor, X)))).

fof(axGeography87, axiom, 
 ( ! [X] : 
 (hasType(type_Earthquake, X) => hasType(type_GeologicalProcess, X)))).

fof(axGeography88, axiom, 
 ( ! [X] : 
 (hasType(type_Ecosystem, X) => hasType(type_GeographicArea, X)))).

fof(axGeography89, axiom, 
 ( ! [X] : 
 (hasType(type_Effluent, X) => hasType(type_Substance, X)))).

fof(axGeography90, axiom, 
 ( ! [X] : 
 (hasType(type_ElNino, X) => hasType(type_WeatherSeason, X)))).

fof(axGeography91, axiom, 
 ( ! [X] : 
 (hasType(type_EndangeredSpecies, X) => hasType(type_Organism, X)))).

fof(axGeography92, axiom, 
 ( ! [X] : 
 (hasType(type_EnvironmentalIssue, X) => hasType(type_AreaOfConcern, X)))).

fof(axGeography93, axiom, 
 ( ! [X] : 
 (hasType(type_EnvironmentalWaterIssue, X) => hasType(type_EnvironmentalIssue, X)))).

fof(axGeography94, axiom, 
 ( ! [X] : 
 (hasType(type_Erosion, X) => hasType(type_GeologicalProcess, X)))).

fof(axGeography95, axiom, 
 ( ! [X] : 
 (hasType(type_Erosion, X) => hasType(type_Removing, X)))).

fof(axGeography96, axiom, 
 ( ! [X] : 
 (hasType(type_Estuary, X) => hasType(type_BodyOfWater, X)))).

fof(axGeography97, axiom, 
 ( ! [X] : 
 (hasType(type_Estuary, X) => hasType(type_Inlet, X)))).

fof(axGeography98, axiom, 
 ( ! [X] : 
 (hasType(type_Estuary, X) => hasType(type_SaltWaterArea, X)))).

fof(axGeography99, axiom, 
 ( ! [X] : 
 (hasType(type_ExclusiveFishingZone, X) => hasType(type_MaritimeClaimArea, X)))).

fof(axGeography100, axiom, 
 ( ! [X] : 
 (hasType(type_ExclusiveFishingZone, X) => hasType(type_SaltWaterArea, X)))).

fof(axGeography101, axiom, 
 ( ! [X] : 
 (hasType(type_ExtendedFishingZone, X) => hasType(type_MaritimeClaimArea, X)))).

fof(axGeography102, axiom, 
 ( ! [X] : 
 (hasType(type_ExtendedFishingZone, X) => hasType(type_SaltWaterArea, X)))).

fof(axGeography103, axiom, 
 ( ! [X] : 
 (hasType(type_Famine, X) => hasType(type_SocialInteraction, X)))).

fof(axGeography104, axiom, 
 ( ! [X] : 
 (hasType(type_Fire, X) => hasType(type_Combustion, X)))).

fof(axGeography105, axiom, 
 ( ! [X] : 
 (hasType(type_Fishing, X) => hasType(type_Hunting, X)))).

fof(axGeography106, axiom, 
 ( ! [X] : 
 (hasType(type_FlashFlooding, X) => hasType(type_Flooding, X)))).

fof(axGeography107, axiom, 
 ( ! [X] : 
 (hasType(type_Flooding, X) => hasType(type_WeatherProcess, X)))).

fof(axGeography108, axiom, 
 ( ! [X] : 
 (hasType(type_FlowRegion, X) => hasType(type_Region, X)))).

fof(axGeography109, axiom, 
 ( ! [X] : 
 (hasType(type_Fogging, X) => hasType(type_WeatherProcess, X)))).

fof(axGeography110, axiom, 
 ( ! [X] : 
 (hasType(type_ForestDamage, X) => hasType(type_Damaging, X)))).

fof(axGeography111, axiom, 
 ( ! [X] : 
 (hasType(type_ForestFire, X) => hasType(type_Combustion, X)))).

fof(axGeography112, axiom, 
 ( ! [X] : 
 (hasType(type_ForestFire, X) => hasType(type_ForestDamage, X)))).

fof(axGeography113, axiom, 
 ( ! [X] : 
 (hasType(type_Forest, X) => hasType(type_LandArea, X)))).

fof(axGeography114, axiom, 
 ( ! [X] : 
 (hasType(type_FreezingRain, X) => hasType(type_Precipitation, X)))).

fof(axGeography115, axiom, 
 ( ! [X] : 
 (hasType(type_FreshwaterOverutilization, X) => hasType(type_SocialInteraction, X)))).

fof(axGeography116, axiom, 
 ( ! [X] : 
 (hasType(type_Freshwater, X) => hasType(type_Water, X)))).

fof(axGeography117, axiom, 
 ( ! [X] : 
 (hasType(type_GeologicalFault, X) => hasType(type_GeographicArea, X)))).

fof(axGeography118, axiom, 
 ( ! [X] : 
 (hasType(type_Ghibli, X) => hasType(type_WindProcess, X)))).

fof(axGeography119, axiom, 
 ( ! [X] : 
 (hasType(type_Glacier, X) => hasType(type_LandForm, X)))).

fof(axGeography120, axiom, 
 ( ! [X] : 
 (hasType(type_GrassFire, X) => hasType(type_Combustion, X)))).

fof(axGeography121, axiom, 
 ( ! [X] : 
 (hasType(type_Grassland, X) => hasType(type_Biome, X)))).

fof(axGeography122, axiom, 
 ( ! [X] : 
 (hasType(type_Grassland, X) => hasType(type_LandArea, X)))).

fof(axGeography123, axiom, 
 ( ! [X] : 
 (hasType(type_Gravel, X) => hasType(type_Rock, X)))).

fof(axGeography124, axiom, 
 ( ! [X] : 
 (hasType(type_GreenhouseGas, X) => hasType(type_PureSubstance, X)))).

fof(axGeography125, axiom, 
 ( ! [X] : 
 (hasType(type_Groundwater, X) => hasType(type_Water, X)))).

fof(axGeography126, axiom, 
 ( ! [X] : 
 (hasType(type_Gulf, X) => hasType(type_BodyOfWater, X)))).

fof(axGeography127, axiom, 
 ( ! [X] : 
 (hasType(type_Gulf, X) => hasType(type_SaltWaterArea, X)))).

fof(axGeography128, axiom, 
 ( ! [X] : 
 (hasType(type_Hailing, X) => hasType(type_Precipitation, X)))).

fof(axGeography129, axiom, 
 ( ! [X] : 
 (hasType(type_HarmattanWind, X) => hasType(type_WindProcess, X)))).

fof(axGeography130, axiom, 
 ( ! [X] : 
 (hasType(type_HeavyRaining, X) => hasType(type_Raining, X)))).

fof(axGeography131, axiom, 
 ( ! [X] : 
 (hasType(type_HeavySurf, X) => hasType(type_WaterMotion, X)))).

fof(axGeography132, axiom, 
 ( ! [X] : 
 (hasType(type_HeavySurf, X) => hasType(type_WeatherProcess, X)))).

fof(axGeography133, axiom, 
 ( ! [X] : 
 (hasType(type_Hemisphere, X) => hasType(type_GeographicArea, X)))).

fof(axGeography134, axiom, 
 ( ! [X] : 
 (hasType(type_HighPressureWeatherSystem, X) => hasType(type_WeatherSystem, X)))).

fof(axGeography135, axiom, 
 ( ! [X] : 
 (hasType(type_HighTide, X) => hasType(type_TidalProcess, X)))).

fof(axGeography136, axiom, 
 ( ! [X] : 
 (hasType(type_HigherHighTide, X) => hasType(type_HighTide, X)))).

fof(axGeography137, axiom, 
 ( ! [X] : 
 (hasType(type_Hill, X) => hasType(type_LandForm, X)))).

fof(axGeography138, axiom, 
 ( ! [X] : 
 (hasType(type_Hill, X) => hasType(type_UplandArea, X)))).

fof(axGeography139, axiom, 
 ( ! [X] : 
 (hasType(type_Humus, X) => hasType(type_Mixture, X)))).

fof(axGeography140, axiom, 
 ( ! [X] : 
 (hasType(type_HurricaneSeason, X) => hasType(type_WeatherSeason, X)))).

fof(axGeography141, axiom, 
 ( ! [X] : 
 (hasType(type_Hurricane, X) => hasType(type_TropicalCyclone, X)))).

fof(axGeography142, axiom, 
 ( ! [X] : 
 (hasType(type_Hurricane, X) => hasType(type_WeatherProcess, X)))).

fof(axGeography143, axiom, 
 ( ! [X] : 
 (hasType(type_HydropowerWaterArea, X) => hasType(type_WaterArea, X)))).

fof(axGeography144, axiom, 
 ( ! [X] : 
 (hasType(type_Iceberg, X) => hasType(type_SelfConnectedObject, X)))).

fof(axGeography145, axiom, 
 ( ! [X] : 
 (hasType(type_Iceberg, X) => hasType(type_Water, X)))).

fof(axGeography146, axiom, 
 ( ! [X] : 
 (hasType(type_Icing, X) => hasType(type_Freezing, X)))).

fof(axGeography147, axiom, 
 ( ! [X] : 
 (hasType(type_Icing, X) => hasType(type_WeatherProcess, X)))).

fof(axGeography148, axiom, 
 ( ! [X] : 
 (hasType(type_IndustrialPollution, X) => hasType(type_Pollution, X)))).

fof(axGeography149, axiom, 
 ( ! [X] : 
 (hasType(type_InlandWaterSystem, X) => hasType(type_Collection, X)))).

fof(axGeography150, axiom, 
 ( ! [X] : 
 (hasType(type_InlandWaterSystem, X) => hasType(type_WaterArea, X)))).

fof(axGeography151, axiom, 
 ( ! [X] : 
 (hasType(type_InletPassage, X) => hasType(type_Inlet, X)))).

fof(axGeography152, axiom, 
 ( ! [X] : 
 (hasType(type_Inlet, X) => hasType(type_BodyOfWater, X)))).

fof(axGeography153, axiom, 
 ( ! [X] : 
 (hasType(type_InternationalAgreement, X) => hasType(type_Agreement, X)))).

fof(axGeography154, axiom, 
 ( ! [X] : 
 (hasType(type_InternationalBorder, X) => hasType(type_GeographicArea, X)))).

fof(axGeography155, axiom, 
 ( ! [X] : 
 (hasType(type_IrrigatedLand, X) => hasType(type_LandArea, X)))).

fof(axGeography156, axiom, 
 ( ! [X] : 
 (hasType(type_Irrigating, X) => hasType(type_Motion, X)))).

fof(axGeography157, axiom, 
 ( ! [X] : 
 (hasType(type_IrrigationChannel, X) => hasType(type_Artifact, X)))).

fof(axGeography158, axiom, 
 ( ! [X] : 
 (hasType(type_Isthmus, X) => hasType(type_LandArea, X)))).

fof(axGeography159, axiom, 
 ( ! [X] : 
 (hasType(type_JetStream, X) => hasType(type_AirStream, X)))).

fof(axGeography160, axiom, 
 ( ! [X] : 
 (hasType(type_Jungle, X) => hasType(type_Biome, X)))).

fof(axGeography161, axiom, 
 ( ! [X] : 
 (hasType(type_Jungle, X) => hasType(type_LandArea, X)))).

fof(axGeography162, axiom, 
 ( ! [X] : 
 (hasType(type_Khamsin, X) => hasType(type_Windstorm, X)))).

fof(axGeography163, axiom, 
 ( ! [X] : 
 (hasType(type_LakeRegion, X) => hasType(type_GeographicArea, X)))).

fof(axGeography164, axiom, 
 ( ! [X] : 
 (hasType(type_Lake, X) => hasType(type_StaticWaterArea, X)))).

fof(axGeography165, axiom, 
 ( ! [X] : 
 (hasType(type_LandForm, X) => hasType(type_GeographicArea, X)))).

fof(axGeography166, axiom, 
 ( ! [X] : 
 (hasType(type_LandSubsidence, X) => hasType(type_GeologicalProcess, X)))).

fof(axGeography167, axiom, 
 ( ! [X] : 
 (hasType(type_LandlockedArea, X) => hasType(type_LandArea, X)))).

fof(axGeography168, axiom, 
 ( ! [X] : 
 (hasType(type_LandlockedWater, X) => hasType(type_BodyOfWater, X)))).

fof(axGeography169, axiom, 
 ( ! [X] : 
 (hasType(type_LandslideProcess, X) => hasType(type_Impelling, X)))).

fof(axGeography170, axiom, 
 ( ! [X] : 
 (hasType(type_Landslide, X) => hasType(type_GeologicalProcess, X)))).

fof(axGeography171, axiom, 
 ( ! [X] : 
 (hasType(type_Latitude, X) => hasType(type_Region, X)))).

fof(axGeography172, axiom, 
 ( ! [X] : 
 (hasType(type_Lichen, X) => hasType(type_NonFloweringPlant, X)))).

fof(axGeography173, axiom, 
 ( ! [X] : 
 (hasType(type_LittoralCurrent, X) => hasType(type_WaterCurrent, X)))).

fof(axGeography174, axiom, 
 ( ! [X] : 
 (hasType(type_LittoralZone, X) => hasType(type_GeographicArea, X)))).

fof(axGeography175, axiom, 
 ( ! [X] : 
 (hasType(type_Loam, X) => hasType(type_Soil, X)))).

fof(axGeography176, axiom, 
 ( ! [X] : 
 (hasType(type_Locust, X) => hasType(type_Animal, X)))).

fof(axGeography177, axiom, 
 ( ! [X] : 
 (hasType(type_Longitude, X) => hasType(type_Region, X)))).

fof(axGeography178, axiom, 
 ( ! [X] : 
 (hasType(type_LowPressureWeatherSystem, X) => hasType(type_WeatherSystem, X)))).

fof(axGeography179, axiom, 
 ( ! [X] : 
 (hasType(type_LowTide, X) => hasType(type_TidalProcess, X)))).

fof(axGeography180, axiom, 
 ( ! [X] : 
 (hasType(type_LowerLowTide, X) => hasType(type_LowTide, X)))).

fof(axGeography181, axiom, 
 ( ! [X] : 
 (hasType(type_LowlandArea, X) => hasType(type_LandForm, X)))).

fof(axGeography182, axiom, 
 ( ! [X] : 
 (hasType(type_MaritimeClaimArea, X) => hasType(type_GeographicArea, X)))).

fof(axGeography183, axiom, 
 ( ! [X] : 
 (hasType(type_MaritimeContiguousZone, X) => hasType(type_MaritimeClaimArea, X)))).

fof(axGeography184, axiom, 
 ( ! [X] : 
 (hasType(type_MaritimeContiguousZone, X) => hasType(type_SaltWaterArea, X)))).

fof(axGeography185, axiom, 
 ( ! [X] : 
 (hasType(type_MaritimeExclusiveEconomicZone, X) => hasType(type_MaritimeClaimArea, X)))).

fof(axGeography186, axiom, 
 ( ! [X] : 
 (hasType(type_MaritimeExclusiveEconomicZone, X) => hasType(type_SaltWaterArea, X)))).

fof(axGeography187, axiom, 
 ( ! [X] : 
 (hasType(type_MaritimeHazard, X) => hasType(type_LandForm, X)))).

fof(axGeography188, axiom, 
 ( ! [X] : 
 (hasType(type_MaritimeShelfArea, X) => hasType(type_MaritimeClaimArea, X)))).

fof(axGeography189, axiom, 
 ( ! [X] : 
 (hasType(type_MaritimeShelfArea, X) => hasType(type_SubmergedLandArea, X)))).

fof(axGeography190, axiom, 
 ( ! [X] : 
 (hasType(type_MediterraneanClimateZone, X) => hasType(type_TemperateClimateZone, X)))).

fof(axGeography191, axiom, 
 ( ! [X] : 
 (hasType(type_Mesa, X) => hasType(type_LandForm, X)))).

fof(axGeography192, axiom, 
 ( ! [X] : 
 (hasType(type_Mesa, X) => hasType(type_UplandArea, X)))).

fof(axGeography193, axiom, 
 ( ! [X] : 
 (hasType(type_MetallurgicalPlant, X) => hasType(type_Organization, X)))).

fof(axGeography194, axiom, 
 ( ! [X] : 
 (hasType(type_MiddleLatitudeDesertClimateZone, X) => hasType(type_DesertClimateZone, X)))).

fof(axGeography195, axiom, 
 ( ! [X] : 
 (hasType(type_MidlatitudeContinentalClimateZone, X) => hasType(type_ClimateZone, X)))).

fof(axGeography196, axiom, 
 ( ! [X] : 
 (hasType(type_Mistral, X) => hasType(type_WindProcess, X)))).

fof(axGeography197, axiom, 
 ( ! [X] : 
 (hasType(type_MixedTideProcess, X) => hasType(type_TidalProcess, X)))).

fof(axGeography198, axiom, 
 ( ! [X] : 
 (hasType(type_MonsoonClimateZone, X) => hasType(type_TropicalClimateZone, X)))).

fof(axGeography199, axiom, 
 ( ! [X] : 
 (hasType(type_Monsoon, X) => hasType(type_WeatherSeason, X)))).

fof(axGeography200, axiom, 
 ( ! [X] : 
 (hasType(type_Moon, X) => hasType(type_NaturalSatellite, X)))).

fof(axGeography201, axiom, 
 ( ! [X] : 
 (hasType(type_MountainRange, X) => hasType(type_LandForm, X)))).

fof(axGeography202, axiom, 
 ( ! [X] : 
 (hasType(type_MountainRange, X) => hasType(type_UplandArea, X)))).

fof(axGeography203, axiom, 
 ( ! [X] : 
 (hasType(type_Mountain, X) => hasType(type_LandForm, X)))).

fof(axGeography204, axiom, 
 ( ! [X] : 
 (hasType(type_Mountain, X) => hasType(type_UplandArea, X)))).

fof(axGeography205, axiom, 
 ( ! [X] : 
 (hasType(type_Mudflow, X) => hasType(type_Landslide, X)))).

fof(axGeography206, axiom, 
 ( ! [X] : 
 (hasType(type_Mudslide, X) => hasType(type_Landslide, X)))).

fof(axGeography207, axiom, 
 ( ! [X] : 
 (hasType(type_NaturalGas, X) => hasType(type_CompoundSubstance, X)))).

fof(axGeography208, axiom, 
 ( ! [X] : 
 (hasType(type_NaturalSatellite, X) => hasType(type_AstronomicalBody, X)))).

fof(axGeography209, axiom, 
 ( ! [X] : 
 (hasType(type_NaturalSatellite, X) => hasType(type_Satellite, X)))).

fof(axGeography210, axiom, 
 ( ! [X] : 
 (hasType(type_NormalFault, X) => hasType(type_DipSlipFault, X)))).

fof(axGeography211, axiom, 
 ( ! [X] : 
 (hasType(type_NoxiousSubstance, X) => hasType(type_Substance, X)))).

fof(axGeography212, axiom, 
 ( ! [X] : 
 (hasType(type_Oasis, X) => hasType(type_Biome, X)))).

fof(axGeography213, axiom, 
 ( ! [X] : 
 (hasType(type_Oasis, X) => hasType(type_LandArea, X)))).

fof(axGeography214, axiom, 
 ( ! [X] : 
 (hasType(type_OccludedFront, X) => hasType(type_WeatherFront, X)))).

fof(axGeography215, axiom, 
 ( ! [X] : 
 (hasType(type_Ocean, X) => hasType(type_BodyOfWater, X)))).

fof(axGeography216, axiom, 
 ( ! [X] : 
 (hasType(type_Ocean, X) => hasType(type_SaltWaterArea, X)))).

fof(axGeography217, axiom, 
 ( ! [X] : 
 (hasType(type_OvercastWeather, X) => hasType(type_WeatherProcess, X)))).

fof(axGeography218, axiom, 
 ( ! [X] : 
 (hasType(type_Overgrazing, X) => hasType(type_Eating, X)))).

fof(axGeography219, axiom, 
 ( ! [X] : 
 (hasType(type_Pampa, X) => hasType(type_Grassland, X)))).

fof(axGeography220, axiom, 
 ( ! [X] : 
 (hasType(type_Pampa, X) => hasType(type_Plain, X)))).

fof(axGeography221, axiom, 
 ( ! [X] : 
 (hasType(type_Pampero, X) => hasType(type_Windstorm, X)))).

fof(axGeography222, axiom, 
 ( ! [X] : 
 (hasType(type_PartlyCloudyWeather, X) => hasType(type_WeatherProcess, X)))).

fof(axGeography223, axiom, 
 ( ! [X] : 
 (hasType(type_Peninsula, X) => hasType(type_LandForm, X)))).

fof(axGeography224, axiom, 
 ( ! [X] : 
 (hasType(type_PerimeterArea, X) => hasType(type_Region, X)))).

fof(axGeography225, axiom, 
 ( ! [X] : 
 (hasType(type_PermanentCropLand, X) => hasType(type_LandArea, X)))).

fof(axGeography226, axiom, 
 ( ! [X] : 
 (hasType(type_PesticidePollution, X) => hasType(type_Pollution, X)))).

fof(axGeography227, axiom, 
 ( ! [X] : 
 (hasType(type_Phosphate, X) => hasType(type_CompoundSubstance, X)))).

fof(axGeography228, axiom, 
 ( ! [X] : 
 (hasType(type_Piedmont, X) => hasType(type_LandArea, X)))).

fof(axGeography229, axiom, 
 ( ! [X] : 
 (hasType(type_PineTree, X) => hasType(type_BotanicalTree, X)))).

fof(axGeography230, axiom, 
 ( ! [X] : 
 (hasType(type_Plain, X) => hasType(type_LowlandArea, X)))).

fof(axGeography231, axiom, 
 ( ! [X] : 
 (hasType(type_Planet, X) => hasType(type_NaturalSatellite, X)))).

fof(axGeography232, axiom, 
 ( ! [X] : 
 (hasType(type_Planting, X) => hasType(type_Putting, X)))).

fof(axGeography233, axiom, 
 ( ! [X] : 
 (hasType(type_Plateau, X) => hasType(type_LandForm, X)))).

fof(axGeography234, axiom, 
 ( ! [X] : 
 (hasType(type_Plateau, X) => hasType(type_UplandArea, X)))).

fof(axGeography235, axiom, 
 ( ! [X] : 
 (hasType(type_Poaching, X) => hasType(type_Killing, X)))).

fof(axGeography236, axiom, 
 ( ! [X] : 
 (hasType(type_PolarClimateZone, X) => hasType(type_ClimateZone, X)))).

fof(axGeography237, axiom, 
 ( ! [X] : 
 (hasType(type_PolarTypeFClimateZone, X) => hasType(type_PolarClimateZone, X)))).

fof(axGeography238, axiom, 
 ( ! [X] : 
 (hasType(type_PollutionIssue, X) => hasType(type_EnvironmentalIssue, X)))).

fof(axGeography239, axiom, 
 ( ! [X] : 
 (hasType(type_Pollution, X) => hasType(type_SocialInteraction, X)))).

fof(axGeography240, axiom, 
 ( ! [X] : 
 (hasType(type_PotableWater, X) => hasType(type_Freshwater, X)))).

fof(axGeography241, axiom, 
 ( ! [X] : 
 (hasType(type_Potash, X) => hasType(type_CompoundSubstance, X)))).

fof(axGeography242, axiom, 
 ( ! [X] : 
 (hasType(type_Prairie, X) => hasType(type_Grassland, X)))).

fof(axGeography243, axiom, 
 ( ! [X] : 
 (hasType(type_Prairie, X) => hasType(type_Plain, X)))).

fof(axGeography244, axiom, 
 ( ! [X] : 
 (hasType(type_RainForest, X) => hasType(type_Biome, X)))).

fof(axGeography245, axiom, 
 ( ! [X] : 
 (hasType(type_RainForest, X) => hasType(type_Forest, X)))).

fof(axGeography246, axiom, 
 ( ! [X] : 
 (hasType(type_Raining, X) => hasType(type_Precipitation, X)))).

fof(axGeography247, axiom, 
 ( ! [X] : 
 (hasType(type_Rapids, X) => hasType(type_StreamWaterArea, X)))).

fof(axGeography248, axiom, 
 ( ! [X] : 
 (hasType(type_Reef, X) => hasType(type_LandForm, X)))).

fof(axGeography249, axiom, 
 ( ! [X] : 
 (hasType(type_Reef, X) => hasType(type_MaritimeHazard, X)))).

fof(axGeography250, axiom, 
 ( ! [X] : 
 (hasType(type_Reforestation, X) => hasType(type_Planting, X)))).

fof(axGeography251, axiom, 
 ( ! [X] : 
 (hasType(type_ReservoirLake, X) => hasType(type_Lake, X)))).

fof(axGeography252, axiom, 
 ( ! [X] : 
 (hasType(type_ReservoirLake, X) => hasType(type_Reservoir, X)))).

fof(axGeography253, axiom, 
 ( ! [X] : 
 (hasType(type_Reservoir, X) => hasType(type_Artifact, X)))).

fof(axGeography254, axiom, 
 ( ! [X] : 
 (hasType(type_Reservoir, X) => hasType(type_FreshWaterArea, X)))).

fof(axGeography255, axiom, 
 ( ! [X] : 
 (hasType(type_RipCurrent, X) => hasType(type_LittoralCurrent, X)))).

fof(axGeography256, axiom, 
 ( ! [X] : 
 (hasType(type_RiverBank, X) => hasType(type_LandForm, X)))).

fof(axGeography257, axiom, 
 ( ! [X] : 
 (hasType(type_RiverBank, X) => hasType(type_ShoreArea, X)))).

fof(axGeography258, axiom, 
 ( ! [X] : 
 (hasType(type_RiverMouth, X) => hasType(type_StreamWaterArea, X)))).

fof(axGeography259, axiom, 
 ( ! [X] : 
 (hasType(type_RiverMouth, X) => hasType(type_WaterArea, X)))).

fof(axGeography260, axiom, 
 ( ! [X] : 
 (hasType(type_RiverSystem, X) => hasType(type_Collection, X)))).

fof(axGeography261, axiom, 
 ( ! [X] : 
 (hasType(type_RiverSystem, X) => hasType(type_WaterArea, X)))).

fof(axGeography262, axiom, 
 ( ! [X] : 
 (hasType(type_River, X) => hasType(type_BodyOfWater, X)))).

fof(axGeography263, axiom, 
 ( ! [X] : 
 (hasType(type_River, X) => hasType(type_FreshWaterArea, X)))).

fof(axGeography264, axiom, 
 ( ! [X] : 
 (hasType(type_River, X) => hasType(type_StreamWaterArea, X)))).

fof(axGeography265, axiom, 
 ( ! [X] : 
 (hasType(type_Rockslide, X) => hasType(type_Landslide, X)))).

fof(axGeography266, axiom, 
 ( ! [X] : 
 (hasType(type_Salination, X) => hasType(type_Combining, X)))).

fof(axGeography267, axiom, 
 ( ! [X] : 
 (hasType(type_SaltLake, X) => hasType(type_LandlockedWater, X)))).

fof(axGeography268, axiom, 
 ( ! [X] : 
 (hasType(type_SaltLake, X) => hasType(type_SaltWaterArea, X)))).

fof(axGeography269, axiom, 
 ( ! [X] : 
 (hasType(type_Salt, X) => hasType(type_CompoundSubstance, X)))).

fof(axGeography270, axiom, 
 ( ! [X] : 
 (hasType(type_Sand, X) => hasType(type_Soil, X)))).

fof(axGeography271, axiom, 
 ( ! [X] : 
 (hasType(type_Sandstorm, X) => hasType(type_WeatherProcess, X)))).

fof(axGeography272, axiom, 
 ( ! [X] : 
 (hasType(type_Sanitation, X) => hasType(type_Removing, X)))).

fof(axGeography273, axiom, 
 ( ! [X] : 
 (hasType(type_Satellite, X) => hasType(type_AstronomicalBody, X)))).

fof(axGeography274, axiom, 
 ( ! [X] : 
 (hasType(type_Savanna, X) => hasType(type_Grassland, X)))).

fof(axGeography275, axiom, 
 ( ! [X] : 
 (hasType(type_Savanna, X) => hasType(type_Plain, X)))).

fof(axGeography276, axiom, 
 ( ! [X] : 
 (hasType(type_SeaIce, X) => hasType(type_Ice, X)))).

fof(axGeography277, axiom, 
 ( ! [X] : 
 (hasType(type_Sea, X) => hasType(type_BodyOfWater, X)))).

fof(axGeography278, axiom, 
 ( ! [X] : 
 (hasType(type_Sea, X) => hasType(type_SaltWaterArea, X)))).

fof(axGeography279, axiom, 
 ( ! [X] : 
 (hasType(type_SeabedArea, X) => hasType(type_SubmergedLandArea, X)))).

fof(axGeography280, axiom, 
 ( ! [X] : 
 (hasType(type_Seacoast, X) => hasType(type_LandForm, X)))).

fof(axGeography281, axiom, 
 ( ! [X] : 
 (hasType(type_Seacoast, X) => hasType(type_ShoreArea, X)))).

fof(axGeography282, axiom, 
 ( ! [X] : 
 (hasType(type_SemiaridClimateZone, X) => hasType(type_ClimateZone, X)))).

fof(axGeography283, axiom, 
 ( ! [X] : 
 (hasType(type_SevereThunderstorm, X) => hasType(type_WeatherProcess, X)))).

fof(axGeography284, axiom, 
 ( ! [X] : 
 (hasType(type_SewageDisposal, X) => hasType(type_Sanitation, X)))).

fof(axGeography285, axiom, 
 ( ! [X] : 
 (hasType(type_Shoal, X) => hasType(type_MaritimeHazard, X)))).

fof(axGeography286, axiom, 
 ( ! [X] : 
 (hasType(type_Shoreline, X) => hasType(type_LandArea, X)))).

fof(axGeography287, axiom, 
 ( ! [X] : 
 (hasType(type_Shrub, X) => hasType(type_FloweringPlant, X)))).

fof(axGeography288, axiom, 
 ( ! [X] : 
 (hasType(type_SigningADocument, X) => hasType(type_Committing, X)))).

fof(axGeography289, axiom, 
 ( ! [X] : 
 (hasType(type_Silt, X) => hasType(type_Soil, X)))).

fof(axGeography290, axiom, 
 ( ! [X] : 
 (hasType(type_Siltation, X) => hasType(type_Putting, X)))).

fof(axGeography291, axiom, 
 ( ! [X] : 
 (hasType(type_Sirocco, X) => hasType(type_WindProcess, X)))).

fof(axGeography292, axiom, 
 ( ! [X] : 
 (hasType(type_SlashAndBurnAgriculture, X) => hasType(type_Agriculture, X)))).

fof(axGeography293, axiom, 
 ( ! [X] : 
 (hasType(type_Sleeting, X) => hasType(type_Precipitation, X)))).

fof(axGeography294, axiom, 
 ( ! [X] : 
 (hasType(type_SlopedArea, X) => hasType(type_LandForm, X)))).

fof(axGeography295, axiom, 
 ( ! [X] : 
 (hasType(type_Snowing, X) => hasType(type_Precipitation, X)))).

fof(axGeography296, axiom, 
 ( ! [X] : 
 (hasType(type_SoilDegradation, X) => hasType(type_SocialInteractions, X)))).

fof(axGeography297, axiom, 
 ( ! [X] : 
 (hasType(type_SoilErosion, X) => hasType(type_Erosion, X)))).

fof(axGeography298, axiom, 
 ( ! [X] : 
 (hasType(type_SoilQualityIssue, X) => hasType(type_EnvironmentalIssue, X)))).

fof(axGeography299, axiom, 
 ( ! [X] : 
 (hasType(type_SoilSalination, X) => hasType(type_Salination, X)))).

fof(axGeography300, axiom, 
 ( ! [X] : 
 (hasType(type_SoilSolution, X) => hasType(type_Solution, X)))).

fof(axGeography301, axiom, 
 ( ! [X] : 
 (hasType(type_Soil, X) => hasType(type_Mixture, X)))).

fof(axGeography302, axiom, 
 ( ! [X] : 
 (hasType(type_SolarSystem, X) => hasType(type_Collection, X)))).

fof(axGeography303, axiom, 
 ( ! [X] : 
 (hasType(type_SolidWasteDisposal, X) => hasType(type_Sanitation, X)))).

fof(axGeography304, axiom, 
 ( ! [X] : 
 (hasType(type_Sound, X) => hasType(type_BodyOfWater, X)))).

fof(axGeography305, axiom, 
 ( ! [X] : 
 (hasType(type_Squall, X) => hasType(type_WeatherProcess, X)))).

fof(axGeography306, axiom, 
 ( ! [X] : 
 (hasType(type_Star, X) => hasType(type_AstronomicalBody, X)))).

fof(axGeography307, axiom, 
 ( ! [X] : 
 (hasType(type_StationaryFront, X) => hasType(type_WeatherFront, X)))).

fof(axGeography308, axiom, 
 ( ! [X] : 
 (hasType(type_SteppeClimateZone, X) => hasType(type_AridClimateZone, X)))).

fof(axGeography309, axiom, 
 ( ! [X] : 
 (hasType(type_Steppe, X) => hasType(type_Plain, X)))).

fof(axGeography310, axiom, 
 ( ! [X] : 
 (hasType(type_Stone, X) => hasType(type_Rock, X)))).

fof(axGeography311, axiom, 
 ( ! [X] : 
 (hasType(type_StormSystem, X) => hasType(type_WeatherSystem, X)))).

fof(axGeography312, axiom, 
 ( ! [X] : 
 (hasType(type_Strait, X) => hasType(type_BodyOfWater, X)))).

fof(axGeography313, axiom, 
 ( ! [X] : 
 (hasType(type_StreamWaterConfluence, X) => hasType(type_WaterArea, X)))).

fof(axGeography314, axiom, 
 ( ! [X] : 
 (hasType(type_StrikeSlipFault, X) => hasType(type_GeologicalFault, X)))).

fof(axGeography315, axiom, 
 ( ! [X] : 
 (hasType(type_StrongWind, X) => hasType(type_WindProcess, X)))).

fof(axGeography316, axiom, 
 ( ! [X] : 
 (hasType(type_SubmergedLandArea, X) => hasType(type_GeographicArea, X)))).

fof(axGeography317, axiom, 
 ( ! [X] : 
 (hasType(type_SubtropicalDesertClimateZone, X) => hasType(type_DesertClimateZone, X)))).

fof(axGeography318, axiom, 
 ( ! [X] : 
 (hasType(type_SurfaceGroundArea, X) => hasType(type_GeographicArea, X)))).

fof(axGeography319, axiom, 
 ( ! [X] : 
 (hasType(type_Swarming, X) => hasType(type_Motion, X)))).

fof(axGeography320, axiom, 
 ( ! [X] : 
 (hasType(type_Talc, X) => hasType(type_Mineral, X)))).

fof(axGeography321, axiom, 
 ( ! [X] : 
 (hasType(type_TemperateClimateZone, X) => hasType(type_ClimateZone, X)))).

fof(axGeography322, axiom, 
 ( ! [X] : 
 (hasType(type_TemperateHardwoodForest, X) => hasType(type_Biome, X)))).

fof(axGeography323, axiom, 
 ( ! [X] : 
 (hasType(type_TemperateHardwoodForest, X) => hasType(type_Forest, X)))).

fof(axGeography324, axiom, 
 ( ! [X] : 
 (hasType(type_TemperateRainForest, X) => hasType(type_RainForest, X)))).

fof(axGeography325, axiom, 
 ( ! [X] : 
 (hasType(type_TemperateRainForest, X) => hasType(type_TemperateHardwoodForest, X)))).

fof(axGeography326, axiom, 
 ( ! [X] : 
 (hasType(type_TemperateSummerDryClimateZone, X) => hasType(type_TemperateClimateZone, X)))).

fof(axGeography327, axiom, 
 ( ! [X] : 
 (hasType(type_TemperateWinterDryClimateZone, X) => hasType(type_TemperateClimateZone, X)))).

fof(axGeography328, axiom, 
 ( ! [X] : 
 (hasType(type_TerrainAttribute, X) => hasType(type_InternalAttribute, X)))).

fof(axGeography329, axiom, 
 ( ! [X] : 
 (hasType(type_TerritorialSea, X) => hasType(type_MaritimeClaimArea, X)))).

fof(axGeography330, axiom, 
 ( ! [X] : 
 (hasType(type_TerritorialSea, X) => hasType(type_SaltWaterArea, X)))).

fof(axGeography331, axiom, 
 ( ! [X] : 
 (hasType(type_ThrustFault, X) => hasType(type_DipSlipFault, X)))).

fof(axGeography332, axiom, 
 ( ! [X] : 
 (hasType(type_Thunderstorm, X) => hasType(type_WeatherProcess, X)))).

fof(axGeography333, axiom, 
 ( ! [X] : 
 (hasType(type_TidalBore, X) => hasType(type_LittoralCurrent, X)))).

fof(axGeography334, axiom, 
 ( ! [X] : 
 (hasType(type_TidalEbb, X) => hasType(type_LittoralCurrent, X)))).

fof(axGeography335, axiom, 
 ( ! [X] : 
 (hasType(type_TidalFlow, X) => hasType(type_LittoralCurrent, X)))).

fof(axGeography336, axiom, 
 ( ! [X] : 
 (hasType(type_TidalProcess, X) => hasType(type_InternalChange, X)))).

fof(axGeography337, axiom, 
 ( ! [X] : 
 (hasType(type_Tide, X) => hasType(type_FlowRegion, X)))).

fof(axGeography338, axiom, 
 ( ! [X] : 
 (hasType(type_Tide, X) => hasType(type_SaltWaterArea, X)))).

fof(axGeography339, axiom, 
 ( ! [X] : 
 (hasType(type_Tornado, X) => hasType(type_WeatherProcess, X)))).

fof(axGeography340, axiom, 
 ( ! [X] : 
 (hasType(type_TreatyDocument, X) => hasType(type_Text, X)))).

fof(axGeography341, axiom, 
 ( ! [X] : 
 (hasType(type_TropicalClimateZone, X) => hasType(type_ClimateZone, X)))).

fof(axGeography342, axiom, 
 ( ! [X] : 
 (hasType(type_TropicalCyclone, X) => hasType(type_CyclonicStorm, X)))).

fof(axGeography343, axiom, 
 ( ! [X] : 
 (hasType(type_TropicalRainForest, X) => hasType(type_RainForest, X)))).

fof(axGeography344, axiom, 
 ( ! [X] : 
 (hasType(type_Tsunami, X) => hasType(type_WeatherProcess, X)))).

fof(axGeography345, axiom, 
 ( ! [X] : 
 (hasType(type_TundraClimateZone, X) => hasType(type_PolarClimateZone, X)))).

fof(axGeography346, axiom, 
 ( ! [X] : 
 (hasType(type_Tundra, X) => hasType(type_ArcticRegion, X)))).

fof(axGeography347, axiom, 
 ( ! [X] : 
 (hasType(type_Tundra, X) => hasType(type_Biome, X)))).

fof(axGeography348, axiom, 
 ( ! [X] : 
 (hasType(type_Tundra, X) => hasType(type_Plain, X)))).

fof(axGeography349, axiom, 
 ( ! [X] : 
 (hasType(type_Typhoon, X) => hasType(type_TropicalCyclone, X)))).

fof(axGeography350, axiom, 
 ( ! [X] : 
 (hasType(type_UndergroundArea, X) => hasType(type_GeographicArea, X)))).

fof(axGeography351, axiom, 
 ( ! [X] : 
 (hasType(type_UniformPerimeterArea, X) => hasType(type_PerimeterArea, X)))).

fof(axGeography352, axiom, 
 ( ! [X] : 
 (hasType(type_UplandArea, X) => hasType(type_LandForm, X)))).

fof(axGeography353, axiom, 
 ( ! [X] : 
 (hasType(type_Valley, X) => hasType(type_LandForm, X)))).

fof(axGeography354, axiom, 
 ( ! [X] : 
 (hasType(type_Valley, X) => hasType(type_LowlandArea, X)))).

fof(axGeography355, axiom, 
 ( ! [X] : 
 (hasType(type_VehicularPollution, X) => hasType(type_Pollution, X)))).

fof(axGeography356, axiom, 
 ( ! [X] : 
 (hasType(type_Veldt, X) => hasType(type_Grassland, X)))).

fof(axGeography357, axiom, 
 ( ! [X] : 
 (hasType(type_Veldt, X) => hasType(type_Plain, X)))).

fof(axGeography358, axiom, 
 ( ! [X] : 
 (hasType(type_VolcanicCone, X) => hasType(type_Hill, X)))).

fof(axGeography359, axiom, 
 ( ! [X] : 
 (hasType(type_VolcanicCone, X) => hasType(type_Volcano, X)))).

fof(axGeography360, axiom, 
 ( ! [X] : 
 (hasType(type_VolcanicEruption, X) => hasType(type_GeologicalProcess, X)))).

fof(axGeography361, axiom, 
 ( ! [X] : 
 (hasType(type_VolcanicGasRelease, X) => hasType(type_VolcanicEruption, X)))).

fof(axGeography362, axiom, 
 ( ! [X] : 
 (hasType(type_VolcanicMountain, X) => hasType(type_Mountain, X)))).

fof(axGeography363, axiom, 
 ( ! [X] : 
 (hasType(type_VolcanicMountain, X) => hasType(type_Volcano, X)))).

fof(axGeography364, axiom, 
 ( ! [X] : 
 (hasType(type_VolcanoStatus, X) => hasType(type_InternalAttribute, X)))).

fof(axGeography365, axiom, 
 ( ! [X] : 
 (hasType(type_Volcano, X) => hasType(type_LandForm, X)))).

fof(axGeography366, axiom, 
 ( ! [X] : 
 (hasType(type_WarmFront, X) => hasType(type_WeatherFront, X)))).

fof(axGeography367, axiom, 
 ( ! [X] : 
 (hasType(type_WaterCatchment, X) => hasType(type_Artifact, X)))).

fof(axGeography368, axiom, 
 ( ! [X] : 
 (hasType(type_WaterCurrent, X) => hasType(type_FlowRegion, X)))).

fof(axGeography369, axiom, 
 ( ! [X] : 
 (hasType(type_WaterCurrent, X) => hasType(type_WaterArea, X)))).

fof(axGeography370, axiom, 
 ( ! [X] : 
 (hasType(type_WaterOnlyArea, X) => hasType(type_GeographicArea, X)))).

fof(axGeography371, axiom, 
 ( ! [X] : 
 (hasType(type_WaterOverutilization, X) => hasType(type_SocialInteraction, X)))).

fof(axGeography372, axiom, 
 ( ! [X] : 
 (hasType(type_WaterPollution, X) => hasType(type_Pollution, X)))).

fof(axGeography373, axiom, 
 ( ! [X] : 
 (hasType(type_Waterfall, X) => hasType(type_StreamWaterArea, X)))).

fof(axGeography374, axiom, 
 ( ! [X] : 
 (hasType(type_WatershedDivide, X) => hasType(type_LandArea, X)))).

fof(axGeography375, axiom, 
 ( ! [X] : 
 (hasType(type_WatershedDivide, X) => hasType(type_UplandArea, X)))).

fof(axGeography376, axiom, 
 ( ! [X] : 
 (hasType(type_Waterspout, X) => hasType(type_WeatherProcess, X)))).

fof(axGeography377, axiom, 
 ( ! [X] : 
 (hasType(type_WeatherFront, X) => hasType(type_WeatherProcess, X)))).

fof(axGeography378, axiom, 
 ( ! [X] : 
 (hasType(type_WeatherSeason, X) => hasType(type_WeatherProcess, X)))).

fof(axGeography379, axiom, 
 ( ! [X] : 
 (hasType(type_WeatherSystem, X) => hasType(type_WeatherProcess, X)))).

fof(axGeography380, axiom, 
 ( ! [X] : 
 (hasType(type_WetTropicalClimateZone, X) => hasType(type_TropicalClimateZone, X)))).

fof(axGeography381, axiom, 
 ( ! [X] : 
 (hasType(type_WindFlow, X) => hasType(type_AirStream, X)))).

fof(axGeography382, axiom, 
 ( ! [X] : 
 (hasType(type_WindProcess, X) => hasType(type_WeatherProcess, X)))).

fof(axGeography383, axiom, 
 ( ! [X] : 
 (hasType(type_Windstorm, X) => hasType(type_WindProcess, X)))).

fof(axGeography384, axiom, 
 ( ! [X] : 
 (hasType(type_Zud, X) => hasType(type_WeatherProcess, X)))).

fof(axGeography385, axiom, 
 ( ! [X] : 
 (hasType(type_AreaOfConcern, X) => hasType(type_RelationalAttribute, X)))).

fof(axGeography386, axiom, 
 (hasType(type_EnvironmentalIssue, inst_AcidRainIssue))).

fof(axGeography387, axiom, 
 (hasType(type_EnvironmentalIssue, inst_AcidificationIssue))).

fof(axGeography388, axiom, 
 (hasType(type_EnvironmentalIssue, inst_AerosolParticulateIssue))).

fof(axGeography389, axiom, 
 (hasType(type_Continent, inst_Africa))).

fof(axGeography390, axiom, 
 (hasType(type_EnvironmentalIssue, inst_AgriculturalChemicalsIssue))).

fof(axGeography391, axiom, 
 (hasType(type_EnvironmentalIssue, inst_AgriculturalExpansionIssue))).

fof(axGeography392, axiom, 
 (hasType(type_Agreement, inst_AirPollutionConvention))).

fof(axGeography393, axiom, 
 (hasType(type_PollutionIssue, inst_AirPollutionIssue))).

fof(axGeography394, axiom, 
 (hasType(type_Agreement, inst_AirPollution_NitrogenOxidesProtocol))).

fof(axGeography395, axiom, 
 (hasType(type_Agreement, inst_AirPollution_PeristentOrganicPollutantsProtocol))).

fof(axGeography396, axiom, 
 (hasType(type_Agreement, inst_AirPollution_Sulphur85Protocol))).

fof(axGeography397, axiom, 
 (hasType(type_Agreement, inst_AirPollution_Sulphur94Protocol))).

fof(axGeography398, axiom, 
 (hasType(type_Agreement, inst_AirPollution_VolatileOrganicCompoundsProtocol))).

fof(axGeography399, axiom, 
 (hasType(type_WaterMotion, inst_AntarcticCircumpolarCurrent))).

fof(axGeography400, axiom, 
 (hasType(type_Agreement, inst_AntarcticSealsConvention))).

fof(axGeography401, axiom, 
 (hasType(type_Agreement, inst_AntarcticTreaty))).

fof(axGeography402, axiom, 
 (hasType(type_Agreement, inst_Antarctic_EnvironmentalProtocol))).

fof(axGeography403, axiom, 
 (hasType(type_Agreement, inst_Antarctic_MarineLivingResourcesConvention))).

fof(axGeography404, axiom, 
 (hasType(type_Sea, inst_ArabianSea))).

fof(axGeography405, axiom, 
 (hasType(type_SaltLake, inst_AralSea))).

fof(axGeography406, axiom, 
 (hasType(type_UnitOfAngularMeasure, inst_ArcMinute))).

fof(axGeography407, axiom, 
 (hasType(type_UnitOfAngularMeasure, inst_ArcSecond))).

fof(axGeography408, axiom, 
 (hasType(type_Ocean, inst_ArcticOcean))).

fof(axGeography409, axiom, 
 (hasType(type_EnvironmentalIssue, inst_AsbestosDisposalIssue))).

fof(axGeography410, axiom, 
 (hasType(type_Continent, inst_Asia))).

fof(axGeography411, axiom, 
 (hasType(type_Ocean, inst_AtlanticOcean))).

fof(axGeography412, axiom, 
 (hasType(type_Sea, inst_BalticSea))).

fof(axGeography413, axiom, 
 (hasType(type_BeaufortNumber, inst_BeaufortNumberEight))).

fof(axGeography414, axiom, 
 (hasType(type_BeaufortNumber, inst_BeaufortNumberEleven))).

fof(axGeography415, axiom, 
 (hasType(type_BeaufortNumber, inst_BeaufortNumberFive))).

fof(axGeography416, axiom, 
 (hasType(type_BeaufortNumber, inst_BeaufortNumberFour))).

fof(axGeography417, axiom, 
 (hasType(type_BeaufortNumber, inst_BeaufortNumberNine))).

fof(axGeography418, axiom, 
 (hasType(type_BeaufortNumber, inst_BeaufortNumberOne))).

fof(axGeography419, axiom, 
 (hasType(type_BeaufortNumber, inst_BeaufortNumberSeven))).

fof(axGeography420, axiom, 
 (hasType(type_BeaufortNumber, inst_BeaufortNumberSix))).

fof(axGeography421, axiom, 
 (hasType(type_BeaufortNumber, inst_BeaufortNumberTen))).

fof(axGeography422, axiom, 
 (hasType(type_BeaufortNumber, inst_BeaufortNumberThree))).

fof(axGeography423, axiom, 
 (hasType(type_BeaufortNumber, inst_BeaufortNumberTwelve))).

fof(axGeography424, axiom, 
 (hasType(type_BeaufortNumber, inst_BeaufortNumberTwo))).

fof(axGeography425, axiom, 
 (hasType(type_Sea, inst_BeringSea))).

fof(axGeography426, axiom, 
 (hasType(type_Agreement, inst_BiodiversityConvention))).

fof(axGeography427, axiom, 
 (hasType(type_Sea, inst_BlackSea))).

fof(axGeography428, axiom, 
 (hasType(type_Attribute, inst_CanopiedVegetation))).

fof(axGeography429, axiom, 
 (hasType(type_GeographicArea, inst_CaribbeanRegion))).

fof(axGeography430, axiom, 
 (hasType(type_Sea, inst_CaribbeanSea))).

fof(axGeography431, axiom, 
 (hasType(type_SaltLake, inst_CaspianSea))).

fof(axGeography432, axiom, 
 (hasType(type_GeographicArea, inst_CentralAfrica))).

fof(axGeography433, axiom, 
 (hasType(type_GeographicArea, inst_CentralAsia))).

fof(axGeography434, axiom, 
 (hasType(type_GeographicArea, inst_CentralEurope))).

fof(axGeography435, axiom, 
 (hasType(type_GeographicArea, inst_CentralSouthAmerica))).

fof(axGeography436, axiom, 
 (hasType(type_Agreement, inst_ClimateChangeConvention))).

fof(axGeography437, axiom, 
 (hasType(type_EnvironmentalIssue, inst_ClimateChangeIssue))).

fof(axGeography438, axiom, 
 (hasType(type_Agreement, inst_ClimateChange_KyotoProtocol))).

fof(axGeography439, axiom, 
 (hasType(type_EnvironmentalIssue, inst_CoastalDegradation))).

fof(axGeography440, axiom, 
 (hasType(type_EnvironmentalIssue, inst_CoastalMarinePollutionIssue))).

fof(axGeography441, axiom, 
 (hasType(type_EnvironmentalIssue, inst_CoralReefDecayIssue))).

fof(axGeography442, axiom, 
 (hasType(type_Attribute, inst_Crosswind))).

fof(axGeography443, axiom, 
 (hasType(type_SaltLake, inst_DeadSea))).

fof(axGeography444, axiom, 
 (hasType(type_EnvironmentalIssue, inst_DeforestationIssue))).

fof(axGeography445, axiom, 
 (hasType(type_Attribute, inst_DenseVegetation))).

fof(axGeography446, axiom, 
 (hasType(type_Agreement, inst_DesertificationConvention))).

fof(axGeography447, axiom, 
 (hasType(type_EnvironmentalIssue, inst_DesertificationIssue))).

fof(axGeography448, axiom, 
 (hasType(type_PositionalAttribute, inst_Downhill))).

fof(axGeography449, axiom, 
 (hasType(type_PositionalAttribute, inst_Downstream))).

fof(axGeography450, axiom, 
 (hasType(type_PositionalAttribute, inst_Downwind))).

fof(axGeography451, axiom, 
 (hasType(type_EnvironmentalIssue, inst_DriftNetFishingIssue))).

fof(axGeography452, axiom, 
 (hasType(type_EnvironmentalIssue, inst_DroughtIssue))).

fof(axGeography453, axiom, 
 (hasType(type_Atmosphere, inst_EarthsAtmosphere))).

fof(axGeography454, axiom, 
 (hasType(type_Moon, inst_EarthsMoon))).

fof(axGeography455, axiom, 
 (hasType(type_GeographicArea, inst_EasternAfrica))).

fof(axGeography456, axiom, 
 (hasType(type_GeographicArea, inst_EasternAsia))).

fof(axGeography457, axiom, 
 (hasType(type_GeographicArea, inst_EasternEurope))).

fof(axGeography458, axiom, 
 (hasType(type_Hemisphere, inst_EasternHemisphere))).

fof(axGeography459, axiom, 
 (hasType(type_GeographicArea, inst_EasternSouthAmerica))).

fof(axGeography460, axiom, 
 (hasType(type_Agreement, inst_EndangeredSpeciesConvention))).

fof(axGeography461, axiom, 
 (hasType(type_BiodiversityIssue, inst_EndangeredSpeciesIssue))).

fof(axGeography462, axiom, 
 (hasType(type_Agreement, inst_EnvironmentalModificationConvention))).

fof(axGeography463, axiom, 
 (hasType(type_EnvironmentalIssue, inst_FamineIssue))).

fof(axGeography464, axiom, 
 (hasType(type_EnvironmentalIssue, inst_FarmingPracticesIssue))).

fof(axGeography465, axiom, 
 (hasType(type_UnitOfLength, inst_Fathom))).

fof(axGeography466, axiom, 
 (hasType(type_TerrainAttribute, inst_FertileTerrain))).

fof(axGeography467, axiom, 
 (hasType(type_EnvironmentalIssue, inst_FishStockDepletionIssue))).

fof(axGeography468, axiom, 
 (hasType(type_TerrainAttribute, inst_FlatTerrain))).

fof(axGeography469, axiom, 
 (hasType(type_EnvironmentalIssue, inst_ForestDegradation))).

fof(axGeography470, axiom, 
 (hasType(type_BiodiversityIssue, inst_FragileEcosystemIssue))).

fof(axGeography471, axiom, 
 (hasType(type_TerrainAttribute, inst_GeologicallyStable))).

fof(axGeography472, axiom, 
 (hasType(type_SaltLake, inst_GreatSaltLake))).

fof(axGeography473, axiom, 
 (hasType(type_City, inst_GreenwichEnglandUK))).

fof(axGeography474, axiom, 
 (hasType(type_Attribute, inst_GroundCoverVegetation))).

fof(axGeography475, axiom, 
 (hasType(type_Agreement, inst_HazardousWastesConvention))).

fof(axGeography476, axiom, 
 (hasType(type_Attribute, inst_Headwind))).

fof(axGeography477, axiom, 
 (hasType(type_BiodiversityAttribute, inst_HighBiodiversity))).

fof(axGeography478, axiom, 
 (hasType(type_EnvironmentalIssue, inst_IllegalWildlifeTradeIssue))).

fof(axGeography479, axiom, 
 (hasType(type_EnvironmentalWaterIssue, inst_InadequatePotableWaterIssue))).

fof(axGeography480, axiom, 
 (hasType(type_EnvironmentalIssue, inst_InadequateSanitationIssue))).

fof(axGeography481, axiom, 
 (hasType(type_Ocean, inst_IndianOcean))).

fof(axGeography482, axiom, 
 (hasType(type_EnvironmentalIssue, inst_IndigenousPeoplesPreservationIssue))).

fof(axGeography483, axiom, 
 (hasType(type_PollutionIssue, inst_IndustrialPollutionIssue))).

fof(axGeography484, axiom, 
 (hasType(type_EnvironmentalIssue, inst_InvasiveSpeciesIssue))).

fof(axGeography485, axiom, 
 (hasType(type_CompositeUnitOfMeasure, inst_KnotUnitOfSpeed))).

fof(axGeography486, axiom, 
 (hasType(type_SaltLake, inst_KokoNor))).

fof(axGeography487, axiom, 
 (hasType(type_SaltLake, inst_LakeBakhtegan))).

fof(axGeography488, axiom, 
 (hasType(type_SaltLake, inst_LakeEyre))).

fof(axGeography489, axiom, 
 (hasType(type_SaltLake, inst_LakeMareotis))).

fof(axGeography490, axiom, 
 (hasType(type_SaltLake, inst_LakeTorrens))).

fof(axGeography491, axiom, 
 (hasType(type_SaltLake, inst_LakeWalker))).

fof(axGeography492, axiom, 
 (hasType(type_BiodiversityIssue, inst_LandClearingIssue))).

fof(axGeography493, axiom, 
 (hasType(type_EnvironmentalIssue, inst_LandminesIssue))).

fof(axGeography494, axiom, 
 (hasType(type_Agreement, inst_LawOfTheSeaConvention))).

fof(axGeography495, axiom, 
 (hasType(type_EnvironmentalWaterIssue, inst_LimitedFreshWaterIssue))).

fof(axGeography496, axiom, 
 (hasType(type_EnvironmentalIssue, inst_LossOfHabitatIssue))).

fof(axGeography497, axiom, 
 (hasType(type_BiodiversityAttribute, inst_LowBiodiversity))).

fof(axGeography498, axiom, 
 (hasType(type_TerrainAttribute, inst_LowTerrain))).

fof(axGeography499, axiom, 
 (hasType(type_Agreement, inst_MarineDumpingConvention))).

fof(axGeography500, axiom, 
 (hasType(type_Agreement, inst_MarineLifeConservationConvention))).

fof(axGeography501, axiom, 
 (hasType(type_Sea, inst_MediterraneanSea))).

fof(axGeography502, axiom, 
 (hasType(type_BiodiversityAttribute, inst_MediumBiodiversity))).

fof(axGeography503, axiom, 
 (hasType(type_GeographicArea, inst_MiddleAmerica))).

fof(axGeography504, axiom, 
 (hasType(type_EnvironmentalIssue, inst_MiningPollutionIssue))).

fof(axGeography505, axiom, 
 (hasType(type_TerrainAttribute, inst_MountainousTerrain))).

fof(axGeography506, axiom, 
 (hasType(type_UnitOfLength, inst_NauticalMile))).

fof(axGeography507, axiom, 
 (hasType(type_Sea, inst_NorthSea))).

fof(axGeography508, axiom, 
 (hasType(type_DirectionalAttribute, inst_Northeast))).

fof(axGeography509, axiom, 
 (hasType(type_GeographicArea, inst_NorthernAfrica))).

fof(axGeography510, axiom, 
 (hasType(type_GeographicArea, inst_NorthernAsia))).

fof(axGeography511, axiom, 
 (hasType(type_GeographicArea, inst_NorthernEurope))).

fof(axGeography512, axiom, 
 (hasType(type_Hemisphere, inst_NorthernHemisphere))).

fof(axGeography513, axiom, 
 (hasType(type_GeographicArea, inst_NorthernNorthAmerica))).

fof(axGeography514, axiom, 
 (hasType(type_GeographicArea, inst_NorthernSouthAmerica))).

fof(axGeography515, axiom, 
 (hasType(type_DirectionalAttribute, inst_Northwest))).

fof(axGeography516, axiom, 
 (hasType(type_PollutionIssue, inst_NuclearEnvironmentalIssue))).

fof(axGeography517, axiom, 
 (hasType(type_EnvironmentalIssue, inst_NuclearPollutionIssue))).

fof(axGeography518, axiom, 
 (hasType(type_Agreement, inst_NuclearTestBanTreaty))).

fof(axGeography519, axiom, 
 (hasType(type_PollutionIssue, inst_OilPollutionIssue))).

fof(axGeography520, axiom, 
 (hasType(type_Attribute, inst_OpenSea))).

fof(axGeography521, axiom, 
 (hasType(type_EnvironmentalIssue, inst_OvergrazingIssue))).

fof(axGeography522, axiom, 
 (hasType(type_EnvironmentalIssue, inst_OverhuntingIssue))).

fof(axGeography523, axiom, 
 (hasType(type_EnvironmentalIssue, inst_OverpopulationIssue))).

fof(axGeography524, axiom, 
 (hasType(type_EnvironmentalIssue, inst_OzoneDepletionIssue))).

fof(axGeography525, axiom, 
 (hasType(type_Agreement, inst_OzoneLayerProtectionProtocol))).

fof(axGeography526, axiom, 
 (hasType(type_NonCompositeUnitOfMeasure, inst_PHValue))).

fof(axGeography527, axiom, 
 (hasType(type_Ocean, inst_PacificOcean))).

fof(axGeography528, axiom, 
 (hasType(type_CompoundSubstance, inst_Permafrost))).

fof(axGeography529, axiom, 
 (hasType(type_EnvironmentalIssue, inst_PesticideIssue))).

fof(axGeography530, axiom, 
 (hasType(type_Planet, inst_PlanetEarth))).

fof(axGeography531, axiom, 
 (hasType(type_Planet, inst_PlanetJupiter))).

fof(axGeography532, axiom, 
 (hasType(type_Planet, inst_PlanetMars))).

fof(axGeography533, axiom, 
 (hasType(type_Planet, inst_PlanetMercury))).

fof(axGeography534, axiom, 
 (hasType(type_Planet, inst_PlanetNeptune))).

fof(axGeography535, axiom, 
 (hasType(type_Planet, inst_PlanetPluto))).

fof(axGeography536, axiom, 
 (hasType(type_Planet, inst_PlanetSaturn))).

fof(axGeography537, axiom, 
 (hasType(type_Planet, inst_PlanetUranus))).

fof(axGeography538, axiom, 
 (hasType(type_Planet, inst_PlanetVenus))).

fof(axGeography539, axiom, 
 (hasType(type_EnvironmentalIssue, inst_PollutedFishStocksIssue))).

fof(axGeography540, axiom, 
 (hasType(type_SaltLake, inst_PoopoLake))).

fof(axGeography541, axiom, 
 (hasType(type_EnvironmentalIssue, inst_PopulationMigrationIssue))).

fof(axGeography542, axiom, 
 (hasType(type_PollutionIssue, inst_PowerPlantEmissionsIssue))).

fof(axGeography543, axiom, 
 (hasType(type_PollutionIssue, inst_RawSewagePollutionIssue))).

fof(axGeography544, axiom, 
 (hasType(type_Sea, inst_RedSea))).

fof(axGeography545, axiom, 
 (hasType(type_CompositeUnitOfMeasure, inst_RichterMagnitude))).

fof(axGeography546, axiom, 
 (hasType(type_SaltLake, inst_SaltonSea))).

fof(axGeography547, axiom, 
 (hasType(type_Attribute, inst_ScatteredVegetation))).

fof(axGeography548, axiom, 
 (hasType(type_GeographicArea, inst_SeaLevel))).

fof(axGeography549, axiom, 
 (hasType(type_Agreement, inst_ShipPollutionProtocol))).

fof(axGeography550, axiom, 
 (hasType(type_EnvironmentalIssue, inst_SiltationIssue))).

fof(axGeography551, axiom, 
 (hasType(type_SoilQualityIssue, inst_SoilDegradationIssue))).

fof(axGeography552, axiom, 
 (hasType(type_SoilQualityIssue, inst_SoilErosionIssue))).

fof(axGeography553, axiom, 
 (hasType(type_SoilQualityIssue, inst_SoilExhaustionIssue))).

fof(axGeography554, axiom, 
 (hasType(type_Star, inst_Sol))).

fof(axGeography555, axiom, 
 (hasType(type_PollutionIssue, inst_SolidWasteDisposalIssue))).

fof(axGeography556, axiom, 
 (hasType(type_Continent, inst_SouthAmerica))).

fof(axGeography557, axiom, 
 (hasType(type_Hole, inst_SouthSandwichTrench))).

fof(axGeography558, axiom, 
 (hasType(type_DirectionalAttribute, inst_Southeast))).

fof(axGeography559, axiom, 
 (hasType(type_GeographicArea, inst_SoutheasternAsia))).

fof(axGeography560, axiom, 
 (hasType(type_GeographicArea, inst_SoutheasternEurope))).

fof(axGeography561, axiom, 
 (hasType(type_GeographicArea, inst_SouthernAfrica))).

fof(axGeography562, axiom, 
 (hasType(type_GeographicArea, inst_SouthernAsia))).

fof(axGeography563, axiom, 
 (hasType(type_GeographicArea, inst_SouthernEurope))).

fof(axGeography564, axiom, 
 (hasType(type_Hemisphere, inst_SouthernHemisphere))).

fof(axGeography565, axiom, 
 (hasType(type_GeographicArea, inst_SouthernSouthAmerica))).

fof(axGeography566, axiom, 
 (hasType(type_DirectionalAttribute, inst_Southwest))).

fof(axGeography567, axiom, 
 (hasType(type_GeographicArea, inst_SouthwesternAsia))).

fof(axGeography568, axiom, 
 (hasType(type_GeographicArea, inst_SouthwesternEurope))).

fof(axGeography569, axiom, 
 (hasType(type_Attribute, inst_SparseVegetation))).

fof(axGeography570, axiom, 
 (hasType(type_UnitOfArea, inst_SquareKilometer))).

fof(axGeography571, axiom, 
 (hasType(type_UnitOfArea, inst_SquareMeter))).

fof(axGeography572, axiom, 
 (hasType(type_TerrainAttribute, inst_SteepTerrain))).

fof(axGeography573, axiom, 
 (hasType(type_Attribute, inst_Tailwind))).

fof(axGeography574, axiom, 
 (hasType(type_PollutionIssue, inst_ToxicChemicalPollutionIssue))).

fof(axGeography575, axiom, 
 (hasType(type_PollutionIssue, inst_ToxicWasteDisposalIssue))).

fof(axGeography576, axiom, 
 (hasType(type_Agreement, inst_TropicalTimber83Agreement))).

fof(axGeography577, axiom, 
 (hasType(type_Agreement, inst_TropicalTimber94Agreement))).

fof(axGeography578, axiom, 
 (hasType(type_GeographicArea, inst_Tropics))).

fof(axGeography579, axiom, 
 (hasType(type_EnvironmentalIssue, inst_UVLevelsIssue))).

fof(axGeography580, axiom, 
 (hasType(type_EnvironmentalIssue, inst_UnexplodedOrdinanceIssue))).

fof(axGeography581, axiom, 
 (hasType(type_PositionalAttribute, inst_Uphill))).

fof(axGeography582, axiom, 
 (hasType(type_PositionalAttribute, inst_Upstream))).

fof(axGeography583, axiom, 
 (hasType(type_PositionalAttribute, inst_Upwind))).

fof(axGeography584, axiom, 
 (hasType(type_EnvironmentalIssue, inst_UrbanizationIssue))).

fof(axGeography585, axiom, 
 (hasType(type_PollutionIssue, inst_VehicleEmissionsIssue))).

fof(axGeography586, axiom, 
 (hasType(type_VolcanoStatus, inst_VolcanicallyActive))).

fof(axGeography587, axiom, 
 (hasType(type_VolcanoStatus, inst_VolcanicallyDormant))).

fof(axGeography588, axiom, 
 (hasType(type_VolcanoStatus, inst_VolcanicallyExtinct))).

fof(axGeography589, axiom, 
 (hasType(type_EnvironmentalIssue, inst_WaterBorneDiseaseIssue))).

fof(axGeography590, axiom, 
 (hasType(type_EnvironmentalIssue, inst_WaterInfrastructureIssue))).

fof(axGeography591, axiom, 
 (hasType(type_EnvironmentalIssue, inst_WaterManagementIssue))).

fof(axGeography592, axiom, 
 (hasType(type_EnvironmentalWaterIssue, inst_WaterPollutionIssue))).

fof(axGeography593, axiom, 
 (hasType(type_GeographicArea, inst_WesternAfrica))).

fof(axGeography594, axiom, 
 (hasType(type_GeographicArea, inst_WesternEurope))).

fof(axGeography595, axiom, 
 (hasType(type_Hemisphere, inst_WesternHemisphere))).

fof(axGeography596, axiom, 
 (hasType(type_GeographicArea, inst_WesternSouthAmerica))).

fof(axGeography597, axiom, 
 (hasType(type_EnvironmentalIssue, inst_WetlandDegradationIssue))).

fof(axGeography598, axiom, 
 (hasType(type_Agreement, inst_WetlandsConvention))).

fof(axGeography599, axiom, 
 (hasType(type_Agreement, inst_WhalingConvention))).

fof(axGeography600, axiom, 
 (hasType(type_EnvironmentalIssue, inst_WildlifePoachingIssue))).

fof(axGeography601, axiom, 
 (hasType(type_Gulf, inst_GulfOfAden) & hasType(type_SaltWaterArea, inst_GulfOfAden))).

fof(axGeography602, axiom, 
 (hasType(type_Gulf, inst_GulfOfMexico) & hasType(type_SaltWaterArea, inst_GulfOfMexico))).

fof(axGeography603, axiom, 
 (hasType(type_Gulf, inst_GulfOfOman) & hasType(type_SaltWaterArea, inst_GulfOfOman))).

fof(axGeography604, axiom, 
 (hasType(type_GeographicArea, inst_MiddleEastRegion) & hasType(type_GeopoliticalArea, inst_MiddleEastRegion))).

fof(axGeography605, axiom, 
 (hasType(type_GeographicArea, inst_NorthAmerica) & hasType(type_Continent, inst_NorthAmerica))).

fof(axGeography606, axiom, 
 (hasType(type_SaltWaterArea, inst_NorthAtlanticOcean) & hasType(type_BodyOfWater, inst_NorthAtlanticOcean))).

fof(axGeography607, axiom, 
 (hasType(type_SaltWaterArea, inst_NorthPacificOcean) & hasType(type_BodyOfWater, inst_NorthPacificOcean))).

fof(axGeography608, axiom, 
 (hasType(type_GeographicArea, inst_Oceania) & hasType(type_Continent, inst_Oceania))).

fof(axGeography609, axiom, 
 (hasType(type_AtmosphericRegion, inst_OzoneShield) & hasType(type_CompoundSubstance, inst_OzoneShield))).

fof(axGeography610, axiom, 
 (hasType(type_Gulf, inst_PersianGulf) & hasType(type_SaltWaterArea, inst_PersianGulf))).

fof(axGeography611, axiom, 
 (hasType(type_PollutionIssue, inst_SoilPollutionIssue) & hasType(type_SoilQualityIssue, inst_SoilPollutionIssue))).

fof(axGeography612, axiom, 
 (hasType(type_SaltWaterArea, inst_SouthAtlanticOcean) & hasType(type_BodyOfWater, inst_SouthAtlanticOcean))).

fof(axGeography613, axiom, 
 (hasType(type_SaltWaterArea, inst_SouthPacificOcean) & hasType(type_BodyOfWater, inst_SouthPacificOcean))).

fof(axGeography614, axiom, 
 (hasType(type_Ocean, inst_SouthernOcean) & hasType(type_PolarClimateZone, inst_SouthernOcean))).

fof(axGeography615, axiom, 
 (hasType(type_Strait, inst_StraitOfHormuz) & hasType(type_SaltWaterArea, inst_StraitOfHormuz))).

fof(axGeography616, axiom, 
 (hasType(type_SaltWaterArea, inst_WorldOcean) & hasType(type_BodyOfWater, inst_WorldOcean))).

fof(axGeography617, axiom, 
 (hasType(type_TerrainAttribute, inst_MountainousTerrain))).

fof(axGeography618, axiom, 
 (hasType(type_PositionalAttribute, inst_Upwind))).

fof(axGeography619, axiom, 
 (hasType(type_PositionalAttribute, inst_Downwind))).

fof(axGeography620, axiom, 
 (hasType(type_EnvironmentalWaterIssue, inst_GroundwaterPollutionIssue))).

fof(axGeography621, axiom, 
 (hasType(type_BiodiversityIssue, inst_EndangeredMarineWildlifeIssue))).

fof(axGeography622, axiom, 
 (hasType(type_SoilQualityIssue, inst_SoilSalinityIssue))).