MidLevelOntology.gf

abstract MidLevelOntology = Merge, Elements ** {

-- Removing a human fetus from a Pregnant woman
-- in such a way that the fetus cannot survive.
fun Aborting : Class ;
fun Aborting_Class : SubClass Aborting Removing ;

-- A Certificate that demonstrates that the holder
-- of the Certificate has successfully completed an EducationalProgram.
fun AcademicDegree : Class ;
fun AcademicDegree_Class : SubClass AcademicDegree Certificate ;

-- Increasing the speed with which someone
-- or something is moving.
fun Accelerating : Class ;
fun Accelerating_Class : SubClass Accelerating (both Increasing Translocation) ;

-- The Profession of being an Accountant.
fun Accountant : Ind Profession ;

-- Any process of certifying an EducationalOrganization.
fun Accrediting : Class ;
fun Accrediting_Class : SubClass Accrediting Declaring ;

-- AchievingControl is the
-- class of all events in which an Agent gains physical
-- control over some object.
fun AchievingControl : Class ;
fun AchievingControl_Class : SubClass AchievingControl Guiding ;

-- A UnitOfMeasure equal to 4840 square yards.
fun Acre : Ind UnitOfArea ;

-- Any TwoDimensionalAngle that has an
-- angularMeasure that is less than 90 AngularDegrees.
fun AcuteAngle : Class ;
fun AcuteAngle_Class : SubClass AcuteAngle TwoDimensionalAngle ;

-- A RelationalAttribute that indicates an address
-- where an Agent can regularly be contacted.
fun Address : Class ;
fun Address_Class : SubClass Address RelationalAttribute ;

-- Combining a substance with Air.
fun Aerating : Class ;
fun Aerating_Class : SubClass Aerating Combining ;

-- A Device whose purpose is to mix Substances with
-- Air.
fun Aerator : Class ;
fun Aerator_Class : SubClass Aerator Device ;

-- An RecreationOrExerciseDevice whose purpose is
-- to develop the cardiovascular system.
fun AerobicExerciseDevice : Class ;
fun AerobicExerciseDevice_Class : SubClass AerobicExerciseDevice RecreationOrExerciseDevice ;

-- The class of TimeIntervals that begin at noon and
-- end at Sunset.
fun Afternoon : Class ;
fun Afternoon_Class : SubClass Afternoon DayTime ;

-- A CommercialAgent whose customers are all other
-- CommercialAgents, e.g. staffing agencies, food_service providers, etc.
fun Agency : Class ;
fun Agency_Class : SubClass Agency CommercialAgent ;

-- AgriculturalProduct is the subclass of Product that comprises
-- the products of agricultural activity.
fun AgriculturalProduct : Class ;
fun AgriculturalProduct_Class : SubClass AgriculturalProduct Product ;

-- AirForce is the subclass of MilitaryService
-- that comprises military air forces.
fun AirForce : Class ;
fun AirForce_Class : SubClass AirForce MilitaryService ;

-- Any instance of Transportation where the
-- instrument is an Aircraft and which is through an AtmosphericRegion.
fun AirTransportation : Class ;
fun AirTransportation_Class : SubClass AirTransportation Transportation ;

-- Any Vehicle which is capable of
-- AirTransportation. Note that this class covers both fixed_wing aircraft
-- and helicopters.
fun Aircraft : Class ;
fun Aircraft_Class : SubClass Aircraft Vehicle ;

-- OrganicCompounds that are produced from hydrocarbons
-- by distillation.
fun Alcohol : Class ;
fun Alcohol_Class : SubClass Alcohol OrganicCompound ;

-- Any Beverage that contains Alcohol.
fun AlcoholicBeverage : Class ;
fun AlcoholicBeverage_Class : SubClass AlcoholicBeverage (both Beverage Depressant) ;

-- A ChemicalBase found in some Plants that has
-- physiological and psychological effects.
fun Alkaloid : Class ;
fun Alkaloid_Class : SubClass Alkaloid (both BiologicallyActiveSubstance ChemicalBase) ;

-- Any Character that is comprised of a single
-- alphabetical character, e.g. A, B, C, D, ...
fun AlphabeticCharacter : Class ;
fun AlphabeticCharacter_Class : SubClass AlphabeticCharacter Character ;

-- Tiny sacs in the Lung which absorb Oxygen
-- which is delivered to them by the BronchialDucts.
fun Alveolus : Class ;
fun Alveolus_Class : SubClass Alveolus (both AnimalAnatomicalStructure BodyVessel) ;

-- Any Maneuver in a ViolentContest where one
-- contestParticipant attempts to conceal himself from another
-- contestParticipant so that he can Attack the other
-- contestParticipant.
fun Ambush : Class ;
fun Ambush_Class : SubClass Ambush Maneuver ;

-- Organic acids that are the building blocks of
-- Proteins.
fun AminoAcid : Class ;
fun AminoAcid_Class : SubClass AminoAcid (both ChemicalAcid OrganicCompound) ;

-- A very large Boa that is found in South America.
fun Anaconda : Class ;
fun Anaconda_Class : SubClass Anaconda ConstrictorSnake ;

-- An RecreationOrExerciseDevice whose purpose
-- is to develop Muscles without also developing the cardiovascular system.
fun AnaerobicExerciseDevice : Class ;
fun AnaerobicExerciseDevice_Class : SubClass AnaerobicExerciseDevice RecreationOrExerciseDevice ;

-- An AttachingDevice which is large hook or set of hooks
-- that are used to secure a Ship on the open water.
fun Anchor : Class ;
fun Anchor_Class : SubClass Anchor AttachingDevice ;

-- The state of being wrathful, irate or indignant.
fun Anger : Ind EmotionalState ;

-- AnimalAgriculturalProduct is the class of AgriculturalProducts
-- that are animal in nature, including meat, fish, dairy products,
-- hides, furs, animal fats and oils, etc.
fun AnimalAgriculturalProduct : Class ;
fun AnimalAgriculturalProduct_Class : SubClass AnimalAgriculturalProduct AgriculturalProduct ;

-- Any Device which is used to control the
-- movements of an Animal or Human, e.g. leashes, reins, harnesses, muzzles,
-- bridles, shackles, handcuffs, etc.
fun AnimalController : Class ;
fun AnimalController_Class : SubClass AnimalController Device ;

-- AnimalPoweredDevice is the subclass
-- of Devices that function with power supplied by animals. Examples:
-- oxcarts, horse_drawn plows, mule_driven mills.
fun AnimalPoweredDevice : Class ;
fun AnimalPoweredDevice_Class : SubClass AnimalPoweredDevice Device ;

-- An Artifact which is intended to house
-- Animals and not Humans. Note that an AnimalResidence may or may not
-- be a StationaryArtifact, e.g. a horse stall is stationary while a doghouse
-- generally is not.
fun AnimalResidence : Class ;
fun AnimalResidence_Class : SubClass AnimalResidence Artifact ;

-- A hard shell of calcium that serves as a
-- supporting structure for some Invertebrates.
fun AnimalShell : Class ;
fun AnimalShell_Class : SubClass AnimalShell (both AnimalAnatomicalStructure BodyPart) ;

-- A GroupOfAnimals which are Pulling something.
fun AnimalTeam : Class ;
fun AnimalTeam_Class : SubClass AnimalTeam GroupOfAnimals ;

-- The joint in the Leg that connects the tibia and the
-- fibula to the talus.
fun Ankle : Class ;
fun Ankle_Class : SubClass Ankle BodyJoint ;

-- Any Text which contains information about
-- an event in the future.
fun Announcement : Class ;
fun Announcement_Class : SubClass Announcement FactualText ;

-- Responding to a Questioning, i.e. trying to answer
-- someone's question.
fun Answering : Class ;
fun Answering_Class : SubClass Answering Stating ;

-- A colony Insect of three types: males,
-- QueenInsect, and worker ants.
fun AntInsect : Class ;
fun AntInsect_Class : SubClass AntInsect Insect ;

-- The class of TimeIntervals that begin at midnight
-- and end at noon.
fun AnteMeridiem : Class ;
fun AnteMeridiem_Class : SubClass AnteMeridiem TimeInterval ;

-- A HoofedMammal with long legs and backward_facing horns.
-- This class includes gazelles, addax, blackbucks, etc.
fun Antelope : Class ;
fun Antelope_Class : SubClass Antelope HoofedMammal ;

-- A CommunicationDevice which enables or improves
-- the reception of RadioEmissions by another CommunicationDevice (the
-- radio or television receiver).
fun Antenna : Class ;
fun Antenna_Class : SubClass Antenna CommunicationDevice ;

-- The field of anthropology.
fun Anthropology : Ind SocialScience ;

-- A BiologicallyActiveSubstance than can kill
-- instances of Bacterium.
fun Antibiotic : Class ;
fun Antibiotic_Class : SubClass Antibiotic BiologicallyActiveSubstance ;

-- An immunoglobulin which is produced by the body
-- and which has the ability to neutralize Antigens.
fun Antibody : Class ;
fun Antibody_Class : SubClass Antibody Protein ;

-- Any BiologicallyActiveSubstance that has the
-- capacity to stimulate the production of Antibodies.
fun Antigen : Class ;
fun Antigen_Class : SubClass Antigen BiologicallyActiveSubstance ;

-- An Antigen that is carried in the red blood
-- cells of those with BloodTypeA.
fun AntigenA : Class ;
fun AntigenA_Class : SubClass AntigenA Antigen ;

-- An Antigen that is carried in the red blood
-- cells of those with BloodTypeB.
fun AntigenB : Class ;
fun AntigenB_Class : SubClass AntigenB Antigen ;

-- The BeliefGroup that is characterized by a
-- dislike for Judaism.
fun Antisemitism : Ind BeliefGroup ;

-- The state of being worried, troubled or uneasy.
fun Anxiety : Ind EmotionalState ;

-- A ResidentialBuilding containing
-- ApartmentUnits.
fun ApartmentBuilding : Class ;
fun ApartmentBuilding_Class : SubClass ApartmentBuilding ResidentialBuilding ;

-- A SingleFamilyResidence that is not owned
-- by any member of the SocialUnit that lives there.
fun ApartmentUnit : Class ;
fun ApartmentUnit_Class : SubClass ApartmentUnit SingleFamilyResidence ;

-- A FormText whose purpose is to obtain admission
-- to an Organization or to receive assistance from an Organization.
fun Application : Class ;
fun Application_Class : SubClass Application FormText ;

-- Any instance of Declaring by which the
-- patient is assigned to a Position within an Organization where
-- the patient previously had no position. For example, the appointments
-- of people to non_elective offices in a government.
fun Appointing : Class ;
fun Appointing_Class : SubClass Appointing Declaring ;

-- An item of Clothing that protects the front and
-- middle part of the body while one is Cooking or doing other work.
fun Apron : Class ;
fun Apron_Class : SubClass Apron Clothing ;

-- The FieldOfStudy of designing Buildings, i.e.
-- creating Blueprints for Buildings.
fun Architecture : Ind FieldOfStudy ;

-- Any Stating which has the form of an Argument.
fun Arguing : Class ;
fun Arguing_Class : SubClass Arguing Stating ;

-- The upper Limbs of a Primate.
fun Arm : Class ;
fun Arm_Class : SubClass Arm Limb ;

-- MilitaryServices that are land forces.
fun Army : Class ;
fun Army_Class : SubClass Army MilitaryService ;

-- The final part of any instance of Translocation.
fun Arriving : Class ;
fun Arriving_Class : SubClass Arriving Translocation ;

-- An Icon which has the shape of an arrow and
-- which is used to indicate direction or a relationship betwee two things.
fun ArrowFigure : Class ;
fun ArrowFigure_Class : SubClass ArrowFigure Icon ;

-- An Icon which has the shape of an arrow and which
-- is used to indicate direction or a relationship betwee two things.
fun ArrowIcon : Class ;
fun ArrowIcon_Class : SubClass ArrowIcon Icon ;

-- A long, thin Projectile with a pointed tip is
-- fired from a bow.
fun ArrowProjectile : Class ;
fun ArrowProjectile_Class : SubClass ArrowProjectile Projectile ;

-- An act where an agent sets something which it does not possess
-- on fire in order to destroy it or its contents.
fun Arson : Class ;
fun Arson_Class : SubClass Arson (both Combustion Destruction) ;

-- The Profession of reporting and critiquing current
-- ArtWorks.
fun ArtCritic : Ind Journalist ;

-- Any ContentDevelopment that results in a
-- PaintedPicture.
fun ArtPainting : Class ;
fun ArtPainting_Class : SubClass ArtPainting (both ContentDevelopment Painting) ;

-- Any School whose aim is to teach students
-- how to create ArtWorks.
fun ArtSchool : Class ;
fun ArtSchool_Class : SubClass ArtSchool School ;

-- A Workshop, which is
-- devoted to the creation of ArtWorks.
fun ArtStudio : Class ;
fun ArtStudio_Class : SubClass ArtStudio Workshop ;

-- Any BloodVessel which transfers Blood from
-- the Heart to the extremities of the body.
fun Artery : Class ;
fun Artery_Class : SubClass Artery BloodVessel ;

-- A Gun that is too large to be carried and fired
-- by a single Human. Typically, ArtilleryGuns are on wheels.
fun ArtilleryGun : Class ;
fun ArtilleryGun_Class : SubClass ArtilleryGun Gun ;

-- AtmosphericRegion is the class of
-- all subregions of EarthsAtmosphere.
fun AtmosphericRegion : Class ;
fun AtmosphericRegion_Class : SubClass AtmosphericRegion SpaceRegion ;

-- Two or more Atoms that are bound together and
-- comprise part of a Molecule.
fun AtomicGroup : Class ;
fun AtomicGroup_Class : SubClass AtomicGroup CompoundSubstance ;

-- Any decrease in the size of a BodyPart which is due to
-- disease or lack of use.
fun Atrophy : Class ;
fun Atrophy_Class : SubClass Atrophy (both Decreasing PathologicProcess) ;

-- The Profession of practicing law, whether as a
-- judge or as a legal advocate.
fun Attorney : Class ;

-- The head law officer of a GeopoliticalArea,
-- usually a Nation or StateOrProvince.
fun AttorneyGeneral : Ind (both Profession GovernmentOfficer) ;

-- A representation of sound on some medium such
-- as wax cylinder, vinyl record, magnetic tape, CD or flash memory, that is
-- intended to be used in some machine to reproduce that sound.
fun AudioRecording : Class ;
fun AudioRecording_Class : SubClass AudioRecording (both ContentBearingObject Text) ;

-- Any Building whose purpose is to hold concerts,
-- sports events, plays, etc. before an audience. This class includes theaters,
-- sports stadiums, university auditoriums, etc.
fun Auditorium : Class ;
fun Auditorium_Class : SubClass Auditorium Building ;

-- A Seat within an Auditorium from which one
-- can observe the PerformanceStage.
fun AuditoriumSeat : Class ;
fun AuditoriumSeat_Class : SubClass AuditoriumSeat Seat ;

-- A Gun that fires a burst of Projectiles
-- with each pull of the trigger. Also known as a machine gun.
fun AutomaticGun : Class ;
fun AutomaticGun_Class : SubClass AutomaticGun Gun ;

-- Automobile is a subclass of
-- SelfPoweredRoadVehicles including passenger cars, family vans, light
-- trucks, and sport utility vehicles. In general, this class covers
-- four_wheeled passenger road vehicles.
fun Automobile : Class ;
fun Automobile_Class : SubClass Automobile (both PassengerVehicle SelfPoweredRoadVehicle) ;

-- Axle is a class of Devices each of which can
-- be paired with two VehicleWheels to rotate and move a RoadVehicle.
fun Axle : Class ;
fun Axle_Class : SubClass Axle Device ;

-- A disease that is caused by instances of
-- Bacterium.
fun BacterialDisease : Class ;
fun BacterialDisease_Class : SubClass BacterialDisease InfectiousDisease ;

-- Any Container which is made of Fabric.
fun Bag : Class ;
fun Bag_Class : SubClass Bag Container ;

-- Any instance of Cooking where the instrument
-- is an Oven.
fun Baking : Class ;
fun Baking_Class : SubClass Baking (both Cooking Heating) ;

-- Any GamePiece which has the shape of a sphere.
fun Ball : Class ;
fun Ball_Class : SubClass Ball GamePiece ;

-- A Missile which is guided for the first stage
-- of its flight but then falls to its target for the second stage.
fun BallisticMissile : Class ;
fun BallisticMissile_Class : SubClass BallisticMissile Missile ;

-- A FormText which is used in Voting. A list of
-- candidates is printed on the form, and the voter selects the candidate he/she
-- wants to vote for.
fun Ballot : Class ;
fun Ballot_Class : SubClass Ballot FormText ;

-- A piece of Fabric that is used in Covering an
-- open wound.
fun Bandage : Class ;
fun Bandage_Class : SubClass Bandage Fabric ;

-- Any SkilledOccupation which involves working in a
-- FinancialBank.
fun Banker : Ind SkilledOccupation ;

-- A ReligiousProcess which marks the acceptance of
-- the person being baptized into the ReligiousOrganization.
fun Baptizing : Class ;
fun Baptizing_Class : SubClass Baptizing (both JoiningAnOrganization ReligiousProcess) ;

-- Offering to sell something to someone at a
-- reduced price.
fun BargainSale : Class ;
fun BargainSale_Class : SubClass BargainSale Offering ;

-- Any instance of RadiatingSound which is produced
-- by a Canine.
fun Barking : Class ;
fun Barking_Class : SubClass Barking RadiatingSound ;

-- A Building on a Farm that is used for keeping
-- DomesticAnimals, Fodder or harvested crops.
fun Barn : Class ;
fun Barn_Class : SubClass Barn Building ;

fun BaseballBase : Class ;

-- A BuildingLevel which satisfies two conditions, viz. it is
-- lower than all of the other BuildingLevels in the same Building and it is below
-- ground level.
fun Basement : Class ;
fun Basement_Class : SubClass Basement BuildingLevel ;

-- Washing the entire body of a Human or Animal.
fun Bathing : Class ;
fun Bathing_Class : SubClass Bathing Washing ;

-- A WashingDevice which is intended to be used by
-- Humans for washing their bodies. Note that this class covers bathtubs, showers,
-- etc.
fun BathingDevice : Class ;
fun BathingDevice_Class : SubClass BathingDevice WashingDevice ;

-- A Room that contains a WashBasin and possibly a Toilet.
fun Bathroom : Class ;
def Bathroom = KappaFn Room (\R -> exists Toilet (\T -> located (var Toilet Physical ? T) (var Room Object ? R)));

-- A thin stick which is used for OrchestralConducting.
fun Baton : Class ;
fun Baton_Class : SubClass Baton Device ;

-- The process of transitioning from a state of
-- being Sober to a state of being Drunk.
fun BecomingDrunk : Class ;
fun BecomingDrunk_Class : SubClass BecomingDrunk PsychologicalProcess ;

-- A piece of Furniture which is primarily for sleeping.
fun Bed : Class ;
fun Bed_Class : SubClass Bed Furniture ;

-- A Room intended primarily for sleeping.
fun Bedroom : Class ;
fun Bedroom_Class : SubClass Bedroom Room ;

-- A hairy Insect, some species of which produce honey
-- and/or sting.
fun Bee : Class ;
fun Bee_Class : SubClass Bee Insect ;

-- Meat that was originally part of a Cow.
fun Beef : Class ;
fun Beef_Class : SubClass Beef Meat ;

-- An AlcoholicBeverage that is prepared by fermenting
-- malt and hops.
fun Beer : Class ;
fun Beer_Class : SubClass Beer AlcoholicBeverage ;

-- The TimeInterval that runs from
-- NegativeInfinity to the time of the birth of Christ.
fun BeforeCommonEra : Ind TimeInterval ;

-- The process of an Organization
-- commencing operations. In the case of a Corporation, this would be
-- the process of going into business.
fun BeginningOperations : Class ;
fun BeginningOperations_Class : SubClass BeginningOperations OrganizationalProcess ;

-- A PercussionInstrument that produces a single tone
-- when it is struck.
fun Bell : Class ;
fun Bell_Class : SubClass Bell PercussionInstrument ;

-- A piece of Clothing that is worn around the waist
-- to restrain another piece of clothing.
fun Belt : Class ;
fun Belt_Class : SubClass Belt Clothing ;

-- Any UnilateralGiving where the agent
-- wills some part of his/her property to someone else upon his/her death.
fun Bequeathing : Class ;
fun Bequeathing_Class : SubClass Bequeathing UnilateralGiving ;

-- A HistoricalAccount which is concerned
-- with the life of a single Human.
fun Biography : Class ;
fun Biography_Class : SubClass Biography HistoricalAccount ;

-- The production of a zygote from the fusion
-- of a male and female gamete.
fun BiologicalConception : Class ;
fun BiologicalConception_Class : SubClass BiologicalConception OrganOrTissueProcess ;

-- The Class of all biological species, i.e.
-- the class of all classes of Organism whose instances can interbreed.
fun BiologicalSpecies : Class ;

-- The study of the classification, development, and
-- functioning of Organisms.
fun Biology : Ind Science ;

-- Any DiagnosticProcess which involves the examination of
-- BodySubstances taken from a living Organism.
fun Biopsy : Class ;
fun Biopsy_Class : SubClass Biopsy (both DiagnosticProcess Removing) ;

-- Any Egg that is produced by a Bird.
fun BirdEgg : Class ;
fun BirdEgg_Class : SubClass BirdEgg Egg ;

-- Any instance of Grabbing where the instrument is
-- the Mouth of the agent.
fun Biting : Class ;
fun Biting_Class : SubClass Biting Grabbing ;

-- A piece of Fabric whose purpose is to keep a
-- person who is in bed warm.
fun Blanket : Class ;
fun Blanket_Class : SubClass Blanket Fabric ;

-- The release of Blood from an Animal in response
-- to an Injuring of some sort.
fun Bleeding : Class ;
fun Bleeding_Class : SubClass Bleeding AutonomicProcess ;

-- The Attribute that applies to Animals and Humans
-- that are unable to see.
fun Blind : Ind BiologicalAttribute ;

-- Any Process where the stomach or instestines of a
-- Human or Animal become distended from excessive gas.
fun Bloating : Class ;
fun Bloating_Class : SubClass Bloating (both Increasing PathologicProcess) ;

-- Any Maneuver in a Contest where one
-- contestParticipant attempts to deny access to something that is wanted
-- by another contestParticipant.
fun Blockade : Class ;
fun Blockade_Class : SubClass Blockade Maneuver ;

-- A Cell that is normally present in Blood.
fun BloodCell : Class ;
fun BloodCell_Class : SubClass BloodCell (both AnimalAnatomicalStructure Cell) ;

-- The subclass of Blood that contains AntigenA
-- and does not contain AntigenB.
fun BloodTypeA : Class ;
fun BloodTypeA_Class : SubClass BloodTypeA Blood ;

-- The subclass of Blood that contains both
-- AntigenA and AntigenB.
fun BloodTypeAB : Class ;
fun BloodTypeAB_Class : SubClass BloodTypeAB Blood ;

-- The subclass of Blood that contains AntigenB
-- and does not contain AntigenA.
fun BloodTypeB : Class ;
fun BloodTypeB_Class : SubClass BloodTypeB Blood ;

-- The subclass of Blood that contains neither
-- AntigenA nor AntigenB.
fun BloodTypeO : Class ;
fun BloodTypeO_Class : SubClass BloodTypeO Blood ;

-- Any BodyVessel which is used to circulate
-- Blood from one part of the body to another.
fun BloodVessel : Class ;
fun BloodVessel_Class : SubClass BloodVessel (both AnimalAnatomicalStructure BodyVessel) ;

-- An Icon which is a scale model of an Artifact,
-- whether the Artifact actually exists or not.
fun Blueprint : Class ;
fun Blueprint_Class : SubClass Blueprint Icon ;

-- The process of turning red in response to a
-- stimulus which has a deep emotional effect.
fun Blushing : Class ;
fun Blushing_Class : SubClass Blushing AutonomicProcess ;

-- A piece of material with flat, rectangular sides.
-- Note that boards and blocks are lumped into a single concept, because the
-- difference between these notions cannot be precisely defined.
fun BoardOrBlock : Class ;
fun BoardOrBlock_Class : SubClass BoardOrBlock Artifact ;

-- Getting on a Vehicle, e.g. getting into an
-- Automobile, boarding an Aircraft, etc.
fun Boarding : Class ;
fun Boarding_Class : SubClass Boarding Translocation ;

-- One of the levels of a WaterVehicle, e.g. the
-- upper deck and lower deck of small boats with a cabin.
fun BoatDeck : Class ;
fun BoatDeck_Class : SubClass BoatDeck Artifact ;

-- BodyJunctions where different parts of the same
-- Skeleton come together.
fun BodyJoint : Class ;
fun BodyJoint_Class : SubClass BodyJoint BodyJunction ;

-- A BodyOfWater is a connected body of
-- water with established boundaries marked by either geographical features
-- or conventional borders.
fun BodyOfWater : Class ;
fun BodyOfWater_Class : SubClass BodyOfWater (both SelfConnectedObject WaterArea) ;

-- A weapon that explodes in order to cause damage.
fun Bomb : Class ;
fun Bomb_Class : SubClass Bomb (both ExplosiveDevice Weapon) ;

-- Any MilitaryAircraft whose purpose is to deliver
-- ExplosiveDevices.
fun Bomber : Class ;
fun Bomber_Class : SubClass Bomber MilitaryAircraft ;

-- An act of Destruction where the thing destroyed
-- is destroyed by means of an explosive device.
fun Bombing : Class ;
fun Bombing_Class : SubClass Bombing Destruction ;

-- BotanicalTree is an imprecise term
-- for a perennial woody plant that is larger than a bush or shrub,
-- generally understood to describe a large growth having one main trunk
-- with few or no branches projecting from its base, a well_developed crown
-- of foliage, and a height at maturity of at least 12 feet.
fun BotanicalTree : Class ;
fun BotanicalTree_Class : SubClass BotanicalTree FloweringPlant ;

-- A Container whose top is narrower than its bottom, which
-- has no handle, and which is intended to store Liquids.
fun Bottle : Class ;
fun Bottle_Class : SubClass Bottle FluidContainer ;

-- Any downward motion of the body that indicates respect
-- for or submission to another Agent.
fun Bowing : Class ;
fun Bowing_Class : SubClass Bowing (both Gesture (both Inclining MotionDownward)) ;

-- Any six_sided Container whose sides are
-- rectangular in shape.
fun Box : Class ;
fun Box_Class : SubClass Box Container ;

-- A HumanChild who is Male.
fun Boy : Class ;
fun Boy_Class : SubClass Boy (both HumanChild Man) ;

-- The seat of the central nervous system.
fun Brain : Class ;
fun Brain_Class : SubClass Brain (both AnimalAnatomicalStructure Organ) ;

-- A DistilledAlcoholicBeverage that is prepared by
-- distilling Wine.
fun Brandy : Class ;
fun Brandy_Class : SubClass Brandy DistilledAlcoholicBeverage ;

-- A MetallicAlloy made from Copper and Zinc.
fun Brass : Class ;
fun Brass_Class : SubClass Brass MetallicAlloy ;

-- Food that consists largely of grain flour
-- and water. Note that this class covers crackers, cookies, as well as any
-- self_connected instance of bread, whether it is a loaf, a slice, a chunk
-- of bread, etc.
fun BreadOrBiscuit : Class ;
fun BreadOrBiscuit_Class : SubClass BreadOrBiscuit PreparedFood ;

-- A subclass of Attributes for
-- characterizing the breakability of CorpuscularObjects.
fun BreakabilityAttribute : Class ;
fun BreakabilityAttribute_Class : SubClass BreakabilityAttribute InternalAttribute ;

-- The paired Organs which are part of the chests
-- of Primates.
fun Breast : Class ;
fun Breast_Class : SubClass Breast (both AnimalAnatomicalStructure Organ) ;

-- A block of fired Clay that is used in Constructing.
fun Brick : Class ;
fun Brick_Class : SubClass Brick BoardOrBlock ;

-- A MilitaryGeneral that ranks below
-- a MajorGeneral.
fun BrigadierGeneral : Class ;
fun BrigadierGeneral_Class : SubClass BrigadierGeneral MilitaryGeneral ;

-- BroadcastNetwork is the subclass of
-- CommunicationSystems consisting of BroadcastingStations that are linked
-- electronically and managed or owned by one organization.
fun BroadcastNetwork : Class ;
fun BroadcastNetwork_Class : SubClass BroadcastNetwork CommunicationSystem ;

-- A Series of episodes that are broadcast
-- on television or radio.
fun BroadcastProgram : Class ;
fun BroadcastProgram_Class : SubClass BroadcastProgram Series ;

-- Disseminating information by using a
-- CommunicationDevice that radiates RadioEmissions.
fun Broadcasting : Class ;
fun Broadcasting_Class : SubClass Broadcasting (both Disseminating RadioEmission) ;

-- Any BodyVessel which is located in a
-- Lung and which carries oxygen from the trachea to the alveoli.
fun BronchialDuct : Class ;
fun BronchialDuct_Class : SubClass BronchialDuct (both AnimalAnatomicalStructure BodyVessel) ;

-- A GroupOfAnimals that are all born at the same time
-- and to the same parents.
fun Brood : Class ;
fun Brood_Class : SubClass Brood GroupOfAnimals ;

-- A BrushOrComb whose purpose is to remove dirt and other
-- small particles from floors.
fun Broom : Class ;
fun Broom_Class : SubClass Broom BrushOrComb ;

-- A SecondaryColor that resembles the color of wood or
-- of soil.
fun Brown : Ind SecondaryColor ;

-- A Device which consists of a handle and bristles and
-- whose purpose is to remove particles from something or to smooth something out.
fun BrushOrComb : Class ;
fun BrushOrComb_Class : SubClass BrushOrComb Device ;

-- A globe which has a Liquid surface and which contains
-- a Gas.
fun Bubble : Class ;
fun Bubble_Class : SubClass Bubble CorpuscularObject ;

-- A HoofedMammal with long hair whose habitat is the
-- plains of NorthAmerica.
fun Buffalo : Class ;
fun Buffalo_Class : SubClass Buffalo HoofedMammal ;

-- A HornInstrument that has no valves.
fun Bugle : Class ;
fun Bugle_Class : SubClass Bugle HornInstrument ;

-- The story or level of a building, e.g. the Basement,
-- the Attic, the ground level, the fourteenth floor, etc.
fun BuildingLevel : Class ;
fun BuildingLevel_Class : SubClass BuildingLevel StationaryArtifact ;

-- A Cow that is Male.
fun Bull : Class ;
def Bull = KappaFn Cow (\B -> attribute (var Cow Object ? B) (el SexAttribute Attribute ? Male)) ;

-- A Projectile that is designed to be fired by a Gun.
fun Bullet : Class ;
fun Bullet_Class : SubClass Bullet Projectile ;

-- A large Bee which lacks a stinger.
fun BumbleBee : Class ;
fun BumbleBee_Class : SubClass BumbleBee Bee ;

-- A small Cave created by an Animal for the purpose
-- of inhabiting it.
fun Burrow : Class ;
fun Burrow_Class : SubClass Burrow Cave ;

-- Putting something in the ground and then covering
-- it with Soil.
fun Burying : Class ;
fun Burying_Class : SubClass Burying (both Digging Putting) ;

-- Bus is the subclass of SelfPoweredRoadVehicles
-- that can transport large numbers of passengers (i.e., dozens) at one
-- time. It can be distinguished from a van which is
-- designed to carry less than a dozen people.
fun Bus : Class ;
fun Bus_Class : SubClass Bus SelfPoweredRoadVehicle ;

-- An area, often, though not necessarily with
-- seats or some kind of minimal shelter, where people gather to meet and
-- board a bus. It must border a road.
fun BusStop : Class ;
fun BusStop_Class : SubClass BusStop GeographicArea ;

-- Any Contest where the contestParticipants
-- are Corporations and the aim is to win as many customers as possible.
fun BusinessCompetition : Class ;
fun BusinessCompetition_Class : SubClass BusinessCompetition Contest ;

-- Any of a class of people in a professional
-- occupation such as banking, finance, management, or engineering. This is
-- distinguished from blue collar jobs that primarily involve manual labor
-- rather than thought as the effort expended to derive remuneration. It is
-- also distinguished from professions that may be outwardly similar but are
-- done in a non_profit organization.
fun BusinessPerson : Ind OccupationalRole ;

-- An emulsion of fat which is produced by churning Milk.
fun Butter : Class ;
fun Butter_Class : SubClass Butter (both DairyProduct PreparedFood) ;

-- An AttachingDevice that is used on Clothing.
fun Button : Class ;
fun Button_Class : SubClass Button AttachingDevice ;

-- Any Restaurant which does not offer table service.
-- Food is selected and purchased at a central counter.
fun Cafeteria : Class ;
fun Cafeteria_Class : SubClass Cafeteria Restaurant ;

-- A young Cow, i.e. a Cow that is NonFullyFormed.
fun Calf : Class ;
def Calf = KappaFn Cow (\C -> attribute (var Cow Object ? C) (el DevelopmentalAttribute Attribute ? NonFullyFormed));

-- A Device which is capable of Photographing.
fun Camera : Class ;
fun Camera_Class : SubClass Camera Device ;

-- A MobileResidence consisting of tents and other temporary
-- living quarters that is constructed on an undeveloped LandArea.
fun Camp : Class ;
fun Camp_Class : SubClass Camp MobileResidence ;

-- A LandArea whose purpose is to have MobileResidences
-- (e.g. recreational vehicles, mobile homes, Tents, etc.) located there.
fun Campground : Class ;
fun Campground_Class : SubClass Campground LandArea ;

-- A DiseaseOrSyndrome characterized by pathologic and
-- uncontrolled cell division that results in a Tumor.
fun Cancer : Ind DiseaseOrSyndrome ;

-- An LightFixture that consists of Wax and a wick,
-- which is lit with a flame.
fun Candle : Class ;
fun Candle_Class : SubClass Candle LightFixture ;

-- A very small BloodVessel that connects arterioles
-- (very small Arteries) with venules (very small Veins).
fun Capillary : Class ;
fun Capillary_Class : SubClass Capillary BloodVessel ;

-- A commissioned MilitaryOfficer who ranks
-- above a Lieutenant but below a MajorOfficer.
fun CaptainOfficer : Class ;
fun CaptainOfficer_Class : SubClass CaptainOfficer MilitaryOfficer ;

-- A Capturing is a ChangeOfControl event in which an Agent
-- gains physical control over another Agent.
fun Capturing : Class ;
fun Capturing_Class : SubClass Capturing ChangeOfControl ;

-- A car bombing is an attack in which a car is
-- used as the delivery mechanism for a bomb. The car is usually destroyed
-- in the blast if the bomb detonates successfully.
fun CarBombing : Class ;
fun CarBombing_Class : SubClass CarBombing Bombing ;

-- Any Organization whose purpose is to
-- provide medical care for for Humans who reside there, either permanently
-- or temporarily.
fun CareOrganization : Class ;
fun CareOrganization_Class : SubClass CareOrganization Organization ;

-- A Vehicle that is designed to
-- carry Objects. Note that Vehicles that are primarily designed to carry
-- people rather than cargo may still carry cargo. For example, a passenger sedan
-- might be capable of carrying lumber strapped to the roof. For this
-- reason, PassengerVehicle and CargoVehicle are not disjoint.
fun CargoVehicle : Class ;
fun CargoVehicle_Class : SubClass CargoVehicle Vehicle ;

-- Any occupation that involves creating and repairing
-- structural and decorative portions of Buildings that are made chiefly of Wood.
-- This does not include plumbing, roofing, electrical, foundation and site work.
fun Carpenter : Ind OccupationalTrade ;

-- Making Buildings out of Wood.
fun Carpentry : Class ;
fun Carpentry_Class : SubClass Carpentry Making ;

-- Any Maneuver in a Game which results in a
-- situation where the agent grasps the Ball.
fun Catching : Class ;
fun Catching_Class : SubClass Catching (both Maneuver Touching) ;

-- Any Process whose result is that the
-- patient of the process is happy.
fun CausingHappiness : Class ;
fun CausingHappiness_Class : SubClass CausingHappiness Process ;

-- Any Process whose result is that the
-- patient of the process is in Pain.
fun CausingPain : Class ;
fun CausingPain_Class : SubClass CausingPain CausingUnhappiness ;

-- Any Process whose result is that the
-- patient of the process is unhappy.
fun CausingUnhappiness : Class ;
fun CausingUnhappiness_Class : SubClass CausingUnhappiness Process ;

-- MilitaryUnits composed primarily of Soldiers
-- who are mounted, i.e. who perform their combat missions from a Horse or
-- Vehicle.
fun CavalryUnit : Class ;
fun CavalryUnit_Class : SubClass CavalryUnit MilitaryUnit ;

-- A Cave is a naturally formed opening beneath
-- the surface of the Earth, generally formed by dissolution of carbonate
-- bedrock. Caves may also form by erosion of coastal bedrock, partial
-- melting of glaciers, or solidification of lava into hollow tubes.
fun Cave : Class ;
fun Cave_Class : SubClass Cave Hole ;

-- The process of an Organization
-- ceasing operations, i.e. its folding or going out of business in
-- some other fashion.
fun CeasingOperations : Class ;
fun CeasingOperations_Class : SubClass CeasingOperations OrganizationalProcess ;

-- A StationaryArtifact that is the top surface
-- of a Room.
fun Ceiling : Class ;
fun Ceiling_Class : SubClass Ceiling StationaryArtifact ;

-- Anyone who is known by a large number of people,
-- either explicitly by name, or by action.
fun Celebrity : Class ;

-- The part of the Cell that contains DNA and
-- RNA.
fun CellNucleus : Class ;
fun CellNucleus_Class : SubClass CellNucleus OrganicObject ;

-- The main component of Plant Tissue.
fun Cellulose : Class ;
fun Cellulose_Class : SubClass Cellulose (both Carbohydrate PlantSubstance) ;

-- A LandArea which is used for burying the dead.
fun Cemetery : Class ;
fun Cemetery_Class : SubClass Cemetery LandArea ;

-- Any instance of Rotating where there is
-- Motion away from the center of the Rotating.
fun CentrifugalMotion : Class ;
fun CentrifugalMotion_Class : SubClass CentrifugalMotion Rotating ;

-- Any instance of Rotating where there is
-- Motion towards the center of the Rotating.
fun CentripetalMotion : Class ;
fun CentripetalMotion_Class : SubClass CentripetalMotion Rotating ;

-- The TimeDuration of 100 years.
fun CenturyDuration : Ind UnitOfDuration ;

-- Any Seed which is produced by the cereal grasses,
-- e.g. rice, corn, wheat, etc.
fun CerealGrain : Class ;
fun CerealGrain_Class : SubClass CerealGrain (both (both Food Seed) PlantAgriculturalProduct) ;

-- A Seat that is designed to accommodate a single
-- Human.
fun Chair : Class ;
fun Chair_Class : SubClass Chair Seat ;

-- A ChangeOfControl is an event in which an agent gains
-- physical control over some object that was previously controlled
-- by a different agent.
fun ChangeOfControl : Class ;
fun ChangeOfControl_Class : SubClass ChangeOfControl AchievingControl ;

-- Any instance of a process of
-- RemovingClothing and Dressing.
fun ChangingClothing : Class ;
fun ChangingClothing_Class : SubClass ChangingClothing Transfer ;

-- A numbered and/or titled
-- section of a Book, which is typically indicated in a table of
-- contents for the Book.
fun Chapter : Class ;
fun Chapter_Class : SubClass Chapter Article ;

-- An activity of a fee being charged
fun ChargingAFee : Class ;
fun ChargingAFee_Class : SubClass ChargingAFee FinancialTransaction ;

-- An Icon which depicts one or more quantities.
fun Chart : Class ;
fun Chart_Class : SubClass Chart Icon ;

-- An area on or very near a border, usually along
-- a road connecting two regions, where MilitaryPersons or Police
-- restrict the flow of traffic in order to extract tarrifs, deny movement to
-- certain kinds of people or goods, or other enforement actions. Because of
-- the power relationship involved, such areas are often the site of illegal
-- activities conducted by the officials in order to extract favors or
-- bribes.
fun Checkpoint : Class ;
fun Checkpoint_Class : SubClass Checkpoint GeographicArea ;

-- A bitter CompoundSubstance that is capable of
-- reacting with a ChemicalBase and forming a ChemicalSalt.
fun ChemicalAcid : Class ;
fun ChemicalAcid_Class : SubClass ChemicalAcid CompoundSubstance ;

-- An attack against people or property in which
-- a chemical agent is used as the active ingredient of the attack.
fun ChemicalAttack : Class ;
fun ChemicalAttack_Class : SubClass ChemicalAttack ViolentContest ;

-- A CompoundSubstance that is capable of
-- reacting with a ChemicalAcid and forming a ChemicalSalt.
fun ChemicalBase : Class ;
fun ChemicalBase_Class : SubClass ChemicalBase CompoundSubstance ;

-- The Attribute of being in a chemically
-- stable state, i.e. the relative proportions of resources and results will
-- not longer change.
fun ChemicalEquilibrium : Ind InternalAttribute ;

-- Any ChemicalProcess where Electrons
-- are added to the substance undergoing the ChemicalProcess.
fun ChemicalReduction : Class ;
fun ChemicalReduction_Class : SubClass ChemicalReduction ChemicalSynthesis ;

-- A bitter CompoundSubstance that is formed in a
-- chemical reaction of a ChemicalBase with a ChemicalAcid.
fun ChemicalSalt : Class ;
fun ChemicalSalt_Class : SubClass ChemicalSalt CompoundSubstance ;

-- The study of the compositions, properties, and
-- reactions of Substances.
fun Chemistry : Ind Science ;

-- Any piece of Furniture which is also a
-- Container, e.g. a chest of drawers, a memory chest, an armoire, etc.
fun ChestOrCabinet : Class ;
fun ChestOrCabinet_Class : SubClass ChestOrCabinet (both Container Furniture) ;

-- Breaking up or mashing Food with one's teeth.
fun Chewing : Class ;
fun Chewing_Class : SubClass Chewing BodyMotion ;

-- A subclass of Bird that is raised for its meat
-- and for its eggs.
fun Chicken : Class ;
fun Chicken_Class : SubClass Chicken Poultry ;

-- Meat that was originally part of a Chicken.
fun ChickenMeat : Class ;
fun ChickenMeat_Class : SubClass ChickenMeat Meat ;

-- A thin passageway through which Smoke from a controlled
-- fire is conducted Outside of a Building or Room.
fun Chimney : Class ;
fun Chimney_Class : SubClass Chimney (both Device StationaryArtifact) ;

-- A part of the Face which protrudes slightly and which
-- is lower than all other parts of the Face.
fun Chin : Class ;
fun Chin_Class : SubClass Chin (both AnimalAnatomicalStructure BodyPart) ;

-- A Steroid that is produced by the Liver and that
-- is believed to be closely associated with various cardiological disorders.
fun Cholesterol : Class ;
fun Cholesterol_Class : SubClass Cholesterol (both AnimalSubstance Steroid) ;

-- Planning that results in a sequence of dance
-- steps that are executed as part of a Performance.
fun Choreographing : Class ;
fun Choreographing_Class : SubClass Choreographing Planning ;

-- Any instance of the collection of writings which
-- is regarded as scripture by those who embrace Christianity.
fun ChristianBible : Class ;
fun ChristianBible_Class : SubClass ChristianBible Book ;

-- Four books in the New Testament of the
-- ChristianBible that describe the life and teachings of Jesus Christ
-- and that are referred to, respectively, as Matthew, Mark, Luke, and John.
fun ChristianGospel : Class ;
fun ChristianGospel_Class : SubClass ChristianGospel Text ;

-- Any ReligiousService that is conducted by
-- members of Christianity.
fun ChristianService : Class ;
fun ChristianService_Class : SubClass ChristianService ReligiousService ;

-- Processes of Separating a LiquidMixture or
-- a GasMixture into some or all of the PureSubstances that comprise it.
fun Chromatography : Class ;
fun Chromatography_Class : SubClass Chromatography Separating ;

-- A tube of thin paper containing finely ground
-- tobacco that is smoked.
fun CigarOrCigarette : Class ;
fun CigarOrCigarette_Class : SubClass CigarOrCigarette SmokingDevice ;

-- A slice of a Circle, i.e. any
-- ClosedTwoDimensionalFigure which consists of two Radii and the arc of
-- the Circle that they bound.
fun CircleSector : Class ;
fun CircleSector_Class : SubClass CircleSector ClosedTwoDimensionalFigure ;

-- Removing the foreskin of the penis. This is
-- usually performed on infants, but is occasionally performed on adolescents
-- and adults, either for medical reasons, or after religious conversion. It is
-- often conducted as a religious rite, since it is prescribed by both the
-- Jewish and Muslim religions, although it is prevalent also as a social
-- norm in the UnitedStates and other Nations.
fun Circumision : Class ;
fun Circumision_Class : SubClass Circumision (both Removing Surgery) ;

-- (CitizenryFn ?AREA) denotes the
-- GroupOfPeople who are legal and permanent residents of the
-- GeopoliticalArea ?AREA.
fun CitizenryFn : El GeopoliticalArea -> Ind GroupOfPeople ;

-- A square_shaped area surrounded by Roadways
-- which is part of a City and typically contains Buildings.
fun CityBlock : Class ;
fun CityBlock_Class : SubClass CityBlock LandArea ;

-- Any geopoliticalSubdivision of a City.
fun CityDistrict : Class ;
fun CityDistrict_Class : SubClass CityDistrict GeopoliticalArea ;

-- CityGovernment is the class of
-- governments of Cities.
fun CityGovernment : Class ;
fun CityGovernment_Class : SubClass CityGovernment Government ;

-- A War in which the fighting GeopoliticalAreas
-- are both part of the same Nation.
fun CivilWar : Class ;
fun CivilWar_Class : SubClass CivilWar War ;

-- Someone who is not a member of an active
-- MilitaryOrganization.
fun Civilian : Class ;
fun Civilian_Class : SubClass Civilian SocialRole ;

-- An AttachingDevice which is designed to attach
-- two things together by means of a movable part which can be tightened
-- or loosened.
fun Clamp : Class ;
fun Clamp_Class : SubClass Clamp AttachingDevice ;

-- Bringing the Hands together repeatedly to make
-- a loud noise.
fun Clapping : Class ;
fun Clapping_Class : SubClass Clapping (both HandGesture (both Impacting RadiatingSound)) ;

-- A ClassificationScheme is a conceptual structure,
-- an abstract arrangement of concepts and the relations that link them.
fun ClassificationScheme : Class ;
fun ClassificationScheme_Class : SubClass ClassificationScheme Proposition ;

-- Any Room in a School where education
-- takes place.
fun Classroom : Class ;
fun Classroom_Class : SubClass Classroom Room ;

-- The Profession of being in charge of or ministering
-- to a ReligousOrganization.
fun Cleric : Class ;
fun Cleric_Class : SubClass Cleric ReligiousPosition ;

-- The class of Positions where the position
-- holder is responsible for clerical duties, e.g. typing documents, answering
-- phones, keeping schedules, etc.
fun ClericalSecretary : Ind SkilledOccupation ;

-- A piece of Clothing that covers the whole body
-- except the face (and possibly entire head), hands, and feet.
fun Cloak : Class ;
fun Cloak_Class : SubClass Cloak Clothing ;

-- Any Device that measures and represents TimeDuration
-- or TimePosition.
fun Clock : Class ;
fun Clock_Class : SubClass Clock MeasuringDevice ;

-- A relatively small Room used for storage.
fun Closet : Class ;
fun Closet_Class : SubClass Closet Room ;

-- The Class of Processes where an aperture is
-- closed in an Object.
fun Closing : Class ;
fun Closing_Class : SubClass Closing Motion ;

-- Completing a Contract of some sort,
-- e.g. the purchase of a house, closing a business deal, etc.
fun ClosingContract : Class ;
fun ClosingContract_Class : SubClass ClosingContract Committing ;

-- The EyeMotion of tensing the eye lids so that
-- the corneas are not exposed to light.
fun ClosingEyes : Class ;
fun ClosingEyes_Class : SubClass ClosingEyes (both Closing EyeMotion) ;

-- A Collection of instances of Clothing that
-- are designed to be worn together.
fun ClothingSuit : Class ;
fun ClothingSuit_Class : SubClass ClothingSuit Collection ;

-- Any occupation that involves training an athlete or a
-- sports team.
fun Coach : Ind SkilledOccupation ;

-- CoastGuard is the subclass of GovernmentOrganizations
-- that enforce the maritime laws of a Nation and guard its Seacoast. This may be
-- a military or quasi_military organization.
fun CoastGuard : Class ;
fun CoastGuard_Class : SubClass CoastGuard GovernmentOrganization ;

-- Clothing that has sleeves and covers from the neck
-- down. Coats are intended to be worn outdoors.
fun Coat : Class ;
fun Coat_Class : SubClass Coat OutdoorClothing ;

-- A Beverage which is prepared by infusing ground,
-- roasted coffee beans into hot water.
fun Coffee : Class ;
fun Coffee_Class : SubClass Coffee (both Beverage PreparedFood) ;

-- A Container for a HumanCorpse.
fun Coffin : Class ;
fun Coffin_Class : SubClass Coffin Container ;

-- Any abstract ArtWork that is produced by arranging
-- bits of paper or photographs.
fun Collage : Class ;
fun Collage_Class : SubClass Collage ArtWork ;

-- A piece of Clothing that fits around the Neck.
-- A Collar is always part of a Coat or a Shirt.
fun Collar : Class ;
fun Collar_Class : SubClass Collar Clothing ;

-- A School which admits students who have
-- graduated from high school and which confers a bachelor's degree,
-- normally requiring four years of study. Note that a College does
-- not confer any graduate degrees. For institutions that confer both
-- bachelor's and graduate degrees, the concept University should be
-- used.
fun College : Class ;
fun College_Class : SubClass College PostSecondarySchool ;

-- The Positions of a student at a PostSecondarySchool
-- who has completed less than one year at the school.
fun CollegeFreshman : Ind CollegeStudentPosition ;

-- The Positions of a student at a PostSecondarySchool
-- who has completed at least two years and less than three years at the school.
fun CollegeJunior : Ind CollegeStudentPosition ;

-- The Positions of a student at a PostSecondarySchool
-- who has completed at least three years and less than four years at the school.
fun CollegeSenior : Ind CollegeStudentPosition ;

-- The Positions of a student at a PostSecondarySchool
-- who has completed at least one year and less than two years at the school.
fun CollegeSophomore : Ind CollegeStudentPosition ;

-- Any Position at a PostSecondarySchool
-- which is occupied exclusively by students.
fun CollegeStudentPosition : Class ;
fun CollegeStudentPosition_Class : SubClass CollegeStudentPosition Position ;

-- A commissioned MilitaryOfficer who ranks above
-- a lieutenant colonel and below a brigadier general.
fun Colonel : Class ;
fun Colonel_Class : SubClass Colonel MilitaryOfficer ;

-- Positions which involve performing stand_up comedy, which
-- is recorded and/or performed in front of live audiences.
fun Comedian : Ind EntertainmentProfession ;

-- A Building which is intended for
-- organizational activities, e.g. retail or wholesale selling, manufacturing,
-- office work, etc.
fun CommercialBuilding : Class ;
fun CommercialBuilding_Class : SubClass CommercialBuilding (both Building PlaceOfCommerce) ;

-- CommercialShipping is the subclass of
-- Transportation events in which a commercial agent provides transportation
-- of goods for remuneration.
fun CommercialShipping : Class ;
fun CommercialShipping_Class : SubClass CommercialShipping (both CommercialService Shipping) ;

-- A Room or suite of Rooms intended for
-- clerical and/or professional work of a single Organization.
fun CommercialUnit : Class ;
fun CommercialUnit_Class : SubClass CommercialUnit PlaceOfCommerce ;

-- A small, temporary Organization whose purpose
-- is to investigate some issue.
fun Commission : Class ;
fun Commission_Class : SubClass Commission Organization ;

-- The TimeInterval that runs from the supposed
-- time of the death of Christ to PositiveInfinity.
fun CommonEra : Ind TimeInterval ;

-- A CommunicationDevice is a Device
-- which serves at the instrument in a Communication Process by allowing
-- the communicated message to be conveyed between the participants.
fun CommunicationDevice : Class ;
fun CommunicationDevice_Class : SubClass CommunicationDevice EngineeringComponent ;

-- CommunicationOrganization is
-- the subclass of Organizations that manage Communications over physical
-- infrastructure owned or leased by the organization. Such organizations
-- may also produce and disseminate information, entertainment, or other
-- content. Also see MediaOrganization.
fun CommunicationOrganization : Class ;
fun CommunicationOrganization_Class : SubClass CommunicationOrganization Organization ;

-- CommunicationSystem is a complex
-- system with various components, enabling communication (in some
-- medium) between points in a specific area, whether local or worldwide.
fun CommunicationSystem : Class ;
fun CommunicationSystem_Class : SubClass CommunicationSystem Collection ;

-- Any PoliticalParty that advocates for a
-- CommunistState.
fun CommunistParty : Class ;
fun CommunistParty_Class : SubClass CommunistParty PoliticalParty ;

-- A Container which is part of another Container,
-- e.g. a drawer, a zippered pouch in a piece of luggage, a compartment in a TV
-- dinner, etc.
fun Compartment : Class ;
fun Compartment_Class : SubClass Compartment Container ;

-- A Device that indicates the direction of the
-- various DirectionalAttributes with respect to the device.
fun Compass : Class ;
fun Compass_Class : SubClass Compass (both ContentBearingObject Device) ;

-- ContentDevelopment which results in a
-- MusicalComposition.
fun Composing : Class ;
fun Composing_Class : SubClass Composing ContentDevelopment ;

-- ContentDevelopment which results in a
-- MusicalComposition.
fun ComposingMusic : Class ;
fun ComposingMusic_Class : SubClass ComposingMusic ContentDevelopment ;

-- Locating something in such a way that it cannot
-- be seen.
fun Concealing : Class ;
fun Concealing_Class : SubClass Concealing Putting ;

-- A ResidentialBuilding containing
-- CondominiumUnits.
fun CondominiumBuilding : Class ;
fun CondominiumBuilding_Class : SubClass CondominiumBuilding ResidentialBuilding ;

-- A SingleFamilyResidence that may be owned
-- by a member of the SocialUnit that lives there.
fun CondominiumUnit : Class ;
def CondominiumUnit = KappaFn SingleFamilyResidence (\UNIT -> exists Human (\PERSON -> and (home (var Human Human ? PERSON) (var SingleFamilyResidence PermanentResidence ? UNIT))
(possesses (var Human Agent ? PERSON) (var SingleFamilyResidence Object ? UNIT)))) ;

-- The class of ThreeDimensionalFigures which are
-- produced by rotating a RightTriangle around its RightAngle.
fun Cone : Class ;
fun Cone_Class : SubClass Cone ThreeDimensionalFigure ;

-- Any Soldier that served on the confederate side
-- during the American Civil War. ConfederateSoldier Any Soldier that served on the
-- confederate side during the American Civil War.
fun ConfederateSoldier : Class ;
fun ConfederateSoldier_Class : SubClass ConfederateSoldier Soldier ;

-- The eleven states of the UnitedStates
-- that tried to secede from the UnitedStates.
fun ConfederateStatesOfAmerica : Ind GeopoliticalArea ;

-- Any ExpressingApproval to a person for
-- something that the person did in the past and that is regarded as being
-- to the benefit of the person congratulated.
fun Congratulating : Class ;
fun Congratulating_Class : SubClass Congratulating ExpressingApproval ;

-- A CompoundSubstance that results from
-- the ChemicalSynthesis of two or more CompoundSubstances.
fun ConjugatedSubstance : Class ;
fun ConjugatedSubstance_Class : SubClass ConjugatedSubstance CompoundSubstance ;

-- An AlphabeticCharacter that denotes a speech sound
-- that results in audible friction when it is pronounced.
fun Consonant : Class ;
fun Consonant_Class : SubClass Consonant AlphabeticCharacter ;

-- A Snake that lacks venom and kills its
-- prey by crushing it to death.
fun ConstrictorSnake : Class ;
fun ConstrictorSnake_Class : SubClass ConstrictorSnake Snake ;

-- Any Holder whose purpose is to contain
-- something else. Note that Container is more specific in meaning
-- than Holder, because a Container must have a Hole that is at
-- least partially filled by the thing contained.
fun Container : Class ;
fun Container_Class : SubClass Container Holder ;

-- ContainerEmpty is the Attribute of a
-- Container that is empty.
fun ContainerEmpty : Ind RelationalAttribute ;

-- ContainerFull is the Attribute of a
-- Container that is full to capacity.
fun ContainerFull : Ind RelationalAttribute ;

-- Devices which permit sexual intercourse but
-- which reduce the likelihood of conception.
fun ContraceptiveDevice : Class ;
fun ContraceptiveDevice_Class : SubClass ContraceptiveDevice Device ;

-- A group of vehicles that all are being driven
-- in formation (e.g., lines, rows, columns) to the same destination.
-- That destination may be an intermediate destination on the way to a
-- final destination for some of the vehicles however. This is
-- distinguished from vehicles that have no common purpose, such as
-- traffic on a freeway. This includes cases where some of the agents
-- driving the vehicles intend to reach a point but fail to do so.
fun Convoy : Class ;
fun Convoy_Class : SubClass Convoy Collection ;

-- A Device whose purpose is Cooling something,
-- e.g. air conditioners, refrigerators, freezers, etc.
fun CoolingDevice : Class ;
fun CoolingDevice_Class : SubClass CoolingDevice Device ;

-- Making a copy of something.
fun Copying : Class ;
fun Copying_Class : SubClass Copying Making ;

-- A GovernmentOfficer who investigates deaths that are
-- suspected of being due to something other than natural causes.
fun Coroner : Ind GovernmentOfficer ;

-- A noncomissioned MilitaryOfficer.
fun Corporal : Class ;
fun Corporal_Class : SubClass Corporal MilitaryOfficer ;

-- Instances of LinguisticCommunication which
-- are achieved by means of Texts that are mailed between the persons
-- communicating with one another.
fun Corresponding : Class ;
fun Corresponding_Class : SubClass Corresponding LinguisticCommunication ;

-- Fibers from the cotton plant that are used in
-- Making CottonFabric.
fun Cotton : Class ;
fun Cotton_Class : SubClass Cotton PlantAnatomicalStructure ;

-- Any Fabric that is made entirely out of Cotton.
fun CottonFabric : Class ;
fun CottonFabric_Class : SubClass CottonFabric Fabric ;

-- Any Room whose purpose is to realize
-- JudicialProcesses.
fun CourtRoom : Class ;
fun CourtRoom_Class : SubClass CourtRoom Room ;

-- A domesticated HoofedMammal that is raised for milk
-- and beef, and is also used for work.
fun Cow : Class ;
fun Cow_Class : SubClass Cow (both DomesticAnimal HoofedMammal) ;

-- Crane is a subclass of mechanical Devices
-- that consist of a HoistingDevice on a moveable boom, designed to
-- assist in moving heavy loads.
fun Crane : Class ;
fun Crane_Class : SubClass Crane MaterialHandlingEquipment ;

-- Creek is the class of small streams of fresh
-- water flowing through land, usually into a River.
fun Creek : Class ;
fun Creek_Class : SubClass Creek (both BodyOfWater (both FreshWaterArea StreamWaterArea)) ;

-- Any IntentionalProcess that violates a Law.
fun CriminalAction : Class ;
fun CriminalAction_Class : SubClass CriminalAction IntentionalProcess ;

-- A GroupOfPeople which exists (partially or
-- wholly) for the purpose of CriminalAction.
fun CriminalGang : Class ;
fun CriminalGang_Class : SubClass CriminalGang GroupOfPeople ;

-- A LandArea which is dedicated to
-- Agriculture, e.g. Lawns, gardens, and fields for growing crops.
fun CultivatedLandArea : Class ;
fun CultivatedLandArea_Class : SubClass CultivatedLandArea LandArea ;

-- A raised concrete or asphalt structure that connects a
-- Sidewalk with a Roadway.
fun Curb : Class ;
fun Curb_Class : SubClass Curb StationaryArtifact ;

-- Any instance of Currency that is made
-- of paper.
fun CurrencyBill : Class ;
fun CurrencyBill_Class : SubClass CurrencyBill Currency ;

-- Any instance of Currency that is made
-- of Metal.
fun CurrencyCoin : Class ;
fun CurrencyCoin_Class : SubClass CurrencyCoin Currency ;

-- A piece of Fabric whose purpose is Covering a
-- Window so as to keep out the light or prevent people from seeing inside.
fun Curtain : Class ;
fun Curtain_Class : SubClass Curtain (both Fabric WindowCovering) ;

-- Any Device whose purpose is Cutting something
-- else. This class covers knives of all times, axes, saws, razors, chisels etc.
fun CuttingDevice : Class ;
fun CuttingDevice_Class : SubClass CuttingDevice Device ;

-- The class of ThreeDimensionalFigures such that
-- all GeometricPoints that make up the Cylinder are equidistant from a
-- OneDimensionalFigure, known as the axis of the Cylinder.
fun Cylinder : Class ;
fun Cylinder_Class : SubClass Cylinder ThreeDimensionalFigure ;

fun DairyProduct : Class ;
fun DairyProduct_Class : SubClass DairyProduct AnimalAgriculturalProduct ;

-- A School that does not board its students, i.e.
-- students attend classes during the day and then return to a private residence
-- for the night.
fun DaySchool : Class ;
fun DaySchool_Class : SubClass DaySchool School ;

-- The class of TimeIntervals that begin at Sunrise
-- and end at Sunset.
fun DayTime : Class ;
fun DayTime_Class : SubClass DayTime TimeInterval ;

-- Any Position within a ReligiousOrganization that is held
-- by a layman, which is part_time, and which involves assisting a Cleric.
fun Deacon : Class ;
fun Deacon_Class : SubClass Deacon PartTimePosition ;

-- The Attribute that applies to Animals and Humans
-- that are unable to hear.
fun Deaf : Ind BiologicalAttribute ;

-- A Contest where each participant holds a different
-- view regarding some issue, and each participant attempts to prove, by
-- rhetoric or evidence, that his/her own views about a particular matter are
-- correct and/or that the views of the other participants are incorrect.
fun Debating : Class ;
fun Debating_Class : SubClass Debating (both Contest LinguisticCommunication) ;

-- Getting off a Vehicle, e.g. getting out of an
-- Automobile, deplaning, getting off a WaterVehicle, etc.
fun Deboarding : Class ;
fun Deboarding_Class : SubClass Deboarding Translocation ;

-- The TimeDuration of 10 years.
fun DecadeDuration : Ind UnitOfDuration ;

-- Decreasing the speed with which someone
-- or something is moving.
fun Decelerating : Class ;
fun Decelerating_Class : SubClass Decelerating (both Decreasing Translocation) ;

-- One of the two major political parties in
-- the UnitedStates. The DemocraticParty represents liberal values.
fun DemocraticParty : Ind PoliticalParty ;

-- The Profession of being a dentist, i.e. diagnosing
-- and treating problems related to the teeth.
fun Dentist : Ind Profession ;

-- Any BiologicallyActiveSubstance which has
-- the effect of depressing the central nervous system, i.e. decreasing
-- function or activity in the Brain or SpinalCord.
fun Depressant : Class ;
fun Depressant_Class : SubClass Depressant BiologicallyActiveSubstance ;

-- A Position which authorizes the holder of the position
-- to act as the sheriff when the sheriff is not available.
fun Deputy : Ind PoliceOfficer ;

-- (DescendantsFn ?PERSON) denotes all and only
-- the descendants of ?PERSON, i.e. the Group consisting of ?OFFSPRING who
-- satisfy the following formula: (ancestor ?OFFSPRING ?PERSON).
fun DescendantsFn : El Human -> Ind FamilyGroup ;

-- A Table for a single person which is intended to be
-- used for paperwork.
fun Desk : Class ;
fun Desk_Class : SubClass Desk Table ;

-- A detergent is a compound, or a mixture of
-- compounds, whose molecules have two distinct regions: one that is
-- hydrophilic, and dissolves easily in water, and another region that is
-- hydrophobic, with little (if any) affinity for water. As a consequence,
-- these compounds can aid in the solubilization of hydrophobic compounds in
-- water, and usually are optimized for this property. Though Soap also has
-- these properties, soaps in general are not considered detergents. Soap is
-- a particular type of surfactant that is derived from oils and fats. They
-- are created through the saponification process whereby the ester linkage
-- in a vegetable oil or fat is hydrolytically cleaved, creating a sodium or
-- potassium salt of a fatty acid (i.e. soap). Both detergents and soaps
-- are considered to be surfactants. Surfactants that are not soaps are
-- considered to be detergents. Detergents are also commonly known as any
-- cleaning mixture containing surfactants. (from Wikipedia)
fun Detergent : Class ;
fun Detergent_Class : SubClass Detergent (both Mixture Surfactant) ;

-- This class contains two Attributes to
-- indicate whether a Device is or is not behaving as it is intended to
-- behave, Functioning and Malfunctioning.
fun DeviceAttribute : Class ;
fun DeviceAttribute_Class : SubClass DeviceAttribute ObjectiveNorm ;

fun DeviceClosed : Ind (both DeviceStateAttribute RelationalAttribute) ;

fun DeviceOff : Ind (both DeviceStateAttribute InternalAttribute) ;

fun DeviceOn : Ind (both DeviceStateAttribute InternalAttribute) ;

fun DeviceOpen : Ind (both DeviceStateAttribute RelationalAttribute) ;

-- DeviceStateAttribute is the class
-- of attributes that represent different states that a Device may be in.
-- Examples: DeviceOff, DeviceOn, DeviceOpen, and DeviceClosed.
fun DeviceStateAttribute : Class ;
fun DeviceStateAttribute_Class : SubClass DeviceStateAttribute DeviceAttribute ;

-- Any process of Separating a Solution into two or more
-- constituent PureSubstances by means of their unequal diffusion through membranes
-- that are partially permeable.
fun Dialysis : Class ;
fun Dialysis_Class : SubClass Dialysis Separating ;

-- (DiameterFn ?CIRCLE) denotes the length of the
-- diameter of the Circle ?CIRCLE.
fun DiameterFn : El Circle -> Ind LengthMeasure ;

-- Crystalline Carbon that is valued as a gem and
-- used in industrial applications.
fun Diamond : Class ;
fun Diamond_Class : SubClass Diamond (both Carbon Mineral) ;

-- A DiseaseOrSyndrome of frequent, watery bowel
-- movements. Severe cases can be fatal for the young or weak. It is
-- a common cause of death for the very young in poor developing countries.
fun Diarrhea : Ind DiseaseOrSyndrome ;

-- A ReferenceBook which specifies the meanings
-- of the Words of a Language.
fun Dictionary : Class ;
fun Dictionary_Class : SubClass Dictionary ReferenceBook ;

-- DieselEngine is the subclass of
-- InternalCombustionEngines that use DieselFuel as their resource.
fun DieselEngine : Class ;
fun DieselEngine_Class : SubClass DieselEngine InternalCombustionEngine ;

-- A Plan regarding what one is allowed to eat.
fun Diet : Class ;
fun Diet_Class : SubClass Diet Plan ;

-- Any Process of removing or turning over the Soil.
fun Digging : Class ;
fun Digging_Class : SubClass Digging (both IntentionalProcess SurfaceChange) ;

-- Any of the extremities of Limbs that are
-- found in the higer Vertebrates and the Amphibians.
fun DigitAppendage : Class ;
fun DigitAppendage_Class : SubClass DigitAppendage (both AnimalAnatomicalStructure BodyPart) ;

-- Any Character that is comprised of a single digit,
-- i.e. one of the numerals 0, 1, 2, 3, 4, 5, 6, 7, 8, 9.
fun DigitCharacter : Class ;
fun DigitCharacter_Class : SubClass DigitCharacter Character ;

-- Adding a Liquid to a Solution to decrease
-- the concentration of the Solution.
fun Diluting : Class ;
fun Diluting_Class : SubClass Diluting Putting ;

-- A Room intended primarily for Eating.
fun DiningRoom : Class ;
fun DiningRoom_Class : SubClass DiningRoom Room ;

-- A person who works as a facilitator for communication
-- between countries, in the official employ of one of the countries.
fun Diplomat : Ind OccupationalRole ;

-- A Holder for Food while the Food is being eaten.
fun Dish : Class ;
fun Dish_Class : SubClass Dish Holder ;

-- Any BodyMotion which results in not being On
-- something else.
fun Dismounting : Class ;
fun Dismounting_Class : SubClass Dismounting BodyMotion ;

-- DisplacementHullWaterVehicle is
-- a subclass of WaterVehicle with hulls designed to move water aside as they
-- move through the water. Contrast with PlaningHullWaterVehicle.
fun DisplacementHullWaterVehicle : Class ;
fun DisplacementHullWaterVehicle_Class : SubClass DisplacementHullWaterVehicle WaterVehicle ;

-- Something for posting content so
-- that it can be disseminated to the public.
fun DisplayArtifact : Class ;
fun DisplayArtifact_Class : SubClass DisplayArtifact Artifact ;

-- Someone who is opposed to the leadership
-- of a particular country. Typically, a dissident suffers punishment
-- at the hands of the country whose leadership he is opposing.
fun Dissident : Ind (both Civilian SocialRole) ;

-- An AlcoholicBeverage that has
-- had some part of its Water content removed by distillation. This class
-- covers drinks of unmixed, hard liquor.
fun DistilledAlcoholicBeverage : Class ;
fun DistilledAlcoholicBeverage_Class : SubClass DistilledAlcoholicBeverage AlcoholicBeverage ;

-- A legal act whereby a marriage is dissolved. This
-- includes annulments.
fun Divorcing : Class ;
fun Divorcing_Class : SubClass Divorcing Declaring ;

-- A MotionPicture which purports to represent the
-- facts about a person, event, etc.
fun Documentary : Class ;
fun Documentary_Class : SubClass Documentary (both FactualText MotionPicture) ;

-- Purposely moving one's body in such a way as
-- to avoid being hit by something.
fun Dodging : Class ;
fun Dodging_Class : SubClass Dodging (both BodyMotion IntentionalProcess) ;

-- Any Animal that is kept by a Human, as
-- a pet, as livestock, for exhibition, etc.
fun DomesticAnimal : Class ;
fun DomesticAnimal_Class : SubClass DomesticAnimal Animal ;

-- A variety of Feline which has been domesticated
-- by selective breeding.
fun DomesticCat : Class ;
fun DomesticCat_Class : SubClass DomesticCat (both DomesticAnimal Feline) ;

-- Canines which have evolved from the common
-- wolf by selective breeding.
fun DomesticDog : Class ;
fun DomesticDog_Class : SubClass DomesticDog (both Canine DomesticAnimal) ;

-- A domesticated HoofedMammal that is used for work.
fun Donkey : Class ;
fun Donkey_Class : SubClass Donkey (both HoofedMammal Livestock) ;

-- An Artifact that restricts and permits access to a
-- StationaryArtifact (e.g. Building or Room) depending on whether the
-- Door is open or locked. Note that the class Door also covers gates,
-- because it is not possible to define objective criteria that reliably
-- distinguish doors from gates.
fun Door : Class ;
fun Door_Class : SubClass Door (both Artifact Device) ;

-- A StationaryArtifact consisting of a frame that
-- holds a Door.
fun Doorway : Class ;
fun Doorway_Class : SubClass Doorway StationaryArtifact ;

-- A TemporaryResidence which is owned by a School
-- and which is used to house students while they take classes at the School.
fun Dormitory : Class ;
fun Dormitory_Class : SubClass Dormitory (both ResidentialBuilding TemporaryResidence) ;

-- A Mixture of Flour, Water, and possibly
-- other ingredients (such as Butter and Salt), which is used in
-- making BreadOrBiscuits.
fun Dough : Class ;
fun Dough_Class : SubClass Dough (both Mixture PreparedFood) ;

-- A PositionalAttribute to indicate that one thing is
-- one or more floors below a second thing in the same building.
fun Downstairs : Ind PositionalAttribute ;

-- The commercial center of a City. The part of the
-- City that contains more shops and offices than any other part.
fun Downtown : Class ;
fun Downtown_Class : SubClass Downtown CityDistrict ;

-- Playing a character in a Performance,
-- MotionPicture, etc.
fun DramaticActing : Class ;
fun DramaticActing_Class : SubClass DramaticActing Pretending ;

-- The GroupOfPeople who engage in DramaticActing
-- as part of the realization of a single FictionalText.
fun DramaticCast : Class ;
fun DramaticCast_Class : SubClass DramaticCast GroupOfPeople ;

-- The process of directing a DramaticActing
-- in a MotionPicture or the Performance of a DramaticPlay.
fun DramaticDirecting : Class ;
fun DramaticDirecting_Class : SubClass DramaticDirecting Guiding ;

-- A Performance that consists exclusively of
-- DramaticActing, e.g. a live performance of Death_of_a_Salesman in front
-- of an audience.
fun DramaticPerformance : Class ;
fun DramaticPerformance_Class : SubClass DramaticPerformance Performance ;

-- A FictionalText that is intended to be realized
-- as DramaticActing.
fun DramaticPlay : Class ;
fun DramaticPlay_Class : SubClass DramaticPlay FictionalText ;

-- Any ContentDevelopment that results in a Sketch.
fun Drawing : Class ;
fun Drawing_Class : SubClass Drawing (both ContentDevelopment SurfaceChange) ;

-- A Process of producing metal images which occurs
-- while one is Asleep.
fun Dreaming : Class ;
fun Dreaming_Class : SubClass Dreaming Imagining ;

-- An item of Clothing which covers the lower body of a Woman.
fun Dress : Class ;
fun Dress_Class : SubClass Dress Clothing ;

-- The Process of putting on Clothing.
fun Dressing : Class ;
fun Dressing_Class : SubClass Dressing Putting ;

-- Any Room which is intended for ChangingClothing.
fun DressingRoom : Class ;
fun DressingRoom_Class : SubClass DressingRoom Room ;

-- A Device that has the purpose of creating a Hole.
-- This covers manual drills as well as electric or pneumatic drills.
fun Drill : Class ;
fun Drill_Class : SubClass Drill CuttingDevice ;

-- Any Process of producing a hole in a
-- SelfConnectedObject which involves rotating a long, thin bit.
fun Drilling : Class ;
fun Drilling_Class : SubClass Drilling (both IntentionalProcess SurfaceChange) ;

-- An open FluidContainer that is intended to serve a Beverage
-- to a single person. Note that this class includes both cups with handles and
-- drinking glasses.
fun DrinkingCup : Class ;
fun DrinkingCup_Class : SubClass DrinkingCup FluidContainer ;

-- Any LiquidMotion where the Liquid is moved drop by drop.
fun Dripping : Class ;
fun Dripping_Class : SubClass Dripping LiquidMotion ;

-- An EngineeringComponent whose purpose is to
-- transfer force from one part of a Device to another part.
fun DriveComponent : Class ;
fun DriveComponent_Class : SubClass DriveComponent EngineeringComponent ;

-- A License which identifies the holder and
-- indicates that he has the right to drive a certain class of RoadVehicle.
fun DriversLicense : Class ;
fun DriversLicense_Class : SubClass DriversLicense License ;

-- A small, private Roadway that is used for parking
-- Automobiles or for connecting a Garage to a public Roadway.
fun Driveway : Class ;
fun Driveway_Class : SubClass Driveway Roadway ;

-- A RetailStore that sells Medicine, and
-- perhaps other items as well.
fun DrugStore : Class ;
fun DrugStore_Class : SubClass DrugStore RetailStore ;

-- The ConsciousnessAttribute of someone whose motor and/or
-- cognitive faculties are significantly impaired by a BiologicallyActiveSubstance.
fun Drugged : Ind ConsciousnessAttribute ;

-- An atonal PercussionInstrument which consists of a hollow cylinder
-- and a fabric stretched across at least one end of the cylinder.
fun Drum : Class ;
fun Drum_Class : SubClass Drum PercussionInstrument ;

-- Playing a Drum. Note that this includes both
-- musical performance, as well as signalling and cerimonial applications.
fun Drumming : Class ;
fun Drumming_Class : SubClass Drumming (both Demonstrating RadiatingSound) ;

-- The ConsciousnessAttribute of someone whose motor and
-- cognitive faculties are significantly impaired by Alcohol.
fun Drunk : Ind ConsciousnessAttribute ;

-- A subclass of Bird with webbed feet and a large bill.
-- Some ducks live in the wild, and some are raised for meat and/or eggs.
fun Duck : Class ;
fun Duck_Class : SubClass Duck Poultry ;

-- Purposely moving one's body downward in such a way as
-- to avoid being hit by something.
fun Ducking : Class ;
fun Ducking_Class : SubClass Ducking (both BodyMotion (both IntentionalProcess MotionDownward)) ;

-- A Tax that is levied on imports and/or exports.
fun DutyTax : Class ;
fun DutyTax_Class : SubClass DutyTax Tax ;

-- The Organ of hearing.
fun Ear : Class ;
fun Ear_Class : SubClass Ear (both AnimalAnatomicalStructure Organ) ;

-- Instances of RadiatingSound where the instrument
-- is a surface which bounces sound waves back to their origin, where they can
-- be heard again.
fun Echoing : Class ;
fun Echoing_Class : SubClass Echoing RadiatingSound ;

-- A class of Relations which are used
-- to specify various economic measures, e.g. the GDP, the consumer price
-- index, and the trade deficit.
fun EconomicRelation : El GeopoliticalArea -> El Entity -> Formula;

-- The field of economics.
fun Economics : Ind SocialScience ;

-- A schedule of class meetings offered by an
-- EducationalOrganization.
fun EducationalCourse : Class ;
fun EducationalCourse_Class : SubClass EducationalCourse EducationalProgram ;

-- A building or campus, owned by an
-- EducationalOrganization, which is intended as the location for
-- EducationalProcesses.
fun EducationalFacility : Class ;
fun EducationalFacility_Class : SubClass EducationalFacility StationaryArtifact ;

-- A series of EducationalCourses that must
-- be completed to receive an AcademicDegree or other Certificate. Note that
-- an EducationalProgram, unlike an EducationalCourse, may be realized at more
-- than one EducationalOrganization.
fun EducationalProgram : Class ;
fun EducationalProgram_Class : SubClass EducationalProgram Plan ;

-- The joint in the Arm connecting the forearm and the
-- upper arm.
fun Elbow : Class ;
fun Elbow_Class : SubClass Elbow BodyJoint ;

-- ElectoralCollegeElection is
-- the class of Elections in which the outcome is decided by the votes of
-- electors who have been chosen by popular vote, rather than directly by
-- results of the popular vote. ElectoralCollegeElection is an indirect
-- method of election, in contrast to PopularElection.
fun ElectoralCollegeElection : Class ;
fun ElectoralCollegeElection_Class : SubClass ElectoralCollegeElection GeneralElection ;

-- A Device that uses Electricity as its
-- primary power source.
fun ElectricDevice : Class ;
fun ElectricDevice_Class : SubClass ElectricDevice Device ;

-- ElectricMotor is the subclass of Engines
-- that produce mechanical power from electricity.
fun ElectricMotor : Class ;
fun ElectricMotor_Class : SubClass ElectricMotor (both ElectricDevice Engine) ;

-- ElectricalSignalling is the subclass of Signalling processes
-- that involve control of an electrical current. Cf. ElectronicSignalling.
fun ElectricalSignalling : Class ;
fun ElectricalSignalling_Class : SubClass ElectricalSignalling Signalling ;

-- ElectrifiedRailwayCar is the
-- subclass of railway cars that are powered by electricity, which is
-- provided to the car through an overhead link or electrified third rail.
fun ElectrifiedRailwayCar : Class ;
fun ElectrifiedRailwayCar_Class : SubClass ElectrifiedRailwayCar (both ElectricDevice (both PoweredVehicle RollingStock)) ;

-- ElectronicSignalling is the
-- subclass of Signalling processes that involve a signal generated by
-- a computer.
fun ElectronicSignalling : Class ;
fun ElectronicSignalling_Class : SubClass ElectronicSignalling Signalling ;

-- The branch of Physics that deals with the theory
-- and applications of electron emissions.
fun Electronics : Ind FieldOfStudy ;

-- A very large, almost hairless Herbivore with a long trunk.
fun Elephant : Class ;
fun Elephant_Class : SubClass Elephant Herbivore ;

-- A TransportationDevice consisting of a car that moves
-- up and down in a vertical shaft so that people or objects can move from one floor to another
-- in a building.
fun Elevator : Class ;
fun Elevator_Class : SubClass Elevator TransportationDevice ;

-- An embassy is a Building that is owned by a Government to house
-- its diplomatic and consular staff that is in another country.
fun EmbassyBuilding : Class ;
fun EmbassyBuilding_Class : SubClass EmbassyBuilding GovernmentBuilding ;

-- The class of Touching processes where one Human hugs another one.
fun Embracing : Class ;
fun Embracing_Class : SubClass Embracing Touching ;

-- A DiseaseOrSyndrome that affects the Lungs and
-- which results in a decrease of breathing ability.
fun Emphysema : Ind DiseaseOrSyndrome ;

-- Involuntarily ending one's employment.
-- Note that this covers termination due to inadequate performance, as
-- well as layoffs.
fun EmploymentFiring : Class ;
fun EmploymentFiring_Class : SubClass EmploymentFiring TerminatingEmployment ;

-- Engine is a subclass of Transducer. Engines are devices for converting
-- some form of energy resource into mechanical power.
fun Engine : Class ;
fun Engine_Class : SubClass Engine Transducer ;

-- The application of instances of Science to the solution
-- of practical problems, i.e. the creation of various forms of technology.
fun Engineering : Ind Science ;

-- A building that has the primary
-- purpose of entertaining people.
fun EntertainmentBuilding : Class ;
fun EntertainmentBuilding_Class : SubClass EntertainmentBuilding Building ;

-- Any business whose services include
-- Performances. This class covers nightclubs, commercial live theaters,
-- and comedy clubs.
fun EntertainmentCompany : Class ;
fun EntertainmentCompany_Class : SubClass EntertainmentCompany CommercialAgent ;

-- Positions which involve creating
-- content or performances that are intended to entertain. This class covers
-- the TheaterProfession, FilmMakingProfession, being a comedian, etc.
fun EntertainmentProfession : Class ;
fun EntertainmentProfession_Class : SubClass EntertainmentProfession SkilledOccupation ;

-- More commonly known as burying, this is the class
-- of processes of putting a HumanCorpse into a Tomb. Note that this class
-- is not a subclass of Burying, since some Tombs are not covered with Soil,
-- e.g. those in a mausoleum.
fun Entombing : Class ;
fun Entombing_Class : SubClass Entombing Putting ;

-- A sealable Container for one or more pieces of
-- paper which is designed to protect the papers while they are transferred to
-- someone.
fun Envelope : Class ;
fun Envelope_Class : SubClass Envelope Container ;

-- Any instance of Translocation where the agent brings
-- it about that he/she is no longer confined without having the right to do
-- so.
fun Escaping : Class ;
fun Escaping_Class : SubClass Escaping Translocation ;

-- Any Investigating by one Government of another
-- Government where the second Government does not know that it is being
-- spied upon.
fun Espionage : Class ;
fun Espionage_Class : SubClass Espionage (both Investigating PoliticalProcess) ;

-- The class of nations that are in Europe.
fun EuropeanNation : Class ;
fun EuropeanNation_Class : SubClass EuropeanNation Nation ;

-- The state of being happy about a state of
-- affairs that might occur in the future.
fun Excitement : Ind EmotionalState ;

-- Killing of a Human by a Government for
-- the commission of a CriminalAction.
fun Execution : Class ;
fun Execution_Class : SubClass Execution Killing ;

-- A Residence of a chiefOfState, e.g.
-- the White House, a state governor's mansion, Buckingham Palace, etc.
fun ExecutiveResidence : Class ;
fun ExecutiveResidence_Class : SubClass ExecutiveResidence PermanentResidence ;

-- Any instance of Breathing where the breath is
-- expelled from the Lungs.
fun Exhaling : Class ;
fun Exhaling_Class : SubClass Exhaling Breathing ;

-- Any sudden and massive release of energy that is
-- the product of a chemical reaction.
fun Explosion : Class ;
fun Explosion_Class : SubClass Explosion Radiating ;

-- A Device whose purpose is to explode. Note
-- that ExplosiveDevice is not a subclass of Weapon, since explosives can be
-- used in demolition work and in fireworks displays, for example.
fun ExplosiveDevice : Class ;
fun ExplosiveDevice_Class : SubClass ExplosiveDevice Device ;

-- An ExplosiveDevice which is designed to
-- explode when there is movement over it, e.g. by a person on foot, by a
-- RoadVehicle, etc.
fun ExplosiveMine : Class ;
fun ExplosiveMine_Class : SubClass ExplosiveMine (both ExplosiveDevice Weapon) ;

-- Any Substance which is capable of exploding.
fun ExplosiveSubstance : Class ;
fun ExplosiveSubstance_Class : SubClass ExplosiveSubstance Substance ;

-- Expressing favor about a physical thing
-- or a state of affairs.
fun ExpressingApproval : Class ;
fun ExpressingApproval_Class : SubClass ExpressingApproval Expressing ;

-- Expressing disfavor about a physical
-- thing or a state of affairs.
fun ExpressingDisapproval : Class ;
fun ExpressingDisapproval_Class : SubClass ExpressingDisapproval Expressing ;

-- Any instance of Expressing an acknowledgment
-- of a person's departure. Note that this class is not a subclass of
-- LinguisticCommunication, because it covers gestures of departure, e.g. Waving
-- and Nodding in certain circumstances.
fun ExpressingFarewell : Class ;
fun ExpressingFarewell_Class : SubClass ExpressingFarewell Expressing ;

-- Any instance of Expressing that is also an
-- instance of LinguisticCommunication, e.g. thanking someone, expressing condolence,
-- expressing disapproval with an utterance rather than a Gesture, etc.
fun ExpressingInLanguage : Class ;
fun ExpressingInLanguage_Class : SubClass ExpressingInLanguage (both Expressing LinguisticCommunication) ;

-- The Organ of sight.
fun Eye : Class ;
fun Eye_Class : SubClass Eye (both AnimalAnatomicalStructure Organ) ;

-- A lens or pair of lenses with or without frames whose
-- purpose is to to correct a defect in vision. This class covers ordinary eye
-- glasses, reading glasses, contact lenses, monocles, etc.
fun EyeGlass : Class ;
fun EyeGlass_Class : SubClass EyeGlass OpticalDevice ;

-- Any Motion where a patient is the agent's
-- own Eyelid or Eyelids.
fun EyeMotion : Class ;
fun EyeMotion_Class : SubClass EyeMotion BodyMotion ;

-- Folds of Skin that can be manipulated to
-- cover or uncover Eyes.
fun Eyelid : Class ;
fun Eyelid_Class : SubClass Eyelid Skin ;

-- The part of the Head from forehead to chin and
-- from ear to ear.
fun Face : Class ;
fun Face_Class : SubClass Face (both AnimalAnatomicalStructure BodyPart) ;

-- Any Gesture whose instrument is the Face.
fun FacialExpression : Class ;
fun FacialExpression_Class : SubClass FacialExpression Gesture ;

-- Hair that grows on the Face. This
-- class covers beards, mustaches, sideburns, midnight shadow, etc.
fun FacialHair : Class ;
fun FacialHair_Class : SubClass FacialHair Hair ;

-- The class of Statements that are True.
fun Fact : Class ;
fun Fact_Class : SubClass Fact Statement ;

-- A Building intended to house a process that
-- produces goods of some value.
fun Factory : Class ;
fun Factory_Class : SubClass Factory Building ;

-- The SeasonOfYear that begins at the autumnal
-- equinox and ends at the winter solstice.
fun FallSeason : Class ;
fun FallSeason_Class : SubClass FallSeason SeasonOfYear ;

-- The process of transitioning from a state of
-- being Awake to a state of being Asleep.
fun FallingAsleep : Class ;
fun FallingAsleep_Class : SubClass FallingAsleep PsychologicalProcess ;

-- Radioactive powder that is typically dispersed by
-- the explosion of a nuclear weapon.
fun Fallout : Class ;
fun Fallout_Class : SubClass Fallout Powder ;

-- A Partnership that is owned by a single
-- family.
fun FamilyBusiness : Class ;
fun FamilyBusiness_Class : SubClass FamilyBusiness Partnership ;

-- A CoolingDevice which consists simply of one or more
-- blades that circulate the air. Note that this class covers both electrical fans
-- and fans that are manually operated.
fun FanDevice : Class ;
fun FanDevice_Class : SubClass FanDevice CoolingDevice ;

-- A StationaryArtifact consisting of a cultivated
-- LandArea and Buildings for maintaining the land and/or the Animals
-- on the land.
fun Farm : Class ;
fun Farm_Class : SubClass Farm StationaryArtifact ;

-- A Building on a Farm that is used for keeping
-- DomesticAnimals, Fodder or harvested crops.
fun FarmBuilding : Class ;
fun FarmBuilding_Class : SubClass FarmBuilding Building ;

-- OccupationalTrades which involve Agriculture.
fun FarmHand : Ind OccupationalTrade ;

-- Operating a farm, e.g. planting and harvesting crops,
-- tending livestock, etc.
fun Farming : Class ;
fun Farming_Class : SubClass Farming Working ;

-- Each instance of this class is one of the structures
-- that make up the external covering of Birds.
fun Feather : Class ;
fun Feather_Class : SubClass Feather (both AnimalAnatomicalStructure BodyPart) ;

-- Giving Food to a Human or Animal.
fun Feeding : Class ;
fun Feeding_Class : SubClass Feeding Giving ;

-- A Cow that is Female.
fun FemaleCow : Class ;
def FemaleCow = KappaFn Cow (\COW -> attribute (var Cow Object ? COW) (el SexAttribute Attribute ? Female)) ;

-- A StationaryArtifact that serves to demarcate or
-- to prevent access to or from the area that the Fence surrounds.
fun Fence : Class ;
fun Fence_Class : SubClass Fence StationaryArtifact ;

-- Having a body temperature which is (significantly) greater
-- than 98.6 degrees Fahrenheit. This syndrome is often associated with dehydration
-- and chills.
fun Fever : Ind DiseaseOrSyndrome ;

-- A LandArea that has been cleared of BotanicalTrees.
-- Note that a Field is not necessarily used for the cultivation of crops and
-- that a Field may be very small, e.g. Lawn is a subclass of Field.
fun Field : Class ;
fun Field_Class : SubClass Field LandArea ;

-- The study of legal principles and the framework of national
-- and/or international laws.
fun FieldOfLaw : Ind FieldOfStudy ;

-- Any high_speed MilitaryAircraft whose purpose is
-- to destroy enemy MilitaryAircraft.
fun Fighter : Class ;
fun Fighter_Class : SubClass Fighter MilitaryAircraft ;

-- A Device whose purpose is to make something
-- smoother. For example, a nail file is used to even out the tips of one's
-- finger nails.
fun FileDevice : Class ;
fun FileDevice_Class : SubClass FileDevice Device ;

-- Positions which involve directing MotionPictures.
fun FilmDirector : Class ;
fun FilmDirector_Class : SubClass FilmDirector FilmMakingProfession ;

-- ContentDevelopment where the result is a
-- MotionPicture.
fun FilmMaking : Class ;
fun FilmMaking_Class : SubClass FilmMaking ContentDevelopment ;

-- Positions which involve FilmMaking,
-- i.e. acting in films, directing films, producing films, etc.
fun FilmMakingProfession : Class ;
fun FilmMakingProfession_Class : SubClass FilmMakingProfession EntertainmentProfession ;

-- Positions which involve producing MotionPictures,
-- i.e arranging the financing for the MotionPicture and supervising its production.
fun FilmProducer : Class ;
fun FilmProducer_Class : SubClass FilmProducer FilmMakingProfession ;

-- A Device whose purpose is to remove part of a
-- Solution that is passed through the Filter.
fun Filter : Class ;
fun Filter_Class : SubClass Filter Device ;

-- A formal banking, brokerage, or business relationship
-- established to provide for regular services, dealings, and other financial
-- transactions.
fun FinancialAccount : Class ;

-- Any item of economic value owned by an individual or
-- corporation, especially that which could be converted to cash. Examples are cash,
-- securities, accounts receivable, inventory, office equipment, a house, a car, and
-- other property.
fun FinancialAsset : Class ;

-- A brief statement that the stated amount
-- of money is owed by the person to whom the bill is delivered.
fun FinancialBill : Class ;
fun FinancialBill_Class : SubClass FinancialBill FinancialText ;

-- The class FinancialCompany
-- includes, as subclasses, FinancialBank, CreditUnion and SavingsAndLoan.
fun FinancialCompany : Class ;
fun FinancialCompany_Class : SubClass FinancialCompany CommercialAgent ;

-- Services performed by a
-- FinancialCompany.
fun FinancialService : Class ;
fun FinancialService_Class : SubClass FinancialService CommercialService ;

-- A Report about monetary figures. This
-- class covers FinancialBills, balance sheets, account statements, etc.
fun FinancialText : Class ;
fun FinancialText_Class : SubClass FinancialText Report ;

-- Any Funding which is provided by a FinancialCompany
-- with the aim of making a profit on the money invested.
fun Financing : Class ;
fun Financing_Class : SubClass Financing (both FinancialService Funding) ;

-- The five extremities of Hands.
fun Finger : Class ;
fun Finger_Class : SubClass Finger DigitAppendage ;

-- That pattern of arches, loops, and whorls that mark
-- the imprint of a Finger.
fun Fingerprint : Class ;
fun Fingerprint_Class : SubClass Fingerprint (both BiologicalAttribute ShapeAttribute) ;

-- Any Quantity that is limited or bounded in
-- magnitude.
fun FiniteQuantity : Class ;
fun FiniteQuantity_Class : SubClass FiniteQuantity Quantity ;

-- A Gun that is small enough to be carried and fired by
-- a single Human.
fun Firearm : Class ;
fun Firearm_Class : SubClass Firearm Gun ;

-- A Device in a Building which is used for burning wood,
-- coal, etc for heat.
fun Fireplace : Class ;
fun Fireplace_Class : SubClass Fireplace (both Device StationaryArtifact) ;

-- (FirstFn ?LIST) returns the first item in
-- the List ?LIST. For example, (FirstFn (ListFn Monday Tuesday
-- Wednesday)) would return the value of Monday.
fun FirstFn : El List -> Ind Entity ;

-- Meat that was originally part of a Fish.
fun FishMeat : Class ;
fun FishMeat_Class : SubClass FishMeat Meat ;

-- The BodyPosition of having the fingers drawn into
-- the palm so that the hand can be used for striking something.
fun Fist : Ind BodyPosition ;

-- An Icon made of Fabric that refers to a particular
-- GeopoliticalArea.
fun Flag : Class ;
fun Flag_Class : SubClass Flag Icon ;

-- A three dimensional object for which
-- two dimensions are markedly larger than the third the
-- two larger dimensions are also not of markedly different length.
fun Flat : Ind ShapeAttribute ;

-- Flooding is the subclass of LiquidMotion
-- processes in which the water level of a Waterway rises or water spreads
-- over a flood plain along a Waterway.
fun Flooding : Class ;
fun Flooding_Class : SubClass Flooding LiquidMotion ;

-- A StationaryArtifact that is the bottom surface
-- of a Room.
fun Floor : Class ;
fun Floor_Class : SubClass Floor StationaryArtifact ;

-- A Powder that is prepared from CerealGrain, e.g.
-- wheat flour, rice flour, etc. Flour is most often used in the making
-- of BreadOrBiscuits.
fun Flour : Class ;
fun Flour_Class : SubClass Flour (both Powder PreparedFood) ;

-- The reproductive organ of FloweringPlants.
fun Flower : Class ;
fun Flower_Class : SubClass Flower (both Organ PlantAnatomicalStructure) ;

-- A Container which is used to store Fluids,
-- i.e. Liquids and Gases.
fun FluidContainer : Class ;
fun FluidContainer_Class : SubClass FluidContainer Container ;

-- Insects with Wings and two Limbs.
fun FlyInsect : Class ;
fun FlyInsect_Class : SubClass FlyInsect Insect ;

-- Any instance of Translocation which is through an
-- AtmosphericRegion and which is powered by the wings of an Animal.
fun Flying : Class ;
fun Flying_Class : SubClass Flying Translocation ;

-- Altering the relative distance of a Lens
-- so that a visual image is sharper.
fun Focusing : Class ;
fun Focusing_Class : SubClass Focusing QuantityChange ;

-- Any WaterCloud that is in contact with the ground.
fun Fog : Class ;
fun Fog_Class : SubClass Fog WaterCloud ;

-- Bending something in such a way that one part of
-- it covers another part.
fun Folding : Class ;
fun Folding_Class : SubClass Folding ShapeChange ;

-- The lower part of a Limb, the part which makes contact
-- with the ground in locomotion of the Animal.
fun Foot : Class ;
fun Foot_Class : SubClass Foot (both AnimalAnatomicalStructure BodyPart) ;

-- FormOfGovernment is a class of
-- Attributes used to describe the characteristics of a government,
-- especially a NationalGovernment. The concept FormOfGovernment is
-- interpreted broadly enough to include Anarchy and Factionalism.
fun FormOfGovernment : Class ;
fun FormOfGovernment_Class : SubClass FormOfGovernment PoliticoEconomicAttribute ;

-- A page or set of pages containing spaces where
-- information is to be entered by an Agent.
fun FormText : Class ;
fun FormText_Class : SubClass FormText Text ;

-- Any Meeting which is the result of Planning
-- and whose purpose is not socializing.
fun FormalMeeting : Class ;
fun FormalMeeting_Class : SubClass FormalMeeting Meeting ;

-- FossilFuel is the subclass of Fuel whose
-- instances are derived from fossilized organic deposits, such as Coal
-- and LiquefiedPetroleumGas.
fun FossilFuel : Class ;
fun FossilFuel_Class : SubClass FossilFuel (both Fuel PetroleumProduct) ;

-- A SportsAttribute that indicates that the GamePiece of
-- a Sport is no longer in play because it has gone beyond the limits of the
-- sports field.
fun Foul : Ind SportsAttribute ;

-- Setting up an Organization.
fun Founding : Class ;
fun Founding_Class : SubClass Founding (both Declaring OrganizationalProcess) ;

-- Canines with a bushy tail and pointed ears and nose.
-- Foxes tend to be much smaller than most DomesticDogs.
fun Fox : Class ;
fun Fox_Class : SubClass Fox Canine ;

-- An Attribute which indicates that the associated Object is very breakable.
fun Fragile : Ind BreakabilityAttribute ;

-- Any Atom which is not part of a Molecule.
fun FreeAtom : Class ;
fun FreeAtom_Class : SubClass FreeAtom Atom ;

-- A Romance language that is the official language
-- of France and Belgium, and is widely spoken in Africa.
fun FrenchLanguage : Ind (both SpokenHumanLanguage NaturalLanguage) ;

-- Any PsychologicalProcess where the patient comes to feel Anxiety.
fun Frightening : Class ;
fun Frightening_Class : SubClass Frightening PsychologicalProcess ;

-- Furrowing the forehead in such a way as to convey unhappiness.
fun Frowning : Class ;
fun Frowning_Class : SubClass Frowning FacialExpression ;

-- Fuel is the class of Substances that can be
-- used as resources in Combustion processes in order to produce heat.
-- Mechanical energy can be produced by burning fuel in an Engine.
fun Fuel : Class ;
fun Fuel_Class : SubClass Fuel Substance ;

-- Any Position where the employee is either
-- salaried or paid for at least 40 hour of work per week.
fun FullTimePosition : Class ;
fun FullTimePosition_Class : SubClass FullTimePosition Position ;

-- Indicates that a Device is performing its
-- intended function.
fun Functioning : Ind DeviceAttribute ;

-- A FormalMeeting whose purpose is to commemorate the Death of someone.
fun Funeral : Class ;
fun Funeral_Class : SubClass Funeral FormalMeeting ;

-- Any free_standing and movable Artifacts which are not which are
-- used in day_to_day living and designed to rest on the Floor of a Room.
fun Furniture : Class ;
fun Furniture_Class : SubClass Furniture Artifact ;

-- The process of transitioning from a state of being Unconscious to
-- a state of being Awake.
fun GainingConsciousness : Class ;
fun GainingConsciousness_Class : SubClass GainingConsciousness PsychologicalProcess ;

-- An Artifact that is designed to be used as an instrument in a Game.
fun GameArtifact : Class ;
fun GameArtifact_Class : SubClass GameArtifact Artifact ;

-- Any ContestAttribute that is specific to a Game.
fun GameAttribute : Class ;
fun GameAttribute_Class : SubClass GameAttribute ContestAttribute ;

-- A GameArtifact which is intended to be used as the
-- game area for playing a particular game.
fun GameBoard : Class ;
fun GameBoard_Class : SubClass GameBoard GameArtifact ;

-- A decision issued by an official referee in a
-- Game. Note that GameCall is a subclass of Declaring, because these
-- decisions have binding, normative force.
fun GameCall : Class ;
fun GameCall_Class : SubClass GameCall (both Deciding Declaring) ;

-- A small cube with 1 to 6 dots on each face that is
-- used to generate numbers at random in a Game.
fun GameDie : Class ;
fun GameDie_Class : SubClass GameDie GamePiece ;

-- The location where a GameShot must end up if it
-- is to constitute a Score.
fun GameGoal : Class ;
fun GameGoal_Class : SubClass GameGoal GameArtifact ;

-- A GameArtifact that is moved around in a game
-- area.
fun GamePiece : Class ;
fun GamePiece_Class : SubClass GamePiece GameArtifact ;

-- A position which involves adjudicating contested
-- Maneuvers in a Game, i.e. deciding whether or not the Maneuvers are
-- permitted by the rules of the Game.
fun GameReferee : Class ;
fun GameReferee_Class : SubClass GameReferee SkilledOccupation ;

-- Impelling a GamePiece for the purpose of
-- scoring a point or preventing the opposing player or team from scoring
-- a point. Note that this class does not cover shots which are disallowed
-- by the rules of the game.
fun GameShot : Class ;
fun GameShot_Class : SubClass GameShot (both Impelling Maneuver) ;

-- A Building or part of a Building which is intended to house
-- one or more Automobiles when they are not in use or are under
-- repair.
fun Garage : Class ;
fun Garage_Class : SubClass Garage StationaryArtifact ;

-- GasolineEngine is the subclass of
-- InternalCombustionEngines that use Gasoline as their resource.
fun GasolineEngine : Class ;
fun GasolineEngine_Class : SubClass GasolineEngine InternalCombustionEngine ;

-- A Mollusk with a distinct head that has no
-- shell (e.g. slugs) or a univalve shell (e.g. snails).
fun Gastropod : Class ;
fun Gastropod_Class : SubClass Gastropod Mollusk ;

-- GeneralElection is the subclass of
-- Elections that are held at regular intervals and in which all or most
-- constituencies of a GeopoliticalArea participate.
fun GeneralElection : Class ;
fun GeneralElection_Class : SubClass GeneralElection Election ;

-- A Germanic language that is spoken primarily in
-- Germany and Austria.
fun GermanLanguage : Ind (both SpokenHumanLanguage NaturalLanguage) ;

-- A HumanChild who is Female.
fun Girl : Class ;
fun Girl_Class : SubClass Girl (both HumanChild Woman) ;

-- A transparent or translucent Mixture of silicates.
fun Glass : Class ;
fun Glass_Class : SubClass Glass Mixture ;

-- Clothing that is intended to be worn on the Hand.
-- Note that this class covers both gloves which have individual compartments
-- for each of the Fingers and mittens.
fun Glove : Class ;
fun Glove_Class : SubClass Glove Clothing ;

-- Any Mixture whose purpose is to be used as the instrument
-- of Attaching one thing to another.
fun Glue : Class ;
fun Glue_Class : SubClass Glue Mixture ;

-- A DiseaseOrSyndrome which is due to an Iodine deficiency
-- and which results in an enlarged ThyroidGland.
fun Goiter : Ind DiseaseOrSyndrome ;

-- A subclass of Bird with webbed feet and a long neck
-- and a large body. These Birds are often raised for their Meat.
fun Goose : Class ;
fun Goose_Class : SubClass Goose Poultry ;

-- A building belonging to a Government
fun GovernmentBuilding : Class ;
fun GovernmentBuilding_Class : SubClass GovernmentBuilding Building ;

-- Any Profession where the position occupied
-- is within a GovernmentOrganization.
fun GovernmentOfficer : Class ;
fun GovernmentOfficer_Class : SubClass GovernmentOfficer Profession ;

-- A person who works for a Government.
fun GovernmentPerson : Ind OccupationalRole ;

-- The class of Positions where the position holder
-- is head of an adminstrative department of Government.
fun GovernmentSecretary : Class ;
fun GovernmentSecretary_Class : SubClass GovernmentSecretary SkilledOccupation ;

-- The head of the Government of an AmericanState.
fun Governor : Ind Position ;

-- A School which is devoted to a specific
-- subject area, which admits students that have a bachelor's degree, which
-- grants masters and/or doctorate degrees, and which is part of a University.
fun GraduateSchool : Class ;
fun GraduateSchool_Class : SubClass GraduateSchool PostSecondarySchool ;

-- An Icon which depicts one or more quantities.
fun GraphDiagram : Class ;
fun GraphDiagram_Class : SubClass GraphDiagram Icon ;

-- FloweringPlants with green, narrow leaves that are
-- used for lawns and Fields. Grass includes any plant of the family
-- Gramineae, a widely distributed group of mostly annual and perennial
-- herbs.
fun Grass : Class ;
fun Grass_Class : SubClass Grass FloweringPlant ;

-- Insects with enormous legs that are used for
-- jumping.
fun Grasshopper : Class ;
fun Grasshopper_Class : SubClass Grasshopper Insect ;

-- A SecondaryColor that results from mixing Black and
-- White.
fun GrayColor : Ind SecondaryColor ;

-- An Indo_European language that is spoken in Greece.
fun GreekLanguage : Ind (both SpokenHumanLanguage NaturalLanguage) ;

-- A SecondaryColor that resembles the color of fresh
-- grass.
fun Green : Ind SecondaryColor ;

-- Any instance of Expressing an acknowledgment of a
-- person's arrival. Note that this class is not a subclass of ExpressingInLanguage,
-- because it covers gestures of greeting, e.g. Waving and Nodding in certain
-- circumstances.
fun Greeting : Class ;
fun Greeting_Class : SubClass Greeting Expressing ;

fun GroceryProduce : Class ;
fun GroceryProduce_Class : SubClass GroceryProduce (both FruitOrVegetable PlantAgriculturalProduct) ;

-- A RetailStore that sells Food, and perhaps
-- other items as well.
fun GroceryStore : Class ;
fun GroceryStore_Class : SubClass GroceryStore RetailStore ;

-- Any Group which contains exclusively
-- non_human members.
fun GroupOfAnimals : Class ;
fun GroupOfAnimals_Class : SubClass GroupOfAnimals Group ;

-- A StringInstrument that has six to twelve strings and
-- is played by strumming with one hand while grasping frets with the other hand.
fun Guitar : Class ;
fun Guitar_Class : SubClass Guitar StringInstrument ;

-- A Weapon that shoots a Projectile.
fun Gun : Class ;
fun Gun_Class : SubClass Gun (both ProjectileLauncher Weapon) ;

-- The part of a Gun through which a Projectile travels
-- when it is fired.
fun GunBarrel : Class ;
fun GunBarrel_Class : SubClass GunBarrel EngineeringComponent ;

-- A Mixture of potassium nitrate, sulfur, and
-- charcoal that is used in ExplosiveDevices and to propell Projectiles
-- in ProjectileWeapons.
fun GunPowder : Class ;
fun GunPowder_Class : SubClass GunPowder Mixture ;

-- The part of a Gun that is placed against the
-- shoulder to absorb some of the recoil action when it is fired.
fun GunStock : Class ;
fun GunStock_Class : SubClass GunStock EngineeringComponent ;

-- The part of the Gun which is pulled in Shooting
-- the Gun.
fun GunTrigger : Class ;
fun GunTrigger_Class : SubClass GunTrigger EngineeringComponent ;

-- A filament that covers part of the body of many
-- Mammals.
fun Hair : Class ;
fun Hair_Class : SubClass Hair AnimalAnatomicalStructure ;

-- Removing (some or all) the Hair from the
-- body of an Animal. Note that this covers shaving hair, cutting hair,
-- pulling hair out by the roots, etc.
fun HairRemoval : Class ;
fun HairRemoval_Class : SubClass HairRemoval Removing ;

-- A Device that is used to pound Nails into a
-- surface, where they become firmly attached.
fun Hammer : Class ;
fun Hammer_Class : SubClass Hammer Device ;

-- The grasping, fingered part of an upper limb of a
-- Primate.
fun Hand : Class ;
fun Hand_Class : SubClass Hand (both AnimalAnatomicalStructure BodyPart) ;

-- Any Gesture which involves the Hands.
fun HandGesture : Class ;
fun HandGesture_Class : SubClass HandGesture Gesture ;

-- A hand grenade is a small explosive device
-- with a simple trigger mechanism, usually lasting a few seconds, designed
-- to be propelled by a human to its target.
fun HandGrenade : Class ;
fun HandGrenade_Class : SubClass HandGrenade Bomb ;

-- An attack in which a HandGrenade is
-- employed as an explosive device for the purpose of Destruction.
-- A case in which a hand grenade is used as a blunt striking object in
-- an attack would not be in this class.
fun HandgrenadeAttack : Class ;
fun HandgrenadeAttack_Class : SubClass HandgrenadeAttack Bombing ;

-- The part or parts of an Artifact that are designed to be
-- held with the Hands when the Artifact is used or carried.
fun Handle : Class ;
fun Handle_Class : SubClass Handle EngineeringComponent ;

-- The BodyPosition where one rests on one's hands
-- and extends one's feet in the air.
fun Handstand : Ind BodyPosition ;

-- Suffocating someone by suspending him/her from
-- a rope wound around the neck until asphyxiation occurs.
fun Hanging : Class ;
fun Hanging_Class : SubClass Hanging Suffocating ;

-- The state of being happy, experiencing pleasure,
-- joy or contentment. Note that this Attribute covers both active enjoyment,
-- as well as the emotional state of simply being free from anxiety or fear.
fun Happiness : Ind EmotionalState ;

-- Gathering the plant results of Agriculture.
fun Harvesting : Class ;
fun Harvesting_Class : SubClass Harvesting Removing ;

-- A type of Clothing that is worn on the Head. Note
-- that this class covers caps, bonnets, berets, etc.
fun Hat : Class ;
fun Hat_Class : SubClass Hat Clothing ;

-- The part of the body containing the sense organs and
-- the brain.
fun Head : Class ;
fun Head_Class : SubClass Head (both AnimalAnatomicalStructure BodyPart) ;

-- Pain that that is restricted to the Head.
fun Headache : Ind EmotionalState ;

-- Any VehicleLight which is attached to the front of a Vehicle.
fun Headlight : Class ;
fun Headlight_Class : SubClass Headlight VehicleLight ;

-- The Organ that pumps Blood throughout the body.
fun Heart : Class ;
fun Heart_Class : SubClass Heart (both AnimalAnatomicalStructure Organ) ;

-- A Device whose purpose is Heating something,
-- e.g. electric heaters, heat lamps, ovens, stoves, etc.
fun HeatingDevice : Class ;
fun HeatingDevice_Class : SubClass HeatingDevice Device ;

-- Any Aircraft with rapidly rotating wings.
fun Helicopter : Class ;
fun Helicopter_Class : SubClass Helicopter Aircraft ;

-- A Female Chicken.
fun Hen : Class ;
def Hen = KappaFn Chicken (\H -> attribute (var Chicken Object ? H) (el SexAttribute Attribute ? Female)) ;

-- A plant_eating Mammal.
fun Herbivore : Class ;
fun Herbivore_Class : SubClass Herbivore Mammal ;

-- A School which admits students who have
-- graduated from a middle school and which normally covers the ninth through
-- twelfth grades. A HighSchool confers a high school diploma.
fun HighSchool : Class ;
fun HighSchool_Class : SubClass HighSchool School ;

-- Robbing a Vehicle and then driving
-- or piloting it away.
fun Hijacking : Class ;
fun Hijacking_Class : SubClass Hijacking Robbing ;

-- An EngineeringComponent that connects one thing to
-- another in such a way that they can move relative to one another.
fun Hinge : Class ;
fun Hinge_Class : SubClass Hinge EngineeringComponent ;

-- A FactualAccount that describes
-- significant events that occurred in the past.
fun HistoricalAccount : Class ;
fun HistoricalAccount_Class : SubClass HistoricalAccount (both FactualText NarrativeText) ;

-- The recording and interpretation of past events involving
-- Humans, including political events and cultural practices.
fun History : Ind FieldOfStudy ;

-- HoistingDevice is a subclass of
-- mechanical Devices that provide a mechanical advantage in lifting
-- and lowering, e.g., by use of a block and tackle.
fun HoistingDevice : Class ;
fun HoistingDevice_Class : SubClass HoistingDevice MaterialHandlingEquipment ;

-- A large class of Devices whose purpose is to hold
-- something else, i.e. be the instrument of a Keeping.
fun Holder : Class ;
fun Holder_Class : SubClass Holder Device ;

-- A stiff piece of Paper, usually folded over, which
-- is sent to others in celebration of a Holiday.
fun HolidayCard : Class ;
fun HolidayCard_Class : SubClass HolidayCard ContentBearingObject ;

-- A Container for a Pistol. It is generally made of
-- Leather and worn on either the shoulder or the waist.
fun Holster : Class ;
fun Holster_Class : SubClass Holster Container ;

-- The final BaseballBase which must be touched
-- by the batter in order to achieve a BaseballRun.
fun HomeBase : Class ;
fun HomeBase_Class : SubClass HomeBase BaseballBase ;

-- An edible, sweet Substance produced by some species of
-- Bees.
fun Honey : Class ;
fun Honey_Class : SubClass Honey (both AnimalSubstance Food) ;

-- The hard end of the Foot of a HoofedMammal.
fun Hoof : Class ;
fun Hoof_Class : SubClass Hoof (both AnimalAnatomicalStructure BodyPart) ;

-- A Hormone secreted by the ThyroidGland.
fun HormoneTSH : Class ;
fun HormoneTSH_Class : SubClass HormoneTSH Hormone ;

-- An outgrowth of Bone that is found on some
-- HoofedMammals.
fun Horn : Class ;
fun Horn_Class : SubClass Horn Bone ;

-- A MusicalInstrument which is played by
-- blowing it. It uses lip vibration to generates sound and control part
-- of the pitch generation process as well.
fun HornInstrument : Class ;
fun HornInstrument_Class : SubClass HornInstrument MusicalInstrument ;

-- A domesticated HoofedMammal that is used for
-- transportation and work.
fun Horse : Class ;
fun Horse_Class : SubClass Horse (both HoofedMammal Livestock) ;

-- Any instance of Carrying where the Animal is
-- a Horse.
fun HorseRiding : Class ;
fun HorseRiding_Class : SubClass HorseRiding Carrying ;

-- A Building that serves at the place of business for
-- a HospitalOrganization.
fun HospitalBuilding : Class ;
fun HospitalBuilding_Class : SubClass HospitalBuilding TemporaryResidence ;

-- A CareOrganization where patients reside for a
-- short period of time while they undergo treatment for a disease or disorder.
fun HospitalOrganization : Class ;
fun HospitalOrganization_Class : SubClass HospitalOrganization CareOrganization ;

-- An event in which one agent keeps another
-- against his or her will, in order to force it or a third agent to
-- accede to some demand. The hostages are typically kept in the place
-- where they are first taken hostage, in contrast to a Kidnapping.
-- Hostage taking often involves a number of people (although it may be
-- just one), again, in contrast to a Kidnapping.
fun HostageTaking : Class ;
fun HostageTaking_Class : SubClass HostageTaking UnilateralGetting ;

-- A building which servers the purpose of a temporary
-- home for people, either for people who are travelling, or occasionally for
-- those who do not have another more permanent residence. A hotel is
-- distinguished from a homeless shelter, or a residence loaned to a friend
-- in that the primary purpose of the building is to generate revenue in
-- return for the priviledge of staying there. Many hotels contains other
-- facilities such as Restaurants or health clubs or even miscellaneous stores
-- although that is not their primary business or purpose.
fun Hotel : Class ;
fun Hotel_Class : SubClass Hotel (both Building TemporaryResidence) ;

-- A role occupied by a wife who manages the home
-- while her husband earns income for the family.
fun Housewife : Ind SocialRole ;

-- The class of Humans that are 18 years of
-- age or older.
fun HumanAdult : Class ;
fun HumanAdult_Class : SubClass HumanAdult Human ;

-- A Human between birth and the first year of age.
fun HumanBaby : Class ;
fun HumanBaby_Class : SubClass HumanBaby HumanChild ;

-- A HumanYouth between birth and puberty, i.e a
-- Human who is NonFullyFormed.
fun HumanChild : Class ;
fun HumanChild_Class : SubClass HumanChild HumanYouth ;

-- A Dead thing which was formerly a Human.
fun HumanCorpse : Class ;
fun HumanCorpse_Class : SubClass HumanCorpse OrganicObject ;

-- A Human who is owned by someone else.
fun HumanSlave : Ind SocialRole ;

-- The class of Humans that are younger than
-- 18 years of age.
fun HumanYouth : Class ;
fun HumanYouth_Class : SubClass HumanYouth Human ;

-- The Attribute that applies to Animals and Humans
-- when they want Food.
fun Hungry : Ind BiologicalAttribute ;

-- Any OrganicCompound that contains only Carbon
-- and Hydrogen.
fun Hydrocarbon : Class ;
fun Hydrocarbon_Class : SubClass Hydrocarbon OrganicCompound ;

-- The part of the Brain lying below the
-- thalamus that serves to regulate AutonomicProcesses.
fun Hypothalamus : Class ;
fun Hypothalamus_Class : SubClass Hypothalamus (both AnimalAnatomicalStructure BodyPart) ;

-- Water that has the PhysicalState of Solid.
fun Ice : Class ;
def Ice = KappaFn Water (\ICE -> attribute (var Water Object ? ICE) (el PhysicalState Attribute ? Solid)) ;

-- A proposition is Illegal just in case it is inconsistent
-- with any proposition that is a Law.
fun Illegal : Ind DeonticAttribute ;

-- Forming a mental picture of something which
-- is not present.
fun Imagining : Class ;
fun Imagining_Class : SubClass Imagining PsychologicalProcess ;

-- Any Translocation by a Human from one Nation
-- to another Nation where the person is not a citizen for the purpose of taking
-- up residence.
fun Immigrating : Class ;
fun Immigrating_Class : SubClass Immigrating Translocation ;

-- The class of Confining processes where the detainee
-- is put in Prison.
fun Imprisoning : Class ;
fun Imprisoning_Class : SubClass Imprisoning Confining ;

-- An attack in which an agent
-- uses a device which causes fire in order to destroy life or property.
fun IncendiaryDeviceAttack : Class ;
fun IncendiaryDeviceAttack_Class : SubClass IncendiaryDeviceAttack (both Combustion ViolentContest) ;

-- Moving one's body downward from a vertical position.
-- Note that this class covers cases of leaning forward, as well as those of
-- reclining backwards.
fun Inclining : Class ;
fun Inclining_Class : SubClass Inclining (both BodyMotion MotionDownward) ;

-- A Tax on annual income.
fun IncomeTax : Class ;
fun IncomeTax_Class : SubClass IncomeTax Tax ;

-- Pointing out a person, place or thing with
-- one's hand or with an Artifact.
fun Indicating : Class ;
fun Indicating_Class : SubClass Indicating (both BodyMotion Communication) ;

-- Any Region which is enclosed by a Building.
fun Indoors : Ind Region ;

-- A Building or part of a Building or group
-- of Buildings whose purpose is to Manufacture something.
fun IndustrialPlant : Class ;
fun IndustrialPlant_Class : SubClass IndustrialPlant StationaryArtifact ;

-- The class of Collections of Corporations
-- which are in the same line of business.
fun Industry : Class ;
fun Industry_Class : SubClass Industry Collection ;

-- Any DiseaseOrSyndrome that is caused by a
-- Microorganism.
fun InfectiousDisease : Class ;
fun InfectiousDisease_Class : SubClass InfectiousDisease DiseaseOrSyndrome ;

-- An event in which an agent joins an
-- organization under false pretenses. The objective of such an act
-- is often to gather information helpful to a rival organization.
fun Infiltration : Class ;
fun Infiltration_Class : SubClass Infiltration JoiningAnOrganization ;

-- Any Quantity that is not limited or bounded
-- in magnitude.
fun InfiniteQuantity : Class ;
fun InfiniteQuantity_Class : SubClass InfiniteQuantity Quantity ;

-- Any instance of Breathing where the breath is
-- taken into the Lungs.
fun Inhaling : Class ;
fun Inhaling_Class : SubClass Inhaling Breathing ;

-- Any UnilateralGetting where the agent
-- receives some part of the property of a person upon the death of the
-- person.
fun Inheriting : Class ;
fun Inheriting_Class : SubClass Inheriting UnilateralGetting ;

-- Inside is a PositionalAttribute used to
-- describe the relative location of one object or region to another
-- region. For example, (orientation Virginia UnitedStates Inside).
fun Inside : Ind PositionalAttribute ;

-- Putting a Device in a location and configuring
-- the Device so that it can be used as intended after the installation.
fun Installing : Class ;
fun Installing_Class : SubClass Installing Putting ;

-- Music which is produced (at least in part)
-- by a MusicalInstrument.
fun InstrumentalMusic : Class ;
fun InstrumentalMusic_Class : SubClass InstrumentalMusic Music ;

-- A Hormone secreted by the Pancreas that is used
-- to regulate the metabolism of Carbohydrates.
fun Insulin : Class ;
fun Insulin_Class : SubClass Insulin Hormone ;

-- A CommercialAgent that insures Agents
-- for the payment of a premium or premiums.
fun InsuranceCompany : Class ;
fun InsuranceCompany_Class : SubClass InsuranceCompany CommercialAgent ;

-- A Certificate that states the terms of an
-- insurance contract.
fun InsurancePolicy : Class ;
fun InsurancePolicy_Class : SubClass InsurancePolicy Certificate ;

-- The FieldOfStudy of designing the interiors of Buildings.
fun InteriorDesign : Ind FieldOfStudy ;

-- InternalCombustionEngine is
-- the subclass of Engines in which a heat reaction that occurs inside
-- the engine is transformed into mechanical energy.
fun InternalCombustionEngine : Class ;
fun InternalCombustionEngine_Class : SubClass InternalCombustionEngine Engine ;

-- An Attribute that applies to Propositions
-- that express Laws concerning the relations between Nations.
fun InternationalLaw : Ind DeonticAttribute ;

-- A FormalMeeting whose purpose is to acquire
-- information from the interviewee that can be used in a media report.
fun Interviewing : Class ;
fun Interviewing_Class : SubClass Interviewing FormalMeeting ;

-- A BodyVessel which connects the Stomach to
-- the anus and which is used in digesting Food.
fun Intestine : Class ;
fun Intestine_Class : SubClass Intestine (both AnimalAnatomicalStructure BodyVessel) ;

-- An item of value purchased for income or capital appreciation.
fun Investment : Class ;
fun Investment_Class : SubClass Investment FinancialAsset ;

-- An electronically charged Atom or Molecule. In
-- other words, a PureSubstance that has lost one of its Electrons.
fun Ion : Class ;
fun Ion_Class : SubClass Ion PureSubstance ;

-- A very hard substance that makes up the tusks of
-- elephants and walruses.
fun Ivory : Class ;
fun Ivory_Class : SubClass Ivory Bone ;

-- Any Position which involves cleaning a Building
-- or some of the Rooms within a Building.
fun Janitor : Class ;
fun Janitor_Class : SubClass Janitor UnskilledOccupation ;

-- The Profession of being a news reporter, i.e.
-- investigating and reporting, in a publication or broadcast program, current
-- events.
fun Journalist : Class ;
fun Journalist_Class : SubClass Journalist Profession ;

-- An Attorney who has the power of deciding legal cases.
fun Judge : Class ;
fun Judge_Class : SubClass Judge (both Attorney GovernmentOfficer) ;

-- Any MotionUpward which is done by one's body
-- and which results in a situation where one's feet are unsupported.
fun Jumping : Class ;
fun Jumping_Class : SubClass Jumping (both BodyMotion MotionUpward) ;

-- The class of PostSecondarySchools that
-- offer an associate's degree and do not offer a bachelor's degree.
fun JuniorCollege : Class ;
fun JuniorCollege_Class : SubClass JuniorCollege PostSecondarySchool ;

-- A GroupOfPeople who are given the duty of rendering a
-- verdict with respect to a LegalAction.
fun Jury : Class ;
fun Jury_Class : SubClass Jury GroupOfPeople ;

-- A Device which opens and closes a Lock.
fun Key : Class ;
fun Key_Class : SubClass Key SecurityDevice ;

-- Any instance of Impelling where the instrument
-- is a Foot of the agent.
fun Kicking : Class ;
fun Kicking_Class : SubClass Kicking Impelling ;

-- An event in which one agent keeps another
-- against his or her will, in order to force it or a third agent to
-- accede to some demand. The kidnapped party is normally removed from
-- the location where first attacked. In contrast to a HotageTaking,
-- a kidnapping normally involves an attack on one, or a very small
-- number of people, such as a couple.
fun Kidnapping : Class ;
fun Kidnapping_Class : SubClass Kidnapping Robbing ;

-- An Organ that separates urine from other
-- BodySubstances and passes it to the bladder.
fun Kidney : Class ;
fun Kidney_Class : SubClass Kidney (both AnimalAnatomicalStructure Organ) ;

-- The class of Touching processes where the lips
-- of two persons are brought into contact with each other.
fun Kissing : Class ;
fun Kissing_Class : SubClass Kissing Touching ;

-- A Room intended for Cooking.
fun Kitchen : Class ;
fun Kitchen_Class : SubClass Kitchen Room ;

-- The joint in the Leg connecting the tibia and fibula
-- with the femur.
fun Knee : Class ;
fun Knee_Class : SubClass Knee BodyJoint ;

-- The BodyPosition of resting one's weight on one's Knees.
fun Kneeling : Ind BodyPosition ;

-- A sharp object used for cutting. The object must
-- have at least single blade or major protrusion which may be sharp at its
-- end as well. It may be sharp on both sides, or just one. Unlike an awl
-- it has a sharp edge rather than a point. Unlike scissors, it is a single
-- blade without additional articulated parts. Unlike an axe, a knife is
-- well_designed for slicing rather than chopping, although a heavy knife
-- such as a broadsword can also be used for chopping, whereas a non_knife is
-- not well designed for slicing meat for example. A knife can be small like
-- a pocket knife, or large like a two_handed broadsword. A knife may also
-- include other protrusions such as in the split swords and trident_like
-- objects (that also possess a long sharp edge) in Chinese weaponry.
fun Knife : Class ;
fun Knife_Class : SubClass Knife CuttingDevice ;

-- An attack in which a knife is used.
fun KnifeAttack : Class ;
fun KnifeAttack_Class : SubClass KnifeAttack ViolentContest ;

-- A SocialRole that is assigned by the
-- UnitedKingdom to persons for reasons of personal merit.
fun Knight : Ind SocialRole ;

-- Any joint in a Finger.
fun Knuckle : Class ;
fun Knuckle_Class : SubClass Knuckle BodyJoint ;

-- A very brief Text that is attached to an Object
-- and that indicates very specific information about the Object, e.g. its
-- name, its monetaryValue, etc.
fun Label : Class ;
fun Label_Class : SubClass Label Text ;

-- A Process in which some or all of the
-- employees of an Organization refuse to work until their pay is
-- increased or their working conditions are improved in some respect.
fun LaborStriking : Class ;
fun LaborStriking_Class : SubClass LaborStriking OrganizationalProcess ;

-- A Building, Room or suite of Rooms where
-- scientific research, i.e. Experimenting, is conducted.
fun Laboratory : Class ;
fun Laboratory_Class : SubClass Laboratory StationaryArtifact ;

-- An Artifact which consists of two parallel supports
-- connected by a series of rungs which can be used to ascend or descend.
fun Ladder : Class ;
fun Ladder_Class : SubClass Ladder Artifact ;

-- A young Sheep, i.e. a Sheep that is NonFullyFormed.
fun Lamb : Class ;
def Lamb = KappaFn Sheep (\L -> attribute (var Sheep Object ? L)
(el DevelopmentalAttribute Attribute ? NonFullyFormed)) ;

-- Any instance of Transportation where the
-- instrument is a LandVehicle.
fun LandTransportation : Class ;
fun LandTransportation_Class : SubClass LandTransportation Transportation ;

-- LandVehicle is the class of TransportationDevices that travel on
-- land. The two main types of LandVehicle are RoadVehicle and
-- RailVehicle. Note that this includes vehicles which travel on any solid
-- surface, including a frozen body of water or snow.
fun LandVehicle : Class ;
fun LandVehicle_Class : SubClass LandVehicle Vehicle ;

-- Any instance of Translocation which ends up on something other
-- than an AtmosphericRegion and which has an instance of Flying as a subProcess.
fun Landing : Class ;
fun Landing_Class : SubClass Landing Translocation ;

-- (LastFn ?LIST) returns the last item in the
-- List ?LIST. For example, (LastFn (ListFn Monday Tuesday
-- Wednesday)) would return the value of Wednesday.
fun LastFn : El List -> Ind Entity ;

-- A Language that was spoken in ancient Rome and
-- is still the official language of the Vatican.
fun LatinLanguage : Ind (both SpokenHumanLanguage NaturalLanguage) ;

-- Expressing happiness by Vocalizing in a
-- certain way.
fun Laughing : Class ;
fun Laughing_Class : SubClass Laughing (both FacialExpression Vocalizing) ;

-- Any RegulatoryProcess where the agent is either
-- a PoliceOrganization or a member of a PoliceOrganization. This covers
-- everything from issuing a traffic ticket to arresting someone on suspicion of having
-- committed a Murder.
fun LawEnforcement : Class ;
fun LawEnforcement_Class : SubClass LawEnforcement (both PoliticalProcess RegulatoryProcess) ;

-- A CultivatedLandArea and Field
-- containing mowed Grass.
fun Lawn : Class ;
fun Lawn_Class : SubClass Lawn (both CultivatedLandArea Field) ;

-- Any OrganismProcess where an Egg is expelled
-- from the body of a Animal, e.g. a Bird or Reptile laying eggs.
fun LayingEggs : Class ;
fun LayingEggs_Class : SubClass LayingEggs OrganismProcess ;

-- A Fabric that is the result of tanning an Animal
-- Skin.
fun Leather : Class ;
fun Leather_Class : SubClass Leather Fabric ;

-- The initial part of any instance of Translocation.
fun Leaving : Class ;
fun Leaving_Class : SubClass Leaving Translocation ;

-- Any instance of Speaking which is done before an
-- assembled audience.
fun Lecture : Class ;
fun Lecture_Class : SubClass Lecture (both Demonstrating Speaking) ;

-- The lower Limbs of Primates.
fun Leg : Class ;
fun Leg_Class : SubClass Leg Limb ;

-- A proposition is Legal just in case it is not inconsistent
-- with any proposition that is a Law.
fun Legal : Ind DeonticAttribute ;

-- Asking that a higher court reconsider a LegalDecision
-- of a lower court.
fun LegalAppeal : Class ;
fun LegalAppeal_Class : SubClass LegalAppeal (both JudicialProcess Requesting) ;

-- Any LegalDecision where the defendant is found
-- not to be guilty of the crime for which the corresponding trial was held.
fun LegalAquittal : Class ;
fun LegalAquittal_Class : SubClass LegalAquittal LegalDecision ;

-- Any LegalDecision which gives to the plaintiff of
-- the corresponding LegalAction some amount of monetary compensation.
fun LegalAward : Class ;
fun LegalAward_Class : SubClass LegalAward LegalDecision ;

-- Any LegalAction of which a Government is
-- the agent.
fun LegalCharge : Class ;
fun LegalCharge_Class : SubClass LegalCharge LegalAction ;

-- Any LegalDecision where the defendant is found
-- guilty of the crime for which the corresponding trial was held.
fun LegalConviction : Class ;
fun LegalConviction_Class : SubClass LegalConviction LegalDecision ;

-- Any LegalDecision where the LegalAction of
-- the plaintiff is dismissed by the court, e.g. for lack of merit.
fun LegalDismissal : Class ;
fun LegalDismissal_Class : SubClass LegalDismissal LegalDecision ;

-- An Argument that explains the reasoning behind a
-- LegalDecision.
fun LegalOpinion : Class ;
fun LegalOpinion_Class : SubClass LegalOpinion Argument ;

-- An official order that a person appear at a
-- CourtRoom at a specified time.
fun LegalSummons : Class ;
fun LegalSummons_Class : SubClass LegalSummons (both JudicialProcess Ordering) ;

-- The Attribute of being a proposed law,
-- i.e. being under consideration by a legislative body of Government.
fun LegislativeBill : Ind DeonticAttribute ;

-- LegislativeOrganization is the
-- class of Organizations that have as their main purpose the passing of
-- laws or regulations.
fun LegislativeOrganization : Class ;
fun LegislativeOrganization_Class : SubClass LegislativeOrganization Organization ;

-- A citrus FruitOrVegetable that has a Yellow skin
-- and a tart, acidic flavor.
fun LemonFruit : Class ;
fun LemonFruit_Class : SubClass LemonFruit (both Food FruitOrVegetable) ;

-- Increasing the length of something.
fun Lengthening : Class ;
fun Lengthening_Class : SubClass Lengthening Increasing ;

-- An OpticalDevice which consists of a polished,
-- transparent piece of glass or plastic. Lenses are often part of
-- other OpticalDevices.
fun Lens : Class ;
fun Lens_Class : SubClass Lens OpticalDevice ;

-- Any AbnormalAnatomicalStructure which is the result of
-- an Injuring and which is found on the surface of an Organ.
fun Lesion : Class ;
fun Lesion_Class : SubClass Lesion AbnormalAnatomicalStructure ;

-- A brief message which is intended to be mailed
-- to a person or Organization.
fun Letter : Class ;
fun Letter_Class : SubClass Letter FactualText ;

-- An attack with a bomb that is
-- concealed in a letter or package, which is typically designed to
-- explode upon opening.
fun LetterBombAttack : Class ;
fun LetterBombAttack_Class : SubClass LetterBombAttack Bombing ;

-- The ShapeAttribute of Objects where no
-- part of the top of the Object is higher than any other part of the
-- top.
fun LevelShape : Ind ShapeAttribute ;

-- An EducationalOrganization which is a repository
-- of Texts which have been classified for efficient retrieval.
fun Library : Class ;
fun Library_Class : SubClass Library EducationalOrganization ;

-- License is the subclass of Certificates that
-- are granted by a GovernmentOrganization and that authorize the performance
-- of a kind of action, e.g., driving, exporting, travelling to another
-- country, etc.
fun License : Class ;
fun License_Class : SubClass License Certificate ;

-- The class of Touching processes where the Tongue
-- is brought into contact with something else.
fun Licking : Class ;
fun Licking_Class : SubClass Licking Touching ;

-- A commissioned MilitaryOfficer.
fun Lieutenant : Class ;
fun Lieutenant_Class : SubClass Lieutenant MilitaryOfficer ;

-- The second_in_command of some Governments
-- of AmericanStates.
fun LieutenantGovernor : Ind Position ;

-- Any Device whose purpose is to be a source of
-- visible light.
fun LightFixture : Class ;
fun LightFixture_Class : SubClass LightFixture Device ;

-- A WeatherProcess which involves a significant
-- release of electricity from a Cloud.
fun Lightning : Class ;
fun Lightning_Class : SubClass Lightning (both Radiating WeatherProcess) ;

-- A FloweringPlant that has large clusters of
-- aromatic flowers.
fun Lilac : Class ;
fun Lilac_Class : SubClass Lilac FloweringPlant ;

-- Any of the limbs of a Vertebrate.
-- Animal Appendages with joints that are used for movement
-- and grasping.
fun Limb : Class ;
fun Limb_Class : SubClass Limb (both AnimalAnatomicalStructure BodyPart) ;

-- A ShapeAttribute that applies to
-- Collections and indicates that all of the members of the Collection
-- are arrayed in a line, i.e. each member (except possibly the first) is
-- behind or to the side of exactly one other member.
fun LineFormation : Ind ShapeAttribute ;

-- Any Attribute that is
-- expressed by a Language or class of Languages.
fun LinguisticAttribute : Class ;
fun LinguisticAttribute_Class : SubClass LinguisticAttribute InternalAttribute ;

-- The field of linguistics.
fun Linguistics : Ind SocialScience ;

-- Folds of Tissue surrounding the mouths of some
-- Vertebrates.
fun Lip : Class ;
fun Lip_Class : SubClass Lip (both AnimalAnatomicalStructure BodyPart) ;

-- LiquefiedPetroleumGas is a
-- compressed hydrocarbon gas.
fun LiquefiedPetroleumGas : Class ;
fun LiquefiedPetroleumGas_Class : SubClass LiquefiedPetroleumGas (both FossilFuel RefinedPetroleumProduct) ;

-- Any BodySubstance which is Liquid
-- under normal circumstances.
fun LiquidBodySubstance : Class ;
fun LiquidBodySubstance_Class : SubClass LiquidBodySubstance BodySubstance ;

-- A UnitOfMeasure used in preparing AlcoholicBeverages.
fun LiquorShot : Ind UnitOfVolume ;

-- The ability to read and write. Someone who
-- has this Attribute is able to read and write.
fun LiteracyAttribute : Ind TraitAttribute ;

-- The study of literature, i.e. instances of FictionalText
-- that are regarded as having special merit.
fun Literature : Ind FieldOfStudy ;

-- An Organ that secretes bile and serves metabolic
-- functions.
fun Liver : Class ;
fun Liver_Class : SubClass Liver (both AnimalAnatomicalStructure Organ) ;

-- Livestock is the class of live animals
-- raised as AgriculturalProducts.
fun Livestock : Class ;
fun Livestock_Class : SubClass Livestock (both AnimalAgriculturalProduct DomesticAnimal) ;

-- Inserting ammunition into a ProjectileWeapon
-- in such a way that the ammunition can be fired by the weapon.
fun LoadingWeapon : Class ;
fun LoadingWeapon_Class : SubClass LoadingWeapon Inserting ;

-- A Device, which, through a Key or a combination prevents
-- access to a Container or StationaryArtifact.
fun Lock : Class ;
fun Lock_Class : SubClass Lock SecurityDevice ;

-- A three dimensional object that
-- has two thin dimensions and one markedly larger one.
fun LongAndThin : Ind ShapeAttribute ;

-- The process of transitioning from a state
-- of being Awake to a state of being Unconscious.
fun LosingConsciousness : Class ;
fun LosingConsciousness_Class : SubClass LosingConsciousness PsychologicalProcess ;

-- The ContestAttribute that applies to a Contest
-- participant who has lost the Contest.
fun Lost : Ind ContestAttribute ;

-- A respiratory organ of Vertebrates. Its function is
-- to furnish the blood with oxygen and to remove carbon dioxide.
fun Lung : Class ;
fun Lung_Class : SubClass Lung (both AnimalAnatomicalStructure Organ) ;

-- The BodyMotion of moving from a Sitting
-- to a Prostrate position.
fun LyingDown : Class ;
fun LyingDown_Class : SubClass LyingDown (both BodyMotion MotionDownward) ;

-- A lynching is a form of Killing conducted under
-- a thin guise of legitimacy by a vigilante group. It may be a purge of an
-- individual from the group who is perceived to have gone astray, or it may
-- be the summary execution of an individual outside the group that the group
-- has determined has violated some law or code, either of the group, or the
-- larger society. A lynching is distinguished from a legal execution in
-- that the laws of a government are not followed in carrying out the
-- killing. A lynching is distinguished from a murder in that there is the
-- pretense of some process carried out by a group in the name of their own
-- group or a higher power.
fun Lynching : Class ;
fun Lynching_Class : SubClass Lynching Killing ;

-- Any Text which is intended to be sung.
fun Lyrics : Class ;
fun Lyrics_Class : SubClass Lyrics Text ;

-- A Periodical that is softbound and printed on
-- glossy paper.
fun Magazine : Class ;
fun Magazine_Class : SubClass Magazine Periodical ;

-- Any instance of RadiatingElectromagnetic which
-- involves the attraction of Iron.
fun Magnetism : Class ;
fun Magnetism_Class : SubClass Magnetism RadiatingElectromagnetic ;

-- Any ServicePosition where various needs of a person
-- or family are served over a long period of time. Note that these Positions
-- are, by definition, filled only by Women.
fun Maid : Class ;
fun Maid_Class : SubClass Maid ServicePosition ;

-- A Container whose purpose is to receive items
-- that are mailed to the address associated with the Mailbox.
fun Mailbox : Class ;
fun Mailbox_Class : SubClass Mailbox Container ;

-- Any instance of Transfer where a postal system is
-- used to move the patient, either a letter or a package.
fun Mailing : Class ;
fun Mailing_Class : SubClass Mailing Transfer ;

-- A CerealGrain which is found on long ears of a Plant
-- native to the Americas.
fun MaizeGrain : Class ;
fun MaizeGrain_Class : SubClass MaizeGrain (both CerealGrain GroceryProduce) ;

-- A MilitaryGeneral that ranks above a BrigadierGeneral.
fun MajorGeneral : Class ;
fun MajorGeneral_Class : SubClass MajorGeneral MilitaryGeneral ;

-- Indicates that a Device is not performing
-- its intended function.
fun Malfunctioning : Ind DeviceAttribute ;

-- A pipe which has several outlets for other pipes that flow
-- into or out of it.
fun Manifold : Class ;
fun Manifold_Class : SubClass Manifold EngineeringComponent ;

-- Any Position which involves manual
-- work.
fun ManualLabor : Class ;
fun ManualLabor_Class : SubClass ManualLabor Position ;

-- An Icon which represents one or more GeographicAreas
-- (or even the entire Earth).
fun Map : Class ;
fun Map_Class : SubClass Map Icon ;

-- A metamorphic Rock that is used in Constructing
-- and in creating Sculptures.
fun Marble : Class ;
fun Marble_Class : SubClass Marble Rock ;

-- An area, building, or set of buildings
-- where FinancialTransactions are intended to take place. There should
-- be more than one owner or renter of space or buildings within the
-- marketplace.
fun Marketplace : Class ;
fun Marketplace_Class : SubClass Marketplace GeographicArea ;

-- A Contract between a married couple
-- about how assets owned by the couple will be distributed in the event
-- that the couple is divorced.
fun MarriageContract : Ind DeonticAttribute ;

-- A PoliceOfficer whose responsibility is to enforce
-- the decisions of a law court.
fun Marshal : Class ;
fun Marshal_Class : SubClass Marshal PoliceOfficer ;

-- A subclass of TherapeuticProcess which involves
-- kneading Muscles in such a way that tension is relieved, blood circulation
-- is increased, etc.
fun Massaging : Class ;
fun Massaging_Class : SubClass Massaging (both TherapeuticProcess Touching) ;

-- A large pole in the center of a WaterVehicle which is
-- used to support a sail.
fun Mast : Class ;
fun Mast_Class : SubClass Mast Artifact ;

-- A small stick of carboard or wood that is treated
-- with chemicals that can be easily ignited with friction. MatchDevices are
-- used for starting fires.
fun MatchDevice : Class ;
fun MatchDevice_Class : SubClass MatchDevice Device ;

-- MaterialHandlingEquipment is a class of Devices that are equipment used for handling goods and
-- supplies more efficiently or safely. Examples are cranes, hoists, forklifts, conveyors, racks, etc.
fun MaterialHandlingEquipment : Class ;
fun MaterialHandlingEquipment_Class : SubClass MaterialHandlingEquipment Device ;

-- The FieldOfStudy dealing with quantities and their
-- relations to one another.
fun Mathematics : Ind FieldOfStudy ;

-- Any process of sexual intercourse between two Humans
-- or Animals.
fun Mating : Class ;
fun Mating_Class : SubClass Mating OrganismProcess ;

-- The head of the Government of a City.
fun Mayor : Ind Position ;

-- MediaOrganization is the subclass
-- of Organization for groups whose primary purpose is the production or
-- dissemination of media content. For organizations that physically enable
-- Communication, see CommunicationOrganization.
fun MediaOrganization : Class ;
fun MediaOrganization_Class : SubClass MediaOrganization Organization ;

-- A CareOrganization which provides medical care
-- on an out_patient basis only, i.e. there are no rooms where patients may take
-- up residence for a period of time while they receive care.
fun MedicalClinic : Class ;
fun MedicalClinic_Class : SubClass MedicalClinic CareOrganization ;

fun MedicalClinicBuilding : Class ;
fun MedicalClinicBuilding_Class : SubClass MedicalClinicBuilding Building ;

-- The Profession of being a medical doctor,
-- i.e. having attended medical school and being licensed to practice medicine.
fun MedicalDoctor : Class ;

-- A GraduateSchool that is devoted to
-- MedicalScience and that grants the degree of doctor of medicine.
fun MedicalSchool : Class ;
fun MedicalSchool_Class : SubClass MedicalSchool GraduateSchool ;

-- The field of medicine.
fun MedicalScience : Ind Science ;

-- Any BiologicallyActiveSubstance which has a
-- therapeutic effect under certain conditions.
fun Medicine : Class ;
fun Medicine_Class : SubClass Medicine BiologicallyActiveSubstance ;

-- The process of committing a Text to memory.
fun Memorizing : Class ;
fun Memorizing_Class : SubClass Memorizing Learning ;

-- A periodic discharge of Blood and other
-- BiologicalSubstances by Females that is part of a readjustment of
-- the uterus.
fun Menstruation : Class ;
fun Menstruation_Class : SubClass Menstruation OrganOrTissueProcess ;

-- A FactualText which is intended to be delivered to
-- and read by a Human, GroupOfPeople or Organization.
fun Message : Class ;
fun Message_Class : SubClass Message FactualText ;

-- Any instance of Transfer where a Message is the
-- patient.
fun Messaging : Class ;
fun Messaging_Class : SubClass Messaging Transfer ;

-- A Mixture of two or more Metals, and possibly
-- nonmetallic elements as well. For example, steel is an alloy containing iron
-- and manganese.
fun MetallicAlloy : Class ;
fun MetallicAlloy_Class : SubClass MetallicAlloy Mixture ;

-- Any Meteoroid that leaves traces on the surface
-- of Earth.
fun Meteorite : Class ;
fun Meteorite_Class : SubClass Meteorite Meteoroid ;

-- Any AstronomicalBody that breaks through the
-- Atmosphere of Earth.
fun Meteoroid : Class ;
fun Meteoroid_Class : SubClass Meteoroid AstronomicalBody ;

-- MetricTon is a UnitOfMeasure that represents
-- a weight of 2,205 PoundMass.
fun MetricTon : Ind UnitOfMass ;

-- A CommunicationDevice that converts sound
-- into electrical energy.
fun Microphone : Class ;
fun Microphone_Class : SubClass Microphone (both CommunicationDevice ElectricDevice) ;

-- An OpticalDevice with a stand and a focus, which is
-- used for magnifying the images of things that are placed in the stand.
fun Microscope : Class ;
fun Microscope_Class : SubClass Microscope OpticalDevice ;

-- A militant is someone who is not
-- officially authorized by a government to engage in combat, but who
-- does so on behalf of a PoliticalOrganization.
fun Militant : Ind SocialRole ;

-- Any Aircraft which is made for a
-- MilitaryOrganization. This includes fighters, Bombers, attack
-- helicopters, etc.
fun MilitaryAircraft : Class ;
fun MilitaryAircraft_Class : SubClass MilitaryAircraft (both Aircraft MilitaryVehicle) ;

-- Any Artifact which is made for a
-- MilitaryOrganization.
fun MilitaryArtifact : Class ;
fun MilitaryArtifact_Class : SubClass MilitaryArtifact Artifact ;

-- Any MilitaryUnit with the rank of
-- corps.
fun MilitaryCorps : Class ;
fun MilitaryCorps_Class : SubClass MilitaryCorps MilitaryUnit ;

-- A GeographicArea along which opposing military
-- forces confront one another in a Battle.
fun MilitaryFront : Class ;
fun MilitaryFront_Class : SubClass MilitaryFront GeographicArea ;

-- MilitaryGeneral is a generic Position
-- that indicates holding (or having held) the rank of General in some
-- military force. An indicator that someone uses the title, without
-- committing to his or her exact rank or military affiliation.
fun MilitaryGeneral : Class ;
fun MilitaryGeneral_Class : SubClass MilitaryGeneral MilitaryOfficer ;

-- Any Process by a MilitaryOrganization
-- which involves moving through enemy positions without detection by the enemy.
fun MilitaryInfiltration : Class ;
fun MilitaryInfiltration_Class : SubClass MilitaryInfiltration (both MilitaryProcess Translocation) ;

-- A StationaryArtifact consisting of grounds
-- and Buildings that is intended to be used by a MilitaryOrganization.
fun MilitaryInstallation : Class ;
fun MilitaryInstallation_Class : SubClass MilitaryInstallation (both MilitaryArtifact StationaryArtifact) ;

-- Any Maneuver which takes place in a Battle
-- and which is intended to secure a tactical advantage for one of the agents of
-- the Battle.
fun MilitaryManeuver : Class ;
fun MilitaryManeuver_Class : SubClass MilitaryManeuver Maneuver ;

-- The class of Soldiers who have authority or command.
fun MilitaryOfficer : Class ;
fun MilitaryOfficer_Class : SubClass MilitaryOfficer Soldier ;

-- Someone who is a member of a
-- ModernMilitaryOrganization.
fun MilitaryPerson : Ind OccupationalRole ;

-- An enlisted Soldier of the lowest rank.
fun MilitaryPrivate : Class ;
fun MilitaryPrivate_Class : SubClass MilitaryPrivate Soldier ;

-- MilitaryReserveForce is the subclass
-- of MilitaryOrganizations that consist of forces trained in military
-- procedures and activities, which are subject to being called to active duty
-- if needed.
fun MilitaryReserveForce : Class ;
fun MilitaryReserveForce_Class : SubClass MilitaryReserveForce MilitaryOrganization ;

-- The study of the principles of war.
fun MilitaryScience : Ind FieldOfStudy ;

-- A branch of the armed forces of a Nation.
-- For example, there are five military services in the United States, the army,
-- the navy, the air force, the marines, and the coast guard.
fun MilitaryService : Class ;
fun MilitaryService_Class : SubClass MilitaryService MilitaryOrganization ;

-- Any Ship which is made for a MilitaryOrganization.
-- This includes aircraft carriers, destroyers, etc.
fun MilitaryShip : Class ;
fun MilitaryShip_Class : SubClass MilitaryShip (both MilitaryWaterVehicle Ship) ;

-- Any MilitaryUnit with the rank of squad.
fun MilitarySquad : Class ;
fun MilitarySquad_Class : SubClass MilitarySquad MilitaryUnit ;

-- Any MilitaryArtifact which is sold to a
-- non_military customer.
fun MilitarySurplus : Class ;
fun MilitarySurplus_Class : SubClass MilitarySurplus MilitaryArtifact ;

-- A MilitaryVehicle that moves along the ground
-- on treaded wheels and that contains a large cannon.
fun MilitaryTank : Class ;
fun MilitaryTank_Class : SubClass MilitaryTank (both ArtilleryGun (both MilitaryVehicle RoadVehicle)) ;

-- Any MilitaryOrganization that can be dispatched
-- to an area of operations.
fun MilitaryUnit : Class ;
fun MilitaryUnit_Class : SubClass MilitaryUnit MilitaryOrganization ;

-- Any Vehicle which is intended to be
-- used by a MilitaryOrganization. MilitaryVehicle Military platforms which are also vehicles.
-- This would include things like airplanes and tanks, but exclude things like
-- towed platforms.
fun MilitaryVehicle : Class ;
fun MilitaryVehicle_Class : SubClass MilitaryVehicle Vehicle ;

-- MilitaryWaterVehicle is the class of
-- all WaterVehicle owned or leased for use by some MilitaryOrganization.
fun MilitaryWaterVehicle : Class ;
fun MilitaryWaterVehicle_Class : SubClass MilitaryWaterVehicle WaterVehicle ;

-- A nutritious BodySubstance produced by Mammals
-- that has evolved to provide nourishment for their offspring during
-- their initial period of life.
fun Milk : Class ;
fun Milk_Class : SubClass Milk (both Beverage LiquidBodySubstance) ;

-- The UnitOfDuration of 1000 years.
fun MillenniumDuration : Ind UnitOfDuration ;

-- An construction in the earth from which Minerals are removed,
-- either in pure form or as part of ores.
fun Mine : Class ;
fun Mine_Class : SubClass Mine StationaryArtifact ;

-- MiningProduct is the class of things
-- that are produced from the earth for human use by mining or another form
-- of extraction. This includes metal ores, petroleum, and other products.
fun MiningProduct : Class ;
fun MiningProduct_Class : SubClass MiningProduct Product ;

-- An Artifact with a surface that is capable of
-- displaying an image by reflecting light.
fun Mirror : Class ;
fun Mirror_Class : SubClass Mirror Artifact ;

-- A Projectile which is propelled by a rocket and
-- contains a Bomb.
fun Missile : Class ;
fun Missile_Class : SubClass Missile (both Projectile SelfPoweredDevice) ;

-- The class of ReligiousOrganizations
-- that send members to foreign countries with the aim of coverting citizens
-- of those countries to the beliefs of the ReligiousOrganization.
fun MissionOrganization : Class ;
fun MissionOrganization_Class : SubClass MissionOrganization ReligiousOrganization ;

-- Anything which serves to house people but
-- which changes its location from time to time, e.g. a motorhome, a mobile
-- home, a camp, etc. Note that MobileResidence is disjoint from Residence,
-- because the latter is a subclass of StationaryArtifact.
fun MobileResidence : Class ;
fun MobileResidence_Class : SubClass MobileResidence Artifact ;

-- Any Position which involves posing for an
-- artist or photographer.
fun ModellingPosition : Class ;
fun ModellingPosition_Class : SubClass ModellingPosition Position ;

-- Music which has a single part, i.e. Music
-- which cannot be divided into two or more contemporaneous subProcesses which
-- are also instances of Music.
fun MonophonicMusic : Class ;
fun MonophonicMusic_Class : SubClass MonophonicMusic Music ;

-- A StationaryArtifact whose purpose is to commemorate
-- a person, animal or event.
fun Monument : Class ;
fun Monument_Class : SubClass Monument StationaryArtifact ;

-- The class of TimeIntervals that begin at Sunrise
-- and end at noon.
fun Morning : Class ;
fun Morning_Class : SubClass Morning DayTime ;

-- A mortar is a bomb that is shot at a location. A
-- howitzer is a weapon that fires mortars. The mortar may not include the
-- propelling charge that provides the motive force for delivering it to its
-- target, which distinguishes it from a rocket. A mortar is distinguished
-- from other bombs in that it is propelled rather than exploded in place, or
-- dropped, or propelled by human power.
fun Mortar : Class ;
fun Mortar_Class : SubClass Mortar Weapon ;

-- An attack in which a Mortar weapon is
-- used.
fun MortarAttack : Class ;
fun MortarAttack_Class : SubClass MortarAttack Bombing ;

-- A short_range Gun that is positioned on the ground
-- at a high angle and fires explosive shells.
fun MortarGun : Class ;
fun MortarGun_Class : SubClass MortarGun ArtilleryGun ;

-- Nocturnal Insect with a large body and antennae.
fun Moth : Class ;
fun Moth_Class : SubClass Moth Insect ;

-- A discrete part of a MotionPicture which is set in
-- the same time period and the same location.
fun MotionPictureScene : Class ;
fun MotionPictureScene_Class : SubClass MotionPictureScene MotionPicture ;

-- A unit of action in a MotionPicture, a
-- MotionPictureShot is a sequence of images which are captured by a single
-- camera without interruption.
fun MotionPictureShot : Class ;
fun MotionPictureShot_Class : SubClass MotionPictureShot MotionPicture ;

-- Motorcycle is the subclass of RoadVehicles
-- that have two wheels one behind the other in the frame, upon which the rider
-- sits on a seat above the engine.
fun Motorcycle : Class ;
fun Motorcycle_Class : SubClass Motorcycle (both SelfPoweredRoadVehicle RoadVehicle) ;

-- MotorizedRailwayCar is the subclass
-- of railway cars that carry their own power source.
fun MotorizedRailwayCar : Class ;
fun MotorizedRailwayCar_Class : SubClass MotorizedRailwayCar (both PoweredVehicle RollingStock) ;

-- Any BodyMotion which results in being On
-- something else.
fun Mounting : Class ;
fun Mounting_Class : SubClass Mounting BodyMotion ;

-- A Rodent that has a hairless tail like a rat but that
-- is smaller than a Rat.
fun Mouse : Class ;
fun Mouse_Class : SubClass Mouse Rodent ;

-- Part of the Face, used for Ingesting Food
-- and Vocalizing.
fun Mouth : Class ;
fun Mouth_Class : SubClass Mouth (both AnimalAnatomicalStructure BodyPart) ;

-- The process of changing one's residence, i.e.
-- moving one's belongs to a new home.
fun MovingResidence : Class ;
fun MovingResidence_Class : SubClass MovingResidence Transfer ;

-- The product of a Male Donkey and a Female
-- Horse. Mules are always sterile.
fun Mule : Class ;
fun Mule_Class : SubClass Mule (both DomesticAnimal HoofedMammal) ;

-- Impermissible Killing of a Human.
fun Murder : Class ;
fun Murder_Class : SubClass Murder (both CriminalAction Killing) ;

-- An EducationalOrganization where Artifacts of historic,
-- scientific or aesthetic value are collected and exhibited.
fun Museum : Class ;
fun Museum_Class : SubClass Museum EducationalOrganization ;

-- An AudioRecording of Music. Note that
-- many AudioRecordings contain music, so only an audio recording without
-- any music would be an instance of AudioRecording rather than of
-- MusicRecording.
fun MusicRecording : Class ;
fun MusicRecording_Class : SubClass MusicRecording AudioRecording ;

-- A Text in a Language that represents a form of music.
fun MusicText : Class ;
fun MusicText_Class : SubClass MusicText Text ;

-- A Text that expresses the notes,
-- words, etc. of a song or other sort of Music.
fun MusicalComposition : Class ;
fun MusicalComposition_Class : SubClass MusicalComposition Text ;

-- A GroupOfPeople that create Music
-- together.
fun MusicalGroup : Class ;
fun MusicalGroup_Class : SubClass MusicalGroup GroupOfPeople ;

-- A Performance that consists exclusively of
-- Music, e.g. an orchestra playing a symphony to an assembled audience.
fun MusicalPerformance : Class ;
fun MusicalPerformance_Class : SubClass MusicalPerformance Performance ;

-- A Process of RadiatingSound where the
-- sound has a fundamental frequency and 0 or more partial frequencies
-- or unrelated transients or noise components that have a lesser
-- amplitude than the fundamental.
fun MusicalTone : Class ;
fun MusicalTone_Class : SubClass MusicalTone RadiatingSound ;

-- A Musician is someone who is capable of giving a MusicalPerformance.
-- This includes amateurs and others who don't formally make a living at the activity
-- or choose it as a profession.
fun Musician : Ind SocialRole ;

-- A FictionalText whose central plot element is a
-- crime of some sort, usually a murder.
fun MysteryStory : Class ;
fun MysteryStory_Class : SubClass MysteryStory FictionalText ;

-- An AttachingDevice which is a thin piece of metal, with
-- or without a head, that is fastened with a Hammer.
fun Nail : Class ;
fun Nail_Class : SubClass Nail AttachingDevice ;

-- Any of the horny structures which are found
-- on the DigitAppendages of Primates and other Animals. This includes
-- fingernails and toenails.
fun NailDigit : Class ;
fun NailDigit_Class : SubClass NailDigit AnimalAnatomicalStructure ;

-- Any Text that tells a story, whether true
-- or false.
fun NarrativeText : Class ;
fun NarrativeText_Class : SubClass NarrativeText Text ;

-- A Flag that is the official flag of a Nation,
-- e.g. the stars and stripes is the NationalFlag of the UnitedStates.
fun NationalFlag : Class ;
fun NationalFlag_Class : SubClass NationalFlag Flag ;

-- The German PoliticalParty headed by Adolf Hitler.
fun NaziParty : Ind PoliticalParty ;

-- The part of the body that connects the Head to the
-- rest of the body.
fun Neck : Class ;
fun Neck_Class : SubClass Neck (both AnimalAnatomicalStructure BodyPart) ;

-- A sweet, sticky liquid that is produced by Plants
-- and that attracts Insects.
fun Nectar : Class ;
fun Nectar_Class : SubClass Nectar PlantSubstance ;

-- A Contest where each participant attempts to
-- maximize his self_interest in a Promise that marks the end of the Contest.
fun Negotiating : Class ;
fun Negotiating_Class : SubClass Negotiating (both Contest LinguisticCommunication) ;

-- The Cells that make up a NervousSystem.
fun NerveCell : Class ;
fun NerveCell_Class : SubClass NerveCell (both AnimalAnatomicalStructure Cell) ;

-- Any structure which is created by nonhuman Animals for
-- the purpose of giving birth to their offspring.
fun Nest : Class ;
fun Nest_Class : SubClass Nest CorpuscularObject ;

-- Any PsychologicalDysfunction which is not due
-- to an organic impairment of the NervousSystem.
fun Neurosis : Class ;
fun Neurosis_Class : SubClass Neurosis PsychologicalDysfunction ;

-- The second and final part of the ChristianBible,
-- describing the life and teachings of Jesus Christ and the activities of his
-- apostles.
fun NewTestament : Class ;
fun NewTestament_Class : SubClass NewTestament Book ;

-- A BroadcastProgram that is devoted to
-- reporting the latest events in a city, region, nation or the world at
-- large.
fun NewsProgram : Class ;
fun NewsProgram_Class : SubClass NewsProgram BroadcastProgram ;

-- The Profession of being a news reporter, i.e.
-- investigating and reporting, in a publication or broadcast program, current
-- events.
fun NewsReporter : Ind Profession ;

-- A Periodical that is published on a daily or
-- weekly basis, that contains Reports, and whose issues are printed on
-- newsprint paper.
fun Newspaper : Class ;
fun Newspaper_Class : SubClass Newspaper Periodical ;

-- The class of TimeIntervals that begin at Sunset
-- and end at Sunrise.
fun NightTime : Class ;
fun NightTime_Class : SubClass NightTime TimeInterval ;

-- Moving the Head up and down or side to side
-- to indicate approval or disapproval.
fun Nodding : Class ;
fun Nodding_Class : SubClass Nodding Gesture ;

-- Any Organization whose purpose is something
-- other than making a profit.
fun NonprofitOrganization : Class ;
fun NonprofitOrganization_Class : SubClass NonprofitOrganization Organization ;

-- The class of DiseaseOrSyndromes that are not
-- caused by a single type of Microorganism.
fun NonspecificDisease : Class ;
fun NonspecificDisease_Class : SubClass NonspecificDisease DiseaseOrSyndrome ;

-- The Organ of Smelling.
fun Nose : Class ;
fun Nose_Class : SubClass Nose (both AnimalAnatomicalStructure Organ) ;

-- Either of two BodyVessels that run through the Nose
-- and connect it to the Throat.
fun Nostril : Class ;
fun Nostril_Class : SubClass Nostril (both AnimalAnatomicalStructure BodyVessel) ;

-- A FictionalText that is larger than a ShortStory
-- and that is bound independently (i.e. it is a Book).
fun Novel : Class ;
fun Novel_Class : SubClass Novel (both Book FictionalText) ;

-- A NuclearFamily is a SocialUnit composed
-- of at least two and not more than three generations of familyRelations:
-- parents, their children, and possibly the parents' parents (children's
-- grandparents).
fun NuclearFamily : Class ;
fun NuclearFamily_Class : SubClass NuclearFamily (both FamilyGroup SocialUnit) ;

-- An ExplosiveDevice and RadioactiveWeapon
-- which achieves its effect by means of a critical mass of a radioactive substance.
fun NuclearWeapon : Class ;
fun NuclearWeapon_Class : SubClass NuclearWeapon (both ExplosiveDevice (both RadioactiveWeapon Weapon)) ;

-- Any WoodArtifact that is made from the Wood of an oak tree.
fun OakWood : Class ;
fun OakWood_Class : SubClass OakWood WoodArtifact ;

-- A Device consisting of a flat, broad surface attached to a
-- handle that is used as an instrument in Rowing.
fun Oar : Class ;
fun Oar_Class : SubClass Oar TransportationDevice ;

-- Any TwoDimensionalAngle that has an
-- angularMeasure that is greater than 90 AngularDegrees.
fun ObliqueAngle : Class ;
fun ObliqueAngle_Class : SubClass ObliqueAngle TwoDimensionalAngle ;

-- (OccupationFn ?PROCESS) denotes the
-- subclass of ?PROCESS where instances of ?PROCESS are performed as
-- one's occupation, i.e. as part of a FinancialTransaction where one
-- earns money for the performance of ?PROCESS.
fun OccupationFn : El IntentionalProcess -> Desc FinancialTransaction ;

-- A Role of a Human in a OrganizationalProcess.
fun OccupationalRole : Class ;
fun OccupationalRole_Class : SubClass OccupationalRole Position ;

-- Any Position that involves skilled manual work.
fun OccupationalTrade : Class ;
fun OccupationalTrade_Class : SubClass OccupationalTrade (both ManualLabor SkilledOccupation) ;

-- Offering to sell something to someone.
fun OfferingForSale : Class ;
fun OfferingForSale_Class : SubClass OfferingForSale Offering ;

-- Offering to buy something from someone.
fun OfferingToPurchase : Class ;
fun OfferingToPurchase_Class : SubClass OfferingToPurchase Offering ;

-- A building in which work activities take
-- place which is not primarily designed for manufacturing or retail sales.
fun OfficeBuilding : Class ;
fun OfficeBuilding_Class : SubClass OfficeBuilding Building ;

-- A greasy, viscous Solution that cannot be mixed with Water.
-- Note that this general class covers petroleum oil, vegetable oil, animal fat, etc.
fun Oil : Class ;
fun Oil_Class : SubClass Oil Solution ;

-- Any Paint which is an oil_based Solution.
fun OilPaint : Class ;
fun OilPaint_Class : SubClass OilPaint Paint ;

-- Any OilPicture which is created
-- with oil_based paints.
fun OilPicture : Class ;
fun OilPicture_Class : SubClass OilPicture PaintedPicture ;

-- The first part of the ChristianBible, describing
-- the history of the Hebrew people.
fun OldTestament : Class ;
fun OldTestament_Class : SubClass OldTestament Book ;

-- An Ontology is a
-- ClassificationScheme that links concepts via many different
-- relations. Ontologies typically are not restricted to binary
-- relations and are structured by several kinds of conceptual
-- hierarchies, including set_ or class_based subsumption, spatial
-- containment, mereology
-- (theory of parts and wholes), and logical contexts. Thus,
-- an ontology typically includes multiple taxonomies.
fun Ontology : Class ;
fun Ontology_Class : SubClass Ontology ClassificationScheme ;

-- The Class of Processes where an aperture is
-- created in an Object. Note that the aperture may be created intentionally,
-- as when one opens a door, or unintentionally, as when the ground ruptures
-- in a seismic event.
fun Opening : Class ;
fun Opening_Class : SubClass Opening Motion ;

-- The BodyMotion of relaxing the eye lids so that
-- the corneas are exposed to light.
fun OpeningEyes : Class ;
fun OpeningEyes_Class : SubClass OpeningEyes (both EyeMotion Opening) ;

-- A DramaticPlay that is set to Music.
fun Opera : Class ;
fun Opera_Class : SubClass Opera DramaticPlay ;

-- A Device which enables someone to see something
-- more clearly or with greater magnification.
fun OpticalDevice : Class ;
fun OpticalDevice_Class : SubClass OpticalDevice Device ;

-- A SecondaryColor that results from mixing Red
-- and Yellow and resembles the color of a ripe orange fruit.
fun OrangeColor : Ind SecondaryColor ;

-- A citrus FruitOrVegetable that has an OrangeColor skin and a sweet, acidic flavor.
fun OrangeFruit : Class ;
fun OrangeFruit_Class : SubClass OrangeFruit (both Food FruitOrVegetable) ;

-- A GroupOfPeople that create InstrumentalMusic together.
fun Orchestra : Class ;
fun Orchestra_Class : SubClass Orchestra MusicalGroup ;

-- The Process of directing an orchestra.
fun OrchestralConducting : Class ;
fun OrchestralConducting_Class : SubClass OrchestralConducting Guiding ;

-- A Sentence that expresses an order for something or that something be done.
fun Order : Class ;
def Order = KappaFn Sentence (\SENTENCE -> exists Ordering (\ORDER -> result (var Ordering Process ? ORDER) (var Sentence Entity ? SENTENCE)));

-- Any CompoundSubstance that has a Carbon base.
fun OrganicCompound : Class ;
fun OrganicCompound_Class : SubClass OrganicCompound CompoundSubstance ;

-- Any BiologicalProcess that results in the formation of an Organ.
fun Organification : Class ;
fun Organification_Class : SubClass Organification OrganOrTissueProcess ;

-- Part of an Organization that
-- is responsible for managing the Organization.
fun OrganizationalBoard : Class ;
fun OrganizationalBoard_Class : SubClass OrganizationalBoard Organization ;

-- The process of two or more
-- Organizations merging into a single Organization.
fun OrganizationalMerging : Class ;
fun OrganizationalMerging_Class : SubClass OrganizationalMerging OrganizationalProcess ;

-- A method for representing the sounds of a Language
-- with written Characters.
fun Orthography : Class ;
fun Orthography_Class : SubClass Orthography Procedure ;

-- Any BiologicalProcess that results in the
-- formation of Bones.
fun Ossification : Class ;
fun Ossification_Class : SubClass Ossification OrganOrTissueProcess ;

-- Clothing that is intended to be worn outdoors.
fun OutdoorClothing : Class ;
fun OutdoorClothing_Class : SubClass OutdoorClothing Clothing ;

-- Any Region which is not enclosed by a Building
-- or part of a Building.
fun Outdoors : Ind Region ;

-- The class of all Regions which are
-- neither GeographicAreas nor AtmosphericRegions.
fun OuterSpaceRegion : Class ;
fun OuterSpaceRegion_Class : SubClass OuterSpaceRegion SpaceRegion ;

-- Outside is a PositionalAttribute used to
-- describe the relative location of one object or region to another
-- region. For example, (orientation Cuba UnitedStates Outside).
fun Outside : Ind PositionalAttribute ;

-- A HeatingDevice with a door for inserting and removing
-- Food that is to undergo Baking.
fun Oven : Class ;
fun Oven_Class : SubClass Oven (both Container HeatingDevice) ;

-- A nocturnal bird of prey with a large head and
-- forward_facing eyes.
fun Owl : Class ;
fun Owl_Class : SubClass Owl Bird ;

-- Any ChemicalProcess where Electrons
-- are removed from the substance undergoing the ChemicalProcess.
fun Oxidation : Class ;
fun Oxidation_Class : SubClass Oxidation ChemicalDecomposition ;

-- A single page of Text.
fun Page : Ind UnitOfInformation ;

-- A physical sensation of discomfort which can vary widely
-- in intensity.
fun Pain : Ind EmotionalState ;

-- Any Solution which is capable of Coloring something.
fun Paint : Class ;
fun Paint_Class : SubClass Paint Solution ;

-- Any ArtWork which is produced by Painting.
fun PaintedPicture : Class ;
fun PaintedPicture_Class : SubClass PaintedPicture ArtWork ;

-- The application of Paint to a surface. Note that
-- this class covers both ArtPainting (the creation of PaintedPictures), as
-- well as painting one's kitchen, for example.
fun Painting : Class ;
fun Painting_Class : SubClass Painting (both Coloring Covering) ;

-- A large Gland that secretes Insulin and other
-- substances.
fun Pancreas : Class ;
fun Pancreas_Class : SubClass Pancreas Gland ;

-- Paper is a flat sheet of fibers, usually produced by
-- spreading a wet solution of wood particles on a flat surface and drying
-- through heat and pressure. The fibers can also be cotton or a synthetic,
-- although typically the bulk of the substance is wood fibers. This
-- includes all manner of paper products that may have varying thicknesses,
-- colors or texture. This is distinguished from flat wood products such as
-- plywood and particle board which have a structural function in building
-- construction. Sheathing materials such as the paper affixed to sheetrock
-- however, is paper.
fun Paper : Class ;
fun Paper_Class : SubClass Paper Artifact ;

-- A Text which consists of one or more sentences,
-- begins with an indented line, and expresses a single topic.
fun Paragraph : Class ;
fun Paragraph_Class : SubClass Paragraph Text ;

-- A publicly owned LandArea which is intended to be used
-- for recreation and/or exercise.
fun Park : Class ;
fun Park_Class : SubClass Park LandArea ;

-- A LandArea which has been levelled, paved, and
-- marked off for parking Automobiles.
fun ParkingLot : Class ;
fun ParkingLot_Class : SubClass ParkingLot StationaryArtifact ;

-- Any Position where the employee is not
-- salaried and is paid for less than 40 hours of work per week.
fun PartTimePosition : Class ;
fun PartTimePosition_Class : SubClass PartTimePosition Position ;

-- A CommercialAgent that is owned by more
-- than one person.
fun Partnership : Class ;
fun Partnership_Class : SubClass Partnership CommercialAgent ;

-- A Text which is authored by a PoliticalParty
-- and which contains the core goals and principles of the PoliticalParty for a
-- particular year or election cycle.
fun PartyPlatform : Class ;
fun PartyPlatform_Class : SubClass PartyPlatform FactualText ;

-- A Certificate that allows the holder to
-- be at or away from a specified location, e.g. a pass for a leave of
-- absence, a hall pass, a pass to enter a cleared facility, etc.
fun PassCertificate : Class ;
fun PassCertificate_Class : SubClass PassCertificate Certificate ;

-- A Vehicle that is designed to
-- carry Humans. Note that Vehicles that are not designed to
-- carry people may still do so. For example, a boxcar might still
-- transport homeless people, but was not built to do so.
fun PassengerVehicle : Class ;
fun PassengerVehicle_Class : SubClass PassengerVehicle Vehicle ;

-- The Process of converting a LegislativeBill
-- into Law by a duly authorized legislative body of Government.
fun PassingABill : Class ;
fun PassingABill_Class : SubClass PassingABill (both Declaring PoliticalProcess) ;

-- A License which identifies the holder and permits
-- travel between different countries.
fun Passport : Class ;
fun Passport_Class : SubClass Passport License ;

-- A military deployment which is intended
-- to prevent hostilities between two other entities located in the same rough
-- geographic area.
fun PeaceKeepingMission : Class ;
fun PeaceKeepingMission_Class : SubClass PeaceKeepingMission MilitaryOrganization ;

-- A FruitOrVegetable that has a thick skin and the
-- shape of a tear drop.
fun PearFruit : Class ;
fun PearFruit_Class : SubClass PearFruit (both Food FruitOrVegetable) ;

-- Removing the Skin (or part of the Skin) from
-- an Organism. Note that this class covers a large range of cases, including
-- peeling an orange, pelting an Animal, etc.
fun Peeling : Class ;
fun Peeling_Class : SubClass Peeling Removing ;

-- A WritingDevice that consists of an encased piece of
-- graphite.
fun Pencil : Class ;
fun Pencil_Class : SubClass Pencil WritingDevice ;

-- A qualified retirement plan set up by a
-- corporation, labor union, government, or other organization for its
-- employees. Examples include profit_sharing plans, stock bonus and
-- employee stock ownership plans, thrift plans, target benefit plans,
-- money purchase plans, and defined benefit plans.
fun PensionPlan : Class ;
fun PensionPlan_Class : SubClass PensionPlan FinancialAccount ;

-- A MusicalInstrument which does not
-- have strings and which is played by striking it.
fun PercussionInstrument : Class ;
fun PercussionInstrument_Class : SubClass PercussionInstrument MusicalInstrument ;

-- A Demonstrating which includes DramaticActing
-- and/or Music and which is intended to entertain the audience.
fun Performance : Class ;
fun Performance_Class : SubClass Performance Demonstrating ;

-- A discrete subProcess of a Performance,
-- e.g. an act of a play, a movement of a performance of a symphony, etc.
fun PerformanceAct : Class ;
fun PerformanceAct_Class : SubClass PerformanceAct Performance ;

-- A Text that describes the events
-- and/or participants in a Performance.
fun PerformanceProgram : Class ;
fun PerformanceProgram_Class : SubClass PerformanceProgram FactualText ;

-- A large platform for theatrical plays,
-- lectures, dances, music recitals, etc, which can be observed by an audience.
fun PerformanceStage : Class ;
fun PerformanceStage_Class : SubClass PerformanceStage StationaryArtifact ;

-- A part of the PerformanceStage that is not
-- visible to members of the audience.
fun PerformanceStageWing : Class ;
fun PerformanceStageWing_Class : SubClass PerformanceStageWing StationaryArtifact ;

-- Any Publisher that publishes
-- Periodicals, e.g. newspaper and magazine publishing houses.
fun PeriodicalPublisher : Class ;
fun PeriodicalPublisher_Class : SubClass PeriodicalPublisher Publisher ;

-- PetroleumProduct is a broad class that
-- includes both crude oil (Petroleum) and RefinedPetroleumProducts.
fun PetroleumProduct : Class ;
fun PetroleumProduct_Class : SubClass PetroleumProduct (both MiningProduct Oil) ;

-- The Profession of being a pharmacist, i.e.
-- preparing and dispensing BiologicallyActiveSubstances.
fun Pharmacist : Class ;
fun Pharmacist_Class : SubClass Pharmacist Profession ;

-- The study of first principles, including epistemology,
-- metaphysics, and ethics.
fun Philosophy : Ind FieldOfStudy ;

-- An Icon that is the result of a process of Photographing.
fun Photograph : Class ;
fun Photograph_Class : SubClass Photograph Icon ;

-- Celluloid covered with an emulsion which can
-- be converted into photographic negatives by a Camera.
fun PhotographicFilm : Class ;
fun PhotographicFilm_Class : SubClass PhotographicFilm Artifact ;

-- ContentDevelopment where the instrument
-- is a camera and the result is a Photograph.
fun Photographing : Class ;
fun Photographing_Class : SubClass Photographing ContentDevelopment ;

-- The study of matter and energy and their relations.
fun Physics : Ind Science ;

-- The part of Biology dealing with the functioning of
-- Organisms.
fun Physiology : Ind Science ;

-- A StringInstrument with keys that, when pressed down,
-- activate hammers that, in turn, strike strings.
fun Piano : Class ;
fun Piano_Class : SubClass Piano StringInstrument ;

-- A frame which surrounds a PaintedPicture or
-- Photograph and has the function of protecting and accenting the picture.
fun PictureFrame : Class ;
fun PictureFrame_Class : SubClass PictureFrame Artifact ;

-- A domesticated HoofedMammal that is raised for pork.
fun Pig : Class ;
fun Pig_Class : SubClass Pig (both HoofedMammal Livestock) ;

-- A subclass of Bird with a stout body and short legs.
fun Pigeon : Class ;
fun Pigeon_Class : SubClass Pigeon Bird ;

-- A soft, stuffed Artifact to support the Head or
-- the body as a whole while one is sleeping or relaxing.
fun Pillow : Class ;
fun Pillow_Class : SubClass Pillow Artifact ;

-- A SecondaryColor that results from mixing Red and
-- White.
fun Pink : Ind SecondaryColor ;

-- Pipeline is the class of pipelines used
-- to transport various kinds of fluids.
fun Pipeline : Class ;
fun Pipeline_Class : SubClass Pipeline Transitway ;

-- A Firearm that is intended to be aimed and fired with a
-- single hand.
fun Pistol : Class ;
fun Pistol_Class : SubClass Pistol Firearm ;

-- The place where the pitcher in Baseball
-- stands when he is throwing balls to the batter.
fun PitchersMound : Class ;
fun PitchersMound_Class : SubClass PitchersMound GameArtifact ;

-- Throwing a Ball to the batter in a game of
-- Baseball or softball.
fun Pitching : Class ;
fun Pitching_Class : SubClass Pitching (both GameShot Throwing) ;

-- The main Gland of the endocrine system.
fun PituitaryGland : Class ;
fun PituitaryGland_Class : SubClass PituitaryGland Gland ;

-- A Building or part of a Building which is
-- intended for organizational activities, e.g. retail or wholesale selling,
-- manufacturing, office work, etc.
fun PlaceOfCommerce : Class ;
fun PlaceOfCommerce_Class : SubClass PlaceOfCommerce StationaryArtifact ;

-- Any place designed for ReligiousProcesses.
fun PlaceOfWorship : Class ;
fun PlaceOfWorship_Class : SubClass PlaceOfWorship Building ;

-- PlacingUnderArrest is the class of events in which a
-- CognitiveAgent, typically a law enforcement professional,
-- legally takes into custody a human or group of humans.
fun PlacingUnderArrest : Class ;
fun PlacingUnderArrest_Class : SubClass PlacingUnderArrest (both Capturing (both LawEnforcement (both LegalAction SocialInteraction))) ;

-- PlantAgriculturalProduct
-- is the class of AgriculturalProducts that are vegetable in nature,
-- in the widest sense, e.g., fruits, grains, green vegetables, cotton,
-- linen, flowers, wine grapes, hops.
fun PlantAgriculturalProduct : Class ;
fun PlantAgriculturalProduct_Class : SubClass PlantAgriculturalProduct AgriculturalProduct ;

-- The stem of a Plant or any shoot arising from
-- the stem of a Plant.
fun PlantBranch : Class ;
fun PlantBranch_Class : SubClass PlantBranch (both BodyPart PlantAnatomicalStructure) ;

-- An Organ of Plants whose main purpose is
-- photosynthesis.
fun PlantLeaf : Class ;
fun PlantLeaf_Class : SubClass PlantLeaf (both Organ PlantAnatomicalStructure) ;

-- An Organ of Plants whose main purpose is twofold, viz. to absorb
-- nutrients from the ground and to anchor the Plant in place.
fun PlantRoot : Class ;
fun PlantRoot_Class : SubClass PlantRoot (both Organ PlantAnatomicalStructure) ;

-- A small piece of stiff paper with markings
-- which is intended to be used for playing card games.
fun PlayingCard : Class ;
fun PlayingCard_Class : SubClass PlayingCard (both ContentBearingObject GameArtifact) ;

-- Stating in a court of law a claim about whether or
-- not one is guilty of the crime of which one has been accused.
fun Pleading : Class ;
fun Pleading_Class : SubClass Pleading Stating ;

-- An Artifact which is designed to fit snugly within a Hole.
fun Plug : Class ;
fun Plug_Class : SubClass Plug Artifact ;

-- Any occupation that involves installing, repairing, and
-- replacing pipes and pipe fixtures.
fun Plumber : Ind OccupationalTrade ;

-- A pouch of Fabric in an instance of Clothing where something can be kept.
fun Pocket : Class ;
fun Pocket_Class : SubClass Pocket Fabric ;

-- A PoliceOfficer who is in charge of a precinct.
fun PoliceCaptain : Class ;
fun PoliceCaptain_Class : SubClass PoliceCaptain PoliceOfficer ;

-- The Profession of being a police
-- detective, i.e. being a PoliceOfficer whose duties include the
-- investigation of crimes.
fun PoliceDetective : Ind PoliceOfficer ;

-- A building designed to house PolicePersons.
fun PoliceFacility : Class ;
fun PoliceFacility_Class : SubClass PoliceFacility Building ;

-- The Profession of being a police officer, i.e.
-- working for a law enforcement agency that is part of a Government.
fun PoliceOfficer : Class ;
fun PoliceOfficer_Class : SubClass PoliceOfficer (both GovernmentOfficer Profession) ;

-- A member of a government whose occupation
-- has the primary purpose of preventing crime and arresting criminals.
fun PolicePerson : Ind OccupationalRole ;

-- A PoliceOfficer with the rank of sergeant.
fun PoliceSergeant : Class ;
fun PoliceSergeant_Class : SubClass PoliceSergeant PoliceOfficer ;

-- A CriminalAction that is committed by or
-- against Governments.
fun PoliticalCrime : Class ;
fun PoliticalCrime_Class : SubClass PoliticalCrime (both CriminalAction PoliticalProcess) ;

-- A well known person who participates
-- in a PoliticalProcess. This must either be the person's principal
-- occupation, or what is intended to become his principal occupation
-- (for example, after an election).
fun PoliticalFigure : Class ;
fun PoliticalFigure_Class : SubClass PoliticalFigure Celebrity ;

-- PoliticalParty is the class of
-- PoliticalOrganizations that may sponsor candidates for Elections.
fun PoliticalParty : Class ;
fun PoliticalParty_Class : SubClass PoliticalParty PoliticalOrganization ;

-- The violent overthrow of one Government
-- and its replacement by another. This covers grass_roots revolutions, as well
-- as coups d'etat.
fun PoliticalRevolution : Class ;
fun PoliticalRevolution_Class : SubClass PoliticalRevolution (both PoliticalProcess ViolentContest) ;

-- The field of political science.
fun PoliticalScience : Ind SocialScience ;

-- Any Attribute of a Government which specifies some aspect of the political or
-- economic system of the Government.
fun PoliticoEconomicAttribute : Class ;
fun PoliticoEconomicAttribute_Class : SubClass PoliticoEconomicAttribute RelationalAttribute ;

-- Investigating what people believe (and in what proportions)
-- by asking a set of structured questions to a random sample of people.
fun Polling : Class ;
fun Polling_Class : SubClass Polling Investigating ;

-- A ClosedTwoDimensionalFigure that is composed
-- exclusively of straight lines, i.e. OneDimensionalFigures.
fun Polygon : Class ;
fun Polygon_Class : SubClass Polygon ClosedTwoDimensionalFigure ;

-- Music which has two or more parts, i.e. Music
-- which can be divided into two or more contemporaneous subProcesses which are
-- also instances of Music.
fun PolyphonicMusic : Class ;
def PolyphonicMusic = KappaFn Music (\MUSIC -> exists Music (\PART1 ->
exists Music (\PART2 -> and (and (and (and (subProcess (var Music Process ? PART1)
(var Music Process ? MUSIC))
(subProcess (var Music Process ? PART2)
(var Music Process ? MUSIC)))
(not (equal (var Music Entity ? PART1)
(var Music Entity ? PART2))))
(cooccur (var Music Physical ? PART1)
(var Music Physical ? MUSIC)))
(cooccur (var Music Physical ? PART2)
(var Music Physical ? MUSIC)))));

-- The Position of head of the RomanCatholicChurch.
fun Pope : Ind Position ;

-- PopularElection is the class of
-- Elections in which office_holders and issues are determined directly by
-- the outcome of the votes cast by the enfranchised. For example, U.S.
-- Senators and Representatives are elected by PopularElection. By
-- contrast, U.S. Presidents are elected by indirect elections, in which the
-- Electoral College determines the actual outcome. See electionWinner.
fun PopularElection : Class ;
fun PopularElection_Class : SubClass PopularElection GeneralElection ;

-- A StationaryArtifact which is connected to a
-- Building and which provides some shelter in entering or leaving the
-- Building or in sitting outside.
fun Porch : Class ;
fun Porch_Class : SubClass Porch StationaryArtifact ;

-- Meat that was originally part of a Pig.
fun Pork : Class ;
fun Pork_Class : SubClass Pork Meat ;

-- A PaintedPicture that represents someone's Face.
fun Portrait : Class ;
fun Portrait_Class : SubClass Portrait PaintedPicture ;

-- The class of TimeIntervals that begin at noon and
-- end at midnight.
fun PostMeridiem : Class ;
fun PostMeridiem_Class : SubClass PostMeridiem TimeInterval ;

-- The class of Schools that offer
-- an associate's degree or a bachelor's degree.
fun PostSecondarySchool : Class ;
fun PostSecondarySchool_Class : SubClass PostSecondarySchool School ;

-- A Container which has a handle and is used for
-- Cooking.
fun PotOrPan : Class ;
fun PotOrPan_Class : SubClass PotOrPan Container ;

-- Any occupation that involves the creation of Pottery.
fun Potter : Ind OccupationalTrade ;

-- Household Artifacts that are made out of baked Clay.
fun Pottery : Class ;
fun Pottery_Class : SubClass Pottery Artifact ;

fun Poultry : Class ;
fun Poultry_Class : SubClass Poultry (both Bird Livestock) ;

-- Any instance of Transfer from one Container to
-- another, where the thing transferred is a Liquid.
fun Pouring : Class ;
fun Pouring_Class : SubClass Pouring (both LiquidMotion Transfer) ;

-- Any Solid Substance which consists of loose,
-- identical, and very small particles.
fun Powder : Class ;
fun Powder_Class : SubClass Powder Substance ;

-- A source of electrical power.
fun PowerSource : Class ;
fun PowerSource_Class : SubClass PowerSource Device ;

-- A Vehicle that has a powerComponent.
-- Note that PoweredVehicles include those vehicles that have a powerComponent
-- where the user can and does often choose not to use it, such as a moped with pedals.
fun PoweredVehicle : Class ;
fun PoweredVehicle_Class : SubClass PoweredVehicle Vehicle ;

-- A formal or informal process of private worship which
-- may or may not be carried out in a ReligiousBuilding.
fun Praying : Class ;
fun Praying_Class : SubClass Praying (both ReligiousProcess Requesting) ;

-- The Attribute that applies to Female Animals and
-- Humans that have an embryo or fetus growing inside of them as the result of
-- having one of the Female's Eggs fertilized.
fun Pregnant : Ind BiologicalAttribute ;

-- Food that is the result of Cooking.
fun PreparedFood : Class ;
fun PreparedFood_Class : SubClass PreparedFood Food ;

-- The position of being head of the
-- UnitedStates.
fun PresidentOfTheUnitedStates : Ind Position ;

-- Any Device that measures and represents PressureMeasure.
fun PressureMeasuringDevice : Class ;
fun PressureMeasuringDevice_Class : SubClass PressureMeasuringDevice MeasuringDevice ;

-- An installation which is owned and maintained by
-- a Government for the purpose of Confining people. This class covers
-- jails, federal prisons, concentration camps, gulags, etc.
fun Prison : Class ;
fun Prison_Class : SubClass Prison StationaryArtifact ;

-- The Profession of being a private detective,
-- i.e. a detective who can be hired for a fee to investigate something.
fun PrivateDetective : Ind Profession ;

-- A School which is not publicly owned.
fun PrivateSchool : Class ;
fun PrivateSchool_Class : SubClass PrivateSchool School ;

-- Any instance of Speaking before an assembled
-- audience that effects an institutional change, e.g. a change in the laws of
-- the government.
fun Proclaiming : Class ;
fun Proclaiming_Class : SubClass Proclaiming (both Declaring Lecture) ;

-- Any occupation that requires at least a bachelor's degree.
fun Profession : Class ;
fun Profession_Class : SubClass Profession SkilledOccupation ;

-- The Profession of being a teacher at a PostSecondarySchool.
fun Professor : Ind Profession ;

-- An arrangement in which an employer
-- shares its profits with its employees. The compensation can be stocks,
-- bonds or cash, and can be immediate or deferred until retirement.
fun ProfitSharingPlan : Class ;
fun ProfitSharingPlan_Class : SubClass ProfitSharingPlan PensionPlan ;

-- A missile, bullet, etc. that is fired from a Weapon.
fun Projectile : Class ;
fun Projectile_Class : SubClass Projectile Weapon ;

-- A Weapon that shoots a Projectile.
fun ProjectileLauncher : Class ;
fun ProjectileLauncher_Class : SubClass ProjectileLauncher Weapon ;

-- The outer casing of a Projectile.
fun ProjectileShell : Class ;
fun ProjectileShell_Class : SubClass ProjectileShell Container ;

-- A CommunicationDevice upon which images
-- are projected so that they can be viewed.
fun ProjectionScreen : Class ;
fun ProjectionScreen_Class : SubClass ProjectionScreen CommunicationDevice ;

-- A CommercialAgent that is owned by a
-- single person.
fun Proprietorship : Class ;
fun Proprietorship_Class : SubClass Proprietorship CommercialAgent ;

-- Unicellular Organisms that are capable of movement
-- and that are found in almost every part of the world. This class includes
-- amoebas, sporozoans, and paramecia.
fun Protozoa : Class ;
fun Protozoa_Class : SubClass Protozoa Microorganism ;

-- The field of psychology.
fun Psychology : Ind SocialScience ;

-- Any PsychologicalDysfunction which is the
-- result of an organic impairment of the NervousSystem.
fun Psychosis : Class ;
fun Psychosis_Class : SubClass Psychosis PsychologicalDysfunction ;

-- The DevelopmentalAttribute of having functional sex
-- glands which are not fully mature.
fun Puberty : Ind DevelopmentalAttribute ;

-- An Attorney who defends criminal cases for a
-- GovernmentOrganization.
fun PublicDefender : Class ;
fun PublicDefender_Class : SubClass PublicDefender (both Attorney GovernmentOfficer) ;

-- A Library which is financed by taxes and which
-- is open to everyone.
fun PublicLibrary : Class ;
fun PublicLibrary_Class : SubClass PublicLibrary (both GovernmentOrganization Library) ;

-- A Park that is publicly owned, i.e. owned by a Government.
fun PublicPark : Class ;
fun PublicPark_Class : SubClass PublicPark Park ;

-- An Attorney who prosecutes criminal cases for
-- a GovernmentOrganization.
fun PublicProsecutor : Class ;
fun PublicProsecutor_Class : SubClass PublicProsecutor (both Attorney GovernmentOfficer) ;

-- A School which is financed primarily by taxes.
fun PublicSchool : Class ;
fun PublicSchool_Class : SubClass PublicSchool (both GovernmentOrganization School) ;

-- Any business whose services include the
-- Publication of Texts.
fun Publisher : Class ;
fun Publisher_Class : SubClass Publisher CommercialAgent ;

-- Any instance of LandTransportation, where a
-- TransportationDevice is dragged by something else, whether the something
-- else is an Animal or a self_powered TransportationDevice.
fun Pulling : Class ;
fun Pulling_Class : SubClass Pulling LandTransportation ;

-- An Artery that carries Blood from
-- the Heart to a Lung.
fun PulmonaryArtery : Class ;
fun PulmonaryArtery_Class : SubClass PulmonaryArtery Artery ;

-- A Vein that carries Blood from the
-- Lungs to the Heart.
fun PulmonaryVein : Class ;
fun PulmonaryVein_Class : SubClass PulmonaryVein Vein ;

-- A Device that moves Fluids by means of pressure or suction.
fun Pump : Class ;
fun Pump_Class : SubClass Pump TransportationDevice ;

-- Any instance of Impelling where the instrument
-- is a Fist of the agent.
fun Punching : Class ;
fun Punching_Class : SubClass Punching Impelling ;

-- A RegulatoryProcess where the agent does
-- something to the destination that the agent knows is undesirable
-- for the destination.
fun Punishing : Class ;
fun Punishing_Class : SubClass Punishing RegulatoryProcess ;

-- A SecondaryColor that results from mixing Red and Blue.
fun Purple : Ind SecondaryColor ;

-- Any four_sided Polygon.
fun Quadrilateral : Class ;
fun Quadrilateral_Class : SubClass Quadrilateral Polygon ;

-- A Female Insect which is the sole member of
-- her colony with the capability to reproduce.
fun QueenInsect : Class ;
fun QueenInsect_Class : SubClass QueenInsect Insect ;

-- An interrogative Sentence, a Sentence that
-- poses a question.
fun Question : Class ;
def Question = KappaFn Sentence (\SENTENCE -> exists Questioning (\QUESTION -> result (var Questioning Process ? QUESTION) (var Sentence Entity ? SENTENCE)));

-- A burrowing Rodent with a short tail and long ears.
fun Rabbit : Class ;
fun Rabbit_Class : SubClass Rabbit Rodent ;

-- A sport which involves a contest of speed between the
-- participants. Note that this covers a variety of things, including auto
-- racing, running competitions, etc.
fun Racing : Class ;
fun Racing_Class : SubClass Racing Sport ;

-- An ElectricDevice that emits and receives microwave
-- radiation for the purpose of locating and tracking distant objects.
fun Radar : Class ;
fun Radar_Class : SubClass Radar ElectricDevice ;

fun RadiatingInfrared_Radiating : SubClass RadiatingInfrared Radiating ;

-- All sound waves that have frequencies
-- above those that normal Human ears can detect.
fun RadiatingSoundUltrasonic : Class ;
fun RadiatingSoundUltrasonic_Class : SubClass RadiatingSoundUltrasonic RadiatingSound ;

-- Any case of RadiatingElectromagnetic where the
-- wavelengths are shorter than those of visible light and longer than those
-- of X_Rays.
fun RadiatingUltraviolet : Class ;
fun RadiatingUltraviolet_Class : SubClass RadiatingUltraviolet RadiatingElectromagnetic ;

-- Any instance of RadiatingLight that can
-- be detected by normal human visual perception.
fun RadiatingVisibleLight : Class ;
def RadiatingVisibleLight = KappaFn RadiatingLight (\R -> exists Human (\H ->
exists Seeing (\S -> and (agent (var Seeing Process ? S)
(var Human Agent ? H))
(patient (var Seeing Process ? S)
(var RadiatingLight Entity ? R))))) ;

-- Any instance of Broadcasting which is
-- intended to be received by a RadioReceiver.
fun RadioBroadcasting : Class ;
fun RadioBroadcasting_Class : SubClass RadioBroadcasting Broadcasting ;

-- Any instance of RadiatingElectromagnetic
-- where the waves have a wavelength between 5 milimeters and 30,000 meters.
fun RadioEmission : Class ;
fun RadioEmission_Class : SubClass RadioEmission RadiatingElectromagnetic ;

-- A RadioReceiver is a Device for receiving
-- radio broadcast signals from a RadioStation.
fun RadioReceiver : Class ;
fun RadioReceiver_Class : SubClass RadioReceiver ReceiverDevice ;

-- A WeaponOfMassDestruction which
-- achieves its effect through radioactivity, either by an explosion resulting
-- from nuclear fission or by a conventional explosive device that scatters
-- radioactive debris.
fun RadioactiveWeapon : Class ;
fun RadioactiveWeapon_Class : SubClass RadioactiveWeapon WeaponOfMassDestruction ;

-- Weapons which are designed to spread
-- radioactive particles over a large area by means of a conventional
-- explosive device rather than a nuclear reaction. These weapons are often
-- referred to as 'dirty bombs'.
fun RadiologicalWeapon : Class ;
fun RadiologicalWeapon_Class : SubClass RadiologicalWeapon RadioactiveWeapon ;

-- A PlantRoot that is often used in salads.
fun Radish : Class ;
fun Radish_Class : SubClass Radish (both Food PlantRoot) ;

-- (RadiusFn ?CIRCLE) denotes the length of the radius
-- of the Circle ?CIRCLE.
fun RadiusFn : El Circle -> Ind LengthMeasure ;

-- RailTransportationSystem
-- is the subclass of TransitSystems whose routes are Railways.
fun RailTransportationSystem : Class ;
fun RailTransportationSystem_Class : SubClass RailTransportationSystem TransitSystem ;

-- A Vehicle designed to move on Railways.
fun RailVehicle : Class ;
fun RailVehicle_Class : SubClass RailVehicle LandVehicle ;

-- Any TransportationCompany whose services
-- include Transportation by Train.
fun RailroadCompany : Class ;
fun RailroadCompany_Class : SubClass RailroadCompany TransportationCompany ;

-- Ramp is the class of SelfConnectedObjects that are
-- inclined planes used for moving objects from one level to another,
-- especially used for wheeled vehicles and people who cannot climb stairs.
fun Ramp : Class ;
fun Ramp_Class : SubClass Ramp SelfConnectedObject ;

-- Any instance of Mating where one participant does not
-- consent. This is limited to acts between Humans.
fun Raping : Class ;
fun Raping_Class : SubClass Raping (both CriminalAction Mating) ;

-- A Rodent that has a hairless tail like a Mouse
-- but that is larger than a Mouse.
fun Rat : Class ;
fun Rat_Class : SubClass Rat Rodent ;

-- A subclass of Snake which derives its name
-- from the fact that it can manipulate its tail in such a way as to produce
-- a sound like that of a rattle.
fun Rattlesnake : Class ;
fun Rattlesnake_Class : SubClass Rattlesnake Snake ;

-- Food that is not the result of Cooking.
fun RawFood : Class ;
fun RawFood_Class : SubClass RawFood Food ;

-- Any VehicleWindow which is located at the back
-- of an Automobile.
fun RearWindow : Class ;
fun RearWindow_Class : SubClass RearWindow VehicleWindow ;

-- An ElectricDevice that is capable of
-- receiving and decoding RadioEmissions, e.g. Radios and Televisions.
fun ReceiverDevice : Class ;
fun ReceiverDevice_Class : SubClass ReceiverDevice (both CommunicationDevice ElectricDevice) ;

-- Any instance of Speaking where what is
-- uttered is contained within a Text.
fun Reciting : Class ;
fun Reciting_Class : SubClass Reciting Speaking ;

-- Any Process where the experiencer recovers
-- from a DiseaseOrSyndrome.
fun RecoveringFromIllness : Class ;
fun RecoveringFromIllness_Class : SubClass RecoveringFromIllness OrganismProcess ;

-- A Device whose purpose is RecreationOrExercise.
fun RecreationOrExerciseDevice : Class ;
fun RecreationOrExerciseDevice_Class : SubClass RecreationOrExerciseDevice Device ;

-- Any Quadrilateral whose angles are all
-- RightAngles.
fun Rectangle : Class ;
fun Rectangle_Class : SubClass Rectangle Quadrilateral ;

-- BloodCells that contain hemoglobin, lack a
-- CellNucleus, and carry Oxygen to the tissues of the body.
fun RedBloodCell : Class ;
fun RedBloodCell_Class : SubClass RedBloodCell BloodCell ;

-- Any Soldier that served on the British side during
-- the American revolutionary war. RedcoatSoldier Any Soldier that served on the
-- British side during the American revolutionary war.
fun RedcoatSoldier : Class ;
fun RedcoatSoldier_Class : SubClass RedcoatSoldier Soldier ;

-- A Book which is not intended to be read
-- from cover to cover, but which is meant to be consulted to answer specific
-- factual questions, e.g. about the meaning of a word, the location of a
-- country, etc.
fun ReferenceBook : Class ;
fun ReferenceBook_Class : SubClass ReferenceBook (both Book FactualText) ;

-- A Text which is not intended to be read
-- from beginning to end, but which is meant to be consulted to answer specific
-- factual questions, e.g. about the meaning of a word, the location of a
-- country, etc.
fun ReferenceText : Class ;
fun ReferenceText_Class : SubClass ReferenceText FactualText ;

-- A Substance that is the result
-- of the Distilling of Petroleum.
fun RefinedPetroleumProduct : Class ;
fun RefinedPetroleumProduct_Class : SubClass RefinedPetroleumProduct PetroleumProduct ;

-- Any instance of Radiating where the radiated
-- waves rebound from a surface, e.g. an echo of sound or a reflection of
-- light.
fun Reflecting : Class ;
fun Reflecting_Class : SubClass Reflecting Radiating ;

-- Those instances of RadiatingLight where the
-- instrument is not a light source, but is simply a surface which bends light
-- waves that come in contact with it.
fun ReflectingLight : Class ;
fun ReflectingLight_Class : SubClass ReflectingLight (both RadiatingLight Reflecting) ;

-- Any Muscle reaction which is a response
-- to a specific stimulus and which does not reach the level of consciousness.
fun ReflexiveProcess : Class ;
fun ReflexiveProcess_Class : SubClass ReflexiveProcess AutonomicProcess ;

-- The intersection of Containers and ElectricDevices
-- in which the temperature is reduced from that of the outside air by a Cooling
-- process.
fun Refrigerator : Class ;
fun Refrigerator_Class : SubClass Refrigerator (both Container (both CoolingDevice ElectricDevice)) ;

-- Submitting official paperwork in a government
-- agency, e.g. filing for divorce, making a legal claim against someone.
fun Registering : Class ;
fun Registering_Class : SubClass Registering (both PoliticalProcess Stating) ;

-- ExpressingDisapproval about a state of affairs
-- that has already occurred.
fun Regretting : Class ;
fun Regretting_Class : SubClass Regretting ExpressingDisapproval ;

-- Any TherapeuticProcess that removes Pain from
-- the patient of the process.
fun RelievingPain : Class ;
fun RelievingPain_Class : SubClass RelievingPain TherapeuticProcess ;

-- A Building which is intended to be
-- used for religious worship. This class covers churches, temples,
-- religious shrines, etc.
fun ReligiousBuilding : Class ;
fun ReligiousBuilding_Class : SubClass ReligiousBuilding Building ;

-- A well_known leader of a religious group.
fun ReligiousFigure : Class ;
fun ReligiousFigure_Class : SubClass ReligiousFigure Celebrity ;

-- Any Position within a ReligousOrganization.
fun ReligiousPosition : Class ;
fun ReligiousPosition_Class : SubClass ReligiousPosition Position ;

-- A formal process of public worship which is
-- typically carried out in a church, temple or other sanctified building and
-- which typically accords with a prescribed set of rules.
fun ReligiousService : Class ;
fun ReligiousService_Class : SubClass ReligiousService (both Demonstrating ReligiousProcess) ;

-- Any Requesting that is intended to cause a
-- Remembering of something.
fun Reminding : Class ;
fun Reminding_Class : SubClass Reminding Requesting ;

-- Removing Clothing from a Human or
-- Animal in such a way that the Human or Animal no longer wears the
-- Clothing.
fun RemovingClothing : Class ;
fun RemovingClothing_Class : SubClass RemovingClothing Uncovering ;

-- Giving money to the owner of an Object in
-- exchange for the right to use the Object for a fixed time period.
fun Renting : Class ;
fun Renting_Class : SubClass Renting (both Borrowing FinancialTransaction) ;

-- A relatively brief FactualText, often it
-- describes the findings of a study or experiment, or a series of
-- observations.
fun Report : Class ;
fun Report_Class : SubClass Report (both Article FactualText) ;

-- One of the two major political parties in
-- the UnitedStates. The RepublicanParty represents traditional,
-- conservative values.
fun RepublicanParty : Ind PoliticalParty ;

-- A Sentence that expresses a request for something or
-- that something be done.
fun Request : Class ;
def Request = KappaFn Sentence (\SENTENCE -> exists Requesting (\REQUEST -> result (var Requesting Process ? REQUEST)(var Sentence Entity ? SENTENCE)));

-- The Profession of being a scientific
-- researcher.
fun Researcher : Class ;
fun Researcher_Class : SubClass Researcher Profession ;

-- (ResidentFn ?AREA) denotes the
-- GroupOfPeople who have their home in ?AREA.
fun ResidentFn : El GeopoliticalArea -> Ind GroupOfPeople ;

-- Voluntarily ending one's employment.
fun Resigning : Class ;
fun Resigning_Class : SubClass Resigning TerminatingEmployment ;

-- Any instance of Deciding which is conducted at a
-- FormalMeeting and where the agent is an Organization.
fun Resolution : Class ;
fun Resolution_Class : SubClass Resolution Deciding ;

-- Any CommercialAgent whose services include selling
-- Food to customers which is intended to be eaten on the premises.
fun Restaurant : Class ;
fun Restaurant_Class : SubClass Restaurant CommercialAgent ;

-- A Building where people pay to be served food
-- and eat. Some restaurants may also offer entertainment.
fun RestaurantBuilding : Class ;
fun RestaurantBuilding_Class : SubClass RestaurantBuilding Building ;

-- A Store where individuals who are not
-- representing an Organization purchase items. This distinguishes
-- retail stores from wholesale establishments, where the purchasers
-- are businesses or their representatives, as well as mail order or
-- office buildings where transactions are facillitated but the consumer
-- does not take possession of the item on the premises. More succinctly,
-- the complement of WholesaleStore, i.e.
-- MercantileOrganizations that sell their goods to the general public.
fun RetailStore : Class ;
fun RetailStore_Class : SubClass RetailStore MercantileOrganization ;

-- A membrane that covers the Eye and converts
-- the image formed by the lens of the Eye into neurochemical impulses
-- which can be processed by the Brain.
fun Retina : Class ;
fun Retina_Class : SubClass Retina (both AnimalAnatomicalStructure Organ) ;

-- Voluntary unemployment toward the end of one's life.
fun Retired : Ind SocialRole ;

-- Voluntarily leaving employment at the end of one's
-- career in order to take time off in the later years of one's life.
fun Retiring : Class ;
fun Retiring_Class : SubClass Retiring Resigning ;

-- Any instance of Translocation where the agent
-- goes to a location where he/she had been before the Translocation took place.
fun Returning : Class ;
fun Returning_Class : SubClass Returning Translocation ;

-- Moving something in such a way that its top
-- becomes its bottom and vice versa.
fun Reversing : Class ;
fun Reversing_Class : SubClass Reversing Motion ;

-- A Pistol whose magazine is a revolving cylinder with
-- six chambers for Bullets.
fun RevolverGun : Class ;
fun RevolverGun_Class : SubClass RevolverGun Pistol ;

-- A CerealGrain which has short and long grain varieties
-- and which is usually prepared for eating by steaming.
fun RiceGrain : Class ;
fun RiceGrain_Class : SubClass RiceGrain CerealGrain ;

-- A Firearm with a long barrel that is intended to be fired
-- from the shoulder.
fun Rifle : Class ;
fun Rifle_Class : SubClass Rifle Firearm ;

-- Any TwoDimensionalAngle that has the
-- angularMeasure of 90 AngularDegrees.
fun RightAngle : Class ;
fun RightAngle_Class : SubClass RightAngle TwoDimensionalAngle ;

-- Any Triangle that contains a RightAngle.
fun RightTriangle : Class ;
fun RightTriangle_Class : SubClass RightTriangle Triangle ;

-- Any instance of RadiatingSound which is produced by
-- a Bell.
fun Ringing : Class ;
fun Ringing_Class : SubClass Ringing RadiatingSound ;

-- A path along which vehicles travel. It is typically,
-- although not necessarily, paved and intended for cars.
fun Road : Class ;
fun Road_Class : SubClass Road (both Region Roadway) ;

-- RoadTransportationSystem
-- is the subclass of TransportationSystems whose routes are Roadways.
fun RoadTransportationSystem : Class ;
fun RoadTransportationSystem_Class : SubClass RoadTransportationSystem TransitSystem ;

-- The class of LandVehicles that are not
-- RollingStock.
fun RoadVehicle : Class ;
fun RoadVehicle_Class : SubClass RoadVehicle LandVehicle ;

-- Any instance of Stealing which involves the threat
-- of the use of force.
fun Robbing : Class ;
fun Robbing_Class : SubClass Robbing Stealing ;

-- Rock is any naturally formed aggregate of one or more
-- minerals, consolidated or not, with some degree of mineralogic and chemical
-- constancy, in popular use the term is usually restricted to those aggregates
-- that are hard, compact, and coherent.
fun Rock : Class ;
fun Rock_Class : SubClass Rock Substance ;

-- A Spacecraft which has the shape of a cylinder
-- with a cone on top and which is powered by a jet engine.
fun Rocket : Class ;
fun Rocket_Class : SubClass Rocket (both (both Projectile Spacecraft) Aircraft) ;

-- An attack in which a rocket or
-- missile is used.
fun RocketMissileAttack : Class ;
fun RocketMissileAttack_Class : SubClass RocketMissileAttack Bombing ;

-- A single rail car. Any RailVehicle that is
-- not composed of other RailVehicles.
fun RollingStock : Class ;
fun RollingStock_Class : SubClass RollingStock RailVehicle ;

-- The top of a Building.
fun Roof : Class ;
fun Roof_Class : SubClass Roof StationaryArtifact ;

-- A Male Chicken.
fun Rooster : Class ;
def Rooster = KappaFn Chicken (\R -> attribute (var Chicken Object ? R) (el SexAttribute Attribute ? Male)) ;

-- Motion that begins and ends at the same point,
-- because the trajectory of the Motion is circular.
fun Rotating : Class ;
fun Rotating_Class : SubClass Rotating Motion ;

-- Any ThreeDimensionalFigure that has a single
-- tangent at every point on its surface.
fun RoundShape : Ind ThreeDimensionalFigure ;

-- Any instance of WaterTransportation where the
-- instrument is an Oar that is manually powered.
fun Rowing : Class ;
fun Rowing_Class : SubClass Rowing WaterTransportation ;

-- A latex that is produced by certain species of
-- BotanticalTrees.
fun Rubber : Class ;
fun Rubber_Class : SubClass Rubber PlantSubstance ;

-- A piece of Fabric whose purpose is to cover a Floor.
fun Rug : Class ;
fun Rug_Class : SubClass Rug Fabric ;

-- A Slavic language that is spoken in Russia.
fun RussianLanguage : Ind (both SpokenHumanLanguage NaturalLanguage) ;

-- A Device which allows a Human to ride on a
-- Horse.
fun Saddle : Class ;
fun Saddle_Class : SubClass Saddle Holder ;

-- A Container with a Lock which is intended
-- to secure items from theft. Note that this covers safes, lockers, and locked
-- storage compartments.
fun SafeContainer : Class ;
fun SafeContainer_Class : SubClass SafeContainer (both Container SecurityDevice) ;

-- The class of Positions which involve working on a
-- ship, whether a merchant ship or a navy ship.
fun Sailor : Class ;
fun Sailor_Class : SubClass Sailor SkilledOccupation ;

-- Any instance of Working that involves Selling or
-- trying to sell items.
fun Sales : Class ;
fun Sales_Class : SubClass Sales Working ;

-- Any Position which involves Selling
-- or trying to sell items.
fun SalesPosition : Class ;
fun SalesPosition_Class : SubClass SalesPosition SkilledOccupation ;

-- A Solution consisting of SodiumChloride and
-- Water.
fun SalineSolution : Class ;
fun SalineSolution_Class : SubClass SalineSolution Solution ;

-- Any kind of open shoe lacking a markedly
-- thicker heel. The toe may be enclosed, but there must be some opening in the upper
-- other than the Hole through which the foot is inserted.
fun Sandal : Class ;
fun Sandal_Class : SubClass Sandal Shoe ;

-- Any Food which consists of two or more pieces
-- of bread and some sort of filling between the two pieces of bread.
fun Sandwich : Class ;
fun Sandwich_Class : SubClass Sandwich PreparedFood ;

-- The state of being happy about a state of
-- affairs that occurred in the past. In cases where that state of affairs
-- is the product of one's own doing, this is known as pride.
fun Satisfaction : Ind EmotionalState ;

-- Any instance of Increasing where the PhysicalQuantity
-- involved is a CurrencyMeasure. This includes saving in a financial account
-- as well as stuffing gold bars under the matress, or a squirrel saving nuts
-- for winter.
fun Saving : Class ;
fun Saving_Class : SubClass Saving Increasing ;

-- A federally or state chartered
-- FinancialCompany that takes Deposits from individuals, funds
-- Mortgages, and pays Dividends.
fun SavingsAndLoan : Class ;
fun SavingsAndLoan_Class : SubClass SavingsAndLoan FinancialCompany ;

-- Any AbnormalAnatomicalStructure which results from the
-- healing of a Lesion.
fun Scar : Class ;
fun Scar_Class : SubClass Scar AbnormalAnatomicalStructure ;

-- Any Funding which is made on the basis of merit
-- and whose purpose is to allow the destination to realize an
-- EducationalProgram.
fun Scholarship : Class ;
fun Scholarship_Class : SubClass Scholarship Funding ;

-- An EducationalOrganization with a curriculum,
-- teachers, and students. Most Schools are housed in a Building
-- dedicated to the EducationalOrganization.
fun School : Class ;
fun School_Class : SubClass School EducationalOrganization ;

-- Any FieldOfStudy which tests theories on the basis of
-- careful observations and/or experiments and which has a cumulative body of results.
fun Science : Class ;
fun Science_Class : SubClass Science FieldOfStudy ;

-- A successful attempt to score a point in a Game.
fun Score : Class ;
fun Score_Class : SubClass Score GameShot ;

-- An AttachingDevice which contains a spiral of grooves to
-- hold it in place and which is fastened with a Screwdriver.
fun Screw : Class ;
fun Screw_Class : SubClass Screw AttachingDevice ;

-- A Device that is used to rotate
-- a Screw, which by the action of its helical threads is driven into a
-- medium that is softer than the material of the screw itself.
fun Screwdriver : Class ;
fun Screwdriver_Class : SubClass Screwdriver Device ;

-- The collection of Characters in a particular
-- written language. Every WrittenCommunication consists of Characters
-- written in a particular script. Scripts include different typefaces, as
-- well as entirely different characters. 'Times Roman' is a very specific
-- script. While the 'latin' character set is a general one, that has
-- specific subclasses like Times Roman. Other scripts include Devanagri
-- (which may be expressed in many different more specific typefaces), or
-- Simplified Chinese.
fun Script : Class ;
fun Script_Class : SubClass Script Collection ;

-- Any ArtWork which is not constructed on the
-- two_dimensional surface of a canvas, piece of paper, etc.
fun Sculpture : Class ;
fun Sculpture_Class : SubClass Sculpture ArtWork ;

-- SeasonOfYear is the class of four
-- seasons correlated with the calendar Year and associated with
-- changes in the length of daylight and with overall temperature
-- changes. Depending upon the GeographicArea, a SeasonOfYear
-- may also be associated with weather patterns (e.g., rainy, dry,
-- windy). The characteristics of seasons (cold vs. hot temperatures,
-- long vs. short days) are reversed from the NorthernHemisphere
-- to the SouthernHemisphere.
fun SeasonOfYear : Class ;
fun SeasonOfYear_Class : SubClass SeasonOfYear TimeInterval ;

-- Any instance of Furniture which is designed to
-- accommodate Humans who are Sitting.
fun Seat : Class ;
fun Seat_Class : SubClass Seat Furniture ;

-- Guiding someone to a Seat, e.g. as when an usher
-- shows someone to a Seat in an Auditorium.
fun Seating : Class ;
fun Seating_Class : SubClass Seating Guiding ;

-- A color that is the product of mixing together
-- two or more PrimaryColors.
fun SecondaryColor : Class ;
fun SecondaryColor_Class : SubClass SecondaryColor ColorAttribute ;

-- A School which admits students who have
-- graduated from a middle school and which normally covers the ninth through
-- twelfth grades. A SecondarySchool confers a high school diploma.
fun SecondarySchool : Class ;
fun SecondarySchool_Class : SubClass SecondarySchool School ;

-- The head of the UnitedStatesDepartmentOfInterior.
fun SecretaryOfTheInterior : Ind GovernmentSecretary ;

-- The head of the United States Treasury Department.
fun SecretaryOfTheTreasury : Ind GovernmentSecretary ;

-- A SecurityDevice that detects intrusions to
-- a StationaryArtifact and issues a warning of some sort.
fun SecurityAlarm : Class ;
fun SecurityAlarm_Class : SubClass SecurityAlarm (both ElectricDevice SecurityDevice) ;

-- A Device whose purpose is to protect people or
-- property from kidnappers and/or thieves.
fun SecurityDevice : Class ;
fun SecurityDevice_Class : SubClass SecurityDevice Device ;

-- The Organization that is charged with
-- ensuring the security of members of the overall Organization and the
-- property of the Organization.
fun SecurityUnit : Class ;
fun SecurityUnit_Class : SubClass SecurityUnit Organization ;

-- Any instance of UnilateralGetting which is done by
-- a Government and which is not permitted by the origin of the UnilateralGetting.
fun SeizingProperty : Class ;
fun SeizingProperty_Class : SubClass SeizingProperty UnilateralGetting ;

-- SelfPoweredDevice is
-- the subclass of Devices whose action is powered by some kind of on_board
-- component or power source (not the user, which would be a
-- UserPoweredVehicle).
fun SelfPoweredDevice : Class ;
def SelfPoweredDevice = KappaFn Device (\O -> exists Artifact (\G -> powerPlant (var Device Device ? O) (var Artifact Artifact ? G))) ;

-- SelfPoweredRoadVehicle is the
-- class of RoadVehicles that are also PoweredVehicles.
-- SelfPoweredRoadVehicle covers motorcycles, semi_trailers, RVs, etc.,
-- as well as Automobiles. This class includes vehicles powered by
-- electricity, gasoline, diesel, and other fuels.
fun SelfPoweredRoadVehicle : Class ;
fun SelfPoweredRoadVehicle_Class : SubClass SelfPoweredRoadVehicle (both PoweredVehicle RoadVehicle) ;

-- Any LegalDecision where the defendant is assigned
-- a punishment for a CriminalAction which was the subject of an earlier
-- LegalConviction.
fun Sentencing : Class ;
fun Sentencing_Class : SubClass Sentencing LegalDecision ;

-- A noncomissioned MilitaryOfficer.
fun Sergeant : Class ;
fun Sergeant_Class : SubClass Sergeant MilitaryOfficer ;

-- A Lecture that is part of a ReligiousService.
fun Sermon : Class ;
fun Sermon_Class : SubClass Sermon Lecture ;

-- Any LiquidBodySubstance other than Blood.
fun Serum : Class ;
fun Serum_Class : SubClass Serum LiquidBodySubstance ;

-- An Organization that performs
-- a public service and is regulated by the Government.
fun ServiceOrganization : Class ;
fun ServiceOrganization_Class : SubClass ServiceOrganization Organization ;

-- Any Position which involves working
-- as a waiter or servant, either for an Organization (e.g. a restaurant)
-- or for a person or family.
fun ServicePosition : Class ;
fun ServicePosition_Class : SubClass ServicePosition SkilledOccupation ;

-- Working as a waiter or servant, either for an
-- Organization (e.g. a Restaurant) or for a person or family.
fun Serving : Class ;
fun Serving_Class : SubClass Serving Working ;

-- A Pipline which is used to transport human
-- waste to an area where it can be treated and/or disposed of.
fun SewageSystem : Class ;
fun SewageSystem_Class : SubClass SewageSystem Pipeline ;

-- Attaching two pieces of Fabric or one part of a
-- piece of Fabric to another part by means of needle and thread.
fun Sewing : Class ;
fun Sewing_Class : SubClass Sewing Attaching ;

-- The subclass of ChangeOfPossession where a
-- properPart of the patient is given by the agent or the destination.
fun Sharing : Class ;
fun Sharing_Class : SubClass Sharing ChangeOfPossession ;

-- A domesticated HoofedMammal that is bred for its
-- wool and for its meat (known as mutton).
fun Sheep : Class ;
fun Sheep_Class : SubClass Sheep (both DomesticAnimal HoofedMammal) ;

-- An piece of Furniture or part of a piece of Furniture
-- that is used for keeping or displaying things.
fun Shelf : Class ;
fun Shelf_Class : SubClass Shelf Artifact ;

-- A PoliceOfficer whose jurisdiction is a County.
fun Sheriff : Class ;
fun Sheriff_Class : SubClass Sheriff PoliceOfficer ;

-- An Artifact that is held by the hand or whole arm and
-- is used to prevent injuries from Weapons.
fun Shield : Class ;
fun Shield_Class : SubClass Shield Artifact ;

-- Ship is the class of large WaterVehicle used
-- for travel on oceans, seas, or large lakes.
fun Ship : Class ;
fun Ship_Class : SubClass Ship DisplacementHullWaterVehicle ;

-- The class of Positions which involve the command of a ship.
fun ShipCaptain : Class ;
fun ShipCaptain_Class : SubClass ShipCaptain Sailor ;

-- The class of Positions that involve some responsibility
-- on a ship and are lower in rank than ShipCaptain.
fun ShipMate : Class ;
fun ShipMate_Class : SubClass ShipMate Sailor ;

-- The class of Sailors which have a position of
-- responsibility on a Ship.
fun ShipOfficer : Class ;
fun ShipOfficer_Class : SubClass ShipOfficer Sailor ;

-- Shipping is the subclass of Transportation
-- events in which goods are transported from one place to another by an
-- agent who is entrusted with the goods temporarily just in order to move
-- them. Shipping may be done within an organization or it may be done
-- by an outside commercial agent. See CommercialShipping.
fun Shipping : Class ;
fun Shipping_Class : SubClass Shipping Transportation ;

-- An item of Clothing which covers the upper body of a Human.
fun Shirt : Class ;
fun Shirt_Class : SubClass Shirt Clothing ;

-- Clothing that is intended to be worn on the Foot.
-- It consists of an upper, a sole, and a heel.
fun Shoe : Class ;
fun Shoe_Class : SubClass Shoe Clothing ;

-- The bottom part of a Shoe that is
-- intended to be the point of contact with the ground while the
-- shoe is being worn.
fun ShoeSole : Class ;
fun ShoeSole_Class : SubClass ShoeSole Artifact ;

-- A MercantileOrganization which is a collection
-- of various shops gathered together in a single, modern development.
fun ShoppingMall : Class ;
fun ShoppingMall_Class : SubClass ShoppingMall MercantileOrganization ;

-- A brief work of fiction, often bound with other
-- short stories in a Book or Periodical.
fun ShortStory : Class ;
fun ShortStory_Class : SubClass ShortStory (both Article FictionalText) ;

-- Decreasing the length of something.
fun Shortening : Class ;
fun Shortening_Class : SubClass Shortening Decreasing ;

-- A solid metal Ball that is used in the sport of shotput.
fun ShotBall : Class ;
fun ShotBall_Class : SubClass ShotBall Ball ;

-- The part of a Primate between the Arm and the neck.
fun Shoulder : Class ;
fun Shoulder_Class : SubClass Shoulder (both AnimalAnatomicalStructure BodyPart) ;

-- Moving the Shoulders in such a way that the motion
-- is intended to express something to someone else.
fun Shrugging : Class ;
fun Shrugging_Class : SubClass Shrugging (both BodyMotion Gesture) ;

-- A prepared path for pedestrians alongside a Roadway.
fun Sidewalk : Class ;
fun Sidewalk_Class : SubClass Sidewalk StationaryArtifact ;

-- Signalling is the subclass of Guiding
-- processes in which an agent, animate or inanimate, sends a signal to
-- another Object. In many cases, this signal will be an electrical or
-- electronic one. Some signals may directly control the behavior of
-- the object signalled, while others may merely cause information to be
-- presented. Instances of electrical Signalling are typically more
-- complex than simply than operation of a DeviceSwitch, though in some
-- cases, Signalling involves remote activation of such a switch by another
-- device.
fun Signalling : Class ;
fun Signalling_Class : SubClass Signalling Guiding ;

-- Fabric that is woven from the strands produced by
-- certain Larval Insects.
fun Silk : Class ;
fun Silk_Class : SubClass Silk Fabric ;

-- The class of Falling processes that occur in a BodyOfWater.
fun Sinking : Class ;
fun Sinking_Class : SubClass Sinking Falling ;

-- The BodyMotion of moving from a Standing
-- to a Sitting position.
fun SittingDown : Class ;
fun SittingDown_Class : SubClass SittingDown (both BodyMotion MotionDownward) ;

-- Any ArtWork which is produced by a pencil or
-- piece of charcoal.
fun Sketch : Class ;
fun Sketch_Class : SubClass Sketch ArtWork ;

-- Any Position which requires
-- learning a set of skills.
fun SkilledOccupation : Class ;
fun SkilledOccupation_Class : SubClass SkilledOccupation Position ;

-- A BodyCovering that comprises part of the surface of Animals.
fun Skin : Class ;
fun Skin_Class : SubClass Skin (both AnimalAnatomicalStructure BodyCovering) ;

-- The Bone that is found in the Heads of Vertebrates.
fun Skull : Class ;
fun Skull_Class : SubClass Skull Bone ;

-- A Window that is part of the Ceiling of
-- a Room.
fun Skylight : Class ;
fun Skylight_Class : SubClass Skylight Window ;

-- A piece of Clothing that covers the Arm. A
-- Sleeve is always part of a Coat or a Shirt.
fun Sleeve : Class ;
fun Sleeve_Class : SubClass Sleeve Clothing ;

-- Spreading the lips in such a way as to convey
-- happiness.
fun Smiling : Class ;
fun Smiling_Class : SubClass Smiling FacialExpression ;

-- Inhaling and exhaling Smoke produced by a CigarOrCigarette.
fun Smoking : Class ;
fun Smoking_Class : SubClass Smoking RecreationOrExercise ;

-- Any Device whose purpose is Smoking.
fun SmokingDevice : Class ;
fun SmokingDevice_Class : SubClass SmokingDevice Device ;

-- A SmokingDevice consisting of a tube and a small bowl.
fun SmokingPipe : Class ;
fun SmokingPipe_Class : SubClass SmokingPipe SmokingDevice ;

-- Any instance Transportation which is also a CriminalAction.
fun Smuggling : Class ;
fun Smuggling_Class : SubClass Smuggling (both CriminalAction Transportation) ;

-- A long and narrow Reptile which lacks Limbs.
fun Snake : Class ;
fun Snake_Class : SubClass Snake Reptile ;

-- The ConsciousnessAttribute of someone whose motor and
-- cognitive faculties are not significantly impaired by a BiologicallyActiveSubstance.
fun Sober : Ind ConsciousnessAttribute ;

-- The process of transitioning from a state of
-- being Drunk to a state of being Sober.
fun SoberingUp : Class ;
fun SoberingUp_Class : SubClass SoberingUp PsychologicalProcess ;

-- Any Meeting where the intent is primarily
-- to socialize and be entertained.
fun SocialParty : Class ;
fun SocialParty_Class : SubClass SocialParty (both Meeting RecreationOrExercise) ;

-- Any Science which studies human behavior, either in
-- the aggregate, as do, for example, Economics and Linguistics, or with respect to
-- the individual, as does Psychology.
fun SocialScience : Class ;
fun SocialScience_Class : SubClass SocialScience Science ;

-- A piece of Clothing that is made of a soft Fabric
-- like Cotton and that is intended to be worn on the Foot.
fun Sock : Class ;
fun Sock_Class : SubClass Sock Clothing ;

-- SodiumChloride is the compound of Sodium and Chloride,
-- which may appear in crystalline form or in solution with water or other substances.
-- It is a compound found in solution in significant quantities in sea water.
fun SodiumChloride : Class ;
fun SodiumChloride_Class : SubClass SodiumChloride ChemicalSalt ;

-- A padded Seat that is designed to accommodate more than one Human.
fun Sofa : Class ;
fun Sofa_Class : SubClass Sofa Seat ;

-- Attaching two things by means of a MetallicAlloy.
fun Soldering : Class ;
fun Soldering_Class : SubClass Soldering Attaching ;

-- The class of SkilledOccupations which involve serving in
-- the armed forces of a Nation.
fun Soldier : Class ;
fun Soldier_Class : SubClass Soldier SkilledOccupation ;

-- Any BodyMotion which begins and ends in
-- a Sitting position and where the feet roll over the head and return to
-- their original position.
fun Somersaulting : Class ;
fun Somersaulting_Class : SubClass Somersaulting BodyMotion ;

-- Something that emits and receives sound
-- for the purpose of locating and tracking distant objects. Note that
-- this covers both manmade devices and BodyParts such as the sonar
-- of bats and dolphins.
fun Sonar : Class ;
fun Sonar_Class : SubClass Sonar CorpuscularObject ;

-- Any MusicalComposition which contains Lyrics.
fun Song : Class ;
fun Song_Class : SubClass Song MusicalComposition ;

-- Food which is prepared by reducing Meat
-- and/or FruitOrVegetables to a translucent broth which can be used as
-- a base for soups or sauces.
fun SoupStock : Class ;
fun SoupStock_Class : SubClass SoupStock PreparedFood ;

-- The class of all Regions which are not GeographicAreas.
fun SpaceRegion : Class ;
fun SpaceRegion_Class : SubClass SpaceRegion Region ;

-- Any instance of Transportation where the
-- instrument is a Spacecraft and which is through a SpaceRegion.
fun SpaceTransportation : Class ;
fun SpaceTransportation_Class : SubClass SpaceTransportation Transportation ;

-- Any Vehicle which is capable of SpaceTransportation.
fun Spacecraft : Class ;
fun Spacecraft_Class : SubClass Spacecraft Vehicle ;

-- A Romance language that is the official language
-- of Spain, Mexico, and many Central and South American countries.
fun SpanishLanguage : Ind (both SpokenHumanLanguage NaturalLanguage) ;

-- A Weapon with a long handle and a short blade.
fun Spear : Class ;
fun Spear_Class : SubClass Spear Weapon ;

-- The class of ThreeDimensionalFigures such that
-- all GeometricPoints that make up the Sphere are equidistant from a
-- single GeometricPoint, known as the center of the Sphere.
fun Sphere : Class ;
fun Sphere_Class : SubClass Sphere ThreeDimensionalFigure ;

-- A cord of nerves that carries impulses to
-- and from the Brain. It is contained within the SpinalColumn.
fun SpinalCord : Class ;
fun SpinalCord_Class : SubClass SpinalCord Organ ;

-- Any instance of Impelling where the origin is
-- the Mouth of the agent.
fun Spitting : Class ;
fun Spitting_Class : SubClass Spitting Impelling ;

-- An Organ on the left side of the body that produces
-- Cells that play a crucial role in immune response.
fun Spleen : Class ;
fun Spleen_Class : SubClass Spleen (both AnimalAnatomicalStructure Organ) ;

-- The BodyPosition of extending one's Legs at
-- right angles to one's Torso.
fun Splitting : Ind BodyPosition ;

-- A GameShot which is part of a Sport and
-- which serves to start the Sport, e.g. the beginning shot in Tennis,
-- Badminton or Squash.
fun SportServe : Class ;
fun SportServe_Class : SubClass SportServe GameShot ;

-- Any GameAttribute that is specific to
-- a Sport.
fun SportsAttribute : Class ;
fun SportsAttribute_Class : SubClass SportsAttribute GameAttribute ;

-- A specially designated and maintained facility
-- where Sports are played. Note that this covers sports fields, stadiums,
-- and gymnasiums.
fun SportsFacility : Class ;
fun SportsFacility_Class : SubClass SportsFacility StationaryArtifact ;

-- A specially designated and maintained area
-- where Sports are played.
fun SportsGround : Class ;
fun SportsGround_Class : SubClass SportsGround StationaryArtifact ;

-- An Organization whose members are SportsTeams
-- and whose purpose is to set up games between its members.
fun SportsLeague : Class ;
fun SportsLeague_Class : SubClass SportsLeague Organization ;

-- A SportsAttribute that indicates that a player in
-- a Sport can no longer compete because he has been tagged with the GamePiece.
fun SportsOut : Ind SportsAttribute ;

-- A Plan for a Maneuver within a TeamSport.
fun SportsPlay : Class ;
fun SportsPlay_Class : SubClass SportsPlay Plan ;

-- A Position which is filled by someone on a
-- SportsTeam and which represents the role played by the person on the team.
fun SportsPosition : Class ;
fun SportsPosition_Class : SubClass SportsPosition SkilledOccupation ;

-- A GroupOfPeople who habitually play a Sport
-- together, either as an occupation or as a leisure activity.
fun SportsTeam : Class ;
fun SportsTeam_Class : SubClass SportsTeam GroupOfPeople ;

-- Any instance of Transfer of a Liquid which is
-- accomplished by converting the Liquid into a mist.
fun Spraying : Class ;
fun Spraying_Class : SubClass Spraying (both LiquidMotion Transfer) ;

-- The SeasonOfYear that begins at the spring
-- equinox and ends at the summer solstice. SpringSeason is the class of
-- TimeIntervals associated with the calendar months of March
-- through May.
fun SpringSeason : Class ;
fun SpringSeason_Class : SubClass SpringSeason SeasonOfYear ;

-- Any Rectangle whose sides are all equal.
fun Square : Class ;
fun Square_Class : SubClass Square Rectangle ;

-- SquareMile represents a UnitOfMeasure equal to one square Mile.
fun SquareMile : Ind UnitOfArea ;

-- SquareYard represents a UnitOfMeasure equal to one square YardLength.
fun SquareYard : Ind UnitOfArea ;

-- Sitting on one's heels.
fun Squatting : Ind BodyPosition ;

-- A tree_dwelling Rodent with a bushy tail.
fun Squirrel : Class ;
fun Squirrel_Class : SubClass Squirrel Rodent ;

-- A Wagon that is pulled by Horses and whose purpose
-- was to transport Humans and their luggage from one City to the next, especially
-- in areas which did not have an established transportation system, e.g. the old west.
fun StageCoach : Class ;
fun StageCoach_Class : SubClass StageCoach Wagon ;

-- A StationaryArtifact which allows one to climb, step
-- by step, from one level to another.
fun Stairway : Class ;
fun Stairway_Class : SubClass Stairway StationaryArtifact ;

-- The BodyMotion of moving from a Sitting
-- to a Standing position.
fun StandingUp : Class ;
fun StandingUp_Class : SubClass StandingUp (both BodyMotion MotionUpward) ;

-- A complex Carbohydrate that is the main form in
-- which Carbohydrates are stored.
fun Starch : Class ;
fun Starch_Class : SubClass Starch Carbohydrate ;

-- (StartFn ?PROCESS) denotes IntentionalProcesses
-- of bringing it about that Processes of type ?PROCESS begin, e.g. start
-- working, begin running, etc.
fun StartFn : El Process -> Desc IntentionalProcess ;

-- Killing someone by depriving them of Food.
fun Starving : Class ;
fun Starving_Class : SubClass Starving Killing ;

-- The class of Governments whose
-- jurisdictions are StateOrProvinces.
fun StateGovernment : Class ;
fun StateGovernment_Class : SubClass StateGovernment Government ;

-- A Sentence that is stated to be true.
fun Statement : Class ;
def Statement = KappaFn Sentence (\SENTENCE -> exists Stating (\STATE -> result (var Stating Process ? STATE)
(var Sentence Entity ? SENTENCE))) ;

-- Any UnilateralGetting which is not permitted by the
-- origin of the UnilateralGetting. These cases of UnilateralGetting are
-- distinguished from ones where the destination is the subject of charity or
-- other forms of benefaction.
fun Stealing : Class ;
fun Stealing_Class : SubClass Stealing (both CriminalAction UnilateralGetting) ;

-- SteamEngine is the subclass of Engines
-- that produce mechanical power from heat and steam pressure.
fun SteamEngine : Class ;
fun SteamEngine_Class : SubClass SteamEngine Engine ;

-- A MetallicAlloy made from Iron and other elements.
fun Steel : Class ;
fun Steel_Class : SubClass Steel MetallicAlloy ;

-- A component of a ReligiousBuilding that is tall
-- and narrow and symbolizes the connection between humanity and a deity.
fun Steeple : Class ;
fun Steeple_Class : SubClass Steeple StationaryArtifact ;

-- A VehicleController which enables one to steer
-- a Vehicle.
fun SteeringWheel : Class ;
fun SteeringWheel_Class : SubClass SteeringWheel VehicleController ;

-- The BodyMotion of extending one foot forward
-- and then bringing the other foot to the same lateral position as the
-- first leg.
fun Stepping : Class ;
fun Stepping_Class : SubClass Stepping BodyMotion ;

-- A StationaryArtifact which allows one to climb, step
-- by step, from one level to another.
fun Steps : Class ;
fun Steps_Class : SubClass Steps StationaryArtifact ;

-- A class of OrganicCompounds having the same basic
-- chemical structure and having significant physiological effects.
fun Steroid : Class ;
fun Steroid_Class : SubClass Steroid (both BiologicallyActiveSubstance OrganicCompound) ;

-- Any BiologicallyActiveSubstance which has
-- the effect of stimulating the central nervous system, i.e. increasing
-- function or activity in the Brain or SpinalCord.
fun Stimulant : Class ;
fun Stimulant_Class : SubClass Stimulant BiologicallyActiveSubstance ;

-- Any instance of LiquidMotion which is also an
-- instance of Combining two or more Liquids.
fun Stirring : Class ;
fun Stirring_Class : SubClass Stirring (both Combining LiquidMotion) ;

-- An instrument that signifies an ownership position,
-- or equity, in a Corporation, and represents a claim on its proportionate
-- share in the corporation's assets and profits.
fun Stock : Class ;
fun Stock_Class : SubClass Stock (both FinancialInstrument Investment) ;

-- A muscular sac that is the principal organ of
-- digestion.
fun Stomach : Class ;
fun Stomach_Class : SubClass Stomach (both AnimalAnatomicalStructure Organ) ;

-- An act where a victim or victims is attacked
-- with stones. The stones may either be placed on top of a victim in
-- order to cause death by pressure and suffocation, in which case the act
-- is typically part of a ritualized legal sentence, or where the victim
-- is pelted with stones causing injury or death by trauma. The intent
-- of such an act is usually the death of the victim.
fun Stoning : Class ;
fun Stoning_Class : SubClass Stoning ViolentContest ;

-- (StopFn ?PROCESS) denotes IntentionalProcesses of bringing it
-- about that Processes of type ?PROCESS end, e.g. stop walking, quit working, etc.
fun StopFn : El Process -> Desc IntentionalProcess ;

-- A Building that has the purpose of housing
-- FinancialTransactions.
fun Store : Class ;
fun Store_Class : SubClass Store Building ;

-- Someone who operates a store which he
-- either owns or rents.
fun StoreOwner : Ind OccupationalRole ;

-- The Region where two or more unstable air
-- masses meet.
fun StormFront : Class ;
fun StormFront_Class : SubClass StormFront AtmosphericRegion ;

-- A HeatingDevice which consists one or more burners for
-- heating pots and pans of Food.
fun Stove : Class ;
fun Stove_Class : SubClass Stove HeatingDevice ;

-- Any instance of Grabbing where the patient is
-- someone else's throat and the intention is to make it impossible for the other
-- person to breathe.
fun Strangling : Class ;
fun Strangling_Class : SubClass Strangling Grabbing ;

-- (StreetAddressFn ?BUILDING ?ROAD ?CITY
-- ?COUNTRY) returns the Agent, e.g. a family, an organization, a person,
-- etc. that resides or conducts business at the corresponding address.
fun StreetAddressFn : El StationaryArtifact -> El Roadway -> El City -> El Nation -> Ind Agent ;

-- Streetcar is the subclass of
-- ElectrifiedRailwayCars that run on tracks laid into, along, or
-- beside city Streets.
fun Streetcar : Class ;
fun Streetcar_Class : SubClass Streetcar ElectrifiedRailwayCar ;

-- A SoundAttribute of Syllables. It denotes the quality of
-- being emphasized over the other Syllables in the same Word.
fun Stressed : Ind SoundAttribute ;

-- Moving two sides of an object in opposite
-- directions so that the object becomes both longer and thinner.
fun Stretching : Class ;
fun Stretching_Class : SubClass Stretching (both Lengthening Motion) ;

-- A long, thin strand of Fabric that is used for Tying
-- things together, etc. Note that this class covers a cord of any width, including
-- rope, twine, and thread, for example.
fun String : Class ;
fun String_Class : SubClass String Artifact ;

-- A MusicalInstrument which is played by
-- striking strings, either directly as with a guitar or indirectly via keys
-- as with Pianos.
fun StringInstrument : Class ;
fun StringInstrument_Class : SubClass StringInstrument MusicalInstrument ;

-- A person who participates in an
-- EducationalProcess in order to learn something.
fun Student : Ind SocialRole ;

-- A WaterVehicle which is capable of travelling
-- under the water level by filling tanks with water.
fun Submarine : Class ;
fun Submarine_Class : SubClass Submarine WaterVehicle ;

-- A subway is a hollow area of the earth, typically
-- under large cities, designed for running trains that move people. It is
-- distinguished from other kinds of tunnels in that trains run through
-- them, primarily for the purpose of carrying people rather than ore, for
-- example.
fun Subway : Class ;
fun Subway_Class : SubClass Subway Hole ;

-- Any RailTransportationSystem that runs
-- exclusively through Tunnels.
fun SubwaySystem : Class ;
fun SubwaySystem_Class : SubClass SubwaySystem RailTransportationSystem ;

-- Killing someone by asphyxiation, i.e. by
-- depriving them of Oxygen.
fun Suffocating : Class ;
fun Suffocating_Class : SubClass Suffocating Killing ;

-- A simple Carbohydrate that has a sweet taste and
-- consists mostly or entirely of sucrose.
fun Sugar : Class ;
fun Sugar_Class : SubClass Sugar (both Carbohydrate PlantAgriculturalProduct) ;

-- Any instance of Killing where the agent and
-- the experiencer are identical.
fun Suicide : Class ;
fun Suicide_Class : SubClass Suicide Killing ;

-- A bomb attack in which the bomber
-- intends to blow himself up during the course of the attack. The bomber
-- is the delivery mechanism for the explosive and the bomb is typically
-- in close contact with the bomber, such as being strapped around his
-- torso. This action is distinguished from actions in which the bomber
-- merely happens to be blown up by his own bomb in that the bomber
-- knows that he is committing suicide.
fun SuicideBombing : Class ;
fun SuicideBombing_Class : SubClass SuicideBombing (both Bombing Killing) ;

-- The SeasonOfYear that begins at the summer
-- solstice and ends at the autumnal equinox.
fun SummerSeason : Class ;
fun SummerSeason_Class : SubClass SummerSeason SeasonOfYear ;

-- Any instance of RadiatingLight where the
-- Sun (Sol) is the origin.
fun Sunlight : Class ;
fun Sunlight_Class : SubClass Sunlight RadiatingLight ;

-- The TimeInterval of each Day when the sun is rising
-- and is partially overlapped by the horizon line.
fun Sunrise : Class ;
fun Sunrise_Class : SubClass Sunrise TimeInterval ;

-- The TimeInterval of each Day when the sun is setting
-- and is partially overlapped by the horizon line.
fun Sunset : Class ;
fun Sunset_Class : SubClass Sunset TimeInterval ;

-- A Sentence that is assumed to be true, possibly
-- just for the sake of argument.
fun Supposition : Class ;
def Supposition = KappaFn Sentence (\SENTENCE -> exists Supposing (\SUPPOSE -> result (var Supposing Process ? SUPPOSE)
(var Sentence Entity ? SENTENCE))) ;

-- Surfactants, also known as Wetting agents,
-- lower the surface tension of a Liquid, allowing easier spreading. The
-- term surfactant is a compression of 'Surface active agent'. Surfactants
-- are usually organic compounds that contain both hydrophobic and
-- hydrophilic groups, and are thus semi_soluble in both organic and aqueous
-- solvents.
fun Surfactant : Class ;
fun Surfactant_Class : SubClass Surfactant Substance ;

-- The Profession of being a surgeon, i.e. being a
-- medical doctor who specializes in performing surgical operations.
fun Surgeon : Class ;
fun Surgeon_Class : SubClass Surgeon MedicalDoctor ;

-- The EmotionalState that one experiences when something
-- unexpected and of significance occurs.
fun Surprise : Ind EmotionalState ;

-- An AnimalSubstance that contains SodiumChloride
-- and is produced by the sweat glands.
fun Sweat : Class ;
fun Sweat_Class : SubClass Sweat AnimalSubstance ;

-- Removing small particles from the floor by means of
-- a Broom.
fun Sweeping : Class ;
fun Sweeping_Class : SubClass Sweeping Removing ;

-- A FluidContainer that is filled with Water
-- and that is used for Swimming.
fun SwimmingPool : Class ;
fun SwimmingPool_Class : SubClass SwimmingPool (both FluidContainer StationaryArtifact) ;

-- An EngineeringComponent which is capable of turning
-- an ElectricDevice on and off.
fun SwitchDevice : Class ;
fun SwitchDevice_Class : SubClass SwitchDevice EngineeringComponent ;

-- A Weapon with a long blade and covered
-- handle.
fun Sword : Class ;
fun Sword_Class : SubClass Sword Weapon ;

-- A sequence of Characters from the same Word
-- that denote a single sound.
fun Syllable : Class ;
fun Syllable_Class : SubClass Syllable SymbolicString ;

-- A ShapeAttribute that applies to a
-- SelfConnectedObject that can be divided into two copies of each other.
fun SymmetricShape : Ind ShapeAttribute ;

-- A piece of Furniture with four legs and a flat top.
-- It is used either for eating, paperwork or meetings.
fun Table : Class ;
fun Table_Class : SubClass Table Furniture ;

-- Devices that are used in Ingesting (Eating
-- and/or Drinking) a meal. This coves dishware, flatware, and glassware.
fun Tableware : Class ;
fun Tableware_Class : SubClass Tableware Device ;

-- A BodyPart which extends from the rear of the
-- main body of some Vertebrates.
fun Tail : Class ;
fun Tail_Class : SubClass Tail AnimalAnatomicalStructure ;

-- Any VehicleLight which is attached to the back
-- of a Vehicle.
fun Taillight : Class ;
fun Taillight_Class : SubClass Taillight VehicleLight ;

-- Any Process where the experiencer contracts a
-- DiseaseOrSyndrome.
fun TakingIll : Class ;
fun TakingIll_Class : SubClass TakingIll PathologicProcess ;

-- Any instance of Translocation which starts on something other
-- than an AtmosphericRegion and which has an instance of Flying as a subProcess.
fun TakingOff : Class ;
fun TakingOff_Class : SubClass TakingOff Translocation ;

-- A thin strip of Fabric or Paper that is used to attach
-- two things.
fun Tape : Class ;
fun Tape_Class : SubClass Tape AttachingDevice ;

-- A Restaurant whose primary service is selling
-- AlcoholicBeverages to customers.
fun Tavern : Class ;
fun Tavern_Class : SubClass Tavern Restaurant ;

-- A fee charged by a government on a product, income, or activity.
fun Tax : Class ;
fun Tax_Class : SubClass Tax ChargingAFee ;

-- A FormText that is used for calculating the amount
-- of income tax owed in a given year.
fun TaxReturn : Class ;
fun TaxReturn_Class : SubClass TaxReturn FormText ;

-- An Automobile which is used to transport people
-- on short trips in exchange for a fare.
fun Taxicab : Class ;
fun Taxicab_Class : SubClass Taxicab Automobile ;

-- A Taxonomy is a ClassificationScheme
-- that typically includes the salient concepts of a domain of
-- interest, plus, minimally, a binary `broader than'/`narrower
-- than' relation by which the concepts are linked. The `broader
-- than'/`narrower than' relation is usually conceived as set_ or
-- class_based subsumption, but taxonomies are notorious for
-- conflating the set membership and set subsumption (i.e.,
-- subset/superset) relations into a single `IS_A' relation. Some
-- taxonomies include additional binary relations, such as
-- `subpart'/`superpart'.
fun Taxonomy : Class ;
fun Taxonomy_Class : SubClass Taxonomy ClassificationScheme ;

-- A Beverage which is prepared by infusing tea leaves
-- into hot water.
fun Tea : Class ;
fun Tea_Class : SubClass Tea (both Beverage PreparedFood) ;

-- The Profession of being a teacher.
fun Teacher : Ind Profession ;

-- Any Sport which is played by SportsTeams, e.g.
-- Baseball and Football.
fun TeamSport : Class ;
fun TeamSport_Class : SubClass TeamSport Sport ;

-- The class of SalineSolutions produced by
-- the lacrimal glands of the Eyes.
fun TearSubstance : Class ;
fun TearSubstance_Class : SubClass TearSubstance (both LiquidBodySubstance SalineSolution) ;

-- A HumanYouth between puberty and the age of 20.
fun Teenager : Class ;
fun Teenager_Class : SubClass Teenager HumanYouth ;

-- A Device that permits LinguisticCommunication
-- between remote points by means of a code of aural dots and dashes that can
-- be converted into letters of an alphabet.
fun Telegraph : Class ;
fun Telegraph_Class : SubClass Telegraph (both CommunicationDevice ElectricDevice) ;

-- A Device that permits LinguisticCommunication
-- between remote points by converting sound into electrical signals that are
-- then transmitted. When the signals are received, they are converted back
-- into sound.
fun Telephone : Class ;
fun Telephone_Class : SubClass Telephone (both CommunicationDevice ElectricDevice) ;

-- A WireLine that carries telephone signals and
-- allows users of Telephones or Telegraphs to communicate with one another.
fun TelephoneLine : Class ;
fun TelephoneLine_Class : SubClass TelephoneLine WireLine ;

-- Any instance of Speaking where the
-- instrument of Communication is a Telephone.
fun Telephoning : Class ;
fun Telephoning_Class : SubClass Telephoning Speaking ;

-- Any instance of Broadcasting which
-- is intended to be received by a Television.
fun TelevisionBroadcasting : Class ;
fun TelevisionBroadcasting_Class : SubClass TelevisionBroadcasting Broadcasting ;

-- A TelevisionReceiver is a Device for
-- receiving television broadcast signals from a TelevisionStation. TelevisionReceiver A TelevisionReceiver is a Device for receiving
-- television broadcast signals from a TelevisionStation or signals
-- transmitted through a cable from a CableTelevisionSystem.
fun TelevisionReceiver : Class ;
fun TelevisionReceiver_Class : SubClass TelevisionReceiver (both ReceiverDevice EngineeringComponent) ;

-- Any Stating which is both False and believed
-- to be False by the agent of the Stating.
fun TellingALie : Class ;
fun TellingALie_Class : SubClass TellingALie Stating ;

-- Tissue that connects Muscle to Bone.
fun Tendon : Class ;
fun Tendon_Class : SubClass Tendon (both AnimalSubstance Tissue) ;

-- A MobileResidence that is made of Fabric and poles and
-- can be easily assembled and disassembled.
fun Tent : Class ;
fun Tent_Class : SubClass Tent MobileResidence ;

-- A group that uses violent means in an
-- attempt to bring about their political aims. Those violent means are
-- distinguished from a war between nations, or a civil war in that the group
-- is at least partially clandestine and a significant proportion of its acts
-- are against non_military targets.
fun TerroristOrganization : Class ;
fun TerroristOrganization_Class : SubClass TerroristOrganization PoliticalOrganization ;

-- A FormText which is intended to measure some aspect
-- of the cognitive capabilities, e.g. intelligence or knowledge of a domain,
-- of the person taking the test.
fun TestForm : Class ;
fun TestForm_Class : SubClass TestForm (both FormText MeasuringDevice) ;

-- A Certificate that describes how a person's
-- property is to be distributed after the death of the person.
fun Testament : Class ;
fun Testament_Class : SubClass Testament Certificate ;

-- Giving testimony as part of a JudicialProcess.
fun Testifying : Class ;
fun Testifying_Class : SubClass Testifying Stating ;

-- Any ExpressingApproval to a person for something
-- that the person did in the past and that is regarded as being to the thanker's
-- benefit.
fun Thanking : Class ;
fun Thanking_Class : SubClass Thanking ExpressingApproval ;

-- Often know as the stage, the
-- Position of performing live plays.
fun TheaterProfession : Class ;
fun TheaterProfession_Class : SubClass TheaterProfession EntertainmentProfession ;

-- The systematic study of religious practice and religious truth.
fun Theology : Ind FieldOfStudy ;

-- Any Device that measures and represents
-- TemperatureMeasure.
fun Thermometer : Class ;
fun Thermometer_Class : SubClass Thermometer MeasuringDevice ;

-- Any Committing where the thing promised
-- is something that is deemed undesirable by the destination of the
-- Committing.
fun Threatening : Class ;
fun Threatening_Class : SubClass Threatening Committing ;

-- A BodyVessel which connects the Mouth to the
-- lungs and stomach.
fun Throat : Class ;
fun Throat_Class : SubClass Throat (both AnimalAnatomicalStructure BodyVessel) ;

-- Any instance of Impelling where the instrument is
-- an Arm.
fun Throwing : Class ;
fun Throwing_Class : SubClass Throwing (both BodyMotion Impelling) ;

-- The thick, short Finger of each Hand.
fun Thumb : Class ;
fun Thumb_Class : SubClass Thumb Finger ;

-- Any instance of RadiatingSound which is caused by
-- an instance of Lightning.
fun Thunder : Class ;
fun Thunder_Class : SubClass Thunder (both RadiatingSound WeatherProcess) ;

-- A Gland in the neck that produces HormoneTSH,
-- which regulates body weight, metabolic rate, etc.
fun ThyroidGland : Class ;
fun ThyroidGland_Class : SubClass ThyroidGland Gland ;

-- A Hormone secreted by the ThyroidGland.
fun ThyroidHormone : Class ;
fun ThyroidHormone_Class : SubClass ThyroidHormone Hormone ;

-- A Certificate that allows the holder to perform
-- a specified act once, e.g. ride a bus, attend a concert, obtain a prize,
-- etc.
fun Ticket : Class ;
fun Ticket_Class : SubClass Ticket Certificate ;

-- Clothing that is intended to be worn around the
-- Neck and knotted at the front.
fun TieClothing : Class ;
fun TieClothing_Class : SubClass TieClothing Clothing ;

-- The ContestAttribute that applies to all contestParticipants
-- in a Contest when none of them have Won or Lost the Contest.
fun TieScore : Ind ContestAttribute ;

-- Any Process of Digging, e.g. breaking and
-- turning over Soil that facilitates Agriculture.
fun Tilling : Class ;
fun Tilling_Class : SubClass Tilling (both Digging (both IntentionalProcess SurfaceChange)) ;

-- An Amphibian that lacks a Tail and lives at least
-- partially outside of water.
fun Toad : Class ;
fun Toad_Class : SubClass Toad Amphibian ;

-- A FloweringPlant containing nicotine whose leaves
-- are dried and then smoked or ingested.
fun Tobacco : Class ;
fun Tobacco_Class : SubClass Tobacco (both FloweringPlant PlantAgriculturalProduct) ;

-- The five extremities of a Foot.
fun Toe : Class ;
fun Toe_Class : SubClass Toe (both AnimalAnatomicalStructure (both BodyPart DigitAppendage)) ;

-- A Device for the disposal of wastes resulting from
-- urination and defecation.
fun Toilet : Class ;
fun Toilet_Class : SubClass Toilet Device ;

-- A StationaryArtifact which is meant to contain someone who is Dead.
fun Tomb : Class ;
fun Tomb_Class : SubClass Tomb StationaryArtifact ;

-- English mass unit that is equal to 2000 pounds.
fun TonMass : Ind UnitOfMass ;

-- Any SpokenHumanLanguage that uses pitch to
-- differentiate otherwise identical words, e.g. Chinese.
fun TonalLanguage : Class ;
fun TonalLanguage_Class : SubClass TonalLanguage SpokenHumanLanguage ;

-- Part of the Mouth, used for Tasting Food,
-- Vocalizing, and the initial stage of Digesting.
fun Tongue : Class ;
fun Tongue_Class : SubClass Tongue (both AnimalAnatomicalStructure BodyPart) ;

-- Part of the Mouth, used for biting and chewing.
fun Tooth : Class ;
fun Tooth_Class : SubClass Tooth Bone ;

-- A small BrushOrComb with relatively soft
-- bristles and a long handle, used for brushing teeth (see Tooth). It is
-- used help control bacteria living in the mouth. While most typically used
-- by humans on themselves, it can be used by Dentists on their
-- patients and by adults assisting children. They are occasionally used by
-- humans caring for pets, zoo animals and valuable livestock.
fun Toothbrush : Class ;
fun Toothbrush_Class : SubClass Toothbrush BrushOrComb ;

-- The body of a Primate excluding its Limbs.
fun Torso : Class ;
fun Torso_Class : SubClass Torso (both AnimalAnatomicalStructure BodyPart) ;

-- A tourist is a person who is travelling to a
-- place primarily for reasons of entertainment or education, rather than
-- business, although business transaction may take place during the trip.
fun Tourist : Ind SocialRole ;

-- A tourist site is a location that has some
-- feature of interest to Tourists, which entertains or informs them.
fun TouristSite : Class ;
fun TouristSite_Class : SubClass TouristSite GeographicArea ;

-- A piece of Fabric which is used for Drying.
fun Towel : Class ;
fun Towel_Class : SubClass Towel Fabric ;

-- Any ContentDevelopment that results in a Blueprint.
fun Tracing : Class ;
fun Tracing_Class : SubClass Tracing (both ContentDevelopment SurfaceChange) ;

-- TractorTrailer is the subclass of
-- RoadVehicles that are truck tractor_ truck trailer combinations.
fun TractorTrailer : Class ;
fun TractorTrailer_Class : SubClass TractorTrailer RoadVehicle ;

-- The state of being free from Anxiety.
fun Tranquility : Ind EmotionalState ;

-- A Device which is capable of converting one
-- form of energy into another. Formally, a Twoport that neither stores
-- nor dissipates, but only transfers energy between its two ports.
fun Transducer : Class ;
fun Transducer_Class : SubClass Transducer Device ;

-- Any process within an Organization
-- where a person is moved from one Position to another, e.g. the promotion
-- or demotion of an employee.
fun TransferringPosition : Class ;
fun TransferringPosition_Class : SubClass TransferringPosition OrganizationalProcess ;

-- A TransitSystem is a system of
-- interconnected Transitways over which some type(s) of vehicles or
-- travellers may pass. In addition to Transitways, TransitSystems
-- may also include TransitJunctions and TransitTerminals. Transit
-- systems may be demarcated by where they are located (e.g., the rail
-- system of Afghanistan), who owns or manages them (e.g., American
-- Airlines TransitSystem of AirRoutes, or state highways managed by
-- TexDOT), or the type of vehicles or travellers accommodated (e.g.,
-- the system of Santa Clara county bike trails.
fun TransitSystem : Class ;
fun TransitSystem_Class : SubClass TransitSystem PhysicalSystem ;

-- A Transparent material is one through which
-- it is possible to have Seeing.
fun Transparent : Ind InternalAttribute ;

-- TransportViaRoadVehicle is the class of Transportation
-- events in which the instrument is an instance of
-- RoadVehicle.
fun TransportViaRoadVehicle : Class ;
def TransportViaRoadVehicle = both LandTransportation
(KappaFn Transportation (\TRANSPORT -> exists RoadVehicle (\VEHICLE -> instrument (var Transportation Process ? TRANSPORT)
(var RoadVehicle Object ? VEHICLE))));

-- A CommercialAgent whose services include Transportation,
-- e.g. a RailroadCompany, an airline, a cruise ship line, etc.
fun TransportationCompany : Class ;
fun TransportationCompany_Class : SubClass TransportationCompany CommercialAgent ;

-- A Device whose purpose is to trap or cage Animals,
-- i.e. to be in instrument in an act of Confining.
fun TrapOrCage : Class ;
fun TrapOrCage_Class : SubClass TrapOrCage Holder ;

-- Any Container which is intended to be
-- used for carrying clothing, toiletries, and other personal effects that
-- would be needed on a overnight trip.
fun TravelContainer : Class ;
fun TravelContainer_Class : SubClass TravelContainer Container ;

-- A Holder that is designed for Food, dishes, and
-- flatware.
fun Tray : Class ;
fun Tray_Class : SubClass Tray Holder ;

-- Any SkilledOccupation which involves receiving
-- and disbursing money.
fun Treasurer : Class ;
fun Treasurer_Class : SubClass Treasurer SkilledOccupation ;

-- Any Contract which holds between two or more Nations.
fun Treaty : Ind DeonticAttribute ;

-- Any PlantBranch which is part of a BotanicalTree.
fun TreeBranch : Class ;
fun TreeBranch_Class : SubClass TreeBranch PlantBranch ;

-- Any BodyMotion which is involuntary and which is
-- repeated many times over a short time frame, e.g. a tremor in the hands,
-- shivering etc.
fun Trembling : Class ;
fun Trembling_Class : SubClass Trembling (both AutonomicProcess (both BodyMotion Tremor)) ;

-- Motion that involves rapidly Rotating between two positions.
fun Tremor : Class ;
fun Tremor_Class : SubClass Tremor Rotating ;

-- Entering property that does not belong to one and without
-- the permission of the owner of the property.
fun Trespassing : Class ;
fun Trespassing_Class : SubClass Trespassing (both CriminalAction Translocation) ;

-- Any three_sided Polygon.
fun Triangle : Class ;
fun Triangle_Class : SubClass Triangle Polygon ;

-- A piece of Clothing that covers each Leg of a person separately.
fun Trousers : Class ;
fun Trousers_Class : SubClass Trousers Clothing ;

-- Any Vehicle that is intended to carry substantial
-- amounts of cargo, in addition to passengers. This includes 18_wheelers,
-- pickup trucks, tanker trucks etc. Consumer vehicles with trunks or enclosed
-- rear areas that can carry cargo are not defined as trucks. Truck is the subclass of RoadVehicles that
-- are designed primarily for transporting various kinds of non_passenger
-- loads. Truck is the class of single_bodied trucks or TruckTractors.
-- Note: TractorTrailer combinations are a distinct class. Truck an automotive vehicle suitable for hauling
fun Truck : Class ;
fun Truck_Class : SubClass Truck (both CargoVehicle SelfPoweredRoadVehicle) ;

-- TruckTractor is the subclass of Trucks that are used to tow truck trailers.
-- Truck tractors are the cab portions of tractor_trailers. See also TruckTrailer.
fun TruckTractor : Class ;
fun TruckTractor_Class : SubClass TruckTractor Truck ;

-- TruckTrailer is the subclass of Wagons
-- that are towed by TruckTractors. These are the trailers used in
-- tractor_trailer (semi_trailer) rigs.
fun TruckTrailer : Class ;
fun TruckTrailer_Class : SubClass TruckTrailer Wagon ;

-- A long, narrow, and hollow Artifact that is designed for
-- moving Fluids from place to another.
fun Tube : Class ;
fun Tube_Class : SubClass Tube Artifact ;

-- A BacterialDisease caused by the Tubercle Bacillus
-- that results in lesions on various body parts, especially the Lungs. Tuberculosis A disease that usually infects the lungs and causes severe
-- coughing. In some cases it will result in hemorrhage of the lungs.
fun Tuberculosis : Ind BacterialDisease ;

-- Any AbnormalAnatomicalStructure which consists of a
-- mass of Tissue. Note that this class covers both malignant (i.e. cancerous)
-- and benign tumors.
fun Tumor : Class ;
fun Tumor_Class : SubClass Tumor AbnormalAnatomicalStructure ;

-- An Engine which converts the kinetic energy of a moving
-- Liquid (typically Water) into mechanical energy.
fun Turbine : Class ;
fun Turbine_Class : SubClass Turbine Engine ;

-- Any Process whose result is that the patient
-- of the process is in the state of DeviceOff. In other words, this class covers
-- any process of turning off a device, e.g. turning off the lights, switching off a
-- television set, etc.
fun TurningOffDevice : Class ;
fun TurningOffDevice_Class : SubClass TurningOffDevice InternalChange ;

-- Any Process whose result is that the patient
-- of the process is in the state of DeviceOn. In other words, this class covers
-- any process of turning on a device, e.g. turning on the lights, switching on a
-- television set, etc.
fun TurningOnDevice : Class ;
fun TurningOnDevice_Class : SubClass TurningOnDevice InternalChange ;

-- A real_world physical object
-- with a very flat aspect. This includes drawings on paper, cave
-- paintings and other surface alterations.
fun TwoDimensionalObject : Class ;
fun TwoDimensionalObject_Class : SubClass TwoDimensionalObject Object ;

-- The Process of tying two things, or two strands of
-- the same thing, together.
fun Tying : Class ;
fun Tying_Class : SubClass Tying Attaching ;

-- An Attribute which indicates that the
-- associated Object cannot be broken under normal usage conditions.
fun Unbreakable : Ind BreakabilityAttribute ;

-- The state of being unhappy, experiencing pain,
-- sorrow or unease.
fun Unhappiness : Ind EmotionalState ;

-- An Organization comprised of workers from
-- the same Corporation or Industry. The purpose of the UnionOrganization
-- is to strengthen its representation in bargaining with the Corporation or
-- Industry.
fun UnionOrganization : Class ;
fun UnionOrganization_Class : SubClass UnionOrganization Organization ;

-- Any Soldier that served on the union side during
-- the American Civil War. UnionSoldier Any Soldier that served on the union
-- side during the American Civil War.
fun UnionSoldier : Class ;
fun UnionSoldier_Class : SubClass UnionSoldier Soldier ;

-- The states of the UnitedStates that the
-- ConfederateStatesOfAmerica seceded from.
fun UnionStatesOfAmerica : Ind GeopoliticalArea ;

-- The legislative branch of the government
-- of the UnitedStates.
fun UnitedStatesCongress : Ind LegislativeOrganization ;

-- Manages and preserves public lands and natural resources in the UnitedStates.
fun UnitedStatesDepartmentOfInterior : Ind GovernmentOrganization ;

-- The subOrganization of the US government that sets and enforces foreign policy.
fun UnitedStatesDepartmentOfState : Ind GovernmentOrganization ;

-- A School which admits students that
-- have graduated from high school (known as undergraduate students) and
-- students who have received a bachelor's degree (known as graduate
-- students). A University confers both bachelor's and graduate
-- degrees.
fun University : Class ;
fun University_Class : SubClass University PostSecondarySchool ;

-- Any Position which does not
-- require learning a set of skills.
fun UnskilledOccupation : Class ;
fun UnskilledOccupation_Class : SubClass UnskilledOccupation ManualLabor ;

-- The Process of untying two things, or two strands
-- of the same thing.
fun Untying : Class ;
fun Untying_Class : SubClass Untying Detaching ;

-- A PositionalAttribute to indicate that one thing is
-- one or more floors above a second thing in the same building.
fun Upstairs : Ind PositionalAttribute ;

-- Urea is a dry, soluble, nitrogenous substance
-- that is the major solid component of the urine of mammals, and which
-- may be synthesized from ammonia and carbon dioxide, it is useful in the
-- production of Plastic and in Fertilizers.
fun Urea : Class ;
fun Urea_Class : SubClass Urea OrganicCompound ;

-- Taking time off from Working.
fun Vacationing : Class ;
fun Vacationing_Class : SubClass Vacationing RecreationOrExercise ;

-- An event where the objective of the agent
-- is to damage or destroy some property of another agent. This is
-- distinguished from acts where the prime objective is damage or loss
-- of life of another agent.
fun Vandalism : Class ;
fun Vandalism_Class : SubClass Vandalism Destruction ;

-- An event in which a vehicle is used by an agent in order to inflict
-- injury, death or damage to people or property.
fun VehicleAttack : Class ;
fun VehicleAttack_Class : SubClass VehicleAttack ViolentContest ;

-- A VehicleController which is capable of stopping the motion of a Vehicle.
fun VehicleBrake : Class ;
fun VehicleBrake_Class : SubClass VehicleBrake VehicleController ;

-- Any Device which is used to start, stop or
-- control the movements of a Vehicle. This class covers steering wheels, brakes,
-- acceleration pedals, airplane sticks, etc.
fun VehicleController : Class ;
fun VehicleController_Class : SubClass VehicleController Device ;

-- Any LightFixture which is attached to the
-- surface of a Vehicle and whose purpose is to illuminate that area around
-- the Vehicle so that potential obstacles can be detected or alerted.
fun VehicleLight : Class ;
fun VehicleLight_Class : SubClass VehicleLight LightFixture ;

-- A VehicleController which controls the amount
-- of Fuel which is supplied to the Engine.
fun VehicleThrottle : Class ;
fun VehicleThrottle_Class : SubClass VehicleThrottle VehicleController ;

-- A covering, usually made of rubber, for a Wheel.
fun VehicleTire : Class ;
fun VehicleTire_Class : SubClass VehicleTire Artifact ;

-- VehicleWheel is a class of cylindrical
-- Devices used to move a RoadVehicle along a road, running either
-- directly on the wheel rims or on tires attached to the wheel rims.
fun VehicleWheel : Class ;
fun VehicleWheel_Class : SubClass VehicleWheel Wheel ;

-- Any Window which is part of a Vehicle,
-- e.g. the Windshield and RearWindow of an Automobile.
fun VehicleWindow : Class ;
fun VehicleWindow_Class : SubClass VehicleWindow Window ;

-- A piece of Clothing intended to cover or
-- obscure the face or hair of a Woman. This is commonly worn for
-- religious reasons when in public in Muslim countries, but is also customary
-- at Weddings and Funerals among some non_Muslim women.
fun Veil : Class ;
fun Veil_Class : SubClass Veil Clothing ;

-- Any BloodVessel which transfers Blood from
-- the extremities of the body to the Heart.
fun Vein : Class ;
fun Vein_Class : SubClass Vein BloodVessel ;

-- A Device which is capable of Selling a Product to a customer
-- automatically when the customer inserts the appropriate amount of Currency.
fun VendingDevice : Class ;
fun VendingDevice_Class : SubClass VendingDevice Device ;

-- The Attribute that applies to someone who was a
-- Soldier at one time, but is not currently a Soldier.
fun Veteran : Ind SocialRole ;

-- A representation of video on some medium such
-- as film, videotape or DVD. Instances of this class are also commonly
-- instances of AudioRecording.
fun VideoRecording : Class ;
fun VideoRecording_Class : SubClass VideoRecording ContentBearingObject ;

-- A StringInstrument that has four strings, a hollow
-- body, and is played on the shoulder with a bow.
fun Violin : Class ;
fun Violin_Class : SubClass Violin StringInstrument ;

-- A disease that is caused by instances of
-- Virus.
fun ViralDisease : Class ;
fun ViralDisease_Class : SubClass ViralDisease InfectiousDisease ;

-- Music which is produced (at least in part)
-- by Singing.
fun VocalMusic : Class ;
fun VocalMusic_Class : SubClass VocalMusic Music ;

-- Any School whose aim is to teach
-- students an OccupationalTrade.
fun VocationalSchool : Class ;
fun VocationalSchool_Class : SubClass VocationalSchool School ;

-- A structure where Voting for an Election
-- takes place.
fun VotingPoll : Class ;
fun VotingPoll_Class : SubClass VotingPoll StationaryArtifact ;

-- An AlphabeticCharacter that denotes a speech sound that
-- does not result in audible friction when it is pronounced.
fun Vowel : Class ;
fun Vowel_Class : SubClass Vowel AlphabeticCharacter ;

-- A diurnal bird of prey with a bald head that
-- feeds on carrion.
fun Vulture : Class ;
fun Vulture_Class : SubClass Vulture Bird ;

-- Any instance of Walking which occurs through a
-- BodyOfWater.
fun Wading : Class ;
fun Wading_Class : SubClass Wading Walking ;

-- A Landcraft that is not self_propelled, but must be
-- pulled by either an Animal or a self_propelled Vehicle to move along the
-- ground.
fun Wagon : Class ;
fun Wagon_Class : SubClass Wagon LandVehicle ;

-- The process of transitioning from a state of being
-- Asleep to a state of being Awake.
fun WakingUp : Class ;
fun WakingUp_Class : SubClass WakingUp PsychologicalProcess ;

-- A Device which has the form of a staff with
-- a handle and which enables some people to walk with greater assurance.
fun WalkingCane : Class ;
fun WalkingCane_Class : SubClass WalkingCane Device ;

-- A StationaryArtifact that supports a Building or
-- partitions it into Rooms.
fun Wall : Class ;
fun Wall_Class : SubClass Wall StationaryArtifact ;

-- Any decorative paper that is used to cover the
-- Walls of Rooms.
fun Wallpaper : Class ;
fun Wallpaper_Class : SubClass Wallpaper ArtWork ;

-- A very large CommercialBuilding whose purpose is
-- to store commodities.
fun Warehouse : Class ;
fun Warehouse_Class : SubClass Warehouse CommercialBuilding ;

-- A WashingDevice which is intended to be used by
-- Humans for washing their Hands.
fun WashBasin : Class ;
fun WashBasin_Class : SubClass WashBasin WashingDevice ;

-- Removing small particles from something by means of
-- a Detergent and Water.
fun Washing : Class ;
fun Washing_Class : SubClass Washing Removing ;

-- Any Device whose purpose is Washing
-- something, e.g. washing machines, dishwashers, bathtubs, etc.
fun WashingDevice : Class ;
fun WashingDevice_Class : SubClass WashingDevice Device ;

-- A Container which is used for trash.
fun Wastebasket : Class ;
fun Wastebasket_Class : SubClass Wastebasket Container ;

-- A Clock that can be worn on the Wrist.
fun WatchClock : Class ;
def WatchClock = KappaFn Clock (\C -> exists Human (\P -> exists Wrist (\W -> and (wears (var Human Animal ? P)
(var Clock Clothing ? C))
(located (var Clock Physical ? C)
(var Wrist Object ? W))))) ;

-- Any instance of Transportation where the instrument is a WaterVehicle.
fun WaterTransportation : Class ;
fun WaterTransportation_Class : SubClass WaterTransportation Transportation ;

-- WaterVehicle is the class of all TransportationDevices used to travel on or in water.
fun WaterVehicle : Class ;
fun WaterVehicle_Class : SubClass WaterVehicle Vehicle ;

-- A WaterWave is a raised ridge of water
-- moving along the surface of a body of water. The WaterWave moves
-- in a direction approximately transverse to the crest line of the wave.
-- The patient of the WaterWave is successive regions of water, which
-- do not travel in the direction of the wave or with it.
fun WaterWave : Class ;
fun WaterWave_Class : SubClass WaterWave LiquidMotion ;

-- Any Paint which is a water_based Solution.
fun WatercolorPaint : Class ;
fun WatercolorPaint_Class : SubClass WatercolorPaint Paint ;

-- Any PaintedPicture which is created
-- with water_based paints.
fun WatercolorPicture : Class ;
fun WatercolorPicture_Class : SubClass WatercolorPicture PaintedPicture ;

-- Moving a Hand to indicate a greeting, farewell,
-- recognition, goodwill, etc.
fun Waving : Class ;
fun Waving_Class : SubClass Waving HandGesture ;

-- Any Substance of high molecular weight that resembles
-- beeswax.
fun Wax : Class ;
fun Wax_Class : SubClass Wax Substance ;

-- Nuclear, chemical and biological weapons.
-- What these weapons have in common is that they are designed to kill large numbers
-- of people indiscriminately.
fun WeaponOfMassDestruction : Class ;
fun WeaponOfMassDestruction_Class : SubClass WeaponOfMassDestruction Weapon ;

-- Any Saturday and Sunday which are contiguous.
fun Weekend : Class ;
fun Weekend_Class : SubClass Weekend TimeInterval ;

-- Expressing unhappiness by shedding tears.
fun Weeping : Class ;
fun Weeping_Class : SubClass Weeping FacialExpression ;

-- Any Funding which is provided by a ServiceOrganization
-- to people in need.
fun Welfare : Class ;
fun Welfare_Class : SubClass Welfare Funding ;

-- A long CerealGrain which is produced by certain grasses and
-- which is used to make BreadOrBiscuits.
fun WheatGrain : Class ;
fun WheatGrain_Class : SubClass WheatGrain CerealGrain ;

-- A circular Artifact which is a component of
-- LandVehicles and of some Devices.
fun Wheel : Class ;
fun Wheel_Class : SubClass Wheel Artifact ;

-- A Weapon that consists of a thin strand of
-- Fabric, usually Leather, and a handle by which the strand is
-- impelled at a high rate of speed.
fun Whip : Class ;
fun Whip_Class : SubClass Whip Weapon ;

-- A DistilledAlcoholicBeverage that is prepared by
-- distilling fermented grain mash.
fun Whiskey : Class ;
fun Whiskey_Class : SubClass Whiskey DistilledAlcoholicBeverage ;

-- BloodCells that lack hemoglobin, contain a
-- CellNucleus, and have no color.
fun WhiteBloodCell : Class ;
fun WhiteBloodCell_Class : SubClass WhiteBloodCell BloodCell ;

-- A MercantileOrganization that sells its
-- goods exclusively to Corporations.
fun WholesaleStore : Class ;
fun WholesaleStore_Class : SubClass WholesaleStore (both Agency MercantileOrganization) ;

-- The Attribute that applies to someone who was
-- married to someone who has died, and who has not remarried.
fun Widowed : Ind SocialRole ;

-- A BotanicalTree of the genus Salix.
fun WillowTree : Class ;
fun WillowTree_Class : SubClass WillowTree BotanicalTree ;

-- A MusicalInstrument which is played by
-- blowing it and which uses a reed, or resonator hole as in the case of a flute.
fun WindInstrument : Class ;
fun WindInstrument_Class : SubClass WindInstrument MusicalInstrument ;

-- Windmill is the subclass of Engines that
-- produce mechanical power from Wind energy.
fun Windmill : Class ;
fun Windmill_Class : SubClass Windmill Engine ;

-- An Artifact composed of transparent material
-- that admits light (and possibly air) into a Room, Building
-- or Vehicle.
fun Window : Class ;
fun Window_Class : SubClass Window Artifact ;

-- An Artifact that is used to cover
-- Windows. Note that this class includes blinds, drapes, shutters,
-- etc.
fun WindowCovering : Class ;
fun WindowCovering_Class : SubClass WindowCovering Artifact ;

-- Any VehicleWindow which located at the front
-- of an Automobile.
fun Windshield : Class ;
fun Windshield_Class : SubClass Windshield VehicleWindow ;

-- An AlcoholicBeverage that is prepared by fermenting
-- the juice of grapes.
fun Wine : Class ;
fun Wine_Class : SubClass Wine (both AlcoholicBeverage PlantAgriculturalProduct) ;

-- Any Limb which is capable of being an
-- instrument in Flying.
fun Wing : Class ;
fun Wing_Class : SubClass Wing Limb ;

-- The wings of Aircraft, i.e. the parts of Aircraft
-- that allow them to become and remain airborne.
fun WingDevice : Class ;
fun WingDevice_Class : SubClass WingDevice EngineeringComponent ;

-- Any instance of ClosingEyes which is intended to
-- express something to someone else.
fun Winking : Class ;
fun Winking_Class : SubClass Winking (both ClosingEyes Gesture) ;

-- The SeasonOfYear that begins at the winter
-- solstice and ends at the spring equinox.
fun WinterSeason : Class ;
fun WinterSeason_Class : SubClass WinterSeason SeasonOfYear ;

-- A long, thin strand of Metal that is used in a wide
-- range of applications, including the wiring of electrical systems, creating
-- bundles and the construction of cages.
fun Wire : Class ;
fun Wire_Class : SubClass Wire Artifact ;

-- A Wire that is designed for conducting electricity.
fun WireLine : Class ;
fun WireLine_Class : SubClass WireLine (both EngineeringComponent Wire) ;

-- An EngineeringComponent consisting of a coil of
-- Wire that returns to its original shape when pulled apart or pressed together.
fun WireSpring : Class ;
fun WireSpring_Class : SubClass WireSpring (both EngineeringComponent Wire) ;

-- The ContestAttribute that applies to a Contest
-- participant who has won the Contest.
fun Won : Ind ContestAttribute ;

-- Tissue that comprises the inner trunk of Trees.
-- It is often used in constructing Buildings and other Artifacts.
-- Wood is the principal substance making up a tree, and is distinguished from the
-- bark, roots, flowers, seeds, fruit and leaves.
fun Wood : Class ;
fun Wood_Class : SubClass Wood (both PlantSubstance Tissue) ;

-- Wood that has been cut (and perhaps treated) for
-- some purpose, e.g. Constructing or Combustion. Note that this class covers
-- both lumber and firewood.
fun WoodArtifact : Class ;
fun WoodArtifact_Class : SubClass WoodArtifact Artifact ;

-- Fabric that is made from the Hair of Sheep.
fun Wool : Class ;
fun Wool_Class : SubClass Wool Fabric ;

-- Sterile members of an Insect colony which
-- are responsible for locating food and caring for eggs, larvae, etc.
fun WorkerInsect : Class ;
fun WorkerInsect_Class : SubClass WorkerInsect Insect ;

-- Any FinancialTransaction where someone exchanges
-- his/her labor for an instance of CurrencyMeasure.
fun Working : Class ;
fun Working_Class : SubClass Working FinancialTransaction ;

-- A Room, suite of Rooms or Building which is
-- devoted to hand_crafting Artifacts.
fun Workshop : Class ;
fun Workshop_Class : SubClass Workshop StationaryArtifact ;

-- The joint in the Arm connecting the radius and carpal bones.
fun Wrist : Class ;
fun Wrist_Class : SubClass Wrist BodyJoint ;

-- A Device whose purpose is to be an instrument
-- of Writing, e.g. pens, pencils, crayons, etc.
fun WritingDevice : Class ;
fun WritingDevice_Class : SubClass WritingDevice Device ;

-- Any LinguisticCommunication where the
-- instrument is a Text, e.g. a letter, an email, a memo, etc.
fun WrittenCommunication : Class ;
fun WrittenCommunication_Class : SubClass WrittenCommunication LinguisticCommunication ;

-- Electro_magnetic radiation of short wavelength,
-- often made use of by devices that scan the inside of objects.
fun XRayRadiation : Class ;
fun XRayRadiation_Class : SubClass XRayRadiation Radiating ;

-- English unit of length, equal to 3 FeetLength.
fun YardLength : Ind UnitOfLength ;

-- (address ?AGENT ?ADDRESS) means that ?ADDRESS
-- is an address or part of an address for the Agent ?AGENT.
fun address : El Agent -> El Address -> Formula ;

fun affiliatedOrganization : El Organization -> El Organization -> Formula ;

-- (alias ?STRING ?AGENT) means that ?STRING is an
-- alternate identifier for ?AGENT, and is likely being used to hide or
-- obscure ?AGENT's true identity.
fun alias : El SymbolicString -> El Agent -> Formula ;

-- (allegiance ?AGENT ?ENTITY) means that the CognitiveAgent
-- ?AGENT owes its allegiance to the political entity ?ENTITY.
fun allegiance : El CognitiveAgent -> El CognitiveAgent -> Formula ;

-- (ancestorOrganization ?ORG1 ?ORG2) means that
-- the Organization ?ORG1 descended from the Organization ?ORG2.
fun ancestorOrganization : El Organization -> El Organization -> Formula ;

-- (anniversary ?PHYSICAL ?TIME) means that
-- ?TIME is the class of TimeIntervals which mark the anniversary of
-- ?PHYSICAL. For example, (anniversary Christmas (DayFn 35 December))
-- means that Christmas is celebrated each year on the 25th of December.
fun anniversary : El Physical -> El TimeInterval -> Formula ;

-- (areaOfResponsibility ?AGENT ?PROCESS_TYPE ?AREA) means that ?AGENT
-- (typically an instance of Organization) is responsible or accountable for
-- actions or undertakings of type ?PROCESS_TYPE in the
-- GeographicArea denoted by ?AREA.
fun areaOfResponsibility : El Agent -> Desc Process -> El GeographicArea -> Formula ;

-- (arrested ?EVENT ?AGENT) means that during ?EVENT, ?AGENT is
-- taken into custody, typically by a representative of a law
-- enforcement organization.
fun arrested : El PlacingUnderArrest -> El Agent -> Formula ;

-- (aunt ?AUNT ?PERSON) means that ?AUNT is
-- the sister of a parent of ?PERSON.
fun aunt : El Woman -> El Human -> Formula ;

-- (axis ?A ?OBJ) means that a part ?A of an Object ?OBJ
-- is the axis of rotation in a Rotating.
fun axis : El Object -> El Object -> Formula ;

-- (benefits ?PROCESS ?AGENT) means that
-- ?AGENT somehow derives benefit as a result of ?PROCESS. This is
-- a very general relation, and does not entail that ?AGENT is a
-- participant in ?PROCESS.
fun benefits : El Process -> El Agent -> Formula ;

-- (birthdate ?PERSON ?DAY) means that ?DAY is the
-- Day on which the ?PERSON was born.
fun birthdate : El Human -> El Day -> Formula ;

-- (birthday ?PERSON ?DAY) means that ?DAY is the
-- anniversary each year of the birth of ?PERSON. For example, (birthday
-- WilliamJeffersonClinton (DayFn 19 August)) means that Bill Clinton's
-- birthday is August 19th.
fun birthday : El Human -> El Day -> Formula ;

-- (birthplace ?INDIV ?PLACE) means that the Animal ?INDIV was born
-- at the location ?PLACE. The location may be a geographic area or a building, such as a hospital.
fun birthplace : El Animal -> El Object -> Formula ;

-- (brandName ?NAME ?PRODUCT) means that ?NAME
-- is the brand name for the product class ?PRODUCT, e.g. Cheerios is the
-- brand name for a certain class of breakfast cereal.
fun brandName : El SymbolicString -> El Product -> Formula ;

-- (capacity ?OBJ ?QUANTITY) means that ?OBJ can contain
-- something that has the measure of ?QUANTITY. This predicate denotes maximal
-- capacity, i.e. ?OBJ can hold no more than ?QUANTITY. Note, however, that this
-- does not mean that capacity is a SingleValuedRelation, since an object may
-- have various maximal capacities across different dimensions, e.g. a particular
-- box may have a capacity of 3 pounds and a capacity of 1 liter.
fun capacity : El SelfConnectedObject -> El ConstantQuantity -> Formula ;

-- (cargo ?EVENT ?OBJ) means that ?OBJ is transported as cargo in
-- the Shipping event ?EVENT.
fun cargo : El Shipping -> El Object -> Formula ;

-- (changesLocation ?EVENT ?OBJECT) means that during the Translocation
-- event ?EVENT, ?OBJECT's location changes. ?OBJECT might also be the agent,
-- patient, or experiencer of ?EVENT.
fun changesLocation : El Translocation -> El Object -> Formula ;

-- (cityAddress ?CITY ?ADDRESS) means that the
-- City ?CITY is part of the address ?ADDRESS.
fun cityAddress : El City -> El Address -> Formula ;

-- (holdsDuring ?T1 (cohabitant ?H1 ?H2))
-- means that during the time ?T1, ?H1 and ?H2 have the same home.
fun cohabitant : El Human -> El Human -> Formula ;

-- (conjugate ?COMPOUND1 ?COMPOUND2) means that
-- ?COMPOUND1 and ?COMPOUND2 are identical CompoundSubstances except that
-- one has one more Proton than the other.
fun conjugate : El CompoundSubstance -> El CompoundSubstance -> Formula ;

-- (contestParticipant ?CONTEST ?AGENT)
-- means that ?AGENT is one of the sides in the Contest ?CONTEST. For
-- example, if the ?CONTEST is a football game, then ?AGENT would be one of
-- the opposing teams. For another example, if ?CONTEST is a Battle, then
-- ?AGENT would be one of the sides fighting each other.
fun contestParticipant : El Contest -> El Agent -> Formula ;

-- (controlled ?EVENT ?OBJECT) means that during the
-- AchievingControl denoted by ?EVENT, ?OBJECT comes to be
-- physically controlled by an Agent.
fun controlled : El AchievingControl -> El Object -> Formula ;

-- (conveyance ?EVENT ?OBJ) means that ?OBJ is the
-- Vehicle or other transportation device used in ?EVENT.
fun conveyance : El Transportation -> El TransportationDevice -> Formula ;

-- (cousin ?PERSON1 ?PERSON2) means that ?PERSON1
-- and ?PERSON2 are cousins, i.e. ?PERSON1 and ?PERSON2 have grandparents
-- (but not parents) in common.
fun cousin : El Human -> El Human -> Formula ;

-- (holdsDuring ?T1 (coworker ?H1 ?H2)) means
-- that during time ?T1, ?H1 and ?H2 are both employed by the same agent, are
-- of roughly the same job status, and come into contact at least part of the
-- time at the same work location.
fun coworker : El Human -> El Human -> Formula ;

-- (birthdate ?PERSON ?DAY) means that ?DAY is the
-- Day on which the ?PERSON died.
fun deathdate : El Human -> El Day -> Formula ;

-- (deathplace ?INDIV ?PLACE) means that the Animal ?INDIV died
-- at the location ?PLACE. The location may be a geographic area or a building,
-- such as a hospital.
fun deathplace : El Animal -> El Object -> Formula ;

-- (deceptiveIdentifier ?OBJ ?AGENT)
-- means that ?AGENT presents ?OBJ as a representation of ?AGENT's `true'
-- identity, when in fact it is not.
fun deceptiveIdentifier : El ContentBearingObject -> El Agent -> Formula ;

-- (defendant ?AGENT ?ACTION) means the LegalAction
-- ?ACTION makes a legal claim against ?AGENT.
fun defendant : El CognitiveAgent -> El LegalAction -> Formula ;

-- (detainee ?EVENT ?OBJECT) means that in the
-- Confining ?EVENT, the Object ?OBJECT is restrained by force, threat, or
-- other form of intimidation.
fun detainee : El Confining -> El Animal -> Formula ;

-- (deviceState ?DEVICE ?STATE) means that
-- the Object ?DEVICE is in the DeviceStateAttribute ?STATE.
fun deviceState : El Object -> El DeviceStateAttribute -> Formula ;

-- (disapproves ?AGENT ?FORMULA) means that
-- ?AGENT has a feeling of antipathy to the state of affairs represented by
-- ?FORMULA, i.e. ?AGENT believes that the realization of ?FORMULA will
-- thwart one of his/her goals. Note that there is no implication that what
-- is disapproved of by an agent is not already true.
fun disapproves : El CognitiveAgent -> Formula -> Formula ;

-- (dislikes ?AGENT ?OBJECT) means that ?AGENT has a
-- feeling of antipathy to ?OBJECT, i.e. ?AGENT believes that ?OBJECT will
-- thwart one of his/her goals. Note that there is no implication that what
-- is hated by an agent is not already possessed by the agent.
fun dislikes : El CognitiveAgent -> El Object -> Formula ;

-- (distanceOnPath ?DIST ?PATH) means that for a given path (which is a pathInSystem) that the
-- distance of the route is the measurement ?DIST. distanceOnPath (distanceOnPath ?DIST ?PATH)
-- means that for a given path (which is a pathInSystem) that the distance of the route is
-- the measurement ?DIST.
fun distanceOnPath : El ConstantQuantity -> El Transitway -> Formula ;

-- (holdsDuring ?T1 (domesticPartner ?H1 ?H2)) means that during the time ?T1, ?H1
-- and ?H2 live together and share a common domestic life but are
-- not joined in a traditional marriage, a common_law marriage, or a
-- civil union.
fun domesticPartner : El Human -> El Human -> Formula ;

-- (doubts ?AGENT ?FORMULA) means that ?AGENT is unsure
-- about the truth of ?FORMULA, in particular ?AGENT does not believe that
-- ?FORMULA is true.
fun doubts : El CognitiveAgent -> Formula -> Formula ;

-- Models the effective range of some
-- device that is able to move by itself (like vehicles, rockets and so
-- on) or move other things (like weapons).
fun effectiveRange : El Device -> El LengthMeasure -> Formula ;

-- (electronNumber ?SUBSTANCE ?NUMBER) means that
-- the PureSubstance ?SUBSTANCE has the number of Electrons ?NUMBER.
fun electronNumber : El PureSubstance -> El PositiveInteger -> Formula ;

-- (enjoys ?AGENT ?PROCESS) means that the
-- CognitiveAgent ?AGENT tends to enjoy actions of type ?PROCESS,
-- i.e. tends to enjoy being the agent or experiencer of such
-- actions.
fun enjoys : El CognitiveAgent -> El IntentionalProcess -> Formula ;

-- (equipmentCount ?OBJECT ?TYPE ?QUANTITY) means that ?OBJECT
-- is equipped with devices of the type ?TYPE, in the number ?QUANTITY.
-- Equipment associated with an ?OBJECT may be a component of ?OBJECT
-- (such as the emergency oxygen system built into passenger jets) or it may
-- be a device simply located on or with ?OBJECT (such as a first aid kit).
fun equipmentCount : El Object -> Desc Device -> El Quantity -> Formula ;

-- (equipmentType ?THING ?TYPE) means that
-- the Artifact ?THING has a component or attachment of Device ?TYPE.
-- See also equipmentTypeCount.
fun equipmentType : El Artifact -> El Device -> Formula ;

-- Any belief about the future. (expects ?AGENT ?BELIEF) means that
-- (believes ?AGENT ?BELIEF) and, if ?BELIEF happens, it will
-- happen in the future, i.e. after the expectation.
fun expects : El CognitiveAgent -> Formula -> Formula ;

-- (experimentalControl ?EXPERIMENT ?OBJ) means that the Object ?OBJ
-- serves as a control in the instance of Experimenting ?EXPERIMENT,
-- i.e. ?OBJ is the standard against which something else in
-- the experiment can be compared.
fun experimentalControl : El Experimenting -> El Object -> Formula ;

-- (familyName ?STRING ?HUMAN) means that the SymbolicString ?STRING denotes a non_optional
-- name that ?HUMAN has inherited by virtue of being born into a
-- particular family (kin group). surname is another word for this type
-- of name. Cf. givenName.
fun familyName : El SymbolicString -> El Human -> Formula ;

-- (fears ?AGENT ?FORMULA) means that ?AGENT fears that
-- the proposition ?FORMULA will be true, i.e. he/she believes that it will
-- come to pass in the future and that it will be undesirable for ?AGENT.
fun fears : El CognitiveAgent -> Formula -> Formula ;

-- A formal banking, brokerage, or business
-- relationship established to provide for regular services, dealings, and
-- other financial transactions. (financialAccount ?ACCOUNT ?ORG) means that
-- ?ACCOUNT is a financial account opened at the FinancialCompany
-- ?ORG.
fun financialAccount : El FinancialAccount -> El FinancialCompany -> Formula ;

-- A predicate that relates an Agent to any
-- item of economic value owned by the Agent. Examples of financial assets
-- are cash, securities, accounts receivable, inventory, office equipment, a
-- house, a car, and other property.
fun financialAsset : El Agent -> El Object -> Formula ;

-- (formerName ?NAME ?THING) means that the
-- string ?NAME is a name formerly used for ?THING.
fun formerName : El Entity -> El Entity -> Formula ;

-- (holdsDuring ?T1 (friend ?H1 ?H2)) means that
-- during time ?T1, ?H1 and ?H2 know each other, share a relationship of
-- mutual care and concern, and probably also share some common interests.
fun friend : El Human -> El Human -> Formula ;

-- (gainsControl ?EVENT ?AGENT) means that during ?EVENT, ?AGENT
-- gains control of the patient (object).
fun gainsControl : El AchievingControl -> El Agent -> Formula ;

-- (givenName ?STRING ?HUMAN)
-- means that ?STRING is a name selected for ?HUMAN, usually from among
-- many options, as opposed to a mandatory name (cf. familyName) that
-- ?HUMAN has inherited by virtue of being born into a certain kin group,
-- caste, or occupation.
fun givenName : El SymbolicString -> El Human -> Formula ;

-- (grammaticalRelation ?PHRASE ?SENTENCE)
-- means that the Phrase ?PHRASE has a grammatical relation to the Sentence
-- ?SENTENCE, i.e. it is a subject, object, main verb, etc. of the ?SENTENCE.
fun grammaticalRelation : El Phrase -> El Sentence -> Formula ;

-- (grandfather ?PERSON ?PARENT) means that
-- ?PARENT is the grandfather of ?PERSON.
fun grandfather : El Human -> El Man -> Formula ;

-- (grandmother ?PERSON ?PARENT) means that
-- ?PARENT is the grandmother of ?PERSON.
fun grandmother : El Human -> El Woman -> Formula ;

-- (grandparent ?YOUNGER ?OLDER) means that
-- ?OLDER is a parent of ?YOUNGER's parent.
fun grandparent : El Human -> El Human -> Formula ;

-- A subrelation of member, groupMember
-- is used to relate a Human to a GroupOfPeople of which he/she is a
-- member.
fun groupMember : El Human -> El GroupOfPeople -> Formula ;

-- (half ?HALF ?WHOLE) means that ?HALF is one half
-- of ?WHOLE.
fun half : El Object -> El Object -> Formula ;

-- (hasExpertise ?PERSON ?FIELD) means that ?PERSON has
-- studied the FieldOfStudy ?FIELD and is regarded as an expert.
fun hasExpertise : El Human -> El FieldOfStudy -> Formula ;

-- (hasOccupation ?PERSON ?WORK) means that ?PERSON
-- engages in activities of the class ?WORK as a means of earning a living.
fun hasOccupation : El Human -> Desc IntentionalProcess -> Formula ;

-- (headquartersOfOrganization ?ORG ?AREA)
-- means that the Organization ?ORG is headquartered in ?AREA.
fun headquartersOfOrganization : El Organization -> El GeopoliticalArea -> Formula ;

-- (hopes ?AGENT ?FORMULA) means that ?AGENT hopes that
-- the proposition ?FORMULA will be true, i.e. he/she believes that it will
-- come to pass in the future and that it will be desirable for ?AGENT.
fun hopes : El CognitiveAgent -> Formula -> Formula ;

-- (hostileForces ?UNIT1 ?UNIT2) means that
-- the MilitaryUnits ?UNIT1 and ?UNIT2 are, respectively, allied with
-- GeopoliticalAreas that are at war with one another.
fun hostileForces : El MilitaryUnit -> El MilitaryUnit -> Formula ;

-- (humanCapacity ?CONSTRUCT ?NUMBER) means that the
-- StationaryArtifact ?CONSTRUCT, e.g. a Building or a Room, can hold a maximum
-- of ?NUMBER Humans without crowding.
fun humanCapacity : El StationaryArtifact -> El PositiveInteger -> Formula ;

-- (ideologicalAffiliationOfOrganization ?ORG ?GOV) means that one of the goals
-- of ?ORG is to realize the FormOfGovernment ?GOV.
fun ideologicalAffiliationOfOrganization : El Organization -> El FormOfGovernment -> Formula ;

-- Every instance of the first argument is initially
-- found as part of an instance of the second argument, even though it
-- might lose that part later in its lifetime. While the part must initially
-- exist as part of a whole, this does not say that each whole necessarily initially
-- contains such a part. For example, a thumb must at some time have been
-- part of a hand, but every hand need not have a thumb, even at birth. This
-- is a class_level relation roughly corresponding to part.
fun initialPart : Desc Object -> Desc Object -> Formula ;

-- Every instance of the second argument initially
-- contains an instance of the first argument, even though it
-- might lose that part later in its lifetime. Every normal human starts life with an
-- appendix for example. While the whole must initially
-- contain such a part, this does not say that each part necessarily initially
-- exists as part of such a whole. This is a class_level relation roughly
-- corresponding to part.
fun initiallyContainsPart : Desc Object -> Desc Object -> Formula;

-- (intelligenceQuotient ?PERSON ?NUMBER) means that ?NUMBER is the I.Q. of ?PERSON.
-- The I.Q. of a person is the ratio of their mental age (determined by a standardized test)
-- divided by their chronological age, multiplied by 100.
fun intelligenceQuotient : El Human -> El RationalNumber -> Formula ;

-- (inventory ?CBO ?COLLECTION) means that
-- the ContentBearingObject ?CBO contains a list or enumeration of the
-- members of the Collection ?COLLECTION.
fun inventory : El ContentBearingObject -> El Collection -> Formula ;

-- (lacks ?AGENT ?OBJECT) means that ?AGENT needs
-- ?OBJECT and it is not currently the case that ?AGENT possesses ?OBJECT.
fun lacks : El CognitiveAgent -> El Physical -> Formula ;

-- (landlord ?PERSON ?UNIT) means that ?PERSON is a
-- landlord of the Residence ?UNIT, i.e. he or she owns ?UNIT and is renting
-- the unit to someone else.
fun landlord : El Agent -> El PermanentResidence -> Formula ;

-- (holdsDuring ?T1 (legalGuardian ?H1 ?H2)) means that during the time ?T1,
-- ?H2 has legal authority over ?H1, and is responsible for looking after ?H1's interests.
fun legalGuardian : El Human -> El Human -> Formula ;

-- (localLongName ?NAME ?THING) means that the string ?NAME is the long form of the name
-- used for ?THING in its local area or language.
fun localLongName : El SymbolicString -> El Entity -> Formula ;

-- (localShortName ?NAME ?THING) means that the string ?NAME is the short form of the name
-- used for ?THING in its local area or language.
fun localShortName : El SymbolicString -> El Entity -> Formula ;

-- (locatedAtTime ?OBJ ?TIME ?PLACE) means
-- that during the time specified by ?TIME, ?OBJ was in the location
-- specified by ?PLACE.
fun locatedAtTime : El Object -> El TimePosition -> El Object -> Formula ;

-- (losesControl ?EVENT ?AGENT) means that during ?EVENT, ?AGENT
-- loses physical control of the controlled object.
fun losesControl : El ChangeOfControl -> El Agent -> Formula ;

-- The amount by which the cost of an investment or
-- business operation exceeds its return, i.e. the negative quantity left
-- after subtracting for all expenses.
fun loss : El FinancialTransaction -> El CurrencyMeasure -> Formula;

-- (measurementReading ?DEVICE ?QUANTITY)
-- means that ?QUANTITY is a reading of the MeasuringDevice ?DEVICE, e.g. if
-- ?THERMOMETER is a Thermometer, (measurementReading ?THERMOMETER
-- (MeasureFn 42 CelsiusDegree)) would mean that ?THERMOMETER registers 42
-- degrees Celsius.
fun measurementReading : El MeasuringDevice -> El ConstantQuantity -> Formula ;

-- (meatOfAnimal ?MEATCLASS ?ANIMALCLASS) states
-- that ?MEATCLASS was once part of the class of Animal ?ANIMALCLASS)
fun meatOfAnimal : Desc Meat -> Desc Animal -> Formula ;

-- A relation between a Human and a
-- CareOrganization that treats the patient.
fun medicalPatient : El Human -> El CareOrganization -> Formula ;

-- (memberAtTime ?MEMBER ?COLLECTION
-- ?TIME) means that during the time period denoted by ?TIME,
-- ?MEMBER is a member of ?COLLECTION.
fun memberAtTime : El SelfConnectedObject -> El Collection -> El TimePosition -> Formula ;

-- (memberCount ?ORG ?NUMBER) means that there
-- is a total ?NUMBER of members in the Collection ?ORG.
fun memberCount : El Collection -> El Integer -> Formula ;

-- (memberType ?GROUP ?TYPE) means that all
-- the members of the Collection ?GROUP belong to the SetOrClass
-- ?TYPE.
fun memberType : El Collection -> El SetOrClass -> Formula ;

-- (memberTypeCount ?GROUP ?TYPE ?NUMBER) means that the
-- Collection ?GROUP has ?NUMBER members of the kind ?TYPE.
fun memberTypeCount : El Collection -> El SetOrClass -> El NonnegativeInteger -> Formula ;

-- (middleName ?CHAR ?INDIV) means that the
-- SymbolicString ?CHAR contains the middle name of the Human ?INDIV.
fun middleName : El SymbolicString -> El Human -> Formula ;

-- (monetaryWage ?ORG ?PERSON ?TIME ?MONEY) means
-- that the Organization employs ?PERSON and pays him/her the amount of money
-- ?MONEY per TimeDuration ?TIME.
fun monetaryWage : El Organization -> El Human -> El TimeDuration -> El CurrencyMeasure -> Formula ;

-- (most ?MOST ?WHOLE) means that ?MOST is a part
-- of ?WHOLE that is greater than half of ?WHOLE.
fun most : El Object -> El Object -> Formula ;

-- (moves ?MOTION ?OBJECT) means that during
-- the Motion event ?MOTION, ?OBJECT moves. This does not
-- necessarily imply that the location of ?OBJECT changes during
-- ?MOTION. See also changesLocation and Translocation.
fun moves : El Motion -> El Object -> Formula ;

-- (mutualStranger ?H1 ?H2) means that ?H1
-- and ?H2 have not met each other and do not know each other. Statements
-- made with this predicate should be temporally specified with
-- holdsDuring. See also the weaker, non_symmetric version of this
-- predicate, stranger.
fun mutualStranger : El Human -> El Human -> Formula ;

-- (neighbor ?PERSON1 ?PERSON2) means that ?PERSON1 is
-- a neighbor of ?PERSON2, i.e. ?PERSON1 and ?PERSON2 have their homes Near
-- one another.
fun neighbor : El Human -> El Human -> Formula ;

-- (nephew ?NEPHEW ?PERSON) means that ?NEPHEW is
-- the son of a sibling of ?PERSON.
fun nephew : El Man -> El Human -> Formula ;

-- (niece ?NIECE ?PERSON) means that ?NIECE is
-- the daughter of a sibling of ?PERSON.
fun niece : El Woman -> El Human -> Formula ;

-- (occupation ?PERSON ?TYPE) means that the occupation
-- of ?PERSON is ?TYPE. This predicate is most often used in combination with the
-- function OccupationFn, e.g. (occupation PoliceOfficerWilkins (OccupationFn
-- LawEnforcement)).
fun occupation : El Human -> El FinancialTransaction -> Formula ;

-- (older ?OBJ1 ?OBJ2) means that ?OBJ1 is older than
-- ?OBJ2, i.e. the age of ?OBJ1 is greaterThan the age of ?OBJ2.
fun older : El Object -> El Object -> Formula ;

-- (onboard ?OBJ ?VEHICLE) means that the
-- SelfConnectedObject ?OBJ is inside the Vehicle ?VEHICLE.
fun onboard : El SelfConnectedObject -> El Vehicle -> Formula ;

-- (operator ?OBJECT ?AGENT) means that ?AGENT
-- determines how ?OBJECT is used, either by directly or indirectly operating
-- it.
fun operator : El Object -> El Agent -> Formula ;

-- (parasite ?ORGANISM1 ?ORGANISM2) means that there
-- is a parasitic relationship between ?ORGANISM1 and ?ORGANISM2, i.e. ?ORGANISM1
-- inhabits and obtains nourishment from ?ORGANISM2 in such a way that
-- ?ORGANISM2 is injured.
fun parasite : El Organism -> El Organism -> Formula ;

-- (pathInSystem ?PATH ?SYSTEM) means that
-- the Physical thing ?PATH consists of one or more connected routes in
-- the PhysicalSystem ?SYSTEM.
fun pathInSystem : El Transitway -> El TransitSystem -> Formula ;

-- The relation of receiving medical care
-- from a recognized medical practitioner. (patientMedical ?PATIENT
-- ?DOCTOR) means that ?PATIENT is the patient of ?DOCTOR. Note that
-- argument type restriction on the second argument is CognitiveAgent
-- to allow for cases where someone is the patient of an Organization,
-- viz. a CareOrganization.
fun patientMedical : El Human -> El CognitiveAgent -> Formula ;

-- (plaintiff ?ACTION ?AGENT) means that ?AGENT
-- is responsible for initiating the LegalAction ?ACTION.
fun plaintiff : El LegalAction -> El CognitiveAgent -> Formula ;

-- (postalBoxNumber ?NUMBER ?ADDRESS) means
-- that the post office box ?NUMBER is part of the address ?ADDRESS.
fun postalBoxNumber : El PositiveInteger -> El Address -> Formula ;

-- (postalCode ?NUMBER ?ADDRESS) means that the
-- the postal code, e.g. zip code, ?NUMBER is part of the address ?ADDRESS.
fun postalCode : El PositiveInteger -> El Address -> Formula ;

-- (potentialOfHydrogen ?SOLUTION ?NUMBER)
-- means that the Solution ?SOLUTION has a pH value of ?NUMBER. The ph varies
-- between 0 and 14, and it is a measure of the acidity or alkalinity of ?SOLUTION.
-- More precisely, and it is the logarithm of the reciprocal of the quantity of
-- AtomGrams of Hydrogen ions.
fun potentialOfHydrogen : El Solution -> El RealNumber -> Formula ;

-- (powerPlant ?GENERATOR ?THING) means that
-- the Device ?GENERATOR is the power_producing component of the Artifact
-- ?THING which provides the energy for its operation.
fun powerPlant : El Device -> El Artifact -> Formula ;

-- (protonNumber ?SUBSTANCE ?NUMBER) means that
-- the PureSubstance ?SUBSTANCE has the number of Protons ?NUMBER.
fun protonNumber : El PureSubstance -> El PositiveInteger -> Formula ;

-- (quarter ?QUART ?WHOLE) means that ?QUART is a
-- quarter of ?WHOLE.
fun quarter : El Object -> El Object -> Formula ;

-- (reactant ?PROCESS ?SUBSTANCE) means that ?SUBSTANCE
-- is a chemical reactant in the chemical reaction ?PROCESS, i.e. ?SUBSTANCE is
-- present at the beginning of the chemical reaction ?PROCESS.
fun reactant : El ChemicalProcess -> El Substance -> Formula ;

-- (reagent ?PROCESS ?SUBSTANCE) means that ?SUBSTANCE
-- is a chemical agent in the chemical reaction ?PROCESS.
fun reagent : El ChemicalProcess -> El Substance -> Formula ;

-- (registeredItem ?DOCUMENT ?ITEM) means
-- that the Text ?DOCUMENT contains an official record of the Physical
-- thing ?ITEM. The registered item could be an object or an event, e.g.,
-- an automobile, a ship, a marriage, an adoption.
fun registeredItem : El Text -> El Physical -> Formula ;

-- (religiousAffiliationOfOrganization ?ORG ?BELIEF) means
-- that one of the goals of ?ORG is to advance the religious teachings
-- of the BeliefGroup ?BELIEF.
fun religiousAffiliationOfOrganization : El Organization -> El BeliefGroup -> Formula ;

-- (routeInSystem ?PART ?SYSTEM) means that
-- the Transitway ?PART is an established route of the
-- TransportationSystem ?SYSTEM.
fun routeInSystem : El Transitway -> El TransitSystem -> Formula ;

-- (secretesSubstance ?OBJ ?STUFF) means
-- that the subclass of OrganicObject (either Organism or BodyPart)
-- ?OBJ produces the subclass of Substance ?STUFF.
fun secretesSubstance : Desc OrganicObject -> Desc NaturalSubstance -> Formula ;

-- (sententialObject ?OBJECT ?SENTENCE) means that the NounPhrase ?OBJECT is
-- the object of the Sentence ?SENTENCE.
fun sententialObject : El NounPhrase -> El Sentence -> Formula ;

-- (sententialSubject ?SUBJECT ?SENTENCE) means that the NounPhrase ?SUBJECT is
-- the subject of the Sentence ?SENTENCE.
fun sententialSubject : El NounPhrase -> El Sentence -> Formula ;

-- (serviceProvider ?EVENT ?AGENT)
-- means that ?AGENT is the supplier of the service provided in ?EVENT.
fun serviceProvider : El ServiceProcess -> El CognitiveAgent -> Formula ;

-- (serviceRecipient ?EVENT ?AGENT) means that ?AGENT is the
-- receiver of the service provided in ?EVENT.
fun serviceRecipient : El ServiceProcess -> El CognitiveAgent -> Formula ;

-- (sideOfFigure ?SIDE ?FIGURE) means that the
-- OneDimensionalFigure ?POINT is a side of the GeometricFigure ?FIGURE.
fun sideOfFigure : El OneDimensionalFigure -> El GeometricFigure -> Formula ;

-- (sliceOfFigure ?SLICE ?FIGURE) indicates
-- that ?SLICE is a 2_d section of the 3_d figure ?FIGURE. Or, more
-- formally, ?SLICE is 2_d figure formed by the intersection of a plane
-- with the 3_d figure ?FIGURE.
fun sliceOfFigure : El TwoDimensionalObject -> El CorpuscularObject -> Formula ;

-- A relation between a Process of
-- MusicalTone and the fundamental frequency of that tone.
fun soundFrequency : El MusicalTone -> El FunctionQuantity -> Formula ;

-- (speaksLanguage ?AGENT ?LANGUAGE) means that the SentientAgent ?AGENT is
-- capable of understanding and/or generating the Language ?LANGUAGE.
fun speaksLanguage : El SentientAgent -> El Language -> Formula ;

-- (stepfather ?PERSON ?FATHER) means that ?FATHER
-- is the stepfather of ?PERSON, i.e. ?FATHER is the spouse of the mother
-- of ?PERSON, without also being the father of ?PERSON.
fun stepfather : El Human -> El Man -> Formula ;

-- (stepmother ?PERSON ?MOTHER) means that ?MOTHER
-- is the stepmother of ?PERSON, i.e. ?MOTHER is the spouse of the father
-- of ?PERSON, without also being the mother of ?PERSON.
fun stepmother : El Human -> El Woman -> Formula ;

-- (stockHolder ?Stock ?Agent) means that
-- ?Agent possesses the Stock ?Stock.
fun stockHolder : El Stock -> El CognitiveAgent -> Formula ;

-- (stranger ?H1 ?H2) means that ?H1 has
-- not met ?H2, or, in other words, (not (acquaintance ?H1 ?H2)).
-- Statements made with stranger should be temporally
-- specified with holdsDuring. Note that stranger is not
-- symmetric, meaning that ?H2 might know ?H1. For the symmetric
-- version, see mutualStranger.
fun stranger : El Human -> El Human -> Formula ;

-- (streetAddress ?STREET ?ADDRESS) means
-- that the Roadway ?STREET is part of the address ?ADDRESS.
fun streetAddress : El Roadway -> El Address -> Formula ;

-- (streetNumber ?BUILDING ?ADDRESS) means
-- that the Building ?BUILDING is part of the address ?ADDRESS.
fun streetNumber : El Building -> El Address -> Formula ;

-- (student ?ORG ?AGENT) means that ?AGENT is enrolled
-- in the EducationalOrganization ?ORG.
fun student : El EducationalOrganization -> El CognitiveAgent -> Formula ;

-- (subField ?FIELD1 ?FIELD2) means that ?FIELD1 is a proper
-- part of the FieldOfStudy ?FIELD2. For example, Physiology is a subField of
-- Biology.
fun subField : El FieldOfStudy -> El FieldOfStudy -> Formula ;

-- (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2) means that
-- in the Organization ?ORG, ?PERSON1 is subordinate to ?PERSON2.
fun subordinateInOrganization : El Organization -> El Human -> El Human -> Formula ;

-- (subordinatePosition ?ORG ?SUB ?SUPER) means that in
-- the Organization ?ORG, the holder of role ?SUB is subordinate to
-- the holder of role ?SUPER.
fun subordinatePosition : El Organization -> El Position -> El Position -> Formula ;

-- (tangent ?LINE ?CIRCLE) means that the straight line
-- ?LINE is tangent to the figure ?CIRCLE, i.e. ?LINE touches ?CIRCLE without
-- intersecting it.
fun tangent : El OneDimensionalFigure -> El TwoDimensionalObject -> Formula ;

-- This relation identifies the patient in the event that is the object of the attack.
fun targetInAttack : El Process -> El Object -> Formula ;

-- (teacher ?ORG ?AGENT) means that ?AGENT is a teacher at the EducationalOrganization ?ORG.
fun teacher : El EducationalOrganization -> El CognitiveAgent -> Formula ;

-- (telephoneNumber ?NUMBER ?AGENT) means
-- that ?NUMBER is a telephone number at which ?AGENT can be regularly contacted.
fun telephoneNumber : El SymbolicString -> El Agent -> Formula ;

-- (tenant ?PERSON ?UNIT) means that ?PERSON is a tenant of the Residence ?UNIT,
-- i.e. he or she is renting the unit.
fun tenant : El Agent -> El Residence -> Formula ;

-- (third ?THIRD ?WHOLE) means that ?THIRD is one third of ?WHOLE.
fun third : El Object -> El Object -> Formula ;

-- A binary predicate used to indicate the title of a ContentBearingPhysical. Note that the
-- second argument type restriction is a subclass, rather than an
-- instance, of ContentBearingPhysical. Thus, the title
-- Murder_on_the_Orient_Express corresponds to a large class of Books,
-- and not just to a single copy of the book.
fun titles : El SymbolicString -> El ContentBearingPhysical -> Formula ;

-- (transported ?EVENT ?OBJ) means that ?OBJ is transported
-- (carried/moved to a different physical location) in the Transportation ?EVENT.
fun transported : El Transportation -> El Object -> Formula ;

-- An instance of the first argument is typically
-- found as part of an instance of the second argument. This is a
-- class_level relation roughly corresponding to part. Note that this does
-- not imply that such wholes typically have such parts.
fun typicalPart : Desc Object -> Desc Object -> Formula ;

-- An instance of the second argument typically
-- contains an instance of the first argument. This is a
-- class_level relation roughly corresponding to part. Note that this does
-- not imply that such parts typically have such wholes.
fun typicallyContainsPart : Desc Object -> Desc Object -> Formula ;

-- (uncle ?UNCLE ?PERSON) means that ?UNCLE is
-- the brother of a parent of ?PERSON.
fun uncle : El Man -> El Human -> Formula ;

-- (unitNumber ?UNIT ?ADDRESS) means that the
-- StationaryArtifact ?UNIT is part of the address ?ADDRESS.
fun unitNumber : El StationaryArtifact -> El Address -> Formula ;

-- (wavelength ?RADIATION ?MEASURE) means that the
-- instance of radiation, ?RADIATION, has an average wavelength of ?MEASURE.
fun wavelength : El Radiating -> El LengthMeasure -> Formula ;

-- (yearOfFounding ?ORG ?NUMBER) means that the Organization ?ORG
-- was founded in the year expressed in ?NUMBER.
fun yearOfFounding : El Organization -> El Integer -> Formula ;

}