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