gf-3.1.6: examples/SUMO/Geography.gf

abstract Geography = open Merge, Mid_level_ontology, Transportation in {




fun AcidRainIssue : Ind EnvironmentalIssue ;

--  AcidRainfall is the subclass of 
-- Raining in which the precipitate contains harmful amounts of 
-- sulfur dioxide or nitrogen oxide. The standard for acid rain 
-- is below 5.6 pH.
fun AcidRainfall : Class ;
fun AcidRainfall_Class : SubClass AcidRainfall WeatherProcess ;

-- Acidification is the process of 
-- lowering soil and water pH due to acid rain or other types of 
-- acid deposition. Potential harmful effects include killing 
-- freshwater fish and plants.
fun Acidification : Class ;
fun Acidification_Class : SubClass Acidification Combining ;

fun AcidificationIssue : Ind EnvironmentalIssue ;

-- AerosolParticulate is a 
-- Substance that includes aerosol_dispersed particles 
-- that are mixed with air, gas, or smoke. A form of Pollution.
fun AerosolParticulate : Class ;
fun AerosolParticulate_Class : SubClass AerosolParticulate Substance ;

fun AerosolParticulateIssue : Ind EnvironmentalIssue ;

-- Afforestation is the process of 
-- planting trees and plants on spaces that are either empty or in 
-- agricultural use.
fun Afforestation : Class ;
fun Afforestation_Class : SubClass Afforestation Planting ;

fun Africa : Ind Continent ;

-- Aftershock is the subclass of EarthTremors 
-- that occur after the main tremor(s) of an Earthquake.
fun Aftershock : Class ;
fun Aftershock_Class : SubClass Aftershock EarthTremor ;

-- Agreement is the class of 
-- Propositions that express the contents of agreements 
-- entered into by CognitiveAgents. Agreement includes 
-- treaties, contracts, purchase orders, pledges, marriage 
-- vows, etc. An Agreement may be written down in a document 
-- or other ContentBearingObject.
fun Agreement : Class ;
fun Agreement_Class : SubClass Agreement Proposition ;

-- (AgreementOrganizationFn ?AGR) 
-- denotes the official Organization established by the Agreement ?AGR 
-- to administer or enforce the terms of that agreement.
fun AgreementOrganizationFn : El Agreement -> Ind Organization ;


fun AgriculturalChemicalsIssue : Ind EnvironmentalIssue ;

fun AgriculturalExpansionIssue : Ind EnvironmentalIssue ;

-- Agriculture is a class of Processes 
-- in which land, plants, or animals are cultivated in order to produce 
-- food or other organic products.
fun Agriculture : Class ;
fun Agriculture_Class : SubClass Agriculture Maintaining ;

-- AirPollution is the subclass of 
-- Pollution processes in which air is contaminated.
fun AirPollution : Class ;
fun AirPollution_Class : SubClass AirPollution Pollution ;

fun AirPollutionConvention : Ind Agreement ;

fun AirPollutionIssue : Ind PollutionIssue ;

fun AirPollution_NitrogenOxidesProtocol : Ind Agreement ;

fun AirPollution_PeristentOrganicPollutantsProtocol : Ind Agreement ;

fun AirPollution_Sulphur85Protocol : Ind Agreement ;

fun AirPollution_Sulphur94Protocol : Ind Agreement ;

fun AirPollution_VolatileOrganicCompoundsProtocol : Ind Agreement ;

-- AirStream is the class of FlowRegions that consist of air.
fun AirStream : Class ;
fun AirStream_Class : SubClass AirStream (both Air FlowRegion) ;


-- The area below the AntarcticCircle, which is
-- 66 degrees 33 minutes and 38 seconds south latitude. It is dark
-- for at least 24 hours at some point during the year, with an
-- increasing period of yearly continuous darkness as one gets closer
-- to the South Pole.
fun AntarcticArea : Class ;
fun AntarcticArea_Class : SubClass AntarcticArea LandArea ;

fun AntarcticCircumpolarCurrent : Ind WaterMotion ;

fun AntarcticSealsConvention : Ind Agreement ;

fun AntarcticTreaty : Ind Agreement ;

fun Antarctic_EnvironmentalProtocol : Ind Agreement ;

fun Antarctic_MarineLivingResourcesConvention : Ind Agreement ;

fun ArabianSea : Ind Sea ;

-- ArableLand is the subclass of 
-- LandArea that represents land in cultivation with crops that 
-- are replanted after each harvest, e.g., wheat and rice.
fun ArableLand : Class ;
fun ArableLand_Class : SubClass ArableLand LandArea ;

fun AralSea : Ind SaltLake ;

-- ArcMinute represents a UnitOfMeasure 
-- equivalent to 1/60th of an AngularDegree.
fun ArcMinute : Ind UnitOfAngularMeasure ;


-- ArcSecond represents a UnitOfMeasure 
-- equivalent to 1/60th of an ArcMinute.
fun ArcSecond : Ind UnitOfAngularMeasure ;


-- An ArchipelagicArea is a GeographicArea 
-- including an Archipelago and the surrounding WaterArea.
fun ArchipelagicArea : Class ;
fun ArchipelagicArea_Class : SubClass ArchipelagicArea GeographicArea ;

-- An Archipelago is a group of islands.
fun Archipelago : Class ;
fun Archipelago_Class : SubClass Archipelago (both Collection LandForm) ;


-- ArcticOcean represents the Arctic Ocean.
fun ArcticOcean : Ind Ocean ;


-- The area above the Artic Circle, which is
-- 66 degrees 33 minutes and 38 seconds north latitude. It is dark
-- for at least 24 hours at some point during the year, with an
-- increasing period of yearly continuous darkness as one gets closer
-- to the North Pole.
fun ArcticRegion : Class ;


-- AreaOfConcern is a subclass of 
-- Attributes that represent and classify the kinds of interests that 
-- agents have.
fun AreaOfConcern : Class ;
fun AreaOfConcern_Class : SubClass AreaOfConcern RelationalAttribute ;

-- AridClimateZone is the 
-- class of regions in which the climate is characterized by 
-- a distinct dry season. Annual rate of moisture evaporation 
-- exceeds annual rate of precipitation. This is Class B in the 
-- Koeppen climate system.
fun AridClimateZone : Class ;
fun AridClimateZone_Class : SubClass AridClimateZone ClimateZone ;

-- Asbestos is a Mineral.
fun Asbestos : Class ;
fun Asbestos_Class : SubClass Asbestos Mineral ;

fun AsbestosDisposalIssue : Ind EnvironmentalIssue ;

fun Asia : Ind Continent ;

-- AtlanticOcean represents the Atlantic 
-- Ocean.
fun AtlanticOcean : Ind Ocean ;


-- Atmosphere is a mixture of gases 
-- surrounding any celestial object that has a gravitational field 
-- strong enough to prevent the gases from escaping.
fun Atmosphere : Class ;
fun Atmosphere_Class : SubClass Atmosphere Region ;

fun AtmosphericHazing : Class ;
fun AtmosphericHazing_Class : SubClass AtmosphericHazing WeatherProcess ;

-- Atoll is the class of CoralReefs which surround 
-- a lagoon.
fun Atoll : Class ;
fun Atoll_Class : SubClass Atoll CoralReef ;

-- AvalancheProcess is a subclass of 
-- Motion that represents events in which a loosened mass of snow, ice, 
-- rock, or earth rapidly descends a steep slope, with a destructive force.
fun AvalancheProcess : Class ;
fun AvalancheProcess_Class : SubClass AvalancheProcess Impelling ;

fun BalticSea : Ind Sea ;

-- Barite is Barium Sulfate occurring as a mineral.
fun Barite : Class ;
fun Barite_Class : SubClass Barite (both CompoundSubstance Mineral) ;


-- A Basin is an area of land enclosed or partially 
-- enclosed by higher land.
fun Basin : Class ;
fun Basin_Class : SubClass Basin LandForm ;

-- Bay is the class of extensions of a body of water 
-- (salt or fresh) that reach into the land, usually smaller than a 
-- Gulf.
fun Bay : Class ;
fun Bay_Class : SubClass Bay Inlet ;

-- BeaufortNumber is the
-- Attribute for indicating wind force, according to
-- classifications based on observable weather conditions and later
-- related to wind speed ranges.
fun BeaufortNumber : Class ;
fun BeaufortNumber_Class : SubClass BeaufortNumber RelationalAttribute ;

fun BeaufortNumberEight : Ind BeaufortNumber ;

fun BeaufortNumberEleven : Ind BeaufortNumber ;

fun BeaufortNumberFive : Ind BeaufortNumber ;

fun BeaufortNumberFour : Ind BeaufortNumber ;

fun BeaufortNumberNine : Ind BeaufortNumber ;

fun BeaufortNumberOne : Ind BeaufortNumber ;

fun BeaufortNumberSeven : Ind BeaufortNumber ;

fun BeaufortNumberSix : Ind BeaufortNumber ;

fun BeaufortNumberTen : Ind BeaufortNumber ;

fun BeaufortNumberThree : Ind BeaufortNumber ;

fun BeaufortNumberTwelve : Ind BeaufortNumber ;

fun BeaufortNumberTwo : Ind BeaufortNumber ;

fun BeringSea : Ind Sea ;

-- BiodiversityAttribute is the 
-- class of Attributes that describe the level of biodiversity present 
-- in a GeographicArea or Ecosystem.
fun BiodiversityAttribute : Class ;
fun BiodiversityAttribute_Class : SubClass BiodiversityAttribute InternalAttribute ;

fun BiodiversityConvention : Ind Agreement ;

fun BiodiversityIssue : Class ;
fun BiodiversityIssue_Class : SubClass BiodiversityIssue EnvironmentalIssue ;
-- Biome is the class of GeographicAreas 
-- representing major kinds of ecological communities, that is, areas in 
-- which certain kinds of plants, animals, weather, and terrain interact 
-- to produce and support a distinctive ecosystem.
fun Biome : Class ;
fun Biome_Class : SubClass Biome Ecosystem ;

fun BlackSea : Ind Sea ;

fun Blizzard : Class ;
fun Blizzard_Class : SubClass Blizzard WeatherProcess ;
fun BodyOfWater_WaterArea : SubClass BodyOfWater WaterArea ;

-- (BorderFn ?AREA1 ?AREA2) denotes the 
-- border area where the GeographicAreas ?AREA1 and ?AREA2 meet.
fun BorderFn : El GeographicArea -> El GeographicArea -> Ind GeographicArea ;


fun BorealForest : Class ;
fun BorealForest_Class : SubClass BorealForest (both Biome Forest) ;

-- BrownCoal is a soft Coal harder than 
-- peat and softer than bituminous coal. Also called lignite, it is 
-- brownish in color.
fun BrownCoal : Class ;
fun BrownCoal_Class : SubClass BrownCoal Coal ;

-- A Butte is an Upland raised sharply from the 
-- surrounding region. Smaller in area than a Mesa.
fun Butte : Class ;
fun Butte_Class : SubClass Butte (both LandForm UplandArea) ;


-- Canal is the subclass of navigable Waterways 
-- flowing through an artificial course. Typically, a canal is a 
-- Transitway connecting two bodies of water.
fun Canal : Class ;
fun Canal_Class : SubClass Canal (both StationaryArtifact Waterway) ;


-- A CanalStructure is the constructed 
-- framework, including Locks, that contains the waters of a Canal.
fun CanalStructure : Class ;
fun CanalStructure_Class : SubClass CanalStructure StationaryArtifact ;

-- CanopiedVegetation describes the 
-- density of vegetation in a RainForest or Jungle.
fun CanopiedVegetation : Ind Attribute ;


-- A Canyon is a narrow valley with steep sides, usually 
-- created by erosion.
fun Canyon : Class ;
fun Canyon_Class : SubClass Canyon LandForm ;

-- A Cape is a piece of land projecting into a body of water.
fun Cape : Class ;
fun Cape_Class : SubClass Cape LandForm ;

-- CarbonCycle is the class of 
-- GeologicalProcesses in which carbon in various forms is passed 
-- between air, water, earth, and the biosphere.
fun CarbonCycle : Class ;
fun CarbonCycle_Class : SubClass CarbonCycle GeologicalProcess ;

fun CarbonDioxideEmission : Class ;
fun CarbonDioxideEmission_Class : SubClass CarbonDioxideEmission Separating ;
fun CaribbeanRegion : Ind GeographicArea ;

fun CaribbeanSea : Ind Sea ;

fun CaspianSea : Ind SaltLake ;

-- A CaveMatrix is the framework of earth or 
-- rock in which a Cave is embedded.
fun CaveMatrix : Class ;
fun CaveMatrix_Class : SubClass CaveMatrix LandForm ;

fun Cave_Hole : SubClass Cave Hole ;

fun CentralAfrica : Ind GeographicArea ;

fun CentralAsia : Ind GeographicArea ;

fun CentralEurope : Ind GeographicArea ;

fun CentralSouthAmerica : Ind GeographicArea ;

fun Channel_BodyOfWater : SubClass Channel BodyOfWater ;

fun ChinookWind : Class ;
fun ChinookWind_Class : SubClass ChinookWind WindProcess ;
-- A mineral that consists of an oxide of
-- iron and chromium.
fun Chromite : Class ;
fun Chromite_Class : SubClass Chromite (both CompoundSubstance Mineral) ;


-- Fine_grained soil consisting of mineral particles, not 
-- necessarily clay minerals, that are less than 0.002 mm in their maximum dimension.
fun Clay : Class ;
fun Clay_Class : SubClass Clay Soil ;

-- ClearWeather represents a condition 
-- in which less than 30% of the sky is covered with clouds.
fun ClearWeather : Class ;
fun ClearWeather_Class : SubClass ClearWeather WeatherProcess ;

-- A Cliff is any high, very_steep_to_perpendicular 
-- or overhanging face of rock or earth, a precipice.
fun Cliff : Class ;
fun Cliff_Class : SubClass Cliff SlopedArea ;

fun ClimateChangeConvention : Ind Agreement ;

fun ClimateChangeIssue : Ind EnvironmentalIssue ;

fun ClimateChange_KyotoProtocol : Ind Agreement ;

-- &ClimateZone is a subclass of GeographicArea in which regions 
-- are classified according to their long_term weather conditions. 
-- The subclasses of ClimateZone are based on the Koeppen Climate 
-- Classification system. In the Koeppen system, climate zones are 
-- distinguished based on temperatures and rainfall.
fun ClimateZone : Class ;
fun ClimateZone_Class : SubClass ClimateZone GeographicArea ;

-- Coal is a black or brownish black solid combustible 
-- substance formed by the partial decomposition of vegetable matter without 
-- free access of air and under the influence of moisture and often increased 
-- pressure and temperature. Coal is a sedimentary rock containing a high 
-- proportion of carbon.
fun Coal : Class ;
fun Coal_Class : SubClass Coal (both FossilFuel (both Mineral Rock)) ;


fun CoastalDegradation : Ind EnvironmentalIssue ;

fun CoastalFlooding : Class ;
fun CoastalFlooding_Class : SubClass CoastalFlooding Flooding ;
fun CoastalMarinePollutionIssue : Ind EnvironmentalIssue ;

-- CoastalPlain is the class of broad plains 
-- areas adjacent to a Sea or Ocean. A coastal plain includes a narrower 
-- ShoreArea adjacent to a body of water.
fun CoastalPlain : Class ;
fun CoastalPlain_Class : SubClass CoastalPlain Plain ;

-- ColdClimateZone is the subclass 
-- of ClimateZone that is characterized by a warmest month with average 
-- temperature less than 10 degrees Celsius and a coldest month with 
-- average temperature less than _3 degrees Celsius. This is Koeppen climate 
-- system Type D.
fun ColdClimateZone : Class ;
fun ColdClimateZone_Class : SubClass ColdClimateZone ClimateZone ;

-- ColdDampClimateZone is the 
-- subclass of ColdClimateZone that is characterized by having more 
-- than 30 mm of precipitation in the driest month. This is subtype 
-- 'Df' in the Koeppen climate system.
fun ColdDampClimateZone : Class ;
fun ColdDampClimateZone_Class : SubClass ColdDampClimateZone ColdClimateZone ;

-- ColdFront is the class of transitional 
-- weather processes occurring between a cold air mass that is advancing 
-- upon a warm air mass.
fun ColdFront : Class ;
fun ColdFront_Class : SubClass ColdFront WeatherFront ;

-- ContinentalClimateZone is a subclass of TemperateClimateZone that is 
-- characterized by cold winters and hot summers.
fun ContinentalClimateZone : Class ;
fun ContinentalClimateZone_Class : SubClass ContinentalClimateZone TemperateClimateZone ;

-- ContinentalMargin is class of 
-- SubmergedLandAreas that are the extension of land underwater at 
-- the edge of a continent, before a drop to the sea floor. A 
-- ContinentalMargin includes the ContinentalShelf and the 
-- continental break, slope, or rise at the outer edge.
fun ContinentalMargin : Class ;
fun ContinentalMargin_Class : SubClass ContinentalMargin SubmergedLandArea ;

-- A ContinentalShelf is a natural 
-- undersea extension of land around a Continent. The shelf is a 
-- gently sloped (average less than one percent) plain that is an extension 
-- of the CoastalPlain found off the coast of most continents.
fun ContinentalShelf : Class ;
fun ContinentalShelf_Class : SubClass ContinentalShelf SubmergedLandArea ;

-- Corals are gastrovascular marine cnidarians (phylum 
-- Cnidaria, class Anthozoa) existing as small anemone_like polyps, typically 
-- forming colonies of many individuals. The group includes the important 
-- reef builders known as hermatypic corals, found in tropical oceans, and 
-- belonging to the subclass Zoantharia of order Scleractinia (formerly 
-- Madreporaria). The hermatypic corals obtain much of their nutrient 
-- requirement from symbiotic unicellular algae called zooxanthellae, and so 
-- are dependent upon growing in sunlight. As a result, these corals are 
-- usually found not far beneath the surface, although in clear waters corals 
-- can grow at depths of 60 m (200 ft). Corals breed by spawning, with all 
-- corals of the same species in a region releasing gametes simultaneously 
-- over a period of one to several nights around a full moon. (from Wikipedia)
fun Coral : Class ;
fun Coral_Class : SubClass Coral Invertebrate ;

-- CoralReef is the subclass of Reefs that are 
-- formed from living organisms that produce the limestone formations of the 
-- reef. Coral reefs include fringing reefs, barrier reefs, and Atolls.
fun CoralReef : Class ;
fun CoralReef_Class : SubClass CoralReef Reef ;

fun CoralReefDecayIssue : Ind EnvironmentalIssue ;

-- A Cove is a small part of a body of water that 
-- reaches into a coast.
fun Cove : Class ;
fun Cove_Class : SubClass Cove Inlet ;

-- Crosswind is the relative attribute of a 
-- Wind to an object when the force of the wind is applied to a lateral 
-- side of the object.
fun Crosswind : Ind Attribute ;


-- CyclonicStorm is the class of 
-- LowPressureWeatherSystems that involve a low pressure area 
-- surrounded by rapidly rotating winds, with the whole system 
-- typically moving forward at 20_30 mph.
fun CyclonicStorm : Class ;
fun CyclonicStorm_Class : SubClass CyclonicStorm (both LowPressureWeatherSystem Windstorm) ;


-- DDT (dichoro_diphenyl_trichloro_ethane) 
-- is a highly toxic insecticide also harmful to most other animal 
-- species. DDT was banned in the UnitedStates in 1972.
fun DDT : Class ;
fun DDT_Class : SubClass DDT CompoundSubstance ;

fun Dam_StationaryArtifact : SubClass Dam StationaryArtifact ;

-- (DatumFn ?place) denotes the point of MLLW (Mean Lower Low 
-- Water) used as the initial data point for a coastal or WaterArea given on a nautical 
-- chart. High and low tides are calculated with reference to this point.
fun DatumFn : El GeographicArea -> Ind LengthMeasure ;


fun DeadSea : Ind SaltLake ;

-- Defoliant is the class of substances 
-- that are used to make plants lose their leaves, typically used 
-- in agriculture or warfare. Defoliants may have detrimental 
-- environmental side effects.
fun Defoliant : Class ;
fun Defoliant_Class : SubClass Defoliant PureSubstance ;

fun Deforestation : Class ;
fun Deforestation_Class : SubClass Deforestation (both ForestDamage Removing) ;

fun DeforestationIssue : Ind EnvironmentalIssue ;

-- A Delta is a LandForm composed of silt or other 
-- alluvium, deposited at or near the mouth of a river or stream as it enters 
-- a body of relatively static water. Typically a delta is flat and fan_shaped.
fun Delta : Class ;
fun Delta_Class : SubClass Delta LandForm ;

-- DenseVegetation describes the 
-- density of vegetation in a Forest.
fun DenseVegetation : Ind Attribute ;


-- Desert is a subclass of LandAreas that are 
-- arid regions having sparse or no vegetation.
fun Desert : Class ;
fun Desert_Class : SubClass Desert LandArea ;

-- DesertClimateZone 
-- is the class of AridClimateZones characterized by 
-- sparse, desert vegetation. Koeppen system 'BW'.
fun DesertClimateZone : Class ;
fun DesertClimateZone_Class : SubClass DesertClimateZone AridClimateZone ;

-- Desertification represents the 
-- Process by which desert conditions are spread over an area.
fun Desertification : Class ;
fun Desertification_Class : SubClass Desertification WeatherProcess ;

fun DesertificationConvention : Ind Agreement ;

fun DesertificationIssue : Ind EnvironmentalIssue ;

fun DipSlipFault : Class ;
fun DipSlipFault_Class : SubClass DipSlipFault GeologicalFault ;
-- (DirectionalSubregionFn ?DIRECTION ?AREA) denotes the part 
-- of GeographicArea ?AREA that lies in ?DIRECTION from the 
-- geographic center of ?AREA. For example, 
-- (DirectionalSubregionFn Iraq North) denotes the Northern 
-- part of Iraq. Such subregions are defined purely by geographical 
-- points of reference, not by sociological ones. For example, 
-- (DirectionalSubregionFn UnitedStatesOfAmerica South) denotes 
-- the Southern half of the United States, it does not denote the 
-- American South as distinguished for historical, literary, or 
-- cultural purposes.
fun DirectionalSubregionFn : El DirectionalAttribute -> El GeographicArea -> Ind GeographicArea ;


fun DiseaseConditionsIssue : Class ;
fun DiseaseConditionsIssue_Class : SubClass DiseaseConditionsIssue EnvironmentalIssue ;
-- (DocumentFn ?PROP) denotes a class 
-- of Text objects that contain the information ?PROP.
fun DocumentFn: El Proposition -> Desc Text ;


-- Downhill is a PositionalAttribute that 
-- describes the relation between two things, one of which is located 
-- down a slope from the other.
fun Downhill : Ind PositionalAttribute ;


fun Downstream : Ind PositionalAttribute ;

-- Downwind is a PositionalAttribute that indicates relative position 
-- downwind (leeward) with respect to the direction that the Wind is 
-- blowing.
fun Downwind : Ind PositionalAttribute ;


fun Dredging : Class ;
fun Dredging_Class : SubClass Dredging Removing ;
fun DriftNetFishingIssue : Ind EnvironmentalIssue ;

fun DriftnetFishing : Class ;
fun DriftnetFishing_Class : SubClass DriftnetFishing Fishing ;
-- Drought is the subclass of WeatherProcess 
-- that represents long periods without precipitation, which is damaging 
-- to crops, livestock, and human life.
fun Drought : Class ;
fun Drought_Class : SubClass Drought WeatherProcess ;

fun DroughtIssue : Ind EnvironmentalIssue ;

-- DryWinterColdClimateZone 
-- is a subclass of ColdClimateZone that is characterized by having 
-- at least ten times as much precipitation in the wettest summer month 
-- as in the driest winter month. This is Koeppen climate system subtype 
-- 'Dw'.
fun DryWinterColdClimateZone : Class ;
fun DryWinterColdClimateZone_Class : SubClass DryWinterColdClimateZone ColdClimateZone ;

fun DustStorm : Class ;
fun DustStorm_Class : SubClass DustStorm WeatherProcess ;
-- An EarthTremor is an individual seismic 
-- event in which the earth shakes due to release of seismic pressures.
fun EarthTremor : Class ;
fun EarthTremor_Class : SubClass EarthTremor (both GeologicalProcess Tremor) ;


-- Earthquake is the class of events in 
-- which the earth shakes while its layers readjust due to tensional 
-- stresses in the surface of the earth. A single earthquake may consist 
-- of one or more EarthTremors.
fun Earthquake : Class ;
fun Earthquake_Class : SubClass Earthquake GeologicalProcess ;

-- EarthsAtmosphere is the layer of gases, 
-- a mixture of mainly oxygen and nitrogen, surrounding PlanetEarth. See 
-- also Air.
fun EarthsAtmosphere : Ind Atmosphere ;


-- EarthsMoon is the Moon of PlanetEarth.
fun EarthsMoon : Ind Moon ;


fun EasternAfrica : Ind GeographicArea ;

fun EasternAsia : Ind GeographicArea ;

fun EasternEurope : Ind GeographicArea ;

-- The half of the Earth that includes Europe, 
-- Asia, Africa, and Australia.
fun EasternHemisphere : Ind Hemisphere ;


fun EasternSouthAmerica : Ind GeographicArea ;

-- Ecosystem is a subclass of GeographicAreas 
-- considered together with their organisms and environment as a functioning 
-- whole.
fun Ecosystem : Class ;
fun Ecosystem_Class : SubClass Ecosystem GeographicArea ;

-- Effluent is a Substance 
-- that generically covers any waste matter that is released into 
-- the environment, including sewage and industrial pollutants.
fun Effluent : Class ;
fun Effluent_Class : SubClass Effluent Substance ;

fun ElNino : Class ;
fun ElNino_Class : SubClass ElNino WeatherSeason ;
-- (ElevationHighPointFn ?AREA) 
-- denotes the area within the GeographicArea ?AREA that has the 
-- highest elevation.
fun ElevationHighPointFn : El GeographicArea -> Ind GeographicArea ;


-- (ElevationLowPointFn ?AREA) 
-- denotes the area within the GeographicArea ?AREA that has the 
-- lowest elevation.
fun ElevationLowPointFn : El GeographicArea -> Ind GeographicArea ;


fun EndangeredMarineWildlifeIssue : Ind BiodiversityIssue ;

-- EndangeredSpecies is the 
-- subclass of Organism that includes plants and animals that 
-- are in danger of extinction from destruction of individuals 
-- or of habitat.
fun EndangeredSpecies : Class ;
fun EndangeredSpecies_Class : SubClass EndangeredSpecies Organism ;

fun EndangeredSpeciesConvention : Ind Agreement ;

fun EndangeredSpeciesIssue : Ind BiodiversityIssue ;

fun EnvironmentalIssue : Class ;
fun EnvironmentalIssue_Class : SubClass EnvironmentalIssue AreaOfConcern ;
fun EnvironmentalModificationConvention : Ind Agreement ;

fun EnvironmentalWaterIssue : Class ;
fun EnvironmentalWaterIssue_Class : SubClass EnvironmentalWaterIssue EnvironmentalIssue ;
-- Erosion is a wearing process on 
-- LandForms by wind, running water, ice, heat, and other processes, 
-- in which rock and soil material are removed from one area and 
-- deposited elsewhere.
fun Erosion : Class ;
fun Erosion_Class : SubClass Erosion (both GeologicalProcess Removing) ;


-- Estuary is the subclass of BodyOfWater that 
-- represents WaterAreas where a sea or ocean Tide meets a River 
-- current.
fun Estuary : Class ;
fun Estuary_Class : SubClass Estuary (both BodyOfWater (both Inlet SaltWaterArea)) ;


-- ExclusiveFishingZone is the 
-- subclass of MaritimeClaimArea including offshore areas over which a 
-- nation claims exclusive jurisdiction only for fishing purposes (cf. 
-- MaritimeExclusiveEconomicZone). Zone widths vary up to 200 miles 
-- (NM).
fun ExclusiveFishingZone : Class ;
fun ExclusiveFishingZone_Class : SubClass ExclusiveFishingZone (both MaritimeClaimArea SaltWaterArea) ;


-- (ExclusiveFishingZoneFn ?POLITY) denotes the 
-- ExclusiveFishingZone that is claimed by the 
-- GeopoliticalArea ?POLITY.
fun ExclusiveFishingZoneFn : El GeopoliticalArea -> Ind ExclusiveFishingZone ;


-- ExtendedFishingZone is the subclass of MaritimeClaimArea 
-- that includes offshore areas over which a nation claims fishing rights, 
-- beyond that nation's ExclusiveFishingZone. Zone widths vary, 
-- from as little as 12 miles (NM) up to a width of 200 miles (NM).
fun ExtendedFishingZone : Class ;
fun ExtendedFishingZone_Class : SubClass ExtendedFishingZone (both MaritimeClaimArea SaltWaterArea) ;


-- (ExtendedFishingZoneFn ?POLITY) denotes the 
-- ExtendedFishingZoneFn that is claimed by the 
-- GeopoliticalArea ?POLITY, beyond its ExclusiveFishingZone.
fun ExtendedFishingZoneFn : El GeopoliticalArea -> Ind ExtendedFishingZone ;


fun Famine : Class ;
fun Famine_Class : SubClass Famine SocialInteraction ;
fun FamineIssue : Ind EnvironmentalIssue ;

fun FarmingPracticesIssue : Ind EnvironmentalIssue ;

-- Fathom is a UnitOfMeasure used for measuring 
-- water depth. One fathom is equal to six feet.
fun Fathom : Ind UnitOfLength ;


-- FertileTerrain describes an area 
-- that has the type of soil and climate conditions needed to produce 
-- good quality crops.
fun FertileTerrain : Ind TerrainAttribute ;


-- Fire is the subclass of Combustion events in 
-- which flames are present. Fires are slower combustion processes than 
-- explosions, though some fires may include explosive episodes.
fun Fire : Class ;
fun Fire_Class : SubClass Fire Combustion ;

fun FishStockDepletionIssue : Ind EnvironmentalIssue ;

-- Fishing is the class of Processes in which 
-- Fish are hunted.
fun Fishing : Class ;
fun Fishing_Class : SubClass Fishing Hunting ;

fun FlashFlooding : Class ;
fun FlashFlooding_Class : SubClass FlashFlooding Flooding ;
-- FlatTerrain is a TerrainAttribute 
-- describing regions within which there is very little variation in 
-- altitude.
fun FlatTerrain : Ind TerrainAttribute ;


fun Flooding_WeatherProcess : SubClass Flooding WeatherProcess ;

-- (FlowFn ?FLUID) denotes the Motion process
-- associated with the constitutive pieces of the FlowRegion ?FLUID.
fun FlowFn : El FlowRegion -> Ind Motion ;


-- (FlowRegionFn ?FLOW) denotes the region 
-- in which the coherent LiquidMotion process ?FLOW is occurring.
fun FlowRegionFn : El LiquidMotion -> Ind Region ;


fun FlowRegion_Region : SubClass FlowRegion Region ;

fun Fogging : Class ;
fun Fogging_Class : SubClass Fogging WeatherProcess ;
-- Forest is the class of large LandAreas that 
-- are covered by trees and associated undergrowth, either growing wild or 
-- managed for the purpose of timber production.
fun Forest : Class ;
fun Forest_Class : SubClass Forest LandArea ;

fun ForestDamage : Class ;
fun ForestDamage_Class : SubClass ForestDamage Damaging ;
fun ForestDegradation : Ind EnvironmentalIssue ;

fun ForestFire : Class ;
fun ForestFire_Class : SubClass ForestFire (both Combustion ForestDamage) ;

fun FragileEcosystemIssue : Ind BiodiversityIssue ;

fun FreezingRain : Class ;
fun FreezingRain_Class : SubClass FreezingRain Precipitation ;
-- Freshwater is the subclass of Water 
-- that has low soluble mineral content. See also PotableWater.
fun Freshwater : Class ;
fun Freshwater_Class : SubClass Freshwater Water ;

fun FreshwaterOverutilization : Class ;
fun FreshwaterOverutilization_Class : SubClass FreshwaterOverutilization SocialInteraction ;
-- (GeographicCenterFn ?REGION) denotes the geographical center 
-- of the GeographicArea ?REGION.
fun GeographicCenterFn : El GeographicArea -> Ind GeographicArea ;


fun GeographicRegion : Class ;

-- GeologicalFault is the subclass of 
-- GeographicAreas in which there is a fracture in the Earth's crust 
-- and differential movement can occur on the two sides of the fault. 
-- Such movement results in EarthTremors and is the cause of 
-- Earthquakes.
fun GeologicalFault : Class ;
fun GeologicalFault_Class : SubClass GeologicalFault GeographicArea ;

-- GeologicallyStable is a 
-- TerrainAttribute of a GeographicArea in which the geological 
-- substructure is stable, i.e., there are no active Volcanoes, 
-- no major fault lines, no blasting or other destabilizing activity.
fun GeologicallyStable : Ind TerrainAttribute ;


fun Ghibli : Class ;
fun Ghibli_Class : SubClass Ghibli WindProcess ;
-- A Glacier is a large body of slow_moving ice. 
-- Glaciers displace soil and rock while moving over land surfaces and break 
-- apart, forming Icebergs, when they reach the sea.
fun Glacier : Class ;
fun Glacier_Class : SubClass Glacier LandForm ;

fun GrassFire : Class ;
fun GrassFire_Class : SubClass GrassFire Combustion ;
-- Grassland is the class of LandAreas 
-- where the predominant vegetation is some kind of grass.
fun Grassland : Class ;
fun Grassland_Class : SubClass Grassland (both Biome LandArea) ;


-- Gravel is small rounded stones, often mixed with sand.
fun Gravel : Class ;
fun Gravel_Class : SubClass Gravel Rock ;

fun GreatSaltLake : Ind SaltLake ;

-- GreenhouseGas is the subclass of 
-- substances that, when present in the atmosphere, trap infrared 
-- radiation and cause global warming. Greenhouse gases include 
-- carbon dioxide, hydrofluorocarbons, methane, nitrous oxide, ozone, 
-- and water vapor.
fun GreenhouseGas : Class ;
fun GreenhouseGas_Class : SubClass GreenhouseGas PureSubstance ;

fun GreenwichEnglandUK : Ind City ;

-- GroundCoverVegetation 
-- describes the density of uniform low vegetation in a field or meadow.
fun GroundCoverVegetation : Ind Attribute ;


-- Groundwater is the subclass of 
-- Water that is found in deposits in the earth.
fun Groundwater : Class ;
fun Groundwater_Class : SubClass Groundwater Water ;

fun GroundwaterPollutionIssue : Ind EnvironmentalWaterIssue ;

-- Gulf is the class of extensions of a Sea or 
-- Ocean that reach into a land mass or are partially enclosed by a 
-- LandArea. A Gulf is typically larger than a Bay.
fun Gulf : Class ;
fun Gulf_Class : SubClass Gulf (both BodyOfWater SaltWaterArea) ;


fun GulfOfAden : Ind (both Gulf SaltWaterArea) ;

fun GulfOfMexico : Ind (both Gulf SaltWaterArea) ;

fun GulfOfOman : Ind (both Gulf SaltWaterArea) ;

-- Hailing is a precipitation process 
-- in which Water falls in a Solid state with round, hard pellets.
fun Hailing : Class ;
fun Hailing_Class : SubClass Hailing Precipitation ;

fun HarmattanWind : Class ;
fun HarmattanWind_Class : SubClass HarmattanWind WindProcess ;
fun HazardousWastesConvention : Ind Agreement ;

-- Headwind is the relative attribute of a 
-- Wind to an object when the force of the wind is applied to the front 
-- of the object (FrontFn). A headwind can negatively affect the speed 
-- capability of a vehicle.
fun Headwind : Ind Attribute ;


fun HeavyRaining : Class ;
fun HeavyRaining_Class : SubClass HeavyRaining Raining ;
fun HeavySurf : Class ;
fun HeavySurf_Class : SubClass HeavySurf (both WaterMotion WeatherProcess) ;

-- Hemisphere is the class of GeographicAreas 
-- that are halves of the Earth, as traditionally divided into the Northern 
-- and Southern Hemispheres along the equator and into the Eastern and Western 
-- Hemispheres along a north_south line running 20°W and 160°E.
fun Hemisphere : Class ;
fun Hemisphere_Class : SubClass Hemisphere GeographicArea ;

fun HighBiodiversity : Ind BiodiversityAttribute ;

-- HighPressureWeatherSystem is 
-- the class of weather systems characterized by high barometricPressures. 
-- High pressure systems typically cause clear weather.
fun HighPressureWeatherSystem : Class ;
fun HighPressureWeatherSystem_Class : SubClass HighPressureWeatherSystem WeatherSystem ;

-- HighTide is the class of TidalProcesses that 
-- occur twice a day in marine waters, in which the water level rises above 
-- the mean sea level.
fun HighTide : Class ;
fun HighTide_Class : SubClass HighTide TidalProcess ;

-- HigherHighTide is the subclass of 
-- HighTide processes that occur in marine waters with a 
-- MixedTideProcess.
fun HigherHighTide : Class ;
fun HigherHighTide_Class : SubClass HigherHighTide HighTide ;

-- A Hill is a raised part of the earth's surface with 
-- sloping sides _ an old mountain which because of erosion has become shorter 
-- and more rounded.
fun Hill : Class ;
fun Hill_Class : SubClass Hill (both LandForm UplandArea) ;


-- Humus is decaying organic matter found in Soil 
-- and derived from dead animal and plant material.
fun Humus : Class ;
fun Humus_Class : SubClass Humus Mixture ;

fun Hurricane : Class ;
fun Hurricane_Class : SubClass Hurricane (both TropicalCyclone WeatherProcess) ;

fun HurricaneSeason : Class ;
fun HurricaneSeason_Class : SubClass HurricaneSeason WeatherSeason ;
-- HydropowerWaterArea 
-- is the class of WaterAreas with waterflow strength adequate 
-- for the production of hydropower.
fun HydropowerWaterArea : Class ;
fun HydropowerWaterArea_Class : SubClass HydropowerWaterArea WaterArea ;

-- An Iceberg is a large chunk of ice that has 
-- broken off from a glacier and fallen into the sea. The larger part of 
-- an Iceberg floats underwater.
fun Iceberg : Class ;
fun Iceberg_Class : SubClass Iceberg (both SelfConnectedObject Water) ;


fun Icing : Class ;
fun Icing_Class : SubClass Icing (both Freezing WeatherProcess) ;

fun IllegalWildlifeTradeIssue : Ind EnvironmentalIssue ;

fun InadequatePotableWaterIssue : Ind EnvironmentalWaterIssue ;

fun InadequateSanitationIssue : Ind EnvironmentalIssue ;

-- IndianOcean represents the Indian Ocean.
fun IndianOcean : Ind Ocean ;


fun IndigenousPeoplesPreservationIssue : Ind EnvironmentalIssue ;

-- IndustrialPollution is 
-- the subclass of Pollution characterized by pollutants that 
-- originate in industrial processes.
fun IndustrialPollution : Class ;
fun IndustrialPollution_Class : SubClass IndustrialPollution Pollution ;

fun IndustrialPollutionIssue : Ind PollutionIssue ;

-- An instance of InlandWaterSystem 
-- comprises two or more lakes or rivers, canals, or other waterways that 
-- are interconnected.
fun InlandWaterSystem : Class ;
fun InlandWaterSystem_Class : SubClass InlandWaterSystem (both Collection WaterArea) ;


-- Inlet is the class of bays or other recesses 
-- into the shore of a lake, sea, or river, includes InletPassages, which 
-- are passages leading from open water through some barrier to a bay or 
-- lagoon.
fun Inlet : Class ;
fun Inlet_Class : SubClass Inlet BodyOfWater ;

-- InletPassage is the class of water 
-- passages connecting an area of open water to a bay or lagoon, through 
-- some land barrier(s) close on either side.
fun InletPassage : Class ;
fun InletPassage_Class : SubClass InletPassage Inlet ;

-- (InnerBoundaryFn ?REGION) denotes the 
-- inner boundary of the Region ?REGION, where ?REGION has an inner and 
-- outer orientation with respect to another object.
fun InnerBoundaryFn : El Region -> Ind Region ;


-- InternationalAgreement is the 
-- subclass of Agreements which are made by and between Nations.
fun InternationalAgreement : Class ;
fun InternationalAgreement_Class : SubClass InternationalAgreement Agreement ;

-- InternationalBorder is the 
-- subclass of GeographicAreas where the areas of two Nations meet.
fun InternationalBorder : Class ;
fun InternationalBorder_Class : SubClass InternationalBorder GeographicArea ;

fun InvasiveSpeciesIssue : Ind EnvironmentalIssue ;

-- IrrigatedLand is the subclass of 
-- LandArea representing land whose water supply is artificially 
-- supplied or supplemented.
fun IrrigatedLand : Class ;
fun IrrigatedLand_Class : SubClass IrrigatedLand LandArea ;

-- Irrigating is the process of transporting 
-- and applying water to crops by artificial means.
fun Irrigating : Class ;
fun Irrigating_Class : SubClass Irrigating Motion ;

-- IrrigationChannel is the class of 
-- artificially created channels used for transporting water to agricultural 
-- fields for Irrigating crops.
fun IrrigationChannel : Class ;
fun IrrigationChannel_Class : SubClass IrrigationChannel Artifact ;

-- An Isthmus is a narrow strip of land that 
-- connects two larger land masses and is bordered on two sides by water.
fun Isthmus : Class ;
fun Isthmus_Class : SubClass Isthmus LandArea ;

-- JetStream is the class of high_velocity 
-- AirStreams that blow constantly in the upper atmosphere with constant 
-- speed and direction, though their location shifts somewhat. There are 
-- four JetStreams in EarthsAtmosphere.
fun JetStream : Class ;
fun JetStream_Class : SubClass JetStream AirStream ;

-- Jungle is a subclass of fertile LandAreas 
-- that are overgrown with tropical vegetation.
fun Jungle : Class ;
fun Jungle_Class : SubClass Jungle (both Biome LandArea) ;


fun Khamsin : Class ;
fun Khamsin_Class : SubClass Khamsin Windstorm ;
-- KnotUnitOfSpeed is a unit for measuring 
-- speed. One KnotUnitOfSpeed is equal to one NauticalMile per one 
-- HourDuration.
fun KnotUnitOfSpeed : Ind CompositeUnitOfMeasure ;


fun KokoNor : Ind SaltLake ;

-- Lake is the subclass of BodyOfWater whose 
-- instances are naturally occurring static bodies of water surrounded 
-- by land.
fun Lake : Class ;
fun Lake_Class : SubClass Lake StaticWaterArea ;

fun LakeBakhtegan : Ind SaltLake ;

fun LakeEyre : Ind SaltLake ;

fun LakeMareotis : Ind SaltLake ;

-- A LakeRegion is a GeographicArea 
-- including land surrounding one or more Lakes.
fun LakeRegion : Class ;
fun LakeRegion_Class : SubClass LakeRegion GeographicArea ;

fun LakeTorrens : Ind SaltLake ;

fun LakeWalker : Ind SaltLake ;

fun LandClearingIssue : Ind BiodiversityIssue ;

-- A LandForm is the class of geographically and/or geologically 
-- distinct areas that occur on Earth's surface, including mountains, hills, plains, valleys, 
-- deltas, and features of submerged land areas such as the ocean floor.
fun LandForm : Class ;
fun LandForm_Class : SubClass LandForm GeographicArea ;

fun LandSubsidence : Class ;
fun LandSubsidence_Class : SubClass LandSubsidence GeologicalProcess ;
-- LandlockedArea is the class of 
-- LandAreas that lack access to an Ocean or to a Waterway 
-- providing a link to the ocean.
fun LandlockedArea : Class ;
fun LandlockedArea_Class : SubClass LandlockedArea LandArea ;

-- LandlockedWater includes water 
-- areas that are surrounded by land, including salt lakes, fresh 
-- water lakes, ponds, reservoirs, and (more or less) wetlands.
fun LandlockedWater : Class ;
fun LandlockedWater_Class : SubClass LandlockedWater BodyOfWater ;

fun LandminesIssue : Ind EnvironmentalIssue ;

fun Landslide : Class ;
fun Landslide_Class : SubClass Landslide GeologicalProcess ;
-- LandslideProcess is a subclass 
-- of Motion that represents events in which a loosened mass of mud, 
-- dirt, or rock slides down a slope, by the force of gravity.
fun LandslideProcess : Class ;
fun LandslideProcess_Class : SubClass LandslideProcess Impelling ;

-- Latitude is the class of Regions, 
-- associated with areas on the Earth's surface, which are parallels 
-- measured in PlaneAngleDegrees from the Equator.
fun Latitude : Class ;
fun Latitude_Class : SubClass Latitude Region ;

-- LatitudeFn is a VariableArityRelation 
-- used to denote a parallel of latitude. Examples: 
-- (LatitudeFn North (MeasureFn 38 AngularDegree)), (LatitudeFn 
-- South (MeasureFn 23 AngularDegree) (MeasureFn 30 ArcMinute)), 
-- (LatitudeFn South (MeasureFn 60 AngularDegree) (MeasureFn 0 ArcMinute) 
-- (MeasureFn 0 ArcSecond)), (LatitudeFn North 
-- (MeasureFn 42 AngularDegree) (MeasureFn 7.89 ArcMinute)).
fun LatitudeFn : El DirectionalAttribute -> El AngleMeasure -> El AngleMeasure -> El AngleMeasure -> Ind Region ;


fun LawOfTheSeaConvention : Ind Agreement ;

-- Lichen is the class of complex thallyphytic 
-- plants made up of Alga and Fungus growing symbiotically.
fun Lichen : Class ;
fun Lichen_Class : SubClass Lichen NonFloweringPlant ;

fun LimitedFreshWaterIssue : Ind EnvironmentalWaterIssue ;

-- LittoralCurrent is the subclass of 
-- WaterCurrents that occur near a ShoreArea. Examples include 
-- TidalEbb, TidalFlow, and RipCurrents.
fun LittoralCurrent : Class ;
fun LittoralCurrent_Class : SubClass LittoralCurrent WaterCurrent ;

-- A LittoralZone is an area along the shore 
-- of a large body of water, especially an Ocean or Sea, including the area 
-- extending from the high tide mark out to a depth of 200 meters. The littoral 
-- zone is of interest for its land features, e.g., slope gradient and soil 
-- composition, including features of its SubmergedLandArea.
fun LittoralZone : Class ;
fun LittoralZone_Class : SubClass LittoralZone GeographicArea ;

-- Type of soil intermediate in texture between clay and sand, 
-- consisting of a mixture of clay, sand, gravel, silt, and organic matter.
fun Loam : Class ;
fun Loam_Class : SubClass Loam Soil ;

fun Locust : Class ;
fun Locust_Class : SubClass Locust Animal ;
-- Longitude is the class of Regions, 
-- associated with areas on the Earth's surface, which are meridians 
-- measured in PlaneAngleDegrees from the PrimeMeridian through 
-- GreenwichEnglandUK.
fun Longitude : Class ;
fun Longitude_Class : SubClass Longitude Region ;

-- (LongitudeFn ?DIRECTION @ROW) 
-- denotes a meridian of longitude. Note that LongitudeFn is 
-- a VariableArityRelation. Examples: 
-- (LongitudeFn East (MeasureFn 180 AngularDegree)), (LongitudeFn 
-- West (MeasureFn 122 AngularDegree) (MeasureFn 24 ArcMinute)), 
-- (LongitudeFn East (MeasureFn 121 AngularDegree) 
-- (MeasureFn 0 ArcMinute) (MeasureFn 15 ArcSecond)), 
-- (LongitudeFn West (MeasureFn 80 AngularDegree) 
-- (MeasureFn 6.78 ArcMinute)).
fun LongitudeFn : El DirectionalAttribute -> El AngleMeasure -> El AngleMeasure -> El AngleMeasure -> Ind GeographicArea ;


fun LossOfHabitatIssue : Ind EnvironmentalIssue ;

fun LowBiodiversity : Ind BiodiversityAttribute ;

-- LowPressureWeatherSystem is 
-- the class of weather systems characterized by low or unstable 
-- barometricPressures. Low pressure systems typically introduce 
-- unsettled weather, frequently including storms.
fun LowPressureWeatherSystem : Class ;
fun LowPressureWeatherSystem_Class : SubClass LowPressureWeatherSystem WeatherSystem ;

-- LowTerrain is terrain in which the slope 
-- is less than 3%.
fun LowTerrain : Ind TerrainAttribute ;


-- LowTide is the class of TidalProcesses that 
-- occur twice a day in marine waters, in which the water level falls below 
-- the mean sea level.
fun LowTide : Class ;
fun LowTide_Class : SubClass LowTide TidalProcess ;

-- LowerLowTide is the subclass of LowTide 
-- processes that occur in marine waters with a MixedTideProcess.
fun LowerLowTide : Class ;
fun LowerLowTide_Class : SubClass LowerLowTide LowTide ;

-- A LowlandArea is a land area lower than the surrounding region, 
-- and usually level land.
fun LowlandArea : Class ;
fun LowlandArea_Class : SubClass LowlandArea LandForm ;

fun MarineDumpingConvention : Ind Agreement ;

fun MarineLifeConservationConvention : Ind Agreement ;

-- A MaritimeClaimArea is a GeographicArea 
-- delimited by a geopolitical state's claim, under the LawOfTheSea, of rights 
-- to certain resources, activities, or jurisdiction in the claimed area. 
-- MaritimeClaimAreas can pertain to WaterAreas, SubmergedLandAreas, and Airspace.
fun MaritimeClaimArea : Class ;
fun MaritimeClaimArea_Class : SubClass MaritimeClaimArea GeographicArea ;

-- (MaritimeClaimsTerritorialSeaFn ?REGION) denotes a 
-- peripheral zones of maritime control extending outward from the Region 
-- ?REGION.
fun MaritimeClaimsTerritorialSeaFn : El Region -> Ind PerimeterArea ;


-- MaritimeContiguousZone 
-- is the subclass of MaritimeClaimArea that includes areas over 
-- which a geopolitical state may exercise some control of activities 
-- beyond the 12_mile zone of its TerritorialSea. In general, 
-- the authorized control is for preventing or punishing activities 
-- that would violate laws applying within the 12_mile zone (that is, 
-- authorization to chase and intercept). According to the LawOfTheSea, 
-- a MaritimeContiguousZone may extend up to 24 nautical miles from the coast.
fun MaritimeContiguousZone : Class ;
fun MaritimeContiguousZone_Class : SubClass MaritimeContiguousZone (both MaritimeClaimArea SaltWaterArea) ;


-- (MaritimeContiguousZoneFn ?POLITY) denotes the MaritimeContiguousZone 
-- that is claimed by the GeopoliticalArea ?POLITY.
fun MaritimeContiguousZoneFn : El GeopoliticalArea -> Ind MaritimeContiguousZone ;


-- MaritimeExclusiveEconomicZone is the subclass of MaritimeClaimArea 
-- that represents the offshore area that coastal nations can claim for 
-- fishing and other uses of the ocean water and seabed found there.
fun MaritimeExclusiveEconomicZone : Class ;
fun MaritimeExclusiveEconomicZone_Class : SubClass MaritimeExclusiveEconomicZone (both MaritimeClaimArea SaltWaterArea) ;


-- (MaritimeExclusiveEconomicZoneFn ?POLITY) denotes the 
-- MaritimeExclusiveEconomicZone that is claimed by the 
-- GeopoliticalArea ?POLITY.
fun MaritimeExclusiveEconomicZoneFn : El GeopoliticalArea -> Ind MaritimeExclusiveEconomicZone ;


fun MaritimeHazard : Class ;
fun MaritimeHazard_Class : SubClass MaritimeHazard LandForm ;
-- MaritimeShelfArea 
-- is a subclass of MaritimeClaimArea that covers SubmergedLandAreas 
-- claimed by an adjacent geopolitical area. The LawOfTheSea defines 
-- the continental shelf as extending up to 200 miles (NM) offshore and 
-- including the resources found therein. The defined claim area does not 
-- correspond exactly to a geological ContinentalShelf, but if there is one, 
-- the two areas will overlap spatially.
fun MaritimeShelfArea : Class ;
fun MaritimeShelfArea_Class : SubClass MaritimeShelfArea (both MaritimeClaimArea SubmergedLandArea) ;


-- (MaritimeShelfAreaFn ?POLITY) denotes the MaritimeShelfArea 
-- that is claimed by the GeopoliticalArea ?POLITY.
fun MaritimeShelfAreaFn : El GeopoliticalArea -> Ind MaritimeShelfArea ;


-- MediterraneanClimateZone 
-- is a subclass of TemperateClimateZone that is characterized by 
-- mild, cool, wet winters and warm dry summers. Mediterranean shores 
-- are the archetype, but the Mediterranean climate is also found elsewhere.
fun MediterraneanClimateZone : Class ;
fun MediterraneanClimateZone_Class : SubClass MediterraneanClimateZone TemperateClimateZone ;

fun MediterraneanSea : Ind Sea ;

fun MediumBiodiversity : Ind BiodiversityAttribute ;

-- A Mesa is a land formation having a relatively flat 
-- top and steep rock walls.
fun Mesa : Class ;
fun Mesa_Class : SubClass Mesa (both LandForm UplandArea) ;


-- MetallurgicalPlant is the 
-- subclass of Organization that includes metal refining and 
-- manufacturing plants. Such plants typically release extremely 
-- toxic waste which can pollute air and groundwater if not 
-- properly treated.
fun MetallurgicalPlant : Class ;
fun MetallurgicalPlant_Class : SubClass MetallurgicalPlant Organization ;

fun MiddleAmerica : Ind GeographicArea ;

-- MiddleEastRegion is a 
-- GeopoliticalArea that comprises countries of Southwestern Asia 
-- and (in some definitions) Northwestern Africa. Here this term is 
-- defined as in the CIA World Fact Book, in which the Middle East 
-- includes: Bahrain, Cyprus, the Gaza Strip, Iran, Iraq, Israel, 
-- Jordan, Kuwait, Lebanon, Oman, Qatar, Saudi Arabia, Syria, the United 
-- Arab Emirates, the West Bank, and Yemen.
fun MiddleEastRegion : Ind (both GeographicArea GeopoliticalArea) ;


-- MiddleLatitudeDesertClimateZone is the subclass of 
-- DesertClimateZone characterized by a cool dry climate 
-- typical of middle latitude deserts. This is subtype 'BWk' 
-- in the Keoppen climate system.
fun MiddleLatitudeDesertClimateZone : Class ;
fun MiddleLatitudeDesertClimateZone_Class : SubClass MiddleLatitudeDesertClimateZone DesertClimateZone ;

-- MidlatitudeContinentalClimateZone is a subclass of 
-- TemperateClimateZone that is characterized by cool winters 
-- and hot summers.
fun MidlatitudeContinentalClimateZone : Class ;
fun MidlatitudeContinentalClimateZone_Class : SubClass MidlatitudeContinentalClimateZone ClimateZone ;

fun MiningPollutionIssue : Ind EnvironmentalIssue ;

fun Mistral : Class ;
fun Mistral_Class : SubClass Mistral WindProcess ;
-- MixedTideProcess is the subclass of 
-- TidalProcesses consisting of daily cycles in which the two low and 
-- two high tides are of unequal height. In areas with this kind of 
-- pattern, the chart (based on average low water) is determined by the 
-- Mean Lower Low Water.
fun MixedTideProcess : Class ;
fun MixedTideProcess_Class : SubClass MixedTideProcess TidalProcess ;

fun Monsoon : Class ;
fun Monsoon_Class : SubClass Monsoon WeatherSeason ;
-- MonsoonClimateZone is the class 
-- of TropicalClimateZones in which there is a short dry season between 
-- rains heavy enough to keep the ground wet all through the year. This 
-- is Koeppen climate system subtype 'Aw'.
fun MonsoonClimateZone : Class ;
fun MonsoonClimateZone_Class : SubClass MonsoonClimateZone TropicalClimateZone ;

-- Moon is the class of NaturalSatellites that 
-- orbit planets or large asteroids.
fun Moon : Class ;
fun Moon_Class : SubClass Moon NaturalSatellite ;

-- A Mountain is a high, rocky LandForm, usually 
-- with steep sides and a pointed or rounded top, and higher than a Hill.
fun Mountain : Class ;
fun Mountain_Class : SubClass Mountain (both LandForm UplandArea) ;


-- A MountainRange is a row or chain of connected mountains.
fun MountainRange : Class ;
fun MountainRange_Class : SubClass MountainRange (both LandForm UplandArea) ;


-- An area of MountainousTerrain 
-- is an area of rugged terrain in which there are many mountains.
fun MountainousTerrain : Ind TerrainAttribute ;


fun Mudflow : Class ;
fun Mudflow_Class : SubClass Mudflow Landslide ;
fun Mudslide : Class ;
fun Mudslide_Class : SubClass Mudslide Landslide ;
-- NaturalGas is a combustible mixture 
-- of methane and higher hydrocarbons.
fun NaturalGas : Class ;
fun NaturalGas_Class : SubClass NaturalGas CompoundSubstance ;

-- NaturalSatellite is the class of 
-- large, naturally occurring astronomical bodies orbiting some other 
-- AstronomicalBody.
fun NaturalSatellite : Class ;
fun NaturalSatellite_Class : SubClass NaturalSatellite (both AstronomicalBody Satellite) ;


-- NauticalMile represents the international 
-- unit used for measuring distance in sea and air navigation. The unit is 
-- based on the length of a minute of arc of a great circle of 
-- PlanetEarth.
fun NauticalMile : Ind UnitOfLength ;


fun NormalFault : Class ;
fun NormalFault_Class : SubClass NormalFault DipSlipFault ;
fun NorthAmerica : Ind (both GeographicArea Continent) ;

-- NorthAtlanticOcean denotes the northern geographicSubregion 
-- of the AtlanticOcean.
fun NorthAtlanticOcean : Ind (both SaltWaterArea BodyOfWater) ;


-- NorthPacificOcean denotes the northern geographicSubregion 
-- of the PacificOcean.
fun NorthPacificOcean : Ind (both SaltWaterArea BodyOfWater) ;


fun NorthSea : Ind Sea ;

-- Northeast represents the compass direction of Northeast.
fun Northeast : Ind DirectionalAttribute ;


fun NorthernAfrica : Ind GeographicArea ;

fun NorthernAsia : Ind GeographicArea ;

fun NorthernEurope : Ind GeographicArea ;

-- The half of the Earth that lies above the 
-- equator.
fun NorthernHemisphere : Ind Hemisphere ;


fun NorthernNorthAmerica : Ind GeographicArea ;

fun NorthernSouthAmerica : Ind GeographicArea ;

-- Northwest represents the compass direction of Northwest.
fun Northwest : Ind DirectionalAttribute ;


-- NoxiousSubstance is 
-- the class of Substances that are harmful to Humans.
fun NoxiousSubstance : Class ;
fun NoxiousSubstance_Class : SubClass NoxiousSubstance Substance ;

fun NuclearEnvironmentalIssue : Ind PollutionIssue ;

fun NuclearPollutionIssue : Ind EnvironmentalIssue ;

fun NuclearTestBanTreaty : Ind Agreement ;

-- Oasis is a subclass of LandAreas that are 
-- fertile places within a desert, which have water and some vegetation.
fun Oasis : Class ;
fun Oasis_Class : SubClass Oasis (both Biome LandArea) ;


-- OccludedFront is the class of complex 
-- weather transition processes in which a cold air mass overtakes a warm 
-- air mass.
fun OccludedFront : Class ;
fun OccludedFront_Class : SubClass OccludedFront WeatherFront ;

-- Ocean is the class containing the oceans 
-- that are the major subdivisions of the WorldOcean. According to 
-- the International Hydrographic Association, there are five oceans: 
-- the AtlanticOcean, PacificOcean, IndianOcean, SouthernOcean, 
-- and ArcticOcean. Note: The largest oceans, the Atlantic and Pacific, 
-- are subdivided into Northern and Southern regions, but those regions 
-- are not separate Oceans.
fun Ocean : Class ;
fun Ocean_Class : SubClass Ocean (both BodyOfWater SaltWaterArea) ;


fun Oceania : Ind (both GeographicArea Continent) ;

fun OilPollutionIssue : Ind PollutionIssue ;

-- OpenSea is the Attribute of a WaterArea 
-- that is open ocean beyond five NauticalMiles of land, also known as 
-- 'blue water'.
fun OpenSea : Ind Attribute ;


-- (OuterBoundaryFn ?REGION) denotes the 
-- outer boundary of the Region ?REGION, where ?REGION has an inner and 
-- outer orientation with respect to another object.
fun OuterBoundaryFn : El Region -> Ind Region ;


-- OvercastWeather represents
--  a condition in which more than 70% of the sky is covered 
-- with clouds.
fun OvercastWeather : Class ;
fun OvercastWeather_Class : SubClass OvercastWeather WeatherProcess ;

-- Overgrazing is the class of processes 
-- in which grazing animals consume vegetation faster than it can regrow.
fun Overgrazing : Class ;
fun Overgrazing_Class : SubClass Overgrazing Eating ;

fun OvergrazingIssue : Ind EnvironmentalIssue ;

fun OverhuntingIssue : Ind EnvironmentalIssue ;

fun OverpopulationIssue : Ind EnvironmentalIssue ;

fun OzoneDepletionIssue : Ind EnvironmentalIssue ;

fun OzoneLayerProtectionProtocol : Ind Agreement ;

-- The OzoneShield is a layer in 
-- EarthsAtmosphere, located about 25 miles above Earth's surface, 
-- composed of ozone gas that absorbs ultraviolent radiation from 
-- the Sun that can be damaging to living things.
fun OzoneShield : Ind (both AtmosphericRegion CompoundSubstance) ;


-- PHValue ('pH') is a UnitOfMeasure 
-- used to measure the acidity or alkalinity of a solution. The pH 
-- scale ranges from 0 to 14. The pH of a neutral solution is 7. 
-- Acid solutions have a pH value less than seven. Alkaline solutions 
-- have a value greater than seven.
fun PHValue : Ind NonCompositeUnitOfMeasure ;


-- PacificOcean represents the Pacific 
-- Ocean.
fun PacificOcean : Ind Ocean ;


-- Pampa is a class of vast, level, typically grassy 
-- Plains of land in South America.
fun Pampa : Class ;
fun Pampa_Class : SubClass Pampa (both Grassland Plain) ;


fun Pampero : Class ;
fun Pampero_Class : SubClass Pampero Windstorm ;
-- PartlyCloudyWeather 
-- represents a condition in which between 30% and 70% of the 
-- sky is covered with clouds.
fun PartlyCloudyWeather : Class ;
fun PartlyCloudyWeather_Class : SubClass PartlyCloudyWeather WeatherProcess ;

-- A Peninsula is a piece of land that extends 
-- into a body of water and is surrounded on three sides by water. Typically 
-- connected by an Isthmus or neck of land that is narrower than its main 
-- portion (contrast with Cape).
fun Peninsula : Class ;
fun Peninsula_Class : SubClass Peninsula LandForm ;

-- A PerimeterArea is a region that 
-- extends outward from a boundary with another region, surrounding or 
-- partially surrounding it, but which is not part of that other region. 
-- See BorderFn and PerimeterAreaFn.
fun PerimeterArea : Class ;
fun PerimeterArea_Class : SubClass PerimeterArea Region ;

-- (PerimeterAreaFn ?REGION) denotes a 
-- class including any peripheral zones extending outward from the Region 
-- ?REGION.
fun PerimeterAreaFn: El Region -> Desc PerimeterArea ;


fun Permafrost : Ind CompoundSubstance ;

-- PermanentCropLand is the subclass 
-- of LandArea that represents land cultivated for crops that are produced 
-- without replanting after every harvest, such as fruit trees, coffee, rubber, 
-- nuts, and vineyards. Does not include timberland. Cf. arableLandArea.
fun PermanentCropLand : Class ;
fun PermanentCropLand_Class : SubClass PermanentCropLand LandArea ;

fun PersianGulf : Ind (both Gulf SaltWaterArea) ;

fun PesticideIssue : Ind EnvironmentalIssue ;

-- PesticidePollution is 
-- the subclass of Pollution in which the pollutant is a pesticide.
fun PesticidePollution : Class ;
fun PesticidePollution_Class : SubClass PesticidePollution Pollution ;

-- Phospate is a salt or ester of a 
-- phosphoric acid.
fun Phosphate : Class ;
fun Phosphate_Class : SubClass Phosphate CompoundSubstance ;

-- A Piedmont is a LandArea at the foot of mountains.
fun Piedmont : Class ;
fun Piedmont_Class : SubClass Piedmont LandArea ;

-- Pines are coniferous BotanicalTrees of the 
-- genus Pinus, in the family Pinaceae. They are evergreens, with needle_
-- shaped leaves and propagate by dropping pine cones, which contains
-- seeds. (from Wikipedia)
fun PineTree : Class ;
fun PineTree_Class : SubClass PineTree BotanicalTree ;

-- A Plain is a broad, flat or gently rolling area, 
-- usually low in elevation.
fun Plain : Class ;
fun Plain_Class : SubClass Plain LowlandArea ;

-- Planet is the class of large 
-- NaturalSatellites that revolve around a star.
fun Planet : Class ;
fun Planet_Class : SubClass Planet NaturalSatellite ;

fun PlanetEarth : Ind Planet ;

fun PlanetJupiter : Ind Planet ;

fun PlanetMars : Ind Planet ;

fun PlanetMercury : Ind Planet ;

fun PlanetNeptune : Ind Planet ;

fun PlanetPluto : Ind Planet ;

fun PlanetSaturn : Ind Planet ;

fun PlanetUranus : Ind Planet ;

fun PlanetVenus : Ind Planet ;

-- Planting is the class of processes in 
-- which botanical Plants are planted or transplanted, whether as 
-- seeds, seedlings, or mature plants.
fun Planting : Class ;
fun Planting_Class : SubClass Planting Putting ;

-- A Plateau is a flat upland area with one steep 
-- face, elevated plain.
fun Plateau : Class ;
fun Plateau_Class : SubClass Plateau (both LandForm UplandArea) ;


-- Poaching is the illegal killing 
-- of non_human animals.
fun Poaching : Class ;
fun Poaching_Class : SubClass Poaching Killing ;

-- PolarClimateZone is a subclass of 
-- ClimateZone characterized by having an average temperature less than 
-- 10 degrees Celsius in the warmest month. This is Koeppen climate system 
-- Type E. No agriculture is supported in polar climates.
fun PolarClimateZone : Class ;
fun PolarClimateZone_Class : SubClass PolarClimateZone ClimateZone ;

-- PolarTypeFClimateZone is a 
-- subclass of PolarClimateZone characterized by having no month in 
-- which the temperature rises to 10 degrees Celsius or above.
fun PolarTypeFClimateZone : Class ;
fun PolarTypeFClimateZone_Class : SubClass PolarTypeFClimateZone PolarClimateZone ;

fun PollutedFishStocksIssue : Ind EnvironmentalIssue ;

-- Pollution is the contamination of an 
-- environment by man_made wastes.
fun Pollution : Class ;
fun Pollution_Class : SubClass Pollution SocialInteraction ;

fun PollutionIssue : Class ;
fun PollutionIssue_Class : SubClass PollutionIssue EnvironmentalIssue ;
fun PoopoLake : Ind SaltLake ;

fun PopulationMigrationIssue : Ind EnvironmentalIssue ;

-- PotableWater is the subclass 
-- of Water that represents safely drinkable water.
fun PotableWater : Class ;
fun PotableWater_Class : SubClass PotableWater Freshwater ;

-- Potash is a Potassium carbonate from 
-- wood ashes or a potassium compound.
fun Potash : Class ;
fun Potash_Class : SubClass Potash CompoundSubstance ;

fun PowerPlantEmissionsIssue : Ind PollutionIssue ;

-- Prairie is a class of large plains 
-- LandAreas with tall grass vegetation.
fun Prairie : Class ;
fun Prairie_Class : SubClass Prairie (both Grassland Plain) ;


-- RainForest is the subclass of LandAreas 
-- that are densely planted with trees.
fun RainForest : Class ;
fun RainForest_Class : SubClass RainForest (both Biome Forest) ;


-- Raining is a precipitation process 
-- in which water falls in a Liquid state.
fun Raining : Class ;
fun Raining_Class : SubClass Raining Precipitation ;

-- Rapids is the class of WaterAreas that are 
-- parts of a StreamWaterArea where the currents move swiftly over 
-- rocks.
fun Rapids : Class ;
fun Rapids_Class : SubClass Rapids StreamWaterArea ;

fun RawSewagePollutionIssue : Ind PollutionIssue ;

fun RedSea : Ind Sea ;

-- A Reef is a ridge of rock, coral, or sand at or near 
-- the surface of a WaterArea.
fun Reef : Class ;
fun Reef_Class : SubClass Reef (both LandForm MaritimeHazard) ;


-- Reforestation is the process of 
-- replanting trees on land where they were cut or burned.
fun Reforestation : Class ;
fun Reforestation_Class : SubClass Reforestation Planting ;

-- A Reservoir is an artifically made (or 
-- artifically enlarged) holding area where water is collected and stored 
-- for future use.
fun Reservoir : Class ;
fun Reservoir_Class : SubClass Reservoir (both Artifact FreshWaterArea) ;


-- A ReservoirLake is an artifically made 
-- (or artifically enlarged) lake used for water collection and storage.
fun ReservoirLake : Class ;
fun ReservoirLake_Class : SubClass ReservoirLake (both Lake Reservoir) ;


-- A RichterMagnitude is a measure 
-- of the severity of an EarthTremor. For example, 
-- (MeasureFn 6.5 RichterMagnitude) denotes the value of 6.5 on the 
-- Richter scale.
fun RichterMagnitude : Ind CompositeUnitOfMeasure ;


-- A RipCurrent is a fast narrow surface current 
-- that flows seaward from a ShoreArea.
fun RipCurrent : Class ;
fun RipCurrent_Class : SubClass RipCurrent LittoralCurrent ;

-- River is the class of large streams of fresh 
-- water flowing through land into a lake, ocean, or other body of water.
fun River : Class ;
fun River_Class : SubClass River (both BodyOfWater (both FreshWaterArea StreamWaterArea)) ;


-- A RiverBank is the ShoreArea adjacent to a river.
fun RiverBank : Class ;
fun RiverBank_Class : SubClass RiverBank (both LandForm ShoreArea) ;


-- RiverMouth is the subclass of WaterAreas 
-- that are the outfalls of a river or stream into another body of water.
fun RiverMouth : Class ;
fun RiverMouth_Class : SubClass RiverMouth (both StreamWaterArea WaterArea) ;


-- A RiverSystem comprises all the tributary 
-- streams and rivers (StreamWaterAreas) that drain along converging 
-- paths into the main river of the system, which discharges into a 
-- StaticWaterArea.
fun RiverSystem : Class ;
fun RiverSystem_Class : SubClass RiverSystem (both Collection WaterArea) ;


fun Rockslide : Class ;
fun Rockslide_Class : SubClass Rockslide Landslide ;
-- Salination is the class of processes 
-- in which either Freshwater or Topsoil becomes imbued with 
-- SodiumChloride from sea water or from the evaporation of irrigation water.
fun Salination : Class ;
fun Salination_Class : SubClass Salination Combining ;

-- A Salt is a chemical substance which is a combination 
-- of a metal or a base with an acid.
fun Salt : Class ;
fun Salt_Class : SubClass Salt CompoundSubstance ;

-- SaltLake is the class of landlocked 
-- bodies of salt water, including those referred to as 'Seas', e.g., 
-- the CaspianSea. But note that the MediterraneanSea is a Sea.
fun SaltLake : Class ;
fun SaltLake_Class : SubClass SaltLake (both LandlockedWater SaltWaterArea) ;


fun SaltonSea : Ind SaltLake ;

-- Sand is loose fragments of minerals or rocks. Smaller than 
-- gravel and larger than silt and clay, sand particles range from 8/10,000 to 8/100 
-- inch (0.02 to 2 millimeters) in diameter. Sand is formed by the Erosion of rocks 
-- through the action of water, ice, or air.
fun Sand : Class ;
fun Sand_Class : SubClass Sand Soil ;

fun Sandstorm : Class ;
fun Sandstorm_Class : SubClass Sandstorm WeatherProcess ;
-- Sanitation is the class of processes 
-- by which human waste and garbage are disposed of.
fun Sanitation : Class ;
fun Sanitation_Class : SubClass Sanitation Removing ;

-- Satellite is the collection of bodies that 
-- revolve around some astronomical body, e.g., planets around a star. 
-- This class includes both artificial and NaturalSatellites.
fun Satellite : Class ;
fun Satellite_Class : SubClass Satellite AstronomicalBody ;

-- Savanna is a class of tropical or subtropical 
-- Grasslands, typically treeless.
fun Savanna : Class ;
fun Savanna_Class : SubClass Savanna (both Grassland Plain) ;


-- ScatteredVegetation describes 
-- the pattern of vegetation in which plants appear at intervals.
fun ScatteredVegetation : Ind Attribute ;


-- Sea is the class of smaller subdivisions of 
-- the WorldOcean, typically partially surrounded by land. However, 
-- for inland salt water bodies that are sometimes called 'Sea', see 
-- SaltLake.
fun Sea : Class ;
fun Sea_Class : SubClass Sea (both BodyOfWater SaltWaterArea) ;


fun SeaIce : Class ;
fun SeaIce_Class : SubClass SeaIce Ice ;
-- SeaLevel designates the global Mean Sea Surface 
-- (MSS). Note that SeaLevel represents a GeographicArea that comprises all 
-- the local Mean Sea Level (MSL) areas used as references for measuring altitude. 
-- In fact, there are local variations in MSL, due to tides and long_ and short_
-- term weather conditions.
fun SeaLevel : Ind GeographicArea ;


-- SeabedArea is the class of SubmergedLandAreas that are part of 
-- the sea floor.
fun SeabedArea : Class ;
fun SeabedArea_Class : SubClass SeabedArea SubmergedLandArea ;

-- A Seacoast is the ShoreArea along the 
-- margin of an ocean, extending inland approximately 1_3 km from the low 
-- water mark.
fun Seacoast : Class ;
fun Seacoast_Class : SubClass Seacoast (both LandForm ShoreArea) ;


fun SemiaridClimateZone : Class ;
fun SemiaridClimateZone_Class : SubClass SemiaridClimateZone ClimateZone ;
fun SevereThunderstorm : Class ;
fun SevereThunderstorm_Class : SubClass SevereThunderstorm WeatherProcess ;
fun SewageDisposal : Class ;
fun SewageDisposal_Class : SubClass SewageDisposal Sanitation ;
fun ShipPollutionProtocol : Ind Agreement ;

fun Shoal : Class ;
fun Shoal_Class : SubClass Shoal MaritimeHazard ;
-- Shoreline is the class of LandAreas that 
-- are the edge of a larger land mass abutting a bordering WaterArea.
fun Shoreline : Class ;
fun Shoreline_Class : SubClass Shoreline LandArea ;

-- (ShorelineFn ?LAND ?WATER) denotes 
-- the Shoreline where the GeographicArea ?LAND borders the 
-- WaterArea ?WATER.
fun ShorelineFn : El GeographicArea -> El WaterArea -> Ind LandArea ;


-- (ShortageFn ?TYPE) means that there 
-- is a shortage of objects of ?TYPE, which are used as resources.
fun ShortageFn: Desc Object -> Ind Entity ;


-- Shrub is the class of low, perennial, 
-- typically multi_stemmed woody plants, called shrubs or bushes.
fun Shrub : Class ;
fun Shrub_Class : SubClass Shrub FloweringPlant ;

-- SigningADocument is the class of 
-- actions in which an agent affixes a signature, stamp, or other evidence 
-- of authorization or attestation to a document. The document and signature 
-- may be electronic. Signings count as SocialInteractions even if done in 
-- private, because their significance derives from a social context.
fun SigningADocument : Class ;
fun SigningADocument_Class : SubClass SigningADocument Committing ;

-- Silt is sand or earth which is carried along by flowing 
-- water and deposited at a bend in a river or at a river's opening.
fun Silt : Class ;
fun Silt_Class : SubClass Silt Soil ;

-- Siltation is the class of processes 
-- in which WaterAreas become filled in with silt or mud, due to 
-- soil Erosion.
fun Siltation : Class ;
fun Siltation_Class : SubClass Siltation Putting ;

fun SiltationIssue : Ind EnvironmentalIssue ;

fun Sirocco : Class ;
fun Sirocco_Class : SubClass Sirocco WindProcess ;
-- SlashAndBurnAgriculture 
-- is the subclass of Agriculture processes in which land is 
-- cleared by cutting and burning trees, and crops are farmed until 
-- the soil is depleted, at which point the plot is abandoned to 
-- regrowth. This rotational technique is viable only with low 
-- populations and infrequent re_use.
fun SlashAndBurnAgriculture : Class ;
fun SlashAndBurnAgriculture_Class : SubClass SlashAndBurnAgriculture Agriculture ;

fun Sleeting : Class ;
fun Sleeting_Class : SubClass Sleeting Precipitation ;
-- A SlopedArea is a land surface which lies at 
-- an angle to the horizontal so that some points on it are higher than 
-- others, a slope.
fun SlopedArea : Class ;
fun SlopedArea_Class : SubClass SlopedArea LandForm ;

-- Snowing is a precipitation process 
-- in which water falls in a Solid state.
fun Snowing : Class ;
fun Snowing_Class : SubClass Snowing Precipitation ;

fun SocialInteractions : Class ;

-- Soil is a substance composed of fine rock material 
-- disintegrated by geological processes, mixed with humus, the organic remains of decomposed vegetation.
fun Soil : Class ;
fun Soil_Class : SubClass Soil Mixture ;

-- SoilDegradation is a class of 
-- processes in which the productive capacity of soil is lowered by 
-- over_fertilization, overuse of pesticides, erosion, or soil 
-- compaction.
fun SoilDegradation : Class ;
fun SoilDegradation_Class : SubClass SoilDegradation SocialInteractions ;

fun SoilDegradationIssue : Ind SoilQualityIssue ;

-- SoilErosion is the subclass of 
-- Erosion in which the matter removed by wind or water is topsoil.
fun SoilErosion : Class ;
fun SoilErosion_Class : SubClass SoilErosion Erosion ;

fun SoilErosionIssue : Ind SoilQualityIssue ;

fun SoilExhaustionIssue : Ind SoilQualityIssue ;

fun SoilPollutionIssue : Ind (both PollutionIssue SoilQualityIssue) ;

fun SoilQualityIssue : Class ;
fun SoilQualityIssue_Class : SubClass SoilQualityIssue EnvironmentalIssue ;
fun SoilSalination : Class ;
fun SoilSalination_Class : SubClass SoilSalination Salination ;
fun SoilSalinityIssue : Ind SoilQualityIssue ;

-- SoilSolution is the liquid component of soils, 
-- which is largely water containing a number of mineral substances in solution, 
-- as well as comparatively large amounts of dissolved oxygen and carbon dioxide.
fun SoilSolution : Class ;
fun SoilSolution_Class : SubClass SoilSolution Solution ;

-- Sol is the nearest Star to PlanetEarth and 
-- the focus of its SolarSystem.
fun Sol : Ind Star ;


-- SolarSystem is the class of systems that 
-- consist of a star or stars and any encircling astronomical bodies.
fun SolarSystem : Class ;
fun SolarSystem_Class : SubClass SolarSystem Collection ;

fun SolidWasteDisposal : Class ;
fun SolidWasteDisposal_Class : SubClass SolidWasteDisposal Sanitation ;
fun SolidWasteDisposalIssue : Ind PollutionIssue ;

-- A Sound is a long, relatively narrow waterway 
-- lying along the shore of a land mass and protected from open water by 
-- another land area, an island or group of islands. Some sounds open at 
-- both ends into the same body of water (e.g., Long Island Sound), while 
-- others connect two different bodies of water (e.g., Melville Sound). 
-- A Sound may occur in salt or fresh water bodies. Generally wider than 
-- a Strait.
fun Sound : Class ;
fun Sound_Class : SubClass Sound BodyOfWater ;

fun SouthAmerica : Ind Continent ;

-- SouthAtlanticOcean denotes the southern geographicSubregion 
-- of the AtlanticOcean.
fun SouthAtlanticOcean : Ind (both SaltWaterArea BodyOfWater) ;


-- SouthPacificOcean denotes the southern geographicSubregion 
-- of the PacificOcean.
fun SouthPacificOcean : Ind (both SaltWaterArea BodyOfWater) ;


fun SouthSandwichTrench : Ind Hole ;

-- Southeast represents the compass direction of Southeast.
fun Southeast : Ind DirectionalAttribute ;


fun SoutheasternAsia : Ind GeographicArea ;

fun SoutheasternEurope : Ind GeographicArea ;

fun SouthernAfrica : Ind GeographicArea ;

fun SouthernAsia : Ind GeographicArea ;

fun SouthernEurope : Ind GeographicArea ;

-- The half of the Earth that lies below the 
-- equator.
fun SouthernHemisphere : Ind Hemisphere ;


-- SouthernOcean represents the Southern 
-- Ocean.
fun SouthernOcean : Ind (both Ocean PolarClimateZone) ;


fun SouthernSouthAmerica : Ind GeographicArea ;

-- Southwest represents the compass direction of Southwest.
fun Southwest : Ind DirectionalAttribute ;


fun SouthwesternAsia : Ind GeographicArea ;

fun SouthwesternEurope : Ind GeographicArea ;

-- SparseVegetation describes the 
-- pattern of vegetation in an area where there is very little vegetation.
fun SparseVegetation : Ind Attribute ;


fun Squall : Class ;
fun Squall_Class : SubClass Squall WeatherProcess ;
-- SquareKilometer represents a 
-- UnitOfMeasure equal to one square kilometer.
fun SquareKilometer : Ind UnitOfArea ;


-- SquareMeter represents a UnitOfMeasure 
-- equal to one square Meter.
fun SquareMeter : Ind UnitOfArea ;


-- (SquareUnitFn ?UNIT) denotes the 
-- UnitOfMeasure that is the square of the UnitOfMeasure ?UNIT. 
-- For example, (SquareUnitFn (KiloFn Meter)) denotes the unit 
-- of a square kilometer.
fun SquareUnitFn : El UnitOfMeasure -> Ind UnitOfMeasure ;


-- Star is the class of hot gaseous astronomical bodies.
fun Star : Class ;
fun Star_Class : SubClass Star AstronomicalBody ;

-- StationaryFront is the class of 
-- boundary areas between two air masses that are stationary, with neither 
-- mass presently replacing the other.
fun StationaryFront : Class ;
fun StationaryFront_Class : SubClass StationaryFront WeatherFront ;

-- A TerrainAttribute of a region in 
-- which there is a wide variation in elevation and slopeGradients 
-- of more than 10%.
fun SteepTerrain : Ind TerrainAttribute ;


-- Steppe is a subclass of Plain, representing 
-- vast, level, treeless areas of land in Asia or SE Europe.
fun Steppe : Class ;
fun Steppe_Class : SubClass Steppe Plain ;

-- SteppeClimateZone 
-- is the class of AridClimateZones where the dominant 
-- vegetation type is grasses, with no trees. Koeppen 
-- system 'BS'.
fun SteppeClimateZone : Class ;
fun SteppeClimateZone_Class : SubClass SteppeClimateZone AridClimateZone ;

-- A Stone is any small fragment of rock or mineral matter.
fun Stone : Class ;
fun Stone_Class : SubClass Stone Rock ;

fun StormSystem : Class ;
fun StormSystem_Class : SubClass StormSystem WeatherSystem ;
-- Strait is the subclass of BodyOfWater that 
-- consists of narrow water areas connecting two larger bodies of water. 
-- Straits are naturally occurring bodies of water.
fun Strait : Class ;
fun Strait_Class : SubClass Strait BodyOfWater ;

fun StraitOfHormuz : Ind (both Strait SaltWaterArea) ;

-- A StreamWaterConfluence is the 
-- place where a stream or other tributary joins a river.
fun StreamWaterConfluence : Class ;
fun StreamWaterConfluence_Class : SubClass StreamWaterConfluence WaterArea ;

fun StrikeSlipFault : Class ;
fun StrikeSlipFault_Class : SubClass StrikeSlipFault GeologicalFault ;
fun StrongWind : Class ;
fun StrongWind_Class : SubClass StrongWind WindProcess ;
-- SubmergedLandArea is the class of land 
-- regions that are located beneath bodies of water.
fun SubmergedLandArea : Class ;
fun SubmergedLandArea_Class : SubClass SubmergedLandArea GeographicArea ;

-- SubtropicalDesertClimateZone is a subclass of DesertClimateZone 
-- that is characterized by an average temperature greater than 18 
-- degrees Celsius, as well as very low rainfall. This is Koeppen 
-- system 'BWh'.
fun SubtropicalDesertClimateZone : Class ;
fun SubtropicalDesertClimateZone_Class : SubClass SubtropicalDesertClimateZone DesertClimateZone ;

-- SurfaceGroundArea is a subclass of 
-- GeographicArea that is restricted to regions whose surface is solid 
-- ground. A SurfaceGroundArea may be a discontinuous region overlapping 
-- a larger, continuous GeographicArea but excluding any WaterAreas 
-- enclosed therein. Rivers, lakes, reservoirs and other surface water areas 
-- are not part of any SurfaceGroundArea.
fun SurfaceGroundArea : Class ;
fun SurfaceGroundArea_Class : SubClass SurfaceGroundArea GeographicArea ;

fun Swarming : Class ;
fun Swarming_Class : SubClass Swarming Motion ;
-- Tailwind is the relative attribute of a 
-- Wind to an object when the force of the wind is applied to the back 
-- of the object (BackFn). A tailwind can positively affect the speed 
-- capability of a vehicle.
fun Tailwind : Ind Attribute ;


-- Talc is a very soft Mineral that is 
-- a basic silicate of magnesium.
fun Talc : Class ;
fun Talc_Class : SubClass Talc Mineral ;

-- TemperateClimateZone is the 
-- subclass of ClimateZone whose warmest month has an average 
-- temperature greater than 10 degrees Celsius and whose coolest month 
-- has an average temperature between 18 degrees and _3 degrees Celsius. 
-- This is Class C in the Koeppen climate system.
fun TemperateClimateZone : Class ;
fun TemperateClimateZone_Class : SubClass TemperateClimateZone ClimateZone ;

fun TemperateHardwoodForest : Class ;
fun TemperateHardwoodForest_Class : SubClass TemperateHardwoodForest (both Biome Forest) ;

fun TemperateRainForest : Class ;
fun TemperateRainForest_Class : SubClass TemperateRainForest (both RainForest TemperateHardwoodForest) ;

-- TemperateSummerDryClimateZone is the subclass of TemperateClimateZone 
-- that is characterized by dry summers, and in which the wettest winter month 
-- has at least three times the moisture of the driest summer month. The 
-- driest month has less than an average of 30 mm of precipitation. Koeppen 
-- climate system type 'Cs'.
fun TemperateSummerDryClimateZone : Class ;
fun TemperateSummerDryClimateZone_Class : SubClass TemperateSummerDryClimateZone TemperateClimateZone ;

-- TemperateWinterDryClimateZone is a subclass of TemperateClimateZone 
-- characterized by having at least 10 times as much precipitation in the 
-- wettest summer month as in the driest winter month. Koeppen climate 
-- system type 'Cw'.
fun TemperateWinterDryClimateZone : Class ;
fun TemperateWinterDryClimateZone_Class : SubClass TemperateWinterDryClimateZone TemperateClimateZone ;

-- TerrainAttribute is a class of 
-- Attributes that describe terrain.
fun TerrainAttribute : Class ;
fun TerrainAttribute_Class : SubClass TerrainAttribute InternalAttribute ;

-- TerritorialSea is the class 
-- of contiguous waters over which a GeopoliticalArea claims 
-- jurisdiction in accordance with the United Nations Convention 
-- on the LawOfTheSea (LOS), Part II. A territorial sea may be
-- up to 12 miles (NauticalMiles) in breadth. A subclass of 
-- MaritimeClaimArea.
fun TerritorialSea : Class ;
fun TerritorialSea_Class : SubClass TerritorialSea (both MaritimeClaimArea SaltWaterArea) ;


-- (TerritorialSeaFn ?POLITY) denotes 
-- the TerritorialSea that is claimed by the GeopoliticalArea ?POLITY.
fun TerritorialSeaFn : El GeopoliticalArea -> Ind TerritorialSea ;


fun ThrustFault : Class ;
fun ThrustFault_Class : SubClass ThrustFault DipSlipFault ;
fun Thunderstorm : Class ;
fun Thunderstorm_Class : SubClass Thunderstorm WeatherProcess ;
-- A TidalBore is an unusally high, fast tidal 
-- inflow from the sea, resulting from a high volume of water rushing from 
-- a wide_mouthed bay or Estuary into narrower landward areas.
fun TidalBore : Class ;
fun TidalBore_Class : SubClass TidalBore LittoralCurrent ;

-- TidalEbb is the subclass of WaterCurrents 
-- that are temporary and variable, but regular, currents of ocean water 
-- flowing seaward up to and during the time of low tide. Alternating with 
-- TidalFlow.
fun TidalEbb : Class ;
fun TidalEbb_Class : SubClass TidalEbb LittoralCurrent ;

-- TidalFlow is the subclass of WaterCurrents 
-- that are temporary and variable, but regular, currents of ocean water 
-- flowing landward up to and during the time of high tide. Alternating 
-- with TidalEbb.
fun TidalFlow : Class ;
fun TidalFlow_Class : SubClass TidalFlow LittoralCurrent ;

-- TidalProcess is the class of daily 
-- recurring events in which the water level in a BodyOfWater rises 
-- and falls with the changing position between Earth and the Moon.
fun TidalProcess : Class ;
fun TidalProcess_Class : SubClass TidalProcess InternalChange ;

-- A Tide is a vertical movement of the water level 
-- in a BodyOfWater due to the gravitational attraction between Earth and 
-- the moon. Tides are diurnally recurrent events. In most regions with 
-- tides, every day there are two high tides and two low tides. MixedTide 
-- represents a process in which the tides at either extreme are unequal.
fun Tide : Class ;
fun Tide_Class : SubClass Tide (both FlowRegion SaltWaterArea) ;


fun Tornado : Class ;
fun Tornado_Class : SubClass Tornado WeatherProcess ;
fun ToxicChemicalPollutionIssue : Ind PollutionIssue ;

fun ToxicWasteDisposalIssue : Ind PollutionIssue ;

-- TreatyDocument is the subclass of 
-- Texts that represent written agreements between Nations.
fun TreatyDocument : Class ;
fun TreatyDocument_Class : SubClass TreatyDocument Text ;

-- TropicalClimateZone is a 
-- subclass of ClimateZone in which the average temperature of the 
-- coldest month is greater than 18 degrees Celsius. This is Class 
-- 'A' in the Koeppen climate classification system.
fun TropicalClimateZone : Class ;
fun TropicalClimateZone_Class : SubClass TropicalClimateZone ClimateZone ;

-- TropicalCyclone is the class of 
-- CyclonicStorms that occur in the Tropics and typically have 
-- rotational winds of hurricane force (74 mph or higher).
fun TropicalCyclone : Class ;
fun TropicalCyclone_Class : SubClass TropicalCyclone CyclonicStorm ;

fun TropicalRainForest : Class ;
fun TropicalRainForest_Class : SubClass TropicalRainForest RainForest ;
fun TropicalTimber83Agreement : Ind Agreement ;

fun TropicalTimber94Agreement : Ind Agreement ;

-- The Tropics is the region of 
-- PlanetEarth that lies between approximately 23 and one half degrees 
-- North latitude and 23 and one half degrees South latitude, 
-- encircling the globe. 'The Tropics'. See also TropicArea.
fun Tropics : Ind GeographicArea ;


-- Tsunami is the class of highly destructive 
-- ocean waves caused by offshore seismic processes.
fun Tsunami : Class ;
fun Tsunami_Class : SubClass Tsunami WeatherProcess ;

-- Tundra is a subclass of flat, treeless Plains 
-- areas lying within the ArcticRegion. Subsoil in Tundra is permanently 
-- frozen.
fun Tundra : Class ;
fun Tundra_Class : SubClass Tundra (both ArcticRegion (both Biome Plain)) ;


-- TundraClimateZone is a subclass of 
-- PolarClimateZone characterized by having an average temperature 
-- above zero degrees Celsius (but below 10 degrees) in the warmest month. 
-- Koeppen subtype 'ET'.
fun TundraClimateZone : Class ;
fun TundraClimateZone_Class : SubClass TundraClimateZone PolarClimateZone ;

fun Typhoon : Class ;
fun Typhoon_Class : SubClass Typhoon TropicalCyclone ;
fun UVLevelsIssue : Ind EnvironmentalIssue ;

-- The class of regions located Below the surface of the earth.
fun UndergroundArea : Class ;
fun UndergroundArea_Class : SubClass UndergroundArea GeographicArea ;

fun UnexplodedOrdinanceIssue : Ind EnvironmentalIssue ;

-- A UniformPerimeterArea is one 
-- that has a defined uniform width.
fun UniformPerimeterArea : Class ;
fun UniformPerimeterArea_Class : SubClass UniformPerimeterArea PerimeterArea ;

-- Uphill is a PositionalAttribute that 
-- describes the relation between two things, one of which is located 
-- up a slope from the other.
fun Uphill : Ind PositionalAttribute ;


-- An UplandArea is a LandArea elevated above the surrounding 
-- terrain.
fun UplandArea : Class ;
fun UplandArea_Class : SubClass UplandArea LandForm ;

fun Upstream : Ind PositionalAttribute ;

-- Upwind is a PositionalAttribute that indicates relative position 
-- upwind (windward) with respect to the direction that the Wind is 
-- blowing.
fun Upwind : Ind PositionalAttribute ;


fun UrbanizationIssue : Ind EnvironmentalIssue ;

-- A Valley is an area of low_lying land flanked by 
-- higher ground. Valleys typically contain a stream or river flowing along the valley floor.
fun Valley : Class ;
fun Valley_Class : SubClass Valley (both LandForm LowlandArea) ;


fun VehicleEmissionsIssue : Ind PollutionIssue ;

-- VehicularPollution is the 
-- subclass of Pollution in which the pollutants are vehicle emissions.
fun VehicularPollution : Class ;
fun VehicularPollution_Class : SubClass VehicularPollution Pollution ;

-- Veldt is a subclass of Grasslands which have 
-- scattered shrubs or trees.
fun Veldt : Class ;
fun Veldt_Class : SubClass Veldt (both Grassland Plain) ;


-- A VolcanicCone is a hill of lava or 
-- pyroclastics surrounding a volcanic vent. Not as high as a 
-- VolcanicMountain.
fun VolcanicCone : Class ;
fun VolcanicCone_Class : SubClass VolcanicCone (both Hill Volcano) ;


-- VolcanicEruption is the subclass of 
-- GeologicalProcesses in which Volcanoes erupt.
fun VolcanicEruption : Class ;
fun VolcanicEruption_Class : SubClass VolcanicEruption GeologicalProcess ;

fun VolcanicGasRelease : Class ;
fun VolcanicGasRelease_Class : SubClass VolcanicGasRelease VolcanicEruption ;
-- A VolcanicMountain is a cone_shaped 
-- mountain formed out of rock or ash thrown up from inside the earth, 
-- frequently with an opening or depression at the top.
fun VolcanicMountain : Class ;
fun VolcanicMountain_Class : SubClass VolcanicMountain (both Mountain Volcano) ;


fun VolcanicallyActive : Ind VolcanoStatus ;

fun VolcanicallyDormant : Ind VolcanoStatus ;

fun VolcanicallyExtinct : Ind VolcanoStatus ;

-- A Volcano in the broadest sense, i.e., a region 
-- containing a vent through which magmous and/or pyroclastic materials are 
-- passed from the interior of the Earth to its surface (atmospheric or 
-- underwater).
fun Volcano : Class ;
fun Volcano_Class : SubClass Volcano LandForm ;

fun VolcanoStatus : Class ;
fun VolcanoStatus_Class : SubClass VolcanoStatus InternalAttribute ;
-- WarmFront is the class of transitional 
-- weather processes occurring between a warm air mass that is advancing 
-- upon a cool air mass.
fun WarmFront : Class ;
fun WarmFront_Class : SubClass WarmFront WeatherFront ;

fun WaterBorneDiseaseIssue : Ind EnvironmentalIssue ;

-- WaterCatchment is the subclass of 
-- Artifacts used to capture rainwater or runoff as a source 
-- of Freshwater.
fun WaterCatchment : Class ;
fun WaterCatchment_Class : SubClass WaterCatchment Artifact ;

-- WaterCurrent is a subclass of FlowRegions 
-- consisting of moving water, especially those currents found within a 
-- well_identified area and having an established pattern of movement, such 
-- as an OceanCurrent, a RipTide, or a River. WaterCurrent is 
-- disjoint with StaticWaterArea. As a consequence, Lakes for example 
-- cannot be FlowRegions, however, currents may be present in a lake.
fun WaterCurrent : Class ;
fun WaterCurrent_Class : SubClass WaterCurrent (both FlowRegion WaterArea) ;


fun WaterInfrastructureIssue : Ind EnvironmentalIssue ;

fun WaterManagementIssue : Ind EnvironmentalIssue ;

-- WaterOnlyArea is a subclass of 
-- GeographicArea that is restricted to regions whose surface is water. 
-- A WaterOnlyArea may be a discontinuous region overlapping a larger, 
-- continuous GeographicArea but excluding any LandAreas enclosed therein. 
-- Dry land areas, including islands, are not part of any WaterOnlyArea.
fun WaterOnlyArea : Class ;
fun WaterOnlyArea_Class : SubClass WaterOnlyArea GeographicArea ;

fun WaterOverutilization : Class ;
fun WaterOverutilization_Class : SubClass WaterOverutilization SocialInteraction ;
-- WaterPollution is the subclass 
-- of Pollution processes in which Water is the polluted substance.
fun WaterPollution : Class ;
fun WaterPollution_Class : SubClass WaterPollution Pollution ;

fun WaterPollutionIssue : Ind EnvironmentalWaterIssue ;

-- Waterfall is the subclass of StreamWaterAreas where running water 
-- falls steeply downhill.
fun Waterfall : Class ;
fun Waterfall_Class : SubClass Waterfall StreamWaterArea ;

-- A WatershedDivide is a summit area, or 
-- narrow tract of higher ground that constitutes the watershed boundary 
-- between two adjacent drainage basins, it divides the surface waters that 
-- flow naturally in one direction from those that flow in the opposite 
-- direction.
fun WatershedDivide : Class ;
fun WatershedDivide_Class : SubClass WatershedDivide (both LandArea UplandArea) ;


fun Waterspout : Class ;
fun Waterspout_Class : SubClass Waterspout WeatherProcess ;
-- WeatherFront is the class of weather 
-- processes that are involve relationships between two air masses, such 
-- as a high pressure weather system or a low pressure system.
fun WeatherFront : Class ;
fun WeatherFront_Class : SubClass WeatherFront WeatherProcess ;

-- WeatherSeason is the class of seasonal 
-- processes that are characterized by various weather patterns. 
-- WeatherSeasons may recur on a regular annual basis, on a different 
-- pattern, or irregularly.
fun WeatherSeason : Class ;
fun WeatherSeason_Class : SubClass WeatherSeason WeatherProcess ;

-- WeatherSystem is the class of 
-- large_scale atmospheric processes that influence weather in a region 
-- for 2_5 days.
fun WeatherSystem : Class ;
fun WeatherSystem_Class : SubClass WeatherSystem WeatherProcess ;

fun WesternAfrica : Ind GeographicArea ;

fun WesternEurope : Ind GeographicArea ;

-- The half of the Earth that includes North 
-- and South America.
fun WesternHemisphere : Ind Hemisphere ;


fun WesternSouthAmerica : Ind GeographicArea ;

-- WetTropicalClimateZone is 
-- the subclass of TropicalClimateZone that is characterized by having 
-- no dry months. At least 60 mm of rainfall occur in the driest month. 
-- This is subtype 'Af' in the Koeppen climate system.
fun WetTropicalClimateZone : Class ;
fun WetTropicalClimateZone_Class : SubClass WetTropicalClimateZone TropicalClimateZone ;

fun WetlandDegradationIssue : Ind EnvironmentalIssue ;

fun WetlandsConvention : Ind Agreement ;

fun WhalingConvention : Ind Agreement ;

fun WildlifePoachingIssue : Ind EnvironmentalIssue ;

-- WindFlow is the class of variable AirStreams 
-- that are in the EarthsAtmosphere.
fun WindFlow : Class ;
fun WindFlow_Class : SubClass WindFlow AirStream ;

fun WindProcess : Class ;
fun WindProcess_Class : SubClass WindProcess WeatherProcess ;
fun Windstorm : Class ;
fun Windstorm_Class : SubClass Windstorm WindProcess ;
-- The WorldOcean is the collective mass of 
-- sea water that covers 70% of the surface of PlanetEarth, surrounding 
-- all of its dry land areas. Earth's individual Oceans are parts of 
-- the WorldOcean.
fun WorldOcean : Ind (both SaltWaterArea BodyOfWater) ;


fun Zud : Class ;
fun Zud_Class : SubClass Zud WeatherProcess ;
-- (airTemperature ?AREA ?TEMP) means that the temperature of the 
-- air at ?AREA is ?TEMP. Temperature may be expressed in units of 
-- TemperatureMeasure, including CelsiusDegree and FahrenheitDegree, 
-- among others.
fun airTemperature : El Object -> El TemperatureMeasure -> Formula ;


-- (arableLandArea ?REGION ?AMOUNT) 
-- means that the GeographicArea ?REGION has ?AMOUNT of land under 
-- cultivation with crops that are replanted after each harvest. ?AMOUNT 
-- may be expressed in physical units or with a percent or fraction.
-- Cf. permanentCropLandArea.
fun arableLandArea : El GeographicArea -> El ConstantQuantity -> Formula ;


-- (averagePrecipitationForPeriod ?PLACE ?PERIOD ?AMOUNT) means 
-- that at the GeographicArea ?PLACE, and during the TimeDuration 
-- ?PERIOD, the average daily precipitation was ?AMOUNT.
fun averagePrecipitationForPeriod : El GeographicArea -> El TimeDuration -> El ConstantQuantity -> Formula ;


-- (averageRainfallForPeriod ?AREA ?MO ?AMOUNT)
-- means that ?AREA receives ?AMOUNT of rain in month ?MO in an average
-- year. Note that ?AMOUNT is a linear measure indicating the depth of water that
-- would accumulate over ?AREA if all water were captured.
fun averageRainfallForPeriod : El GeographicArea -> El Month -> El LengthMeasure -> Formula ;


-- (averageTemperatureForPeriod ?PLACE ?PERIOD ?AMOUNT) means that 
-- at the GeographicArea ?PLACE, and during the TimeDuration 
-- ?PERIOD, the average daily temperature was ?AMOUNT. Temperature 
-- may be expressed in some UnitOfTemperature, including 
-- CelsiusDegree and FahrenheitDegree, among others.
fun averageTemperatureForPeriod : El GeographicArea -> El TimeDuration -> El TemperatureMeasure -> Formula ;


-- (bioindicatorForHabitat ?AREA ?SPECIES) means that the health 
-- of the individuals in ?SPECIES indicates the condition of their 
-- habitat in the GeographicArea ?AREA.
fun bioindicatorForHabitat: El GeographicArea -> Desc OrganicObject -> Formula ;


-- (claimedTerritory ?AREA ?POLITY) 
-- means that some right over the GeographicArea ?AREA is claimed by 
-- the Agent or GeopoliticalArea ?POLITY. If two politically independent 
-- states or agents claim the same area, that area is a 'disputed 
-- territory'.
fun claimedTerritory : El GeographicArea -> El Agent -> Formula ;


-- (climateTypeInArea ?TYPE ?REGION) 
-- means that all or part of the GeographicArea ?REGION is of the 
-- ClimateZone ?TYPE.
fun climateTypeInArea: El GeographicArea -> Desc ClimateZone -> Formula ;


-- (cloudCoverFraction ?AREA ?AMOUNT) 
-- means that in the Region ?AREA, the fraction ?AMOUNT of the sky is 
-- covered with clouds.
fun cloudCoverFraction : El Region -> El NonnegativeRealNumber -> Formula ;


-- (coldSeasonInArea ?AREA ?INTERVAL) 
-- means that in the GeographicArea ?AREA, the cold season occurs 
-- during the TimeInterval ?INTERVAL.
fun coldSeasonInArea: El GeographicArea -> Desc TimeInterval -> Formula ;


-- (connectedDownstream ?OBJ1 ?OBJ2) 
-- means that ?OBJ1 is connected, remotely or immediately, with ?OBJ2 along 
-- a directed system such as a RiverSystem.
fun connectedDownstream : El Object -> El Object -> Formula ;


-- (coolSeasonInArea ?AREA ?INTERVAL) 
-- means that in the GeographicArea ?AREA, the cool season occurs 
-- during the TimeInterval ?INTERVAL. For example, (coolSeasonInArea 
-- Angola (RecurringTimeIntervalFn May October
fun coolSeasonInArea: El GeographicArea -> Desc TimeInterval -> Formula ;


-- (courseWRTCompassNorth ?OBJ1 ?OBJ2 ?HEADING) means that the course 
-- heading from ?OBJ1 to ?OBJ2 is ?HEADING in AngularDegrees, with 
-- the reference point of 000 degrees North as measured by compass on 
-- or at ?OBJ1.
fun courseWRTCompassNorth : El Physical -> El Physical -> El PlaneAngleMeasure -> Formula ;


-- (courseWRTMagneticNorth ?OBJ1 ?OBJ2 ?HEADING) means that the course 
-- heading from ?OBJ1 to ?OBJ2 is ?HEADING in AngularDegrees, with 
-- the reference point of 000 degrees being the magnetic North pole.
fun courseWRTMagneticNorth : El Physical -> El Physical -> El PlaneAngleMeasure -> Formula ;


-- (courseWRTTrueNorth ?OBJ1 ?OBJ2 ?HEADING) means that the course 
-- heading or track from ?OBJ1 to ?OBJ2 is ?HEADING, in AngularDegrees, 
-- with the reference point of 000 degrees being true North.
fun courseWRTTrueNorth : El Physical -> El Physical -> El PlaneAngleMeasure -> Formula ;


-- (dateOpenedForSignature ?PROP ?DATE) means that as of a date 
-- indicated by ?DATE, document(s) may officially be signed (by the 
-- appropriate agents) to effect commitments to the Agreement ?PROP.
fun dateOpenedForSignature: El Proposition -> Desc TimePosition -> Formula ;


-- (daylightHoursInterval ?PLACE ?DAY ?INTERVAL) means that in the 
-- Region ?PLACE, on the Day indicated by ?DAY, there is daylight 
-- during the TimeInterval ?INTERVAL.
fun daylightHoursInterval: El Region -> Desc Day -> El TimeInterval -> Formula ;


-- (daylightHoursTotal ?PLACE ?DAY ?TIME) means that in the Region 
-- ?PLACE, on the Day indicated by ?DAY, there is daylight for a 
-- total TimeDuration ?LENGTH.
fun daylightHoursTotal: El Region -> Desc Day -> El TimeDuration -> Formula ;


-- (dependentGeopoliticalArea 
-- ?AREA1 ?AREA2) means that ?AREA1 is a geopolitical possession of the 
-- GeopoliticalArea ?AREA2 and is not a geopoliticalSubdivision of 
-- ?AREA2. For example, (dependentGeopoliticalArea Guam UnitedStates), 
-- because Guam is a territory of the UnitedStates, not one of the fifty 
-- U.S. states. Contrast primaryGeopoliticalSubdivision.
fun dependentGeopoliticalArea : El GeographicArea -> El Agent -> Formula ;


-- (drySeasonInArea ?AREA ?INTERVAL) 
-- means that in the GeographicArea ?AREA, the dry season occurs 
-- during the TimeInterval ?INTERVAL. For example, (drySeasonInArea 
-- Angola (RecurringTimeIntervalFn May October)).
fun drySeasonInArea: El GeographicArea -> Desc TimeInterval -> Formula ;


-- The altitude of an object
-- above the sea level of PlanetEarth
fun earthAltitude : El Physical -> El Physical -> El LengthMeasure -> Formula ;


-- (elevation ?OBJECT ?HEIGHT) means that the 
-- physical Object ?OBJECT is located on the surface of PlanetEarth 
-- at the vertical distance ?HEIGHT above (or below, for a negative 
-- quantity) SeaLevel. ?OBJECT may be a superficialPart of Earth's 
-- surface, such as a GeographicArea. Elevation is measured from 
-- SeaLevel to the vertical top of the object.
fun elevation : El Object -> El LengthMeasure -> Formula ;


-- (environmentalProblemTypeInArea ?AREA ?PROBLEM) means that 
-- objects or processes of type ?PROBLEM is an environmental 
-- problem in the GeographicArea ?AREA.
fun environmentalProblemTypeInArea: El GeographicArea -> Desc Physical -> Formula ;


-- The relation between WaterMotion Processes
-- and the region in which they occur continuously over at least hours, but
-- typically months or years. A water balloon bursting and flowing downhill
-- would not use this relation, because there would be no StreamWaterArea
-- to relate to.
fun flowCurrent : El WaterMotion -> El WaterArea -> Formula ;


-- (groundSubsurfaceType ?area ?subsoil) 
-- means that the predominant Substance in the subsoil or subsurface layer of 
-- the LandArea ?area is of type ?subsoil.
fun groundSubsurfaceType: El LandArea -> Desc Substance -> Formula ;


-- (%&groundSurfaceType ?area ?substance) means 
-- that the predominant Substance at the ground surface of the LandArea ?area is ?substance.
fun groundSurfaceType: El LandArea -> Desc Substance -> Formula ;


-- (headingWRTCompassNorth ?OBJ ?DEGREE) 
-- means that the front_to_back axis of the Object ?OBJ points in 
-- the direction ?DEGREE, according to the compass carried by ?OBJ.
fun headingWRTCompassNorth : El Object -> El PlaneAngleMeasure -> Formula ;


-- (headingWRTMagneticNorth ?OBJ ?DEGREE) 
-- means that the front_to_back axis of the Object ?OBJ points in 
-- the direction ?DEGREE, with respect to magnetic North.
fun headingWRTMagneticNorth : El Object -> El PlaneAngleMeasure -> Formula ;


-- (headingWRTTrueNorth ?OBJ ?DEGREE) 
-- means that the front_to_back axis of the Object ?OBJ points in 
-- the direction ?DEGREE, with respect to true North.
fun headingWRTTrueNorth : El Object -> El PlaneAngleMeasure -> Formula ;


-- (highAltitudeWindSpeed ?PLACE ?RATE) means that the Wind 
-- blowing above 25,000 feet at ?PLACE has a speed of ?RATE.
fun highAltitudeWindSpeed : El Object -> El ConstantQuantity -> Formula ;


-- (highAltitudeWindVelocity ?PLACE ?SPEED ?TOWARD) means that the 
-- Wind blowing above 25,000 feet at ?PLACE has a speed of ?SPEED 
-- and is moving toward the DirectionalAttribute ?TOWARD.
fun highAltitudeWindVelocity : El Object -> El PhysicalQuantity -> El DirectionalAttribute -> Formula ;


-- (highTide ?PLACE ?TIME ?AMOUNT) means that 
-- there is a HighTide at the Region ?PLACE at the TimeInterval ?TIME 
-- with the relative height ?AMOUNT. The height is given in relation to 
-- the datum on a standard chart.
fun highTide : El Region -> El TimeInterval -> El LengthMeasure -> Formula ;


-- (highestTemperatureForPeriod ?PLACE ?PERIOD ?AMOUNT) means that 
-- at the GeographicArea ?PLACE, during the TimeDuration ?PERIOD, 
-- the highest temperature was ?AMOUNT. Temperature may be expressed 
-- in some UnitOfTemperature, including CelsiusDegree and 
-- FahrenheitDegree, among others.
fun highestTemperatureForPeriod : El GeographicArea -> El TimeDuration -> El TemperatureMeasure -> Formula ;


-- (hotSeasonInArea ?AREA ?INTERVAL) 
-- means that in the GeographicArea ?AREA, the hot season occurs 
-- during the TimeInterval ?INTERVAL. For example, (hotSeasonInArea 
-- Angola (RecurringTimeIntervalFn November April)).
fun hotSeasonInArea: El GeographicArea -> Desc TimeInterval -> Formula ;


-- (irrigatedLandArea ?REGION ?AMOUNT) 
-- means that the GeographicArea ?REGION has the ?AMOUNT of irrigated land. 
-- ?AMOUNT may be expressed in physical units or with a percent or fraction.
fun irrigatedLandArea : El GeographicArea -> El ConstantQuantity -> Formula ;


-- (landAreaOnly ?REGION ?MEASURE) means 
-- that the total area(s) of solid ground within the GeographicArea 
-- ?REGION has the AreaMeasure ?AMOUNT. The pieces of solid ground need 
-- not be continuous within the region.
fun landAreaOnly : El GeographicArea -> El AreaMeasure -> Formula ;


-- (lowAltitudeWindSpeed ?PLACE ?RATE) means that the Wind blowing 
-- between 500_10,000 feet at ?PLACE has a speed of ?RATE. Wind speed 
-- may be expressed in knots (KnotUnitOfSpeed) or as any distance per 
-- time unit (using (SpeedFn ?DISTANCE ?TIME)).
fun lowAltitudeWindSpeed : El Object -> El PhysicalQuantity -> Formula ;


-- (lowAltitudeWindVelocity ?PLACE ?SPEED ?DIRECTION) means that the 
-- low_altitude Wind blowing at ?PLACE has a speed of ?SPEED and comes 
-- from the compass point ?DIRECTION. Low_altitude wind is wind blowing 
-- between 500_10,000 feet.
fun lowAltitudeWindVelocity : El Object -> El PhysicalQuantity -> El DirectionalAttribute -> Formula ;


-- (lowTide ?PLACE ?TIME ?AMOUNT) means that 
-- there is a LowTide at the Region ?PLACE at the TimeInterval ?TIME 
-- with the relative height ?AMOUNT. The height is given in relation to 
-- the datum on a standard chart.
fun lowTide : El Region -> El TimeInterval -> El LengthMeasure -> Formula ;


-- (lowestTemperatureForPeriod ?PLACE ?PERIOD ?AMOUNT) means that 
-- at the GeographicArea ?PLACE, during the TimeDuration ?PERIOD, 
-- the highest temperature was ?AMOUNT. Temperature may be expressed 
-- in some UnitOfTemperature, including CelsiusDegree and 
-- FahrenheitDegree, among others.
fun lowestTemperatureForPeriod : El GeographicArea -> El TimeDuration -> El TemperatureMeasure -> Formula ;


-- (magneticVariation ?AREA ?DEGREE ?DIRECTION) means that in the 
-- GeographicArea ?AREA, the magnetic variation of a compass from 
-- 000 degrees true is ?DEGREE AngularDegrees in ?DIRECTION (East 
-- or West).
fun magneticVariation : El GeographicArea -> El PlaneAngleMeasure -> El DirectionalAttribute -> Formula ;


-- (mapOfArea ?AREA ?POINTER) means that a map 
-- of the Region ?AREA can be found at the location ?POINTER.
fun mapOfArea : El Region -> El SymbolicString -> Formula ;


-- (maritimeClaimType ?POLITY ?TYPE) 
-- means that the GeopoliticalArea ?POLITY claims rights over a 
-- MaritimeClaimArea of ?TYPE.
fun maritimeClaimType: El GeopoliticalArea -> Desc MaritimeClaimArea -> Formula ;


-- (meanSeaLevel ?place ?measure) means that the Mean Sea 
-- Level (MSL) at ?place is ?measure. ?measure is a distance representing the sea level 
-- at ?place measured against a benchmark (and averaged over a long time). MSL is measured 
-- by tide gauges for maritime purposes, while geodesists use the difference between the 
-- local sea surface and an ideal level ocean surface (the geoid).
fun meanSeaLevel : El GeographicArea -> El LengthMeasure -> Formula ;


-- (mediumAltitudeWindSpeed ?PLACE ?RATE) means that the Wind 
-- blowing between 10,000_25,000 feet at ?PLACE has a speed of ?RATE.
fun mediumAltitudeWindSpeed : El Object -> El ConstantQuantity -> Formula ;


-- (mediumAltitudeWindVelocity ?PLACE ?SPEED ?TOWARD) means that the 
-- Wind blowing between 10,000_25,000 feet at ?PLACE has a speed of 
-- ?SPEED and is moving toward the DirectionalAttribute ?TOWARD.
fun mediumAltitudeWindVelocity : El Object -> El PhysicalQuantity -> El DirectionalAttribute -> Formula ;


-- (naturalHazardTypeInArea ?AREA ?TYPE) means that in the 
-- GeographicArea ?AREA, Processes of ?TYPE occur with some 
-- frequency and may cause damage or danger to human lives and property.
fun naturalHazardTypeInArea: El GeographicArea -> Desc Physical -> Formula ;


-- (naturalResourceTypeInArea ?REGION ?TYPE) means that the 
-- GeographicArea ?REGION has resources of the kind ?TYPE.
fun naturalResourceTypeInArea: El GeographicArea -> Desc Object -> Formula ;


-- (objectGeographicCoordinates ?OBJECT ?LAT ?LONG) means that 
-- the Object ?OBJECT is found at the geographic coordinates 
-- ?LAT and ?LONG.
fun objectGeographicCoordinates : El Object -> El Latitude -> El Longitude -> Formula ;


-- (oppositeDirection ?DIR1 ?DIR2) 
-- means that the PositionalAttribute ?DIR1 points in the compass 
-- direction opposite to the DirectionalAttribute ?DIR2.
fun oppositeDirection : El PositionalAttribute -> El PositionalAttribute -> Formula ;


-- (orbits ?SATELLITE ?FOCUS) means that the Object 
-- ?SATELLITE revolves around the AstronomicalBody ?FOCUS.
fun orbits : El Object -> El AstronomicalBody -> Formula ;


-- This predicate is used to represent information from the CIA 
-- World Fact Book. (otherLandUseArea ?REGION ?AMOUNT) means that 
-- in the GeographicArea ?REGION, the ?AMOUNT of land has some 
-- use other than planting seasonal or permanent crops. ?AMOUNT may be 
-- expressed in physical units or with a percent or fraction. See also 
-- arableLandArea and permanentLandArea.
fun otherLandUseArea : El GeographicArea -> El ConstantQuantity -> Formula ;


-- (overcastDaysInPeriod ?AREA ?PERIOD ?NUMBER) means that during the 
-- time ?PERIOD, the GeographicArea ?AREA experienced ?NUMBER of 
-- OvercastWeather days.
fun overcastDaysInPeriod : El GeographicArea -> El TimeDuration -> El NonnegativeRealNumber -> Formula ;


-- (partyToAgreement ?AGENT ?PROP) 
-- means that the Agent ?AGENT has committed to the agreement ?PROP.
fun partyToAgreement : El Agent -> El Proposition -> Formula ;


-- (permanentCropLandArea ?REGION ?AMOUNT) means that the GeographicArea 
-- ?REGION has ?AMOUNT of land under cultivation with crops that are not 
-- replanted after each harvest. This includes orchards, vineyards, coffee 
-- and rubber plantations. Timberland is excluded. ?AMOUNT may be expressed 
-- in physical units or with a percent or fraction. Cf. permanentCropLandArea.
fun permanentCropLandArea : El GeographicArea -> El ConstantQuantity -> Formula ;


-- (precipitationAmount ?EVENT ?AMOUNT) means that in the 
-- Precipitation process ?EVENT, the quantity of precipitation 
-- that fell was ?AMOUNT.
fun precipitationAmount : El Precipitation -> El ConstantQuantity -> Formula ;


-- (precipitationRate ?EVENT ?RATE) means that in the 
-- Precipitation ?EVENT, the precipitation falls at a rate 
-- of ?RATE.
fun precipitationRate : El Precipitation -> El FunctionQuantity -> Formula ;


-- (precipitationState ?EVENT ?STATE) means that in the Precipitation 
-- ?EVENT, the stuff falling is in the PhysicalState ?STATE (e.g., 
-- Liquid or Solid ice).
fun precipitationState : El WeatherProcess -> El PhysicalState -> Formula ;


-- (rainySeasonInArea ?AREA ?INTERVAL) 
-- means that in the GeographicArea ?AREA, the rainy or wet season occurs 
-- during the TimeInterval ?INTERVAL. For example, (rainySeasonInArea 
-- Angola (RecurringTimeIntervalFn November April)).
fun rainySeasonInArea: El GeographicArea -> Desc TimeInterval -> Formula ;


-- (regionalIssue ?AREA ?ISSUE) means 
-- that the AreaOfConcern ?ISSUE is relevant to a problem in the 
-- GeographicArea ?AREA.
fun regionalIssue : El GeographicArea -> El AreaOfConcern -> Formula ;


-- (relativeBearing ?OBJ1?OBJ2 ?DEGREES) 
-- means that ?OBJ1 and ?OBJ2 are separated by the amount ?DEGREES of 
-- PlaneAngleMeasure.
fun relativeBearing : El Object -> El Object -> El PlaneAngleMeasure -> Formula ;


-- (relativeHumidity ?AREA ?AMOUNT) 
-- means that the amount of moisture in the air at ?AREA is ?AMOUNT. 
-- Relative humidity expresses the amount of moisture as a percentage, 
-- or ratio, between the actual moisture saturation of the air compared 
-- to the potential moisture saturation of the air. At full (potential) 
-- saturation, precipitation would occur.
fun relativeHumidity : El Object -> El NonnegativeRealNumber -> Formula ;


-- (seaSurfaceTemperature ?AREA ?TEMP) means that the 
-- temperature of the sea surface at ?AREA is ?TEMP. 
-- Temperature may be expressed in some UnitOfTemperature, 
-- including CelsiusDegree and FahrenheitDegree, among others.
fun seaSurfaceTemperature : El WaterArea -> El ConstantQuantity -> Formula ;


-- The length of the boundary 
-- between two GeographicRegions.
fun sharedBorderLength : El GeographicRegion -> El GeographicRegion -> El LengthMeasure -> Formula ;


-- (slopeGradient ?AREA ?SLOPE) means that 
-- in the LandArea ?AREA there is an incline of ?slope, where ?SLOPE is 
-- the percent of vertical rise over horizontal distance. slopeGradient 
-- gives an approximate value for nonzero slope over ?AREA, without regard 
-- to orientation. For example, (slopeGradient ?AREA 0.10) means that 
-- there is a 10% incline across the area, without specifying the 
-- orientation in which the land rises or falls. Also see 
-- slopeGradientTowardsOrientation.
fun slopeGradient : El LandArea -> El NonnegativeRealNumber -> Formula ;


-- (slopeGradientTowardsOrientation ?AREA ?DIRECTION ?SLOPE) means that 
-- in the LandArea ?AREA, there is an incline of ?SLOPE towards the 
-- DirectionalAttribute ?DIRECTION. ?SLOPE is a RationalNumber 
-- representing the percent of vertical rise over horizontal distance.
fun slopeGradientTowardsOrientation : El LandArea -> El DirectionalAttribute -> El RationalNumber -> Formula ;


-- (streamOutfall ?WATER ?RIVER) means that 
-- the WaterArea ?MOUTH is the outfall of the River ?RIVER.
fun streamOutfall : El WaterArea -> El River -> Formula ;


-- (surfaceWindDirection ?PLACE ?DIRECTION) means that at ?PLACE 
-- the wind is coming from the compass point ?DIRECTION. For example, 
-- (surfaceWindDirection SanFranciscoBay Northwest) means that the 
-- wind in San Francisco Bay is coming from the Northwest. The wind is 
-- within 500 feet of Earth's surface.
fun surfaceWindDirection : El Object -> El DirectionalAttribute -> Formula ;


-- (surfaceWindSpeed ?PLACE ?RATE) 
-- means that the speed of the surface Wind at the GeographicArea 
-- ?PLACE is ?RATE. Wind speed may be expressed in knots (KnotUnitOfSpeed) 
-- or as any distance per time unit (using (SpeedFn ?DISTANCE ?TIME)). 
-- Surface wind is found at the surface of the planet, everyday wind. 
-- Technically, Winds moving through the atmosphere up to an altitude 
-- of 500 feet.
fun surfaceWindSpeed : El Object -> El PhysicalQuantity -> Formula ;


-- (surfaceWindVelocity ?PLACE ?SPEED ?TOWARD) means that the 
-- surface Wind blowing at ?PLACE has a speed of ?SPEED and is moving 
-- toward the DirectionalAttribute ?TOWARD. Surface wind is found at the 
-- surface of the planet, everyday wind. Technically, Winds moving 
-- through the atmosphere up to an altitude of 500 feet.
fun surfaceWindVelocity : El Object -> El PhysicalQuantity -> El DirectionalAttribute -> Formula ;


-- (terrainInArea ?AREA ?ATTRIBUTE) 
-- means that the GeographicArea ?AREA is or includes a region with 
-- the features of TerrainArea ?ATTRIBUTE.
fun terrainInArea : El GeographicArea -> El TerrainAttribute -> Formula ;


-- (totalArea ?REGION ?AMOUNT) means that 
-- the total area of ?REGION is the AreaMeasure ?AMOUNT.
fun totalArea : El Region -> El AreaMeasure -> Formula ;


-- (totalBiomass ?PLACE ?MASS) means that the 
-- total amount (in weight or volume) of living matter in the Region 
-- ?PLACE is ?MASS.
fun totalBiomass : El GeographicArea -> El PhysicalQuantity -> Formula ;


-- (totalCoastline ?AREA ?COASTLENGTH) 
-- means that the total length of all boundaries between the GeographicArea 
-- ?AREA and the ocean is the LengthMeasure ?COASTLENGTH. The coastline 
-- counted may be discontinuous and may even be along different oceans (as 
-- in Columbia). A totalCoastline of zero indicates a LandlockedArea. 
-- Note that only Ocean coastlines are counted, not any shores with inland 
-- waters.
fun totalCoastline : El GeographicArea -> El LengthMeasure -> Formula ;


-- (totalLandBoundary ?REGION ?LENGTH) 
-- means that the GeographicArea ?REGION has a total LengthMeasure 
-- ?LENGTH of land boundaries between it and other countries. Note that 
-- the boundaries included in the total length may be discontinuous, as when 
-- interrupted by stretches of Seacoast.
fun totalLandBoundary : El GeographicArea -> El LengthMeasure -> Formula ;


-- (totalPrecipitationForPeriod ?PLACE ?PERIOD ?AMOUNT) means that 
-- at the GeographicArea ?PLACE, and during the TimeDuration ?PERIOD, 
-- the total amount of precipitation was ?AMOUNT.
fun totalPrecipitationForPeriod : El GeographicArea -> El TimeDuration -> El ConstantQuantity -> Formula ;


-- (unratifiedSignatoryToAgreement ?AGENT ?PROP) means that 
-- the Agent ?AGENT has signed a document to begin the process of 
-- committing to the Agreement ?PROP, but that a ratification 
-- process required to complete the commitment has not yet occurred.
fun unratifiedSignatoryToAgreement : El Agent -> El Proposition -> Formula ;


-- (vegetationType ?area ?type) associates 
-- a particular GeographicArea with a type of Plant that is found there.
fun vegetationType : El GeographicArea -> Desc Plant -> Formula ;


-- (vegetationTypePattern ?AREA ?TYPE ?DENSITY) means that in the 
-- GeographicArea ?AREA the Plant ?TYPE is found with ?DENSITY.
fun vegetationTypePattern: El GeographicArea -> Desc Plant -> El Attribute -> Formula ;


-- (warmSeasonInArea ?AREA ?INTERVAL) 
-- means that in the GeographicArea ?AREA, the warm season occurs 
-- during the TimeInterval ?INTERVAL.
fun warmSeasonInArea: El GeographicArea -> Desc TimeInterval -> Formula ;


-- (waterAreaOnly ?REGION ?MEASURE) means 
-- that the total area(s) of surface water within the GeographicArea 
-- ?REGION has the AreaMeasure ?AMOUNT. The pieces of water need not be 
-- continuous within the region.
fun waterAreaOnly : El GeographicArea -> El AreaMeasure -> Formula ;


-- (waterDepth ?AREA ?LENGTH) means that the 
-- depth of water at the Region ?AREA is ?LENGTH.
fun waterDepth : El WaterArea -> El LengthMeasure -> Formula ;


-- (windRelativePosition ?OBJECT ?POSITION) means that the Wind blows 
-- at ?OBJECT from the relative vector ?POSITION. E.g., Crosswind, 
-- Headwind, Tailwind.
fun windRelativePosition : El Object -> El Attribute -> Formula ;
}