-- # -path=. :englishExtended abstract Mid_level_ontology = open Merge,elements in { -- 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 ; -- 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 FruitOrVegetable that has a tart to sweet taste and -- a spherical shape. fun Apple : Class ; fun Apple_Class : SubClass Apple (both Food FruitOrVegetable) ; -- 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) ; -- A FruitOrVegetable that is shaped like a pear and -- has a dark green skin and a rich meat. fun Avocado : Class ; fun Avocado_Class : SubClass Avocado (both Food FruitOrVegetable) ; -- 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 ; fun Bathroom_Room : SubClassC Bathroom 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 ; -- Battery is a subclass of Device. Batteries are -- devices that use chemical means to store or produce electrical power. fun Battery : Class ; fun Battery_Class : SubClass Battery (both ElectricDevice PowerSource) ; -- 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 SelfConnectedObject ; -- 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 ; fun Bull_Cow : SubClassC Bull 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 ; fun Calf_Cow : SubClassC Calf 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 ; -- 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 Food Seed) ; -- 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 FruitOrVegetable that is produced by a type of palm -- and has an edible white meat. fun Coconut : Class ; fun Coconut_Class : SubClass Coconut (both Food FruitOrVegetable) ; -- 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 ; -- 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 ; fun CondominiumUnit_SingleFamilyResidence : SubClassC CondominiumUnit 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 FruitOrVegetable that is produced by the date -- palm. fun DateFruit : Class ; fun DateFruit_Class : SubClass DateFruit (both Food FruitOrVegetable) ; -- 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 Artifact ; -- 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 ; fun FemaleCow_Cow : SubClassC FemaleCow 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 ; -- Fodder is the class of OrganicObjects that -- are used as food for domesticated animals. Fodder Fodder is the subclass of Food that is intended -- for instances of DomesticAnimal. fun Fodder : Class ; fun Fodder_Class : SubClass Fodder Food ; -- 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 ; -- Grass that has been cut and cured for use as Fodder. fun Hay : Class ; fun Hay_Class : SubClass Hay Fodder ; -- 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 ; fun Hen_Chicken : SubClassC Hen 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 ; fun Ice_Water : SubClassC Ice 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 ; fun Lamb_Sheep : SubClassC Lamb 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 SelfPoweredRoadVehicle ; -- 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 substance harvested from the seed capsules of the -- opium poppy that contains various powerful alkaloids. fun Opium : Class ; fun Opium_Class : SubClass Opium (both BiologicallyActiveSubstance (both Depressant PlantSubstance)) ; -- 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 ; fun Order_Sentence : SubClassC Order 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 ; -- 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 ; -- The edible Seed of a pea plant. fun Pea : Class ; fun Pea_Class : SubClass Pea (both Food Seed) ; -- 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 ; fun PolyphonicMusic_Music : SubClassC PolyphonicMusic 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 ; -- 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 ; fun Question_Sentence : SubClassC Question 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 ; fun RadiatingVisibleLight_RadiatingLight : SubClassC RadiatingVisibleLight 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 ; fun Request_Sentence : SubClassC Request 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 Region ; -- 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 Projectile Spacecraft) ; -- 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 ; fun Rooster_Chicken : SubClassC Rooster 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 ; -- The Rotating component of a motor, generator or similar -- Device. Rotor The rotating armature of a motor or generator. fun Rotor : Class ; fun Rotor_Class : SubClass Rotor EngineeringComponent ; -- 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 ; fun SelfPoweredDevice_Device : SubClassC SelfPoweredDevice 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 ; fun Statement_Sentence : SubClassC Statement 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 Carbohydrate ; -- 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 ; fun Supposition_Sentence : SubClassC Supposition 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 ReceiverDevice ; -- 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 FloweringPlant ; -- 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 ; fun TransportViaRoadVehicle_Class : SubClass TransportViaRoadVehicle LandTransportation ; fun TransportViaRoadVehicle_Transportation : SubClassC TransportViaRoadVehicle 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 ; fun WatchClock_Clock : SubClassC WatchClock 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 AlcoholicBeverage ; -- 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 BinaryPredicate 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 ; }