From 455d9558417a759fae3ccbe5cde5c9f5064a08d2 Mon Sep 17 00:00:00 2001 From: krasimir Date: Sun, 6 Jun 2010 11:06:44 +0000 Subject: changes in SUMO: formatting and fixes for lots of lots of small problems --- examples/SUMO/MidLevelOntology.gf | 7983 +++++++++++++++++++++++++++++++++++++ 1 file changed, 7983 insertions(+) create mode 100644 examples/SUMO/MidLevelOntology.gf (limited to 'examples/SUMO/MidLevelOntology.gf') diff --git a/examples/SUMO/MidLevelOntology.gf b/examples/SUMO/MidLevelOntology.gf new file mode 100644 index 000000000..21ae204a3 --- /dev/null +++ b/examples/SUMO/MidLevelOntology.gf @@ -0,0 +1,7983 @@ +abstract MidLevelOntology = Merge, Elements ** { + + -- Removing a human fetus from a Pregnant woman + -- in such a way that the fetus cannot survive. + fun Aborting : Class ; + fun Aborting_Class : SubClass Aborting Removing ; + + -- A Certificate that demonstrates that the holder + -- of the Certificate has successfully completed an EducationalProgram. + fun AcademicDegree : Class ; + fun AcademicDegree_Class : SubClass AcademicDegree Certificate ; + + -- Increasing the speed with which someone + -- or something is moving. + fun Accelerating : Class ; + fun Accelerating_Class : SubClass Accelerating (both Increasing Translocation) ; + + -- The Profession of being an Accountant. + fun Accountant : Ind Profession ; + + -- Any process of certifying an EducationalOrganization. + fun Accrediting : Class ; + fun Accrediting_Class : SubClass Accrediting Declaring ; + + -- AchievingControl is the + -- class of all events in which an Agent gains physical + -- control over some object. + fun AchievingControl : Class ; + fun AchievingControl_Class : SubClass AchievingControl Guiding ; + + -- A UnitOfMeasure equal to 4840 square yards. + fun Acre : Ind UnitOfArea ; + + -- Any TwoDimensionalAngle that has an + -- angularMeasure that is less than 90 AngularDegrees. + fun AcuteAngle : Class ; + fun AcuteAngle_Class : SubClass AcuteAngle TwoDimensionalAngle ; + + -- A RelationalAttribute that indicates an address + -- where an Agent can regularly be contacted. + fun Address : Class ; + fun Address_Class : SubClass Address RelationalAttribute ; + + -- Combining a substance with Air. + fun Aerating : Class ; + fun Aerating_Class : SubClass Aerating Combining ; + + -- A Device whose purpose is to mix Substances with + -- Air. + fun Aerator : Class ; + fun Aerator_Class : SubClass Aerator Device ; + + -- An RecreationOrExerciseDevice whose purpose is + -- to develop the cardiovascular system. + fun AerobicExerciseDevice : Class ; + fun AerobicExerciseDevice_Class : SubClass AerobicExerciseDevice RecreationOrExerciseDevice ; + + -- The class of TimeIntervals that begin at noon and + -- end at Sunset. + fun Afternoon : Class ; + fun Afternoon_Class : SubClass Afternoon DayTime ; + + -- A CommercialAgent whose customers are all other + -- CommercialAgents, e.g. staffing agencies, food_service providers, etc. + fun Agency : Class ; + fun Agency_Class : SubClass Agency CommercialAgent ; + + -- AgriculturalProduct is the subclass of Product that comprises + -- the products of agricultural activity. + fun AgriculturalProduct : Class ; + fun AgriculturalProduct_Class : SubClass AgriculturalProduct Product ; + + -- AirForce is the subclass of MilitaryService + -- that comprises military air forces. + fun AirForce : Class ; + fun AirForce_Class : SubClass AirForce MilitaryService ; + + -- Any instance of Transportation where the + -- instrument is an Aircraft and which is through an AtmosphericRegion. + fun AirTransportation : Class ; + fun AirTransportation_Class : SubClass AirTransportation Transportation ; + + -- Any Vehicle which is capable of + -- AirTransportation. Note that this class covers both fixed_wing aircraft + -- and helicopters. + fun Aircraft : Class ; + fun Aircraft_Class : SubClass Aircraft Vehicle ; + + -- OrganicCompounds that are produced from hydrocarbons + -- by distillation. + fun Alcohol : Class ; + fun Alcohol_Class : SubClass Alcohol OrganicCompound ; + + -- Any Beverage that contains Alcohol. + fun AlcoholicBeverage : Class ; + fun AlcoholicBeverage_Class : SubClass AlcoholicBeverage (both Beverage Depressant) ; + + -- A ChemicalBase found in some Plants that has + -- physiological and psychological effects. + fun Alkaloid : Class ; + fun Alkaloid_Class : SubClass Alkaloid (both BiologicallyActiveSubstance ChemicalBase) ; + + -- Any Character that is comprised of a single + -- alphabetical character, e.g. A, B, C, D, ... + fun AlphabeticCharacter : Class ; + fun AlphabeticCharacter_Class : SubClass AlphabeticCharacter Character ; + + -- Tiny sacs in the Lung which absorb Oxygen + -- which is delivered to them by the BronchialDucts. + fun Alveolus : Class ; + fun Alveolus_Class : SubClass Alveolus (both AnimalAnatomicalStructure BodyVessel) ; + + -- Any Maneuver in a ViolentContest where one + -- contestParticipant attempts to conceal himself from another + -- contestParticipant so that he can Attack the other + -- contestParticipant. + fun Ambush : Class ; + fun Ambush_Class : SubClass Ambush Maneuver ; + + -- Organic acids that are the building blocks of + -- Proteins. + fun AminoAcid : Class ; + fun AminoAcid_Class : SubClass AminoAcid (both ChemicalAcid OrganicCompound) ; + + -- A very large Boa that is found in South America. + fun Anaconda : Class ; + fun Anaconda_Class : SubClass Anaconda ConstrictorSnake ; + + -- An RecreationOrExerciseDevice whose purpose + -- is to develop Muscles without also developing the cardiovascular system. + fun AnaerobicExerciseDevice : Class ; + fun AnaerobicExerciseDevice_Class : SubClass AnaerobicExerciseDevice RecreationOrExerciseDevice ; + + -- An AttachingDevice which is large hook or set of hooks + -- that are used to secure a Ship on the open water. + fun Anchor : Class ; + fun Anchor_Class : SubClass Anchor AttachingDevice ; + + -- The state of being wrathful, irate or indignant. + fun Anger : Ind EmotionalState ; + + -- AnimalAgriculturalProduct is the class of AgriculturalProducts + -- that are animal in nature, including meat, fish, dairy products, + -- hides, furs, animal fats and oils, etc. + fun AnimalAgriculturalProduct : Class ; + fun AnimalAgriculturalProduct_Class : SubClass AnimalAgriculturalProduct AgriculturalProduct ; + + -- Any Device which is used to control the + -- movements of an Animal or Human, e.g. leashes, reins, harnesses, muzzles, + -- bridles, shackles, handcuffs, etc. + fun AnimalController : Class ; + fun AnimalController_Class : SubClass AnimalController Device ; + + -- AnimalPoweredDevice is the subclass + -- of Devices that function with power supplied by animals. Examples: + -- oxcarts, horse_drawn plows, mule_driven mills. + fun AnimalPoweredDevice : Class ; + fun AnimalPoweredDevice_Class : SubClass AnimalPoweredDevice Device ; + + -- An Artifact which is intended to house + -- Animals and not Humans. Note that an AnimalResidence may or may not + -- be a StationaryArtifact, e.g. a horse stall is stationary while a doghouse + -- generally is not. + fun AnimalResidence : Class ; + fun AnimalResidence_Class : SubClass AnimalResidence Artifact ; + + -- A hard shell of calcium that serves as a + -- supporting structure for some Invertebrates. + fun AnimalShell : Class ; + fun AnimalShell_Class : SubClass AnimalShell (both AnimalAnatomicalStructure BodyPart) ; + + -- A GroupOfAnimals which are Pulling something. + fun AnimalTeam : Class ; + fun AnimalTeam_Class : SubClass AnimalTeam GroupOfAnimals ; + + -- The joint in the Leg that connects the tibia and the + -- fibula to the talus. + fun Ankle : Class ; + fun Ankle_Class : SubClass Ankle BodyJoint ; + + -- Any Text which contains information about + -- an event in the future. + fun Announcement : Class ; + fun Announcement_Class : SubClass Announcement FactualText ; + + -- Responding to a Questioning, i.e. trying to answer + -- someone's question. + fun Answering : Class ; + fun Answering_Class : SubClass Answering Stating ; + + -- A colony Insect of three types: males, + -- QueenInsect, and worker ants. + fun AntInsect : Class ; + fun AntInsect_Class : SubClass AntInsect Insect ; + + -- The class of TimeIntervals that begin at midnight + -- and end at noon. + fun AnteMeridiem : Class ; + fun AnteMeridiem_Class : SubClass AnteMeridiem TimeInterval ; + + -- A HoofedMammal with long legs and backward_facing horns. + -- This class includes gazelles, addax, blackbucks, etc. + fun Antelope : Class ; + fun Antelope_Class : SubClass Antelope HoofedMammal ; + + -- A CommunicationDevice which enables or improves + -- the reception of RadioEmissions by another CommunicationDevice (the + -- radio or television receiver). + fun Antenna : Class ; + fun Antenna_Class : SubClass Antenna CommunicationDevice ; + + -- The field of anthropology. + fun Anthropology : Ind SocialScience ; + + -- A BiologicallyActiveSubstance than can kill + -- instances of Bacterium. + fun Antibiotic : Class ; + fun Antibiotic_Class : SubClass Antibiotic BiologicallyActiveSubstance ; + + -- An immunoglobulin which is produced by the body + -- and which has the ability to neutralize Antigens. + fun Antibody : Class ; + fun Antibody_Class : SubClass Antibody Protein ; + + -- Any BiologicallyActiveSubstance that has the + -- capacity to stimulate the production of Antibodies. + fun Antigen : Class ; + fun Antigen_Class : SubClass Antigen BiologicallyActiveSubstance ; + + -- An Antigen that is carried in the red blood + -- cells of those with BloodTypeA. + fun AntigenA : Class ; + fun AntigenA_Class : SubClass AntigenA Antigen ; + + -- An Antigen that is carried in the red blood + -- cells of those with BloodTypeB. + fun AntigenB : Class ; + fun AntigenB_Class : SubClass AntigenB Antigen ; + + -- The BeliefGroup that is characterized by a + -- dislike for Judaism. + fun Antisemitism : Ind BeliefGroup ; + + -- The state of being worried, troubled or uneasy. + fun Anxiety : Ind EmotionalState ; + + -- A ResidentialBuilding containing + -- ApartmentUnits. + fun ApartmentBuilding : Class ; + fun ApartmentBuilding_Class : SubClass ApartmentBuilding ResidentialBuilding ; + + -- A SingleFamilyResidence that is not owned + -- by any member of the SocialUnit that lives there. + fun ApartmentUnit : Class ; + fun ApartmentUnit_Class : SubClass ApartmentUnit SingleFamilyResidence ; + + -- A FormText whose purpose is to obtain admission + -- to an Organization or to receive assistance from an Organization. + fun Application : Class ; + fun Application_Class : SubClass Application FormText ; + + -- Any instance of Declaring by which the + -- patient is assigned to a Position within an Organization where + -- the patient previously had no position. For example, the appointments + -- of people to non_elective offices in a government. + fun Appointing : Class ; + fun Appointing_Class : SubClass Appointing Declaring ; + + -- An item of Clothing that protects the front and + -- middle part of the body while one is Cooking or doing other work. + fun Apron : Class ; + fun Apron_Class : SubClass Apron Clothing ; + + -- The FieldOfStudy of designing Buildings, i.e. + -- creating Blueprints for Buildings. + fun Architecture : Ind FieldOfStudy ; + + -- Any Stating which has the form of an Argument. + fun Arguing : Class ; + fun Arguing_Class : SubClass Arguing Stating ; + + -- The upper Limbs of a Primate. + fun Arm : Class ; + fun Arm_Class : SubClass Arm Limb ; + + -- MilitaryServices that are land forces. + fun Army : Class ; + fun Army_Class : SubClass Army MilitaryService ; + + -- The final part of any instance of Translocation. + fun Arriving : Class ; + fun Arriving_Class : SubClass Arriving Translocation ; + + -- An Icon which has the shape of an arrow and + -- which is used to indicate direction or a relationship betwee two things. + fun ArrowFigure : Class ; + fun ArrowFigure_Class : SubClass ArrowFigure Icon ; + + -- An Icon which has the shape of an arrow and which + -- is used to indicate direction or a relationship betwee two things. + fun ArrowIcon : Class ; + fun ArrowIcon_Class : SubClass ArrowIcon Icon ; + + -- A long, thin Projectile with a pointed tip is + -- fired from a bow. + fun ArrowProjectile : Class ; + fun ArrowProjectile_Class : SubClass ArrowProjectile Projectile ; + + -- An act where an agent sets something which it does not possess + -- on fire in order to destroy it or its contents. + fun Arson : Class ; + fun Arson_Class : SubClass Arson (both Combustion Destruction) ; + + -- The Profession of reporting and critiquing current + -- ArtWorks. + fun ArtCritic : Ind Journalist ; + + -- Any ContentDevelopment that results in a + -- PaintedPicture. + fun ArtPainting : Class ; + fun ArtPainting_Class : SubClass ArtPainting (both ContentDevelopment Painting) ; + + -- Any School whose aim is to teach students + -- how to create ArtWorks. + fun ArtSchool : Class ; + fun ArtSchool_Class : SubClass ArtSchool School ; + + -- A Workshop, which is + -- devoted to the creation of ArtWorks. + fun ArtStudio : Class ; + fun ArtStudio_Class : SubClass ArtStudio Workshop ; + + -- Any BloodVessel which transfers Blood from + -- the Heart to the extremities of the body. + fun Artery : Class ; + fun Artery_Class : SubClass Artery BloodVessel ; + + -- A Gun that is too large to be carried and fired + -- by a single Human. Typically, ArtilleryGuns are on wheels. + fun ArtilleryGun : Class ; + fun ArtilleryGun_Class : SubClass ArtilleryGun Gun ; + + -- AtmosphericRegion is the class of + -- all subregions of EarthsAtmosphere. + fun AtmosphericRegion : Class ; + fun AtmosphericRegion_Class : SubClass AtmosphericRegion SpaceRegion ; + + -- Two or more Atoms that are bound together and + -- comprise part of a Molecule. + fun AtomicGroup : Class ; + fun AtomicGroup_Class : SubClass AtomicGroup CompoundSubstance ; + + -- Any decrease in the size of a BodyPart which is due to + -- disease or lack of use. + fun Atrophy : Class ; + fun Atrophy_Class : SubClass Atrophy (both Decreasing PathologicProcess) ; + + -- The Profession of practicing law, whether as a + -- judge or as a legal advocate. + fun Attorney : Class ; + + -- The head law officer of a GeopoliticalArea, + -- usually a Nation or StateOrProvince. + fun AttorneyGeneral : Ind (both Profession GovernmentOfficer) ; + + -- A representation of sound on some medium such + -- as wax cylinder, vinyl record, magnetic tape, CD or flash memory, that is + -- intended to be used in some machine to reproduce that sound. + fun AudioRecording : Class ; + fun AudioRecording_Class : SubClass AudioRecording (both ContentBearingObject Text) ; + + -- Any Building whose purpose is to hold concerts, + -- sports events, plays, etc. before an audience. This class includes theaters, + -- sports stadiums, university auditoriums, etc. + fun Auditorium : Class ; + fun Auditorium_Class : SubClass Auditorium Building ; + + -- A Seat within an Auditorium from which one + -- can observe the PerformanceStage. + fun AuditoriumSeat : Class ; + fun AuditoriumSeat_Class : SubClass AuditoriumSeat Seat ; + + -- A Gun that fires a burst of Projectiles + -- with each pull of the trigger. Also known as a machine gun. + fun AutomaticGun : Class ; + fun AutomaticGun_Class : SubClass AutomaticGun Gun ; + + -- Automobile is a subclass of + -- SelfPoweredRoadVehicles including passenger cars, family vans, light + -- trucks, and sport utility vehicles. In general, this class covers + -- four_wheeled passenger road vehicles. + fun Automobile : Class ; + fun Automobile_Class : SubClass Automobile (both PassengerVehicle SelfPoweredRoadVehicle) ; + + -- Axle is a class of Devices each of which can + -- be paired with two VehicleWheels to rotate and move a RoadVehicle. + fun Axle : Class ; + fun Axle_Class : SubClass Axle Device ; + + -- A disease that is caused by instances of + -- Bacterium. + fun BacterialDisease : Class ; + fun BacterialDisease_Class : SubClass BacterialDisease InfectiousDisease ; + + -- Any Container which is made of Fabric. + fun Bag : Class ; + fun Bag_Class : SubClass Bag Container ; + + -- Any instance of Cooking where the instrument + -- is an Oven. + fun Baking : Class ; + fun Baking_Class : SubClass Baking (both Cooking Heating) ; + + -- Any GamePiece which has the shape of a sphere. + fun Ball : Class ; + fun Ball_Class : SubClass Ball GamePiece ; + + -- A Missile which is guided for the first stage + -- of its flight but then falls to its target for the second stage. + fun BallisticMissile : Class ; + fun BallisticMissile_Class : SubClass BallisticMissile Missile ; + + -- A FormText which is used in Voting. A list of + -- candidates is printed on the form, and the voter selects the candidate he/she + -- wants to vote for. + fun Ballot : Class ; + fun Ballot_Class : SubClass Ballot FormText ; + + -- A piece of Fabric that is used in Covering an + -- open wound. + fun Bandage : Class ; + fun Bandage_Class : SubClass Bandage Fabric ; + + -- Any SkilledOccupation which involves working in a + -- FinancialBank. + fun Banker : Ind SkilledOccupation ; + + -- A ReligiousProcess which marks the acceptance of + -- the person being baptized into the ReligiousOrganization. + fun Baptizing : Class ; + fun Baptizing_Class : SubClass Baptizing (both JoiningAnOrganization ReligiousProcess) ; + + -- Offering to sell something to someone at a + -- reduced price. + fun BargainSale : Class ; + fun BargainSale_Class : SubClass BargainSale Offering ; + + -- Any instance of RadiatingSound which is produced + -- by a Canine. + fun Barking : Class ; + fun Barking_Class : SubClass Barking RadiatingSound ; + + -- A Building on a Farm that is used for keeping + -- DomesticAnimals, Fodder or harvested crops. + fun Barn : Class ; + fun Barn_Class : SubClass Barn Building ; + + fun BaseballBase : Class ; + + -- A BuildingLevel which satisfies two conditions, viz. it is + -- lower than all of the other BuildingLevels in the same Building and it is below + -- ground level. + fun Basement : Class ; + fun Basement_Class : SubClass Basement BuildingLevel ; + + -- Washing the entire body of a Human or Animal. + fun Bathing : Class ; + fun Bathing_Class : SubClass Bathing Washing ; + + -- A WashingDevice which is intended to be used by + -- Humans for washing their bodies. Note that this class covers bathtubs, showers, + -- etc. + fun BathingDevice : Class ; + fun BathingDevice_Class : SubClass BathingDevice WashingDevice ; + + -- A Room that contains a WashBasin and + -- possibly a Toilet. + fun Bathroom : Class ; + 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 ; + + -- The process of transitioning from a state of + -- being Sober to a state of being Drunk. + fun BecomingDrunk : Class ; + fun BecomingDrunk_Class : SubClass BecomingDrunk PsychologicalProcess ; + + -- A piece of Furniture which is primarily for sleeping. + fun Bed : Class ; + fun Bed_Class : SubClass Bed Furniture ; + + -- A Room intended primarily for sleeping. + fun Bedroom : Class ; + fun Bedroom_Class : SubClass Bedroom Room ; + + -- A hairy Insect, some species of which produce honey + -- and/or sting. + fun Bee : Class ; + fun Bee_Class : SubClass Bee Insect ; + + -- Meat that was originally part of a Cow. + fun Beef : Class ; + fun Beef_Class : SubClass Beef Meat ; + + -- An AlcoholicBeverage that is prepared by fermenting + -- malt and hops. + fun Beer : Class ; + fun Beer_Class : SubClass Beer AlcoholicBeverage ; + + -- The TimeInterval that runs from + -- NegativeInfinity to the time of the birth of Christ. + fun BeforeCommonEra : Ind TimeInterval ; + + -- The process of an Organization + -- commencing operations. In the case of a Corporation, this would be + -- the process of going into business. + fun BeginningOperations : Class ; + fun BeginningOperations_Class : SubClass BeginningOperations OrganizationalProcess ; + + -- A PercussionInstrument that produces a single tone + -- when it is struck. + fun Bell : Class ; + fun Bell_Class : SubClass Bell PercussionInstrument ; + + -- A piece of Clothing that is worn around the waist + -- to restrain another piece of clothing. + fun Belt : Class ; + fun Belt_Class : SubClass Belt Clothing ; + + -- Any UnilateralGiving where the agent + -- wills some part of his/her property to someone else upon his/her death. + fun Bequeathing : Class ; + fun Bequeathing_Class : SubClass Bequeathing UnilateralGiving ; + + -- A HistoricalAccount which is concerned + -- with the life of a single Human. + fun Biography : Class ; + fun Biography_Class : SubClass Biography HistoricalAccount ; + + -- The production of a zygote from the fusion + -- of a male and female gamete. + fun BiologicalConception : Class ; + fun BiologicalConception_Class : SubClass BiologicalConception OrganOrTissueProcess ; + + -- The Class of all biological species, i.e. + -- the class of all classes of Organism whose instances can interbreed. + fun BiologicalSpecies : Class ; + + -- The study of the classification, development, and + -- functioning of Organisms. + fun Biology : Ind Science ; + + -- Any DiagnosticProcess which involves the examination of + -- BodySubstances taken from a living Organism. + fun Biopsy : Class ; + fun Biopsy_Class : SubClass Biopsy (both DiagnosticProcess Removing) ; + + -- Any Egg that is produced by a Bird. + fun BirdEgg : Class ; + fun BirdEgg_Class : SubClass BirdEgg Egg ; + + -- Any instance of Grabbing where the instrument is + -- the Mouth of the agent. + fun Biting : Class ; + fun Biting_Class : SubClass Biting Grabbing ; + + -- A piece of Fabric whose purpose is to keep a + -- person who is in bed warm. + fun Blanket : Class ; + fun Blanket_Class : SubClass Blanket Fabric ; + + -- The release of Blood from an Animal in response + -- to an Injuring of some sort. + fun Bleeding : Class ; + fun Bleeding_Class : SubClass Bleeding AutonomicProcess ; + + -- The Attribute that applies to Animals and Humans + -- that are unable to see. + fun Blind : Ind BiologicalAttribute ; + + -- Any Process where the stomach or instestines of a + -- Human or Animal become distended from excessive gas. + fun Bloating : Class ; + fun Bloating_Class : SubClass Bloating (both Increasing PathologicProcess) ; + + -- Any Maneuver in a Contest where one + -- contestParticipant attempts to deny access to something that is wanted + -- by another contestParticipant. + fun Blockade : Class ; + fun Blockade_Class : SubClass Blockade Maneuver ; + + -- A Cell that is normally present in Blood. + fun BloodCell : Class ; + fun BloodCell_Class : SubClass BloodCell (both AnimalAnatomicalStructure Cell) ; + + -- The subclass of Blood that contains AntigenA + -- and does not contain AntigenB. + fun BloodTypeA : Class ; + fun BloodTypeA_Class : SubClass BloodTypeA Blood ; + + -- The subclass of Blood that contains both + -- AntigenA and AntigenB. + fun BloodTypeAB : Class ; + fun BloodTypeAB_Class : SubClass BloodTypeAB Blood ; + + -- The subclass of Blood that contains AntigenB + -- and does not contain AntigenA. + fun BloodTypeB : Class ; + fun BloodTypeB_Class : SubClass BloodTypeB Blood ; + + -- The subclass of Blood that contains neither + -- AntigenA nor AntigenB. + fun BloodTypeO : Class ; + fun BloodTypeO_Class : SubClass BloodTypeO Blood ; + + -- Any BodyVessel which is used to circulate + -- Blood from one part of the body to another. + fun BloodVessel : Class ; + fun BloodVessel_Class : SubClass BloodVessel (both AnimalAnatomicalStructure BodyVessel) ; + + -- An Icon which is a scale model of an Artifact, + -- whether the Artifact actually exists or not. + fun Blueprint : Class ; + fun Blueprint_Class : SubClass Blueprint Icon ; + + -- The process of turning red in response to a + -- stimulus which has a deep emotional effect. + fun Blushing : Class ; + fun Blushing_Class : SubClass Blushing AutonomicProcess ; + + -- A piece of material with flat, rectangular sides. + -- Note that boards and blocks are lumped into a single concept, because the + -- difference between these notions cannot be precisely defined. + fun BoardOrBlock : Class ; + fun BoardOrBlock_Class : SubClass BoardOrBlock Artifact ; + + -- Getting on a Vehicle, e.g. getting into an + -- Automobile, boarding an Aircraft, etc. + fun Boarding : Class ; + fun Boarding_Class : SubClass Boarding Translocation ; + + -- One of the levels of a WaterVehicle, e.g. the + -- upper deck and lower deck of small boats with a cabin. + fun BoatDeck : Class ; + fun BoatDeck_Class : SubClass BoatDeck Artifact ; + + -- BodyJunctions where different parts of the same + -- Skeleton come together. + fun BodyJoint : Class ; + fun BodyJoint_Class : SubClass BodyJoint BodyJunction ; + + -- A BodyOfWater is a connected body of + -- water with established boundaries marked by either geographical features + -- or conventional borders. + fun BodyOfWater : Class ; + fun BodyOfWater_Class : SubClass BodyOfWater (both SelfConnectedObject WaterArea) ; + + -- A weapon that explodes in order to cause damage. + fun Bomb : Class ; + fun Bomb_Class : SubClass Bomb (both ExplosiveDevice Weapon) ; + + -- Any MilitaryAircraft whose purpose is to deliver + -- ExplosiveDevices. + fun Bomber : Class ; + fun Bomber_Class : SubClass Bomber MilitaryAircraft ; + + -- An act of Destruction where the thing destroyed + -- is destroyed by means of an explosive device. + fun Bombing : Class ; + fun Bombing_Class : SubClass Bombing Destruction ; + + -- BotanicalTree is an imprecise term + -- for a perennial woody plant that is larger than a bush or shrub, + -- generally understood to describe a large growth having one main trunk + -- with few or no branches projecting from its base, a well_developed crown + -- of foliage, and a height at maturity of at least 12 feet. + fun BotanicalTree : Class ; + fun BotanicalTree_Class : SubClass BotanicalTree FloweringPlant ; + + -- A Container whose top is narrower than its bottom, which + -- has no handle, and which is intended to store Liquids. + fun Bottle : Class ; + fun Bottle_Class : SubClass Bottle FluidContainer ; + + -- Any downward motion of the body that indicates respect + -- for or submission to another Agent. + fun Bowing : Class ; + fun Bowing_Class : SubClass Bowing (both Gesture (both Inclining MotionDownward)) ; + + -- Any six_sided Container whose sides are + -- rectangular in shape. + fun Box : Class ; + fun Box_Class : SubClass Box Container ; + + -- A HumanChild who is Male. + fun Boy : Class ; + fun Boy_Class : SubClass Boy (both HumanChild Man) ; + + -- The seat of the central nervous system. + fun Brain : Class ; + fun Brain_Class : SubClass Brain (both AnimalAnatomicalStructure Organ) ; + + -- A DistilledAlcoholicBeverage that is prepared by + -- distilling Wine. + fun Brandy : Class ; + fun Brandy_Class : SubClass Brandy DistilledAlcoholicBeverage ; + + -- A MetallicAlloy made from Copper and Zinc. + fun Brass : Class ; + fun Brass_Class : SubClass Brass MetallicAlloy ; + + -- Food that consists largely of grain flour + -- and water. Note that this class covers crackers, cookies, as well as any + -- self_connected instance of bread, whether it is a loaf, a slice, a chunk + -- of bread, etc. + fun BreadOrBiscuit : Class ; + fun BreadOrBiscuit_Class : SubClass BreadOrBiscuit PreparedFood ; + + -- A subclass of Attributes for + -- characterizing the breakability of CorpuscularObjects. + fun BreakabilityAttribute : Class ; + fun BreakabilityAttribute_Class : SubClass BreakabilityAttribute InternalAttribute ; + + -- The paired Organs which are part of the chests + -- of Primates. + fun Breast : Class ; + fun Breast_Class : SubClass Breast (both AnimalAnatomicalStructure Organ) ; + + -- A block of fired Clay that is used in Constructing. + fun Brick : Class ; + fun Brick_Class : SubClass Brick BoardOrBlock ; + + -- A MilitaryGeneral that ranks below + -- a MajorGeneral. + fun BrigadierGeneral : Class ; + fun BrigadierGeneral_Class : SubClass BrigadierGeneral MilitaryGeneral ; + + -- BroadcastNetwork is the subclass of + -- CommunicationSystems consisting of BroadcastingStations that are linked + -- electronically and managed or owned by one organization. + fun BroadcastNetwork : Class ; + fun BroadcastNetwork_Class : SubClass BroadcastNetwork CommunicationSystem ; + + -- A Series of episodes that are broadcast + -- on television or radio. + fun BroadcastProgram : Class ; + fun BroadcastProgram_Class : SubClass BroadcastProgram Series ; + + -- Disseminating information by using a + -- CommunicationDevice that radiates RadioEmissions. + fun Broadcasting : Class ; + fun Broadcasting_Class : SubClass Broadcasting (both Disseminating RadioEmission) ; + + -- Any BodyVessel which is located in a + -- Lung and which carries oxygen from the trachea to the alveoli. + fun BronchialDuct : Class ; + fun BronchialDuct_Class : SubClass BronchialDuct (both AnimalAnatomicalStructure BodyVessel) ; + + -- A GroupOfAnimals that are all born at the same time + -- and to the same parents. + fun Brood : Class ; + fun Brood_Class : SubClass Brood GroupOfAnimals ; + + -- A BrushOrComb whose purpose is to remove dirt and other + -- small particles from floors. + fun Broom : Class ; + fun Broom_Class : SubClass Broom BrushOrComb ; + + -- A SecondaryColor that resembles the color of wood or + -- of soil. + fun Brown : Ind SecondaryColor ; + + -- A Device which consists of a handle and bristles and + -- whose purpose is to remove particles from something or to smooth something out. + fun BrushOrComb : Class ; + fun BrushOrComb_Class : SubClass BrushOrComb Device ; + + -- A globe which has a Liquid surface and which contains + -- a Gas. + fun Bubble : Class ; + fun Bubble_Class : SubClass Bubble CorpuscularObject ; + + -- A HoofedMammal with long hair whose habitat is the + -- plains of NorthAmerica. + fun Buffalo : Class ; + fun Buffalo_Class : SubClass Buffalo HoofedMammal ; + + -- A HornInstrument that has no valves. + fun Bugle : Class ; + fun Bugle_Class : SubClass Bugle HornInstrument ; + + -- The story or level of a building, e.g. the Basement, + -- the Attic, the ground level, the fourteenth floor, etc. + fun BuildingLevel : Class ; + fun BuildingLevel_Class : SubClass BuildingLevel StationaryArtifact ; + + -- A Cow that is Male. + fun Bull : Class ; + 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 ; + fun Cave_Class : SubClass Cave Hole ; + + -- The process of an Organization + -- ceasing operations, i.e. its folding or going out of business in + -- some other fashion. + fun CeasingOperations : Class ; + fun CeasingOperations_Class : SubClass CeasingOperations OrganizationalProcess ; + + -- A StationaryArtifact that is the top surface + -- of a Room. + fun Ceiling : Class ; + fun Ceiling_Class : SubClass Ceiling StationaryArtifact ; + + -- Anyone who is known by a large number of people, + -- either explicitly by name, or by action. + fun Celebrity : Class ; + + -- The part of the Cell that contains DNA and + -- RNA. + fun CellNucleus : Class ; + fun CellNucleus_Class : SubClass CellNucleus OrganicObject ; + + -- The main component of Plant Tissue. + fun Cellulose : Class ; + fun Cellulose_Class : SubClass Cellulose (both Carbohydrate PlantSubstance) ; + + -- A LandArea which is used for burying the dead. + fun Cemetery : Class ; + fun Cemetery_Class : SubClass Cemetery LandArea ; + + -- Any instance of Rotating where there is + -- Motion away from the center of the Rotating. + fun CentrifugalMotion : Class ; + fun CentrifugalMotion_Class : SubClass CentrifugalMotion Rotating ; + + -- Any instance of Rotating where there is + -- Motion towards the center of the Rotating. + fun CentripetalMotion : Class ; + fun CentripetalMotion_Class : SubClass CentripetalMotion Rotating ; + + -- The TimeDuration of 100 years. + fun CenturyDuration : Ind UnitOfDuration ; + + -- Any Seed which is produced by the cereal grasses, + -- e.g. rice, corn, wheat, etc. + fun CerealGrain : Class ; + fun CerealGrain_Class : SubClass CerealGrain (both (both Food Seed) PlantAgriculturalProduct) ; + + -- A Seat that is designed to accommodate a single + -- Human. + fun Chair : Class ; + fun Chair_Class : SubClass Chair Seat ; + + -- A ChangeOfControl is an event in which an agent gains + -- physical control over some object that was previously controlled + -- by a different agent. + fun ChangeOfControl : Class ; + fun ChangeOfControl_Class : SubClass ChangeOfControl AchievingControl ; + + -- Any instance of a process of + -- RemovingClothing and Dressing. + fun ChangingClothing : Class ; + fun ChangingClothing_Class : SubClass ChangingClothing Transfer ; + + -- A numbered and/or titled + -- section of a Book, which is typically indicated in a table of + -- contents for the Book. + fun Chapter : Class ; + fun Chapter_Class : SubClass Chapter Article ; + + -- An activity of a fee being charged + fun ChargingAFee : Class ; + fun ChargingAFee_Class : SubClass ChargingAFee FinancialTransaction ; + + -- An Icon which depicts one or more quantities. + fun Chart : Class ; + fun Chart_Class : SubClass Chart Icon ; + + -- An area on or very near a border, usually along + -- a road connecting two regions, where MilitaryPersons or Police + -- restrict the flow of traffic in order to extract tarrifs, deny movement to + -- certain kinds of people or goods, or other enforement actions. Because of + -- the power relationship involved, such areas are often the site of illegal + -- activities conducted by the officials in order to extract favors or + -- bribes. + fun Checkpoint : Class ; + fun Checkpoint_Class : SubClass Checkpoint GeographicArea ; + + -- A bitter CompoundSubstance that is capable of + -- reacting with a ChemicalBase and forming a ChemicalSalt. + fun ChemicalAcid : Class ; + fun ChemicalAcid_Class : SubClass ChemicalAcid CompoundSubstance ; + + -- An attack against people or property in which + -- a chemical agent is used as the active ingredient of the attack. + fun ChemicalAttack : Class ; + fun ChemicalAttack_Class : SubClass ChemicalAttack ViolentContest ; + + -- A CompoundSubstance that is capable of + -- reacting with a ChemicalAcid and forming a ChemicalSalt. + fun ChemicalBase : Class ; + fun ChemicalBase_Class : SubClass ChemicalBase CompoundSubstance ; + + -- The Attribute of being in a chemically + -- stable state, i.e. the relative proportions of resources and results will + -- not longer change. + fun ChemicalEquilibrium : Ind InternalAttribute ; + + -- Any ChemicalProcess where Electrons + -- are added to the substance undergoing the ChemicalProcess. + fun ChemicalReduction : Class ; + fun ChemicalReduction_Class : SubClass ChemicalReduction ChemicalSynthesis ; + + -- A bitter CompoundSubstance that is formed in a + -- chemical reaction of a ChemicalBase with a ChemicalAcid. + fun ChemicalSalt : Class ; + fun ChemicalSalt_Class : SubClass ChemicalSalt CompoundSubstance ; + + -- The study of the compositions, properties, and + -- reactions of Substances. + fun Chemistry : Ind Science ; + + -- Any piece of Furniture which is also a + -- Container, e.g. a chest of drawers, a memory chest, an armoire, etc. + fun ChestOrCabinet : Class ; + fun ChestOrCabinet_Class : SubClass ChestOrCabinet (both Container Furniture) ; + + -- Breaking up or mashing Food with one's teeth. + fun Chewing : Class ; + fun Chewing_Class : SubClass Chewing BodyMotion ; + + -- A subclass of Bird that is raised for its meat + -- and for its eggs. + fun Chicken : Class ; + fun Chicken_Class : SubClass Chicken Poultry ; + + -- Meat that was originally part of a Chicken. + fun ChickenMeat : Class ; + fun ChickenMeat_Class : SubClass ChickenMeat Meat ; + + -- A thin passageway through which Smoke from a controlled + -- fire is conducted Outside of a Building or Room. + fun Chimney : Class ; + fun Chimney_Class : SubClass Chimney (both Device StationaryArtifact) ; + + -- A part of the Face which protrudes slightly and which + -- is lower than all other parts of the Face. + fun Chin : Class ; + fun Chin_Class : SubClass Chin (both AnimalAnatomicalStructure BodyPart) ; + + -- A Steroid that is produced by the Liver and that + -- is believed to be closely associated with various cardiological disorders. + fun Cholesterol : Class ; + fun Cholesterol_Class : SubClass Cholesterol (both AnimalSubstance Steroid) ; + + -- Planning that results in a sequence of dance + -- steps that are executed as part of a Performance. + fun Choreographing : Class ; + fun Choreographing_Class : SubClass Choreographing Planning ; + + -- Any instance of the collection of writings which + -- is regarded as scripture by those who embrace Christianity. + fun ChristianBible : Class ; + fun ChristianBible_Class : SubClass ChristianBible Book ; + + -- Four books in the New Testament of the + -- ChristianBible that describe the life and teachings of Jesus Christ + -- and that are referred to, respectively, as Matthew, Mark, Luke, and John. + fun ChristianGospel : Class ; + fun ChristianGospel_Class : SubClass ChristianGospel Text ; + + -- Any ReligiousService that is conducted by + -- members of Christianity. + fun ChristianService : Class ; + fun ChristianService_Class : SubClass ChristianService ReligiousService ; + + -- Processes of Separating a LiquidMixture or + -- a GasMixture into some or all of the PureSubstances that comprise it. + fun Chromatography : Class ; + fun Chromatography_Class : SubClass Chromatography Separating ; + + -- A tube of thin paper containing finely ground + -- tobacco that is smoked. + fun CigarOrCigarette : Class ; + fun CigarOrCigarette_Class : SubClass CigarOrCigarette SmokingDevice ; + + -- A slice of a Circle, i.e. any + -- ClosedTwoDimensionalFigure which consists of two Radii and the arc of + -- the Circle that they bound. + fun CircleSector : Class ; + fun CircleSector_Class : SubClass CircleSector ClosedTwoDimensionalFigure ; + + -- Removing the foreskin of the penis. This is + -- usually performed on infants, but is occasionally performed on adolescents + -- and adults, either for medical reasons, or after religious conversion. It is + -- often conducted as a religious rite, since it is prescribed by both the + -- Jewish and Muslim religions, although it is prevalent also as a social + -- norm in the UnitedStates and other Nations. + fun Circumision : Class ; + fun Circumision_Class : SubClass Circumision (both Removing Surgery) ; + + -- (CitizenryFn ?AREA) denotes the + -- GroupOfPeople who are legal and permanent residents of the + -- GeopoliticalArea ?AREA. + fun CitizenryFn : El GeopoliticalArea -> Ind GroupOfPeople ; + + -- A square_shaped area surrounded by Roadways + -- which is part of a City and typically contains Buildings. + fun CityBlock : Class ; + fun CityBlock_Class : SubClass CityBlock LandArea ; + + -- Any geopoliticalSubdivision of a City. + fun CityDistrict : Class ; + fun CityDistrict_Class : SubClass CityDistrict GeopoliticalArea ; + + -- CityGovernment is the class of + -- governments of Cities. + fun CityGovernment : Class ; + fun CityGovernment_Class : SubClass CityGovernment Government ; + + -- A War in which the fighting GeopoliticalAreas + -- are both part of the same Nation. + fun CivilWar : Class ; + fun CivilWar_Class : SubClass CivilWar War ; + + -- Someone who is not a member of an active + -- MilitaryOrganization. + fun Civilian : Class ; + fun Civilian_Class : SubClass Civilian SocialRole ; + + -- An AttachingDevice which is designed to attach + -- two things together by means of a movable part which can be tightened + -- or loosened. + fun Clamp : Class ; + fun Clamp_Class : SubClass Clamp AttachingDevice ; + + -- Bringing the Hands together repeatedly to make + -- a loud noise. + fun Clapping : Class ; + fun Clapping_Class : SubClass Clapping (both HandGesture (both Impacting RadiatingSound)) ; + + -- A ClassificationScheme is a conceptual structure, + -- an abstract arrangement of concepts and the relations that link them. + fun ClassificationScheme : Class ; + fun ClassificationScheme_Class : SubClass ClassificationScheme Proposition ; + + -- Any Room in a School where education + -- takes place. + fun Classroom : Class ; + fun Classroom_Class : SubClass Classroom Room ; + + -- The Profession of being in charge of or ministering + -- to a ReligousOrganization. + fun Cleric : Class ; + fun Cleric_Class : SubClass Cleric ReligiousPosition ; + + -- The class of Positions where the position + -- holder is responsible for clerical duties, e.g. typing documents, answering + -- phones, keeping schedules, etc. + fun ClericalSecretary : Ind SkilledOccupation ; + + -- A piece of Clothing that covers the whole body + -- except the face (and possibly entire head), hands, and feet. + fun Cloak : Class ; + fun Cloak_Class : SubClass Cloak Clothing ; + + -- Any Device that measures and represents TimeDuration + -- or TimePosition. + fun Clock : Class ; + fun Clock_Class : SubClass Clock MeasuringDevice ; + + -- A relatively small Room used for storage. + fun Closet : Class ; + fun Closet_Class : SubClass Closet Room ; + + -- The Class of Processes where an aperture is + -- closed in an Object. + fun Closing : Class ; + fun Closing_Class : SubClass Closing Motion ; + + -- Completing a Contract of some sort, + -- e.g. the purchase of a house, closing a business deal, etc. + fun ClosingContract : Class ; + fun ClosingContract_Class : SubClass ClosingContract Committing ; + + -- The EyeMotion of tensing the eye lids so that + -- the corneas are not exposed to light. + fun ClosingEyes : Class ; + fun ClosingEyes_Class : SubClass ClosingEyes (both Closing EyeMotion) ; + + -- A Collection of instances of Clothing that + -- are designed to be worn together. + fun ClothingSuit : Class ; + fun ClothingSuit_Class : SubClass ClothingSuit Collection ; + + -- Any occupation that involves training an athlete or a + -- sports team. + fun Coach : Ind SkilledOccupation ; + + -- CoastGuard is the subclass of GovernmentOrganizations + -- that enforce the maritime laws of a Nation and guard its Seacoast. This may be + -- a military or quasi_military organization. + fun CoastGuard : Class ; + fun CoastGuard_Class : SubClass CoastGuard GovernmentOrganization ; + + -- Clothing that has sleeves and covers from the neck + -- down. Coats are intended to be worn outdoors. + fun Coat : Class ; + fun Coat_Class : SubClass Coat OutdoorClothing ; + + -- A Beverage which is prepared by infusing ground, + -- roasted coffee beans into hot water. + fun Coffee : Class ; + fun Coffee_Class : SubClass Coffee (both Beverage PreparedFood) ; + + -- A Container for a HumanCorpse. + fun Coffin : Class ; + fun Coffin_Class : SubClass Coffin Container ; + + -- Any abstract ArtWork that is produced by arranging + -- bits of paper or photographs. + fun Collage : Class ; + fun Collage_Class : SubClass Collage ArtWork ; + + -- A piece of Clothing that fits around the Neck. + -- A Collar is always part of a Coat or a Shirt. + fun Collar : Class ; + fun Collar_Class : SubClass Collar Clothing ; + + -- A School which admits students who have + -- graduated from high school and which confers a bachelor's degree, + -- normally requiring four years of study. Note that a College does + -- not confer any graduate degrees. For institutions that confer both + -- bachelor's and graduate degrees, the concept University should be + -- used. + fun College : Class ; + fun College_Class : SubClass College PostSecondarySchool ; + + -- The Positions of a student at a PostSecondarySchool + -- who has completed less than one year at the school. + fun CollegeFreshman : Ind CollegeStudentPosition ; + + -- The Positions of a student at a PostSecondarySchool + -- who has completed at least two years and less than three years at the school. + fun CollegeJunior : Ind CollegeStudentPosition ; + + -- The Positions of a student at a PostSecondarySchool + -- who has completed at least three years and less than four years at the school. + fun CollegeSenior : Ind CollegeStudentPosition ; + + -- The Positions of a student at a PostSecondarySchool + -- who has completed at least one year and less than two years at the school. + fun CollegeSophomore : Ind CollegeStudentPosition ; + + -- Any Position at a PostSecondarySchool + -- which is occupied exclusively by students. + fun CollegeStudentPosition : Class ; + fun CollegeStudentPosition_Class : SubClass CollegeStudentPosition Position ; + + -- A commissioned MilitaryOfficer who ranks above + -- a lieutenant colonel and below a brigadier general. + fun Colonel : Class ; + fun Colonel_Class : SubClass Colonel MilitaryOfficer ; + + -- Positions which involve performing stand_up comedy, which + -- is recorded and/or performed in front of live audiences. + fun Comedian : Ind EntertainmentProfession ; + + -- A Building which is intended for + -- organizational activities, e.g. retail or wholesale selling, manufacturing, + -- office work, etc. + fun CommercialBuilding : Class ; + fun CommercialBuilding_Class : SubClass CommercialBuilding (both Building PlaceOfCommerce) ; + + -- CommercialShipping is the subclass of + -- Transportation events in which a commercial agent provides transportation + -- of goods for remuneration. + fun CommercialShipping : Class ; + fun CommercialShipping_Class : SubClass CommercialShipping (both CommercialService Shipping) ; + + -- A Room or suite of Rooms intended for + -- clerical and/or professional work of a single Organization. + fun CommercialUnit : Class ; + fun CommercialUnit_Class : SubClass CommercialUnit PlaceOfCommerce ; + + -- A small, temporary Organization whose purpose + -- is to investigate some issue. + fun Commission : Class ; + fun Commission_Class : SubClass Commission Organization ; + + -- The TimeInterval that runs from the supposed + -- time of the death of Christ to PositiveInfinity. + fun CommonEra : Ind TimeInterval ; + + -- A CommunicationDevice is a Device + -- which serves at the instrument in a Communication Process by allowing + -- the communicated message to be conveyed between the participants. + fun CommunicationDevice : Class ; + fun CommunicationDevice_Class : SubClass CommunicationDevice EngineeringComponent ; + + -- CommunicationOrganization is + -- the subclass of Organizations that manage Communications over physical + -- infrastructure owned or leased by the organization. Such organizations + -- may also produce and disseminate information, entertainment, or other + -- content. Also see MediaOrganization. + fun CommunicationOrganization : Class ; + fun CommunicationOrganization_Class : SubClass CommunicationOrganization Organization ; + + -- CommunicationSystem is a complex + -- system with various components, enabling communication (in some + -- medium) between points in a specific area, whether local or worldwide. + fun CommunicationSystem : Class ; + fun CommunicationSystem_Class : SubClass CommunicationSystem Collection ; + + -- Any PoliticalParty that advocates for a + -- CommunistState. + fun CommunistParty : Class ; + fun CommunistParty_Class : SubClass CommunistParty PoliticalParty ; + + -- A Container which is part of another Container, + -- e.g. a drawer, a zippered pouch in a piece of luggage, a compartment in a TV + -- dinner, etc. + fun Compartment : Class ; + fun Compartment_Class : SubClass Compartment Container ; + + -- A Device that indicates the direction of the + -- various DirectionalAttributes with respect to the device. + fun Compass : Class ; + fun Compass_Class : SubClass Compass (both ContentBearingObject Device) ; + + -- ContentDevelopment which results in a + -- MusicalComposition. + fun Composing : Class ; + fun Composing_Class : SubClass Composing ContentDevelopment ; + + -- ContentDevelopment which results in a + -- MusicalComposition. + fun ComposingMusic : Class ; + fun ComposingMusic_Class : SubClass ComposingMusic ContentDevelopment ; + + -- Locating something in such a way that it cannot + -- be seen. + fun Concealing : Class ; + fun Concealing_Class : SubClass Concealing Putting ; + + -- A ResidentialBuilding containing + -- CondominiumUnits. + fun CondominiumBuilding : Class ; + fun CondominiumBuilding_Class : SubClass CondominiumBuilding ResidentialBuilding ; + + -- A SingleFamilyResidence that may be owned + -- by a member of the SocialUnit that lives there. + fun CondominiumUnit : Class ; + 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 School that does not board its students, i.e. + -- students attend classes during the day and then return to a private residence + -- for the night. + fun DaySchool : Class ; + fun DaySchool_Class : SubClass DaySchool School ; + + -- The class of TimeIntervals that begin at Sunrise + -- and end at Sunset. + fun DayTime : Class ; + fun DayTime_Class : SubClass DayTime TimeInterval ; + + -- Any Position within a ReligiousOrganization that is held + -- by a layman, which is part_time, and which involves assisting a Cleric. + fun Deacon : Class ; + fun Deacon_Class : SubClass Deacon PartTimePosition ; + + -- The Attribute that applies to Animals and Humans + -- that are unable to hear. + fun Deaf : Ind BiologicalAttribute ; + + -- A Contest where each participant holds a different + -- view regarding some issue, and each participant attempts to prove, by + -- rhetoric or evidence, that his/her own views about a particular matter are + -- correct and/or that the views of the other participants are incorrect. + fun Debating : Class ; + fun Debating_Class : SubClass Debating (both Contest LinguisticCommunication) ; + + -- Getting off a Vehicle, e.g. getting out of an + -- Automobile, deplaning, getting off a WaterVehicle, etc. + fun Deboarding : Class ; + fun Deboarding_Class : SubClass Deboarding Translocation ; + + -- The TimeDuration of 10 years. + fun DecadeDuration : Ind UnitOfDuration ; + + -- Decreasing the speed with which someone + -- or something is moving. + fun Decelerating : Class ; + fun Decelerating_Class : SubClass Decelerating (both Decreasing Translocation) ; + + -- One of the two major political parties in + -- the UnitedStates. The DemocraticParty represents liberal values. + fun DemocraticParty : Ind PoliticalParty ; + + -- The Profession of being a dentist, i.e. diagnosing + -- and treating problems related to the teeth. + fun Dentist : Ind Profession ; + + -- Any BiologicallyActiveSubstance which has + -- the effect of depressing the central nervous system, i.e. decreasing + -- function or activity in the Brain or SpinalCord. + fun Depressant : Class ; + fun Depressant_Class : SubClass Depressant BiologicallyActiveSubstance ; + + -- A Position which authorizes the holder of the position + -- to act as the sheriff when the sheriff is not available. + fun Deputy : Ind PoliceOfficer ; + + -- (DescendantsFn ?PERSON) denotes all and only + -- the descendants of ?PERSON, i.e. the Group consisting of ?OFFSPRING who + -- satisfy the following formula: (ancestor ?OFFSPRING ?PERSON). + fun DescendantsFn : El Human -> Ind FamilyGroup ; + + -- A Table for a single person which is intended to be + -- used for paperwork. + fun Desk : Class ; + fun Desk_Class : SubClass Desk Table ; + + -- A detergent is a compound, or a mixture of + -- compounds, whose molecules have two distinct regions: one that is + -- hydrophilic, and dissolves easily in water, and another region that is + -- hydrophobic, with little (if any) affinity for water. As a consequence, + -- these compounds can aid in the solubilization of hydrophobic compounds in + -- water, and usually are optimized for this property. Though Soap also has + -- these properties, soaps in general are not considered detergents. Soap is + -- a particular type of surfactant that is derived from oils and fats. They + -- are created through the saponification process whereby the ester linkage + -- in a vegetable oil or fat is hydrolytically cleaved, creating a sodium or + -- potassium salt of a fatty acid (i.e. soap). Both detergents and soaps + -- are considered to be surfactants. Surfactants that are not soaps are + -- considered to be detergents. Detergents are also commonly known as any + -- cleaning mixture containing surfactants. (from Wikipedia) + fun Detergent : Class ; + fun Detergent_Class : SubClass Detergent (both Mixture Surfactant) ; + + -- This class contains two Attributes to + -- indicate whether a Device is or is not behaving as it is intended to + -- behave, Functioning and Malfunctioning. + fun DeviceAttribute : Class ; + fun DeviceAttribute_Class : SubClass DeviceAttribute ObjectiveNorm ; + + fun DeviceClosed : Ind (both DeviceStateAttribute RelationalAttribute) ; + + fun DeviceOff : Ind (both DeviceStateAttribute InternalAttribute) ; + + fun DeviceOn : Ind (both DeviceStateAttribute InternalAttribute) ; + + fun DeviceOpen : Ind (both DeviceStateAttribute RelationalAttribute) ; + + -- DeviceStateAttribute is the class + -- of attributes that represent different states that a Device may be in. + -- Examples: DeviceOff, DeviceOn, DeviceOpen, and DeviceClosed. + fun DeviceStateAttribute : Class ; + fun DeviceStateAttribute_Class : SubClass DeviceStateAttribute DeviceAttribute ; + + -- Any process of Separating a Solution into two or more + -- constituent PureSubstances by means of their unequal diffusion through membranes + -- that are partially permeable. + fun Dialysis : Class ; + fun Dialysis_Class : SubClass Dialysis Separating ; + + -- (DiameterFn ?CIRCLE) denotes the length of the + -- diameter of the Circle ?CIRCLE. + fun DiameterFn : El Circle -> Ind LengthMeasure ; + + -- Crystalline Carbon that is valued as a gem and + -- used in industrial applications. + fun Diamond : Class ; + fun Diamond_Class : SubClass Diamond (both Carbon Mineral) ; + + -- A DiseaseOrSyndrome of frequent, watery bowel + -- movements. Severe cases can be fatal for the young or weak. It is + -- a common cause of death for the very young in poor developing countries. + fun Diarrhea : Ind DiseaseOrSyndrome ; + + -- A ReferenceBook which specifies the meanings + -- of the Words of a Language. + fun Dictionary : Class ; + fun Dictionary_Class : SubClass Dictionary ReferenceBook ; + + -- DieselEngine is the subclass of + -- InternalCombustionEngines that use DieselFuel as their resource. + fun DieselEngine : Class ; + fun DieselEngine_Class : SubClass DieselEngine InternalCombustionEngine ; + + -- A Plan regarding what one is allowed to eat. + fun Diet : Class ; + fun Diet_Class : SubClass Diet Plan ; + + -- Any Process of removing or turning over the Soil. + fun Digging : Class ; + fun Digging_Class : SubClass Digging (both IntentionalProcess SurfaceChange) ; + + -- Any of the extremities of Limbs that are + -- found in the higer Vertebrates and the Amphibians. + fun DigitAppendage : Class ; + fun DigitAppendage_Class : SubClass DigitAppendage (both AnimalAnatomicalStructure BodyPart) ; + + -- Any Character that is comprised of a single digit, + -- i.e. one of the numerals 0, 1, 2, 3, 4, 5, 6, 7, 8, 9. + fun DigitCharacter : Class ; + fun DigitCharacter_Class : SubClass DigitCharacter Character ; + + -- Adding a Liquid to a Solution to decrease + -- the concentration of the Solution. + fun Diluting : Class ; + fun Diluting_Class : SubClass Diluting Putting ; + + -- A Room intended primarily for Eating. + fun DiningRoom : Class ; + fun DiningRoom_Class : SubClass DiningRoom Room ; + + -- A person who works as a facilitator for communication + -- between countries, in the official employ of one of the countries. + fun Diplomat : Ind OccupationalRole ; + + -- A Holder for Food while the Food is being eaten. + fun Dish : Class ; + fun Dish_Class : SubClass Dish Holder ; + + -- Any BodyMotion which results in not being On + -- something else. + fun Dismounting : Class ; + fun Dismounting_Class : SubClass Dismounting BodyMotion ; + + -- DisplacementHullWaterVehicle is + -- a subclass of WaterVehicle with hulls designed to move water aside as they + -- move through the water. Contrast with PlaningHullWaterVehicle. + fun DisplacementHullWaterVehicle : Class ; + fun DisplacementHullWaterVehicle_Class : SubClass DisplacementHullWaterVehicle WaterVehicle ; + + -- Something for posting content so + -- that it can be disseminated to the public. + fun DisplayArtifact : Class ; + fun DisplayArtifact_Class : SubClass DisplayArtifact Artifact ; + + -- Someone who is opposed to the leadership + -- of a particular country. Typically, a dissident suffers punishment + -- at the hands of the country whose leadership he is opposing. + fun Dissident : Ind (both Civilian SocialRole) ; + + -- An AlcoholicBeverage that has + -- had some part of its Water content removed by distillation. This class + -- covers drinks of unmixed, hard liquor. + fun DistilledAlcoholicBeverage : Class ; + fun DistilledAlcoholicBeverage_Class : SubClass DistilledAlcoholicBeverage AlcoholicBeverage ; + + -- A legal act whereby a marriage is dissolved. This + -- includes annulments. + fun Divorcing : Class ; + fun Divorcing_Class : SubClass Divorcing Declaring ; + + -- A MotionPicture which purports to represent the + -- facts about a person, event, etc. + fun Documentary : Class ; + fun Documentary_Class : SubClass Documentary (both FactualText MotionPicture) ; + + -- Purposely moving one's body in such a way as + -- to avoid being hit by something. + fun Dodging : Class ; + fun Dodging_Class : SubClass Dodging (both BodyMotion IntentionalProcess) ; + + -- Any Animal that is kept by a Human, as + -- a pet, as livestock, for exhibition, etc. + fun DomesticAnimal : Class ; + fun DomesticAnimal_Class : SubClass DomesticAnimal Animal ; + + -- A variety of Feline which has been domesticated + -- by selective breeding. + fun DomesticCat : Class ; + fun DomesticCat_Class : SubClass DomesticCat (both DomesticAnimal Feline) ; + + -- Canines which have evolved from the common + -- wolf by selective breeding. + fun DomesticDog : Class ; + fun DomesticDog_Class : SubClass DomesticDog (both Canine DomesticAnimal) ; + + -- A domesticated HoofedMammal that is used for work. + fun Donkey : Class ; + fun Donkey_Class : SubClass Donkey (both HoofedMammal Livestock) ; + + -- An Artifact that restricts and permits access to a + -- StationaryArtifact (e.g. Building or Room) depending on whether the + -- Door is open or locked. Note that the class Door also covers gates, + -- because it is not possible to define objective criteria that reliably + -- distinguish doors from gates. + fun Door : Class ; + fun Door_Class : SubClass Door (both Artifact Device) ; + + -- A StationaryArtifact consisting of a frame that + -- holds a Door. + fun Doorway : Class ; + fun Doorway_Class : SubClass Doorway StationaryArtifact ; + + -- A TemporaryResidence which is owned by a School + -- and which is used to house students while they take classes at the School. + fun Dormitory : Class ; + fun Dormitory_Class : SubClass Dormitory (both ResidentialBuilding TemporaryResidence) ; + + -- A Mixture of Flour, Water, and possibly + -- other ingredients (such as Butter and Salt), which is used in + -- making BreadOrBiscuits. + fun Dough : Class ; + fun Dough_Class : SubClass Dough (both Mixture PreparedFood) ; + + -- A PositionalAttribute to indicate that one thing is + -- one or more floors below a second thing in the same building. + fun Downstairs : Ind PositionalAttribute ; + + -- The commercial center of a City. The part of the + -- City that contains more shops and offices than any other part. + fun Downtown : Class ; + fun Downtown_Class : SubClass Downtown CityDistrict ; + + -- Playing a character in a Performance, + -- MotionPicture, etc. + fun DramaticActing : Class ; + fun DramaticActing_Class : SubClass DramaticActing Pretending ; + + -- The GroupOfPeople who engage in DramaticActing + -- as part of the realization of a single FictionalText. + fun DramaticCast : Class ; + fun DramaticCast_Class : SubClass DramaticCast GroupOfPeople ; + + -- The process of directing a DramaticActing + -- in a MotionPicture or the Performance of a DramaticPlay. + fun DramaticDirecting : Class ; + fun DramaticDirecting_Class : SubClass DramaticDirecting Guiding ; + + -- A Performance that consists exclusively of + -- DramaticActing, e.g. a live performance of Death_of_a_Salesman in front + -- of an audience. + fun DramaticPerformance : Class ; + fun DramaticPerformance_Class : SubClass DramaticPerformance Performance ; + + -- A FictionalText that is intended to be realized + -- as DramaticActing. + fun DramaticPlay : Class ; + fun DramaticPlay_Class : SubClass DramaticPlay FictionalText ; + + -- Any ContentDevelopment that results in a Sketch. + fun Drawing : Class ; + fun Drawing_Class : SubClass Drawing (both ContentDevelopment SurfaceChange) ; + + -- A Process of producing metal images which occurs + -- while one is Asleep. + fun Dreaming : Class ; + fun Dreaming_Class : SubClass Dreaming Imagining ; + + -- An item of Clothing which covers the lower body of a Woman. + fun Dress : Class ; + fun Dress_Class : SubClass Dress Clothing ; + + -- The Process of putting on Clothing. + fun Dressing : Class ; + fun Dressing_Class : SubClass Dressing Putting ; + + -- Any Room which is intended for ChangingClothing. + fun DressingRoom : Class ; + fun DressingRoom_Class : SubClass DressingRoom Room ; + + -- A Device that has the purpose of creating a Hole. + -- This covers manual drills as well as electric or pneumatic drills. + fun Drill : Class ; + fun Drill_Class : SubClass Drill CuttingDevice ; + + -- Any Process of producing a hole in a + -- SelfConnectedObject which involves rotating a long, thin bit. + fun Drilling : Class ; + fun Drilling_Class : SubClass Drilling (both IntentionalProcess SurfaceChange) ; + + -- An open FluidContainer that is intended to serve a Beverage + -- to a single person. Note that this class includes both cups with handles and + -- drinking glasses. + fun DrinkingCup : Class ; + fun DrinkingCup_Class : SubClass DrinkingCup FluidContainer ; + + -- Any LiquidMotion where the Liquid is moved drop by drop. + fun Dripping : Class ; + fun Dripping_Class : SubClass Dripping LiquidMotion ; + + -- An EngineeringComponent whose purpose is to + -- transfer force from one part of a Device to another part. + fun DriveComponent : Class ; + fun DriveComponent_Class : SubClass DriveComponent EngineeringComponent ; + + -- A License which identifies the holder and + -- indicates that he has the right to drive a certain class of RoadVehicle. + fun DriversLicense : Class ; + fun DriversLicense_Class : SubClass DriversLicense License ; + + -- A small, private Roadway that is used for parking + -- Automobiles or for connecting a Garage to a public Roadway. + fun Driveway : Class ; + fun Driveway_Class : SubClass Driveway Roadway ; + + -- A RetailStore that sells Medicine, and + -- perhaps other items as well. + fun DrugStore : Class ; + fun DrugStore_Class : SubClass DrugStore RetailStore ; + + -- The ConsciousnessAttribute of someone whose motor and/or + -- cognitive faculties are significantly impaired by a BiologicallyActiveSubstance. + fun Drugged : Ind ConsciousnessAttribute ; + + -- An atonal PercussionInstrument which consists of a hollow cylinder + -- and a fabric stretched across at least one end of the cylinder. + fun Drum : Class ; + fun Drum_Class : SubClass Drum PercussionInstrument ; + + -- Playing a Drum. Note that this includes both + -- musical performance, as well as signalling and cerimonial applications. + fun Drumming : Class ; + fun Drumming_Class : SubClass Drumming (both Demonstrating RadiatingSound) ; + + -- The ConsciousnessAttribute of someone whose motor and + -- cognitive faculties are significantly impaired by Alcohol. + fun Drunk : Ind ConsciousnessAttribute ; + + -- A subclass of Bird with webbed feet and a large bill. + -- Some ducks live in the wild, and some are raised for meat and/or eggs. + fun Duck : Class ; + fun Duck_Class : SubClass Duck Poultry ; + + -- Purposely moving one's body downward in such a way as + -- to avoid being hit by something. + fun Ducking : Class ; + fun Ducking_Class : SubClass Ducking (both BodyMotion (both IntentionalProcess MotionDownward)) ; + + -- A Tax that is levied on imports and/or exports. + fun DutyTax : Class ; + fun DutyTax_Class : SubClass DutyTax Tax ; + + -- The Organ of hearing. + fun Ear : Class ; + fun Ear_Class : SubClass Ear (both AnimalAnatomicalStructure Organ) ; + + -- Instances of RadiatingSound where the instrument + -- is a surface which bounces sound waves back to their origin, where they can + -- be heard again. + fun Echoing : Class ; + fun Echoing_Class : SubClass Echoing RadiatingSound ; + + -- A class of Relations which are used + -- to specify various economic measures, e.g. the GDP, the consumer price + -- index, and the trade deficit. + fun EconomicRelation : El GeopoliticalArea -> El Entity -> Formula; + + -- The field of economics. + fun Economics : Ind SocialScience ; + + -- A schedule of class meetings offered by an + -- EducationalOrganization. + fun EducationalCourse : Class ; + fun EducationalCourse_Class : SubClass EducationalCourse EducationalProgram ; + + -- A building or campus, owned by an + -- EducationalOrganization, which is intended as the location for + -- EducationalProcesses. + fun EducationalFacility : Class ; + fun EducationalFacility_Class : SubClass EducationalFacility StationaryArtifact ; + + -- A series of EducationalCourses that must + -- be completed to receive an AcademicDegree or other Certificate. Note that + -- an EducationalProgram, unlike an EducationalCourse, may be realized at more + -- than one EducationalOrganization. + fun EducationalProgram : Class ; + fun EducationalProgram_Class : SubClass EducationalProgram Plan ; + + -- The joint in the Arm connecting the forearm and the + -- upper arm. + fun Elbow : Class ; + fun Elbow_Class : SubClass Elbow BodyJoint ; + + -- ElectoralCollegeElection is + -- the class of Elections in which the outcome is decided by the votes of + -- electors who have been chosen by popular vote, rather than directly by + -- results of the popular vote. ElectoralCollegeElection is an indirect + -- method of election, in contrast to PopularElection. + fun ElectoralCollegeElection : Class ; + fun ElectoralCollegeElection_Class : SubClass ElectoralCollegeElection GeneralElection ; + + -- A Device that uses Electricity as its + -- primary power source. + fun ElectricDevice : Class ; + fun ElectricDevice_Class : SubClass ElectricDevice Device ; + + -- ElectricMotor is the subclass of Engines + -- that produce mechanical power from electricity. + fun ElectricMotor : Class ; + fun ElectricMotor_Class : SubClass ElectricMotor (both ElectricDevice Engine) ; + + -- ElectricalSignalling is the subclass of Signalling processes + -- that involve control of an electrical current. Cf. ElectronicSignalling. + fun ElectricalSignalling : Class ; + fun ElectricalSignalling_Class : SubClass ElectricalSignalling Signalling ; + + -- ElectrifiedRailwayCar is the + -- subclass of railway cars that are powered by electricity, which is + -- provided to the car through an overhead link or electrified third rail. + fun ElectrifiedRailwayCar : Class ; + fun ElectrifiedRailwayCar_Class : SubClass ElectrifiedRailwayCar (both ElectricDevice (both PoweredVehicle RollingStock)) ; + + -- ElectronicSignalling is the + -- subclass of Signalling processes that involve a signal generated by + -- a computer. + fun ElectronicSignalling : Class ; + fun ElectronicSignalling_Class : SubClass ElectronicSignalling Signalling ; + + -- The branch of Physics that deals with the theory + -- and applications of electron emissions. + fun Electronics : Ind FieldOfStudy ; + + -- A very large, almost hairless Herbivore with a long trunk. + fun Elephant : Class ; + fun Elephant_Class : SubClass Elephant Herbivore ; + + -- A TransportationDevice consisting of a car that moves + -- up and down in a vertical shaft so that people or objects can move from one floor to another + -- in a building. + fun Elevator : Class ; + fun Elevator_Class : SubClass Elevator TransportationDevice ; + + -- An embassy is a Building that is owned by a Government to house + -- its diplomatic and consular staff that is in another country. + fun EmbassyBuilding : Class ; + fun EmbassyBuilding_Class : SubClass EmbassyBuilding GovernmentBuilding ; + + -- The class of Touching processes where one Human hugs another one. + fun Embracing : Class ; + fun Embracing_Class : SubClass Embracing Touching ; + + -- A DiseaseOrSyndrome that affects the Lungs and + -- which results in a decrease of breathing ability. + fun Emphysema : Ind DiseaseOrSyndrome ; + + -- Involuntarily ending one's employment. + -- Note that this covers termination due to inadequate performance, as + -- well as layoffs. + fun EmploymentFiring : Class ; + fun EmploymentFiring_Class : SubClass EmploymentFiring TerminatingEmployment ; + + -- Engine is a subclass of Transducer. Engines are devices for converting + -- some form of energy resource into mechanical power. + fun Engine : Class ; + fun Engine_Class : SubClass Engine Transducer ; + + -- The application of instances of Science to the solution + -- of practical problems, i.e. the creation of various forms of technology. + fun Engineering : Ind Science ; + + -- A building that has the primary + -- purpose of entertaining people. + fun EntertainmentBuilding : Class ; + fun EntertainmentBuilding_Class : SubClass EntertainmentBuilding Building ; + + -- Any business whose services include + -- Performances. This class covers nightclubs, commercial live theaters, + -- and comedy clubs. + fun EntertainmentCompany : Class ; + fun EntertainmentCompany_Class : SubClass EntertainmentCompany CommercialAgent ; + + -- Positions which involve creating + -- content or performances that are intended to entertain. This class covers + -- the TheaterProfession, FilmMakingProfession, being a comedian, etc. + fun EntertainmentProfession : Class ; + fun EntertainmentProfession_Class : SubClass EntertainmentProfession SkilledOccupation ; + + -- More commonly known as burying, this is the class + -- of processes of putting a HumanCorpse into a Tomb. Note that this class + -- is not a subclass of Burying, since some Tombs are not covered with Soil, + -- e.g. those in a mausoleum. + fun Entombing : Class ; + fun Entombing_Class : SubClass Entombing Putting ; + + -- A sealable Container for one or more pieces of + -- paper which is designed to protect the papers while they are transferred to + -- someone. + fun Envelope : Class ; + fun Envelope_Class : SubClass Envelope Container ; + + -- Any instance of Translocation where the agent brings + -- it about that he/she is no longer confined without having the right to do + -- so. + fun Escaping : Class ; + fun Escaping_Class : SubClass Escaping Translocation ; + + -- Any Investigating by one Government of another + -- Government where the second Government does not know that it is being + -- spied upon. + fun Espionage : Class ; + fun Espionage_Class : SubClass Espionage (both Investigating PoliticalProcess) ; + + -- The class of nations that are in Europe. + fun EuropeanNation : Class ; + fun EuropeanNation_Class : SubClass EuropeanNation Nation ; + + -- The state of being happy about a state of + -- affairs that might occur in the future. + fun Excitement : Ind EmotionalState ; + + -- Killing of a Human by a Government for + -- the commission of a CriminalAction. + fun Execution : Class ; + fun Execution_Class : SubClass Execution Killing ; + + -- A Residence of a chiefOfState, e.g. + -- the White House, a state governor's mansion, Buckingham Palace, etc. + fun ExecutiveResidence : Class ; + fun ExecutiveResidence_Class : SubClass ExecutiveResidence PermanentResidence ; + + -- Any instance of Breathing where the breath is + -- expelled from the Lungs. + fun Exhaling : Class ; + fun Exhaling_Class : SubClass Exhaling Breathing ; + + -- Any sudden and massive release of energy that is + -- the product of a chemical reaction. + fun Explosion : Class ; + fun Explosion_Class : SubClass Explosion Radiating ; + + -- A Device whose purpose is to explode. Note + -- that ExplosiveDevice is not a subclass of Weapon, since explosives can be + -- used in demolition work and in fireworks displays, for example. + fun ExplosiveDevice : Class ; + fun ExplosiveDevice_Class : SubClass ExplosiveDevice Device ; + + -- An ExplosiveDevice which is designed to + -- explode when there is movement over it, e.g. by a person on foot, by a + -- RoadVehicle, etc. + fun ExplosiveMine : Class ; + fun ExplosiveMine_Class : SubClass ExplosiveMine (both ExplosiveDevice Weapon) ; + + -- Any Substance which is capable of exploding. + fun ExplosiveSubstance : Class ; + fun ExplosiveSubstance_Class : SubClass ExplosiveSubstance Substance ; + + -- Expressing favor about a physical thing + -- or a state of affairs. + fun ExpressingApproval : Class ; + fun ExpressingApproval_Class : SubClass ExpressingApproval Expressing ; + + -- Expressing disfavor about a physical + -- thing or a state of affairs. + fun ExpressingDisapproval : Class ; + fun ExpressingDisapproval_Class : SubClass ExpressingDisapproval Expressing ; + + -- Any instance of Expressing an acknowledgment + -- of a person's departure. Note that this class is not a subclass of + -- LinguisticCommunication, because it covers gestures of departure, e.g. Waving + -- and Nodding in certain circumstances. + fun ExpressingFarewell : Class ; + fun ExpressingFarewell_Class : SubClass ExpressingFarewell Expressing ; + + -- Any instance of Expressing that is also an + -- instance of LinguisticCommunication, e.g. thanking someone, expressing condolence, + -- expressing disapproval with an utterance rather than a Gesture, etc. + fun ExpressingInLanguage : Class ; + fun ExpressingInLanguage_Class : SubClass ExpressingInLanguage (both Expressing LinguisticCommunication) ; + + -- The Organ of sight. + fun Eye : Class ; + fun Eye_Class : SubClass Eye (both AnimalAnatomicalStructure Organ) ; + + -- A lens or pair of lenses with or without frames whose + -- purpose is to to correct a defect in vision. This class covers ordinary eye + -- glasses, reading glasses, contact lenses, monocles, etc. + fun EyeGlass : Class ; + fun EyeGlass_Class : SubClass EyeGlass OpticalDevice ; + + -- Any Motion where a patient is the agent's + -- own Eyelid or Eyelids. + fun EyeMotion : Class ; + fun EyeMotion_Class : SubClass EyeMotion BodyMotion ; + + -- Folds of Skin that can be manipulated to + -- cover or uncover Eyes. + fun Eyelid : Class ; + fun Eyelid_Class : SubClass Eyelid Skin ; + + -- The part of the Head from forehead to chin and + -- from ear to ear. + fun Face : Class ; + fun Face_Class : SubClass Face (both AnimalAnatomicalStructure BodyPart) ; + + -- Any Gesture whose instrument is the Face. + fun FacialExpression : Class ; + fun FacialExpression_Class : SubClass FacialExpression Gesture ; + + -- Hair that grows on the Face. This + -- class covers beards, mustaches, sideburns, midnight shadow, etc. + fun FacialHair : Class ; + fun FacialHair_Class : SubClass FacialHair Hair ; + + -- The class of Statements that are True. + fun Fact : Class ; + fun Fact_Class : SubClass Fact Statement ; + + -- A Building intended to house a process that + -- produces goods of some value. + fun Factory : Class ; + fun Factory_Class : SubClass Factory Building ; + + -- The SeasonOfYear that begins at the autumnal + -- equinox and ends at the winter solstice. + fun FallSeason : Class ; + fun FallSeason_Class : SubClass FallSeason SeasonOfYear ; + + -- The process of transitioning from a state of + -- being Awake to a state of being Asleep. + fun FallingAsleep : Class ; + fun FallingAsleep_Class : SubClass FallingAsleep PsychologicalProcess ; + + -- Radioactive powder that is typically dispersed by + -- the explosion of a nuclear weapon. + fun Fallout : Class ; + fun Fallout_Class : SubClass Fallout Powder ; + + -- A Partnership that is owned by a single + -- family. + fun FamilyBusiness : Class ; + fun FamilyBusiness_Class : SubClass FamilyBusiness Partnership ; + + -- A CoolingDevice which consists simply of one or more + -- blades that circulate the air. Note that this class covers both electrical fans + -- and fans that are manually operated. + fun FanDevice : Class ; + fun FanDevice_Class : SubClass FanDevice CoolingDevice ; + + -- A StationaryArtifact consisting of a cultivated + -- LandArea and Buildings for maintaining the land and/or the Animals + -- on the land. + fun Farm : Class ; + fun Farm_Class : SubClass Farm StationaryArtifact ; + + -- A Building on a Farm that is used for keeping + -- DomesticAnimals, Fodder or harvested crops. + fun FarmBuilding : Class ; + fun FarmBuilding_Class : SubClass FarmBuilding Building ; + + -- OccupationalTrades which involve Agriculture. + fun FarmHand : Ind OccupationalTrade ; + + -- Operating a farm, e.g. planting and harvesting crops, + -- tending livestock, etc. + fun Farming : Class ; + fun Farming_Class : SubClass Farming Working ; + + -- Each instance of this class is one of the structures + -- that make up the external covering of Birds. + fun Feather : Class ; + fun Feather_Class : SubClass Feather (both AnimalAnatomicalStructure BodyPart) ; + + -- Giving Food to a Human or Animal. + fun Feeding : Class ; + fun Feeding_Class : SubClass Feeding Giving ; + + -- A Cow that is Female. + fun FemaleCow : Class ; + 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 ; + + -- Any WaterCloud that is in contact with the ground. + fun Fog : Class ; + fun Fog_Class : SubClass Fog WaterCloud ; + + -- Bending something in such a way that one part of + -- it covers another part. + fun Folding : Class ; + fun Folding_Class : SubClass Folding ShapeChange ; + + -- The lower part of a Limb, the part which makes contact + -- with the ground in locomotion of the Animal. + fun Foot : Class ; + fun Foot_Class : SubClass Foot (both AnimalAnatomicalStructure BodyPart) ; + + -- FormOfGovernment is a class of + -- Attributes used to describe the characteristics of a government, + -- especially a NationalGovernment. The concept FormOfGovernment is + -- interpreted broadly enough to include Anarchy and Factionalism. + fun FormOfGovernment : Class ; + fun FormOfGovernment_Class : SubClass FormOfGovernment PoliticoEconomicAttribute ; + + -- A page or set of pages containing spaces where + -- information is to be entered by an Agent. + fun FormText : Class ; + fun FormText_Class : SubClass FormText Text ; + + -- Any Meeting which is the result of Planning + -- and whose purpose is not socializing. + fun FormalMeeting : Class ; + fun FormalMeeting_Class : SubClass FormalMeeting Meeting ; + + -- FossilFuel is the subclass of Fuel whose + -- instances are derived from fossilized organic deposits, such as Coal + -- and LiquefiedPetroleumGas. + fun FossilFuel : Class ; + fun FossilFuel_Class : SubClass FossilFuel (both Fuel PetroleumProduct) ; + + -- A SportsAttribute that indicates that the GamePiece of + -- a Sport is no longer in play because it has gone beyond the limits of the + -- sports field. + fun Foul : Ind SportsAttribute ; + + -- Setting up an Organization. + fun Founding : Class ; + fun Founding_Class : SubClass Founding (both Declaring OrganizationalProcess) ; + + -- Canines with a bushy tail and pointed ears and nose. + -- Foxes tend to be much smaller than most DomesticDogs. + fun Fox : Class ; + fun Fox_Class : SubClass Fox Canine ; + + -- An Attribute which indicates that the associated Object is very breakable. + fun Fragile : Ind BreakabilityAttribute ; + + -- Any Atom which is not part of a Molecule. + fun FreeAtom : Class ; + fun FreeAtom_Class : SubClass FreeAtom Atom ; + + -- A Romance language that is the official language + -- of France and Belgium, and is widely spoken in Africa. + fun FrenchLanguage : Ind (both SpokenHumanLanguage NaturalLanguage) ; + + -- Any PsychologicalProcess where the patient comes to feel Anxiety. + fun Frightening : Class ; + fun Frightening_Class : SubClass Frightening PsychologicalProcess ; + + -- Furrowing the forehead in such a way as to convey unhappiness. + fun Frowning : Class ; + fun Frowning_Class : SubClass Frowning FacialExpression ; + + -- Fuel is the class of Substances that can be + -- used as resources in Combustion processes in order to produce heat. + -- Mechanical energy can be produced by burning fuel in an Engine. + fun Fuel : Class ; + fun Fuel_Class : SubClass Fuel Substance ; + + -- Any Position where the employee is either + -- salaried or paid for at least 40 hour of work per week. + fun FullTimePosition : Class ; + fun FullTimePosition_Class : SubClass FullTimePosition Position ; + + -- Indicates that a Device is performing its + -- intended function. + fun Functioning : Ind DeviceAttribute ; + + -- A FormalMeeting whose purpose is to commemorate the Death of someone. + fun Funeral : Class ; + fun Funeral_Class : SubClass Funeral FormalMeeting ; + + -- Any free_standing and movable Artifacts which are not which are + -- used in day_to_day living and designed to rest on the Floor of a Room. + fun Furniture : Class ; + fun Furniture_Class : SubClass Furniture Artifact ; + + -- The process of transitioning from a state of being Unconscious to + -- a state of being Awake. + fun GainingConsciousness : Class ; + fun GainingConsciousness_Class : SubClass GainingConsciousness PsychologicalProcess ; + + -- An Artifact that is designed to be used as an instrument in a Game. + fun GameArtifact : Class ; + fun GameArtifact_Class : SubClass GameArtifact Artifact ; + + -- Any ContestAttribute that is specific to a Game. + fun GameAttribute : Class ; + fun GameAttribute_Class : SubClass GameAttribute ContestAttribute ; + + -- A GameArtifact which is intended to be used as the + -- game area for playing a particular game. + fun GameBoard : Class ; + fun GameBoard_Class : SubClass GameBoard GameArtifact ; + + -- A decision issued by an official referee in a + -- Game. Note that GameCall is a subclass of Declaring, because these + -- decisions have binding, normative force. + fun GameCall : Class ; + fun GameCall_Class : SubClass GameCall (both Deciding Declaring) ; + + -- A small cube with 1 to 6 dots on each face that is + -- used to generate numbers at random in a Game. + fun GameDie : Class ; + fun GameDie_Class : SubClass GameDie GamePiece ; + + -- The location where a GameShot must end up if it + -- is to constitute a Score. + fun GameGoal : Class ; + fun GameGoal_Class : SubClass GameGoal GameArtifact ; + + -- A GameArtifact that is moved around in a game + -- area. + fun GamePiece : Class ; + fun GamePiece_Class : SubClass GamePiece GameArtifact ; + + -- A position which involves adjudicating contested + -- Maneuvers in a Game, i.e. deciding whether or not the Maneuvers are + -- permitted by the rules of the Game. + fun GameReferee : Class ; + fun GameReferee_Class : SubClass GameReferee SkilledOccupation ; + + -- Impelling a GamePiece for the purpose of + -- scoring a point or preventing the opposing player or team from scoring + -- a point. Note that this class does not cover shots which are disallowed + -- by the rules of the game. + fun GameShot : Class ; + fun GameShot_Class : SubClass GameShot (both Impelling Maneuver) ; + + -- A Building or part of a Building which is intended to house + -- one or more Automobiles when they are not in use or are under + -- repair. + fun Garage : Class ; + fun Garage_Class : SubClass Garage StationaryArtifact ; + + -- GasolineEngine is the subclass of + -- InternalCombustionEngines that use Gasoline as their resource. + fun GasolineEngine : Class ; + fun GasolineEngine_Class : SubClass GasolineEngine InternalCombustionEngine ; + + -- A Mollusk with a distinct head that has no + -- shell (e.g. slugs) or a univalve shell (e.g. snails). + fun Gastropod : Class ; + fun Gastropod_Class : SubClass Gastropod Mollusk ; + + -- GeneralElection is the subclass of + -- Elections that are held at regular intervals and in which all or most + -- constituencies of a GeopoliticalArea participate. + fun GeneralElection : Class ; + fun GeneralElection_Class : SubClass GeneralElection Election ; + + -- A Germanic language that is spoken primarily in + -- Germany and Austria. + fun GermanLanguage : Ind (both SpokenHumanLanguage NaturalLanguage) ; + + -- A HumanChild who is Female. + fun Girl : Class ; + fun Girl_Class : SubClass Girl (both HumanChild Woman) ; + + -- A transparent or translucent Mixture of silicates. + fun Glass : Class ; + fun Glass_Class : SubClass Glass Mixture ; + + -- Clothing that is intended to be worn on the Hand. + -- Note that this class covers both gloves which have individual compartments + -- for each of the Fingers and mittens. + fun Glove : Class ; + fun Glove_Class : SubClass Glove Clothing ; + + -- Any Mixture whose purpose is to be used as the instrument + -- of Attaching one thing to another. + fun Glue : Class ; + fun Glue_Class : SubClass Glue Mixture ; + + -- A DiseaseOrSyndrome which is due to an Iodine deficiency + -- and which results in an enlarged ThyroidGland. + fun Goiter : Ind DiseaseOrSyndrome ; + + -- A subclass of Bird with webbed feet and a long neck + -- and a large body. These Birds are often raised for their Meat. + fun Goose : Class ; + fun Goose_Class : SubClass Goose Poultry ; + + -- A building belonging to a Government + fun GovernmentBuilding : Class ; + fun GovernmentBuilding_Class : SubClass GovernmentBuilding Building ; + + -- Any Profession where the position occupied + -- is within a GovernmentOrganization. + fun GovernmentOfficer : Class ; + fun GovernmentOfficer_Class : SubClass GovernmentOfficer Profession ; + + -- A person who works for a Government. + fun GovernmentPerson : Ind OccupationalRole ; + + -- The class of Positions where the position holder + -- is head of an adminstrative department of Government. + fun GovernmentSecretary : Class ; + fun GovernmentSecretary_Class : SubClass GovernmentSecretary SkilledOccupation ; + + -- The head of the Government of an AmericanState. + fun Governor : Ind Position ; + + -- A School which is devoted to a specific + -- subject area, which admits students that have a bachelor's degree, which + -- grants masters and/or doctorate degrees, and which is part of a University. + fun GraduateSchool : Class ; + fun GraduateSchool_Class : SubClass GraduateSchool PostSecondarySchool ; + + -- An Icon which depicts one or more quantities. + fun GraphDiagram : Class ; + fun GraphDiagram_Class : SubClass GraphDiagram Icon ; + + -- FloweringPlants with green, narrow leaves that are + -- used for lawns and Fields. Grass includes any plant of the family + -- Gramineae, a widely distributed group of mostly annual and perennial + -- herbs. + fun Grass : Class ; + fun Grass_Class : SubClass Grass FloweringPlant ; + + -- Insects with enormous legs that are used for + -- jumping. + fun Grasshopper : Class ; + fun Grasshopper_Class : SubClass Grasshopper Insect ; + + -- A SecondaryColor that results from mixing Black and + -- White. + fun GrayColor : Ind SecondaryColor ; + + -- An Indo_European language that is spoken in Greece. + fun GreekLanguage : Ind (both SpokenHumanLanguage NaturalLanguage) ; + + -- A SecondaryColor that resembles the color of fresh + -- grass. + fun Green : Ind SecondaryColor ; + + -- Any instance of Expressing an acknowledgment of a + -- person's arrival. Note that this class is not a subclass of ExpressingInLanguage, + -- because it covers gestures of greeting, e.g. Waving and Nodding in certain + -- circumstances. + fun Greeting : Class ; + fun Greeting_Class : SubClass Greeting Expressing ; + + fun GroceryProduce : Class ; + fun GroceryProduce_Class : SubClass GroceryProduce (both FruitOrVegetable PlantAgriculturalProduct) ; + + -- A RetailStore that sells Food, and perhaps + -- other items as well. + fun GroceryStore : Class ; + fun GroceryStore_Class : SubClass GroceryStore RetailStore ; + + -- Any Group which contains exclusively + -- non_human members. + fun GroupOfAnimals : Class ; + fun GroupOfAnimals_Class : SubClass GroupOfAnimals Group ; + + -- A StringInstrument that has six to twelve strings and + -- is played by strumming with one hand while grasping frets with the other hand. + fun Guitar : Class ; + fun Guitar_Class : SubClass Guitar StringInstrument ; + + -- A Weapon that shoots a Projectile. + fun Gun : Class ; + fun Gun_Class : SubClass Gun (both ProjectileLauncher Weapon) ; + + -- The part of a Gun through which a Projectile travels + -- when it is fired. + fun GunBarrel : Class ; + fun GunBarrel_Class : SubClass GunBarrel EngineeringComponent ; + + -- A Mixture of potassium nitrate, sulfur, and + -- charcoal that is used in ExplosiveDevices and to propell Projectiles + -- in ProjectileWeapons. + fun GunPowder : Class ; + fun GunPowder_Class : SubClass GunPowder Mixture ; + + -- The part of a Gun that is placed against the + -- shoulder to absorb some of the recoil action when it is fired. + fun GunStock : Class ; + fun GunStock_Class : SubClass GunStock EngineeringComponent ; + + -- The part of the Gun which is pulled in Shooting + -- the Gun. + fun GunTrigger : Class ; + fun GunTrigger_Class : SubClass GunTrigger EngineeringComponent ; + + -- A filament that covers part of the body of many + -- Mammals. + fun Hair : Class ; + fun Hair_Class : SubClass Hair AnimalAnatomicalStructure ; + + -- Removing (some or all) the Hair from the + -- body of an Animal. Note that this covers shaving hair, cutting hair, + -- pulling hair out by the roots, etc. + fun HairRemoval : Class ; + fun HairRemoval_Class : SubClass HairRemoval Removing ; + + -- A Device that is used to pound Nails into a + -- surface, where they become firmly attached. + fun Hammer : Class ; + fun Hammer_Class : SubClass Hammer Device ; + + -- The grasping, fingered part of an upper limb of a + -- Primate. + fun Hand : Class ; + fun Hand_Class : SubClass Hand (both AnimalAnatomicalStructure BodyPart) ; + + -- Any Gesture which involves the Hands. + fun HandGesture : Class ; + fun HandGesture_Class : SubClass HandGesture Gesture ; + + -- A hand grenade is a small explosive device + -- with a simple trigger mechanism, usually lasting a few seconds, designed + -- to be propelled by a human to its target. + fun HandGrenade : Class ; + fun HandGrenade_Class : SubClass HandGrenade Bomb ; + + -- An attack in which a HandGrenade is + -- employed as an explosive device for the purpose of Destruction. + -- A case in which a hand grenade is used as a blunt striking object in + -- an attack would not be in this class. + fun HandgrenadeAttack : Class ; + fun HandgrenadeAttack_Class : SubClass HandgrenadeAttack Bombing ; + + -- The part or parts of an Artifact that are designed to be + -- held with the Hands when the Artifact is used or carried. + fun Handle : Class ; + fun Handle_Class : SubClass Handle EngineeringComponent ; + + -- The BodyPosition where one rests on one's hands + -- and extends one's feet in the air. + fun Handstand : Ind BodyPosition ; + + -- Suffocating someone by suspending him/her from + -- a rope wound around the neck until asphyxiation occurs. + fun Hanging : Class ; + fun Hanging_Class : SubClass Hanging Suffocating ; + + -- The state of being happy, experiencing pleasure, + -- joy or contentment. Note that this Attribute covers both active enjoyment, + -- as well as the emotional state of simply being free from anxiety or fear. + fun Happiness : Ind EmotionalState ; + + -- Gathering the plant results of Agriculture. + fun Harvesting : Class ; + fun Harvesting_Class : SubClass Harvesting Removing ; + + -- A type of Clothing that is worn on the Head. Note + -- that this class covers caps, bonnets, berets, etc. + fun Hat : Class ; + fun Hat_Class : SubClass Hat Clothing ; + + -- The part of the body containing the sense organs and + -- the brain. + fun Head : Class ; + fun Head_Class : SubClass Head (both AnimalAnatomicalStructure BodyPart) ; + + -- Pain that that is restricted to the Head. + fun Headache : Ind EmotionalState ; + + -- Any VehicleLight which is attached to the front of a Vehicle. + fun Headlight : Class ; + fun Headlight_Class : SubClass Headlight VehicleLight ; + + -- The Organ that pumps Blood throughout the body. + fun Heart : Class ; + fun Heart_Class : SubClass Heart (both AnimalAnatomicalStructure Organ) ; + + -- A Device whose purpose is Heating something, + -- e.g. electric heaters, heat lamps, ovens, stoves, etc. + fun HeatingDevice : Class ; + fun HeatingDevice_Class : SubClass HeatingDevice Device ; + + -- Any Aircraft with rapidly rotating wings. + fun Helicopter : Class ; + fun Helicopter_Class : SubClass Helicopter Aircraft ; + + -- A Female Chicken. + fun Hen : Class ; + 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 (both SelfPoweredRoadVehicle RoadVehicle) ; + + -- MotorizedRailwayCar is the subclass + -- of railway cars that carry their own power source. + fun MotorizedRailwayCar : Class ; + fun MotorizedRailwayCar_Class : SubClass MotorizedRailwayCar (both PoweredVehicle RollingStock) ; + + -- Any BodyMotion which results in being On + -- something else. + fun Mounting : Class ; + fun Mounting_Class : SubClass Mounting BodyMotion ; + + -- A Rodent that has a hairless tail like a rat but that + -- is smaller than a Rat. + fun Mouse : Class ; + fun Mouse_Class : SubClass Mouse Rodent ; + + -- Part of the Face, used for Ingesting Food + -- and Vocalizing. + fun Mouth : Class ; + fun Mouth_Class : SubClass Mouth (both AnimalAnatomicalStructure BodyPart) ; + + -- The process of changing one's residence, i.e. + -- moving one's belongs to a new home. + fun MovingResidence : Class ; + fun MovingResidence_Class : SubClass MovingResidence Transfer ; + + -- The product of a Male Donkey and a Female + -- Horse. Mules are always sterile. + fun Mule : Class ; + fun Mule_Class : SubClass Mule (both DomesticAnimal HoofedMammal) ; + + -- Impermissible Killing of a Human. + fun Murder : Class ; + fun Murder_Class : SubClass Murder (both CriminalAction Killing) ; + + -- An EducationalOrganization where Artifacts of historic, + -- scientific or aesthetic value are collected and exhibited. + fun Museum : Class ; + fun Museum_Class : SubClass Museum EducationalOrganization ; + + -- An AudioRecording of Music. Note that + -- many AudioRecordings contain music, so only an audio recording without + -- any music would be an instance of AudioRecording rather than of + -- MusicRecording. + fun MusicRecording : Class ; + fun MusicRecording_Class : SubClass MusicRecording AudioRecording ; + + -- A Text in a Language that represents a form of music. + fun MusicText : Class ; + fun MusicText_Class : SubClass MusicText Text ; + + -- A Text that expresses the notes, + -- words, etc. of a song or other sort of Music. + fun MusicalComposition : Class ; + fun MusicalComposition_Class : SubClass MusicalComposition Text ; + + -- A GroupOfPeople that create Music + -- together. + fun MusicalGroup : Class ; + fun MusicalGroup_Class : SubClass MusicalGroup GroupOfPeople ; + + -- A Performance that consists exclusively of + -- Music, e.g. an orchestra playing a symphony to an assembled audience. + fun MusicalPerformance : Class ; + fun MusicalPerformance_Class : SubClass MusicalPerformance Performance ; + + -- A Process of RadiatingSound where the + -- sound has a fundamental frequency and 0 or more partial frequencies + -- or unrelated transients or noise components that have a lesser + -- amplitude than the fundamental. + fun MusicalTone : Class ; + fun MusicalTone_Class : SubClass MusicalTone RadiatingSound ; + + -- A Musician is someone who is capable of giving a MusicalPerformance. + -- This includes amateurs and others who don't formally make a living at the activity + -- or choose it as a profession. + fun Musician : Ind SocialRole ; + + -- A FictionalText whose central plot element is a + -- crime of some sort, usually a murder. + fun MysteryStory : Class ; + fun MysteryStory_Class : SubClass MysteryStory FictionalText ; + + -- An AttachingDevice which is a thin piece of metal, with + -- or without a head, that is fastened with a Hammer. + fun Nail : Class ; + fun Nail_Class : SubClass Nail AttachingDevice ; + + -- Any of the horny structures which are found + -- on the DigitAppendages of Primates and other Animals. This includes + -- fingernails and toenails. + fun NailDigit : Class ; + fun NailDigit_Class : SubClass NailDigit AnimalAnatomicalStructure ; + + -- Any Text that tells a story, whether true + -- or false. + fun NarrativeText : Class ; + fun NarrativeText_Class : SubClass NarrativeText Text ; + + -- A Flag that is the official flag of a Nation, + -- e.g. the stars and stripes is the NationalFlag of the UnitedStates. + fun NationalFlag : Class ; + fun NationalFlag_Class : SubClass NationalFlag Flag ; + + -- The German PoliticalParty headed by Adolf Hitler. + fun NaziParty : Ind PoliticalParty ; + + -- The part of the body that connects the Head to the + -- rest of the body. + fun Neck : Class ; + fun Neck_Class : SubClass Neck (both AnimalAnatomicalStructure BodyPart) ; + + -- A sweet, sticky liquid that is produced by Plants + -- and that attracts Insects. + fun Nectar : Class ; + fun Nectar_Class : SubClass Nectar PlantSubstance ; + + -- A Contest where each participant attempts to + -- maximize his self_interest in a Promise that marks the end of the Contest. + fun Negotiating : Class ; + fun Negotiating_Class : SubClass Negotiating (both Contest LinguisticCommunication) ; + + -- The Cells that make up a NervousSystem. + fun NerveCell : Class ; + fun NerveCell_Class : SubClass NerveCell (both AnimalAnatomicalStructure Cell) ; + + -- Any structure which is created by nonhuman Animals for + -- the purpose of giving birth to their offspring. + fun Nest : Class ; + fun Nest_Class : SubClass Nest CorpuscularObject ; + + -- Any PsychologicalDysfunction which is not due + -- to an organic impairment of the NervousSystem. + fun Neurosis : Class ; + fun Neurosis_Class : SubClass Neurosis PsychologicalDysfunction ; + + -- The second and final part of the ChristianBible, + -- describing the life and teachings of Jesus Christ and the activities of his + -- apostles. + fun NewTestament : Class ; + fun NewTestament_Class : SubClass NewTestament Book ; + + -- A BroadcastProgram that is devoted to + -- reporting the latest events in a city, region, nation or the world at + -- large. + fun NewsProgram : Class ; + fun NewsProgram_Class : SubClass NewsProgram BroadcastProgram ; + + -- The Profession of being a news reporter, i.e. + -- investigating and reporting, in a publication or broadcast program, current + -- events. + fun NewsReporter : Ind Profession ; + + -- A Periodical that is published on a daily or + -- weekly basis, that contains Reports, and whose issues are printed on + -- newsprint paper. + fun Newspaper : Class ; + fun Newspaper_Class : SubClass Newspaper Periodical ; + + -- The class of TimeIntervals that begin at Sunset + -- and end at Sunrise. + fun NightTime : Class ; + fun NightTime_Class : SubClass NightTime TimeInterval ; + + -- Moving the Head up and down or side to side + -- to indicate approval or disapproval. + fun Nodding : Class ; + fun Nodding_Class : SubClass Nodding Gesture ; + + -- Any Organization whose purpose is something + -- other than making a profit. + fun NonprofitOrganization : Class ; + fun NonprofitOrganization_Class : SubClass NonprofitOrganization Organization ; + + -- The class of DiseaseOrSyndromes that are not + -- caused by a single type of Microorganism. + fun NonspecificDisease : Class ; + fun NonspecificDisease_Class : SubClass NonspecificDisease DiseaseOrSyndrome ; + + -- The Organ of Smelling. + fun Nose : Class ; + fun Nose_Class : SubClass Nose (both AnimalAnatomicalStructure Organ) ; + + -- Either of two BodyVessels that run through the Nose + -- and connect it to the Throat. + fun Nostril : Class ; + fun Nostril_Class : SubClass Nostril (both AnimalAnatomicalStructure BodyVessel) ; + + -- A FictionalText that is larger than a ShortStory + -- and that is bound independently (i.e. it is a Book). + fun Novel : Class ; + fun Novel_Class : SubClass Novel (both Book FictionalText) ; + + -- A NuclearFamily is a SocialUnit composed + -- of at least two and not more than three generations of familyRelations: + -- parents, their children, and possibly the parents' parents (children's + -- grandparents). + fun NuclearFamily : Class ; + fun NuclearFamily_Class : SubClass NuclearFamily (both FamilyGroup SocialUnit) ; + + -- An ExplosiveDevice and RadioactiveWeapon + -- which achieves its effect by means of a critical mass of a radioactive substance. + fun NuclearWeapon : Class ; + fun NuclearWeapon_Class : SubClass NuclearWeapon (both ExplosiveDevice (both RadioactiveWeapon Weapon)) ; + + -- Any WoodArtifact that is made from the Wood of an oak tree. + fun OakWood : Class ; + fun OakWood_Class : SubClass OakWood WoodArtifact ; + + -- A Device consisting of a flat, broad surface attached to a + -- handle that is used as an instrument in Rowing. + fun Oar : Class ; + fun Oar_Class : SubClass Oar TransportationDevice ; + + -- Any TwoDimensionalAngle that has an + -- angularMeasure that is greater than 90 AngularDegrees. + fun ObliqueAngle : Class ; + fun ObliqueAngle_Class : SubClass ObliqueAngle TwoDimensionalAngle ; + + -- (OccupationFn ?PROCESS) denotes the + -- subclass of ?PROCESS where instances of ?PROCESS are performed as + -- one's occupation, i.e. as part of a FinancialTransaction where one + -- earns money for the performance of ?PROCESS. + fun OccupationFn : El IntentionalProcess -> Desc FinancialTransaction ; + + -- A Role of a Human in a OrganizationalProcess. + fun OccupationalRole : Class ; + fun OccupationalRole_Class : SubClass OccupationalRole Position ; + + -- Any Position that involves skilled manual work. + fun OccupationalTrade : Class ; + fun OccupationalTrade_Class : SubClass OccupationalTrade (both ManualLabor SkilledOccupation) ; + + -- Offering to sell something to someone. + fun OfferingForSale : Class ; + fun OfferingForSale_Class : SubClass OfferingForSale Offering ; + + -- Offering to buy something from someone. + fun OfferingToPurchase : Class ; + fun OfferingToPurchase_Class : SubClass OfferingToPurchase Offering ; + + -- A building in which work activities take + -- place which is not primarily designed for manufacturing or retail sales. + fun OfficeBuilding : Class ; + fun OfficeBuilding_Class : SubClass OfficeBuilding Building ; + + -- A greasy, viscous Solution that cannot be mixed with Water. + -- Note that this general class covers petroleum oil, vegetable oil, animal fat, etc. + fun Oil : Class ; + fun Oil_Class : SubClass Oil Solution ; + + -- Any Paint which is an oil_based Solution. + fun OilPaint : Class ; + fun OilPaint_Class : SubClass OilPaint Paint ; + + -- Any OilPicture which is created + -- with oil_based paints. + fun OilPicture : Class ; + fun OilPicture_Class : SubClass OilPicture PaintedPicture ; + + -- The first part of the ChristianBible, describing + -- the history of the Hebrew people. + fun OldTestament : Class ; + fun OldTestament_Class : SubClass OldTestament Book ; + + -- An Ontology is a + -- ClassificationScheme that links concepts via many different + -- relations. Ontologies typically are not restricted to binary + -- relations and are structured by several kinds of conceptual + -- hierarchies, including set_ or class_based subsumption, spatial + -- containment, mereology + -- (theory of parts and wholes), and logical contexts. Thus, + -- an ontology typically includes multiple taxonomies. + fun Ontology : Class ; + fun Ontology_Class : SubClass Ontology ClassificationScheme ; + + -- The Class of Processes where an aperture is + -- created in an Object. Note that the aperture may be created intentionally, + -- as when one opens a door, or unintentionally, as when the ground ruptures + -- in a seismic event. + fun Opening : Class ; + fun Opening_Class : SubClass Opening Motion ; + + -- The BodyMotion of relaxing the eye lids so that + -- the corneas are exposed to light. + fun OpeningEyes : Class ; + fun OpeningEyes_Class : SubClass OpeningEyes (both EyeMotion Opening) ; + + -- A DramaticPlay that is set to Music. + fun Opera : Class ; + fun Opera_Class : SubClass Opera DramaticPlay ; + + -- A Device which enables someone to see something + -- more clearly or with greater magnification. + fun OpticalDevice : Class ; + fun OpticalDevice_Class : SubClass OpticalDevice Device ; + + -- A SecondaryColor that results from mixing Red + -- and Yellow and resembles the color of a ripe orange fruit. + fun OrangeColor : Ind SecondaryColor ; + + -- A citrus FruitOrVegetable that has an OrangeColor skin and a sweet, acidic flavor. + fun OrangeFruit : Class ; + fun OrangeFruit_Class : SubClass OrangeFruit (both Food FruitOrVegetable) ; + + -- A GroupOfPeople that create InstrumentalMusic together. + fun Orchestra : Class ; + fun Orchestra_Class : SubClass Orchestra MusicalGroup ; + + -- The Process of directing an orchestra. + fun OrchestralConducting : Class ; + fun OrchestralConducting_Class : SubClass OrchestralConducting Guiding ; + + -- A Sentence that expresses an order for something or that something be done. + fun Order : Class ; + 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 ; + fun PassengerVehicle_Class : SubClass PassengerVehicle Vehicle ; + + -- The Process of converting a LegislativeBill + -- into Law by a duly authorized legislative body of Government. + fun PassingABill : Class ; + fun PassingABill_Class : SubClass PassingABill (both Declaring PoliticalProcess) ; + + -- A License which identifies the holder and permits + -- travel between different countries. + fun Passport : Class ; + fun Passport_Class : SubClass Passport License ; + + -- A military deployment which is intended + -- to prevent hostilities between two other entities located in the same rough + -- geographic area. + fun PeaceKeepingMission : Class ; + fun PeaceKeepingMission_Class : SubClass PeaceKeepingMission MilitaryOrganization ; + + -- A FruitOrVegetable that has a thick skin and the + -- shape of a tear drop. + fun PearFruit : Class ; + fun PearFruit_Class : SubClass PearFruit (both Food FruitOrVegetable) ; + + -- Removing the Skin (or part of the Skin) from + -- an Organism. Note that this class covers a large range of cases, including + -- peeling an orange, pelting an Animal, etc. + fun Peeling : Class ; + fun Peeling_Class : SubClass Peeling Removing ; + + -- A WritingDevice that consists of an encased piece of + -- graphite. + fun Pencil : Class ; + fun Pencil_Class : SubClass Pencil WritingDevice ; + + -- A qualified retirement plan set up by a + -- corporation, labor union, government, or other organization for its + -- employees. Examples include profit_sharing plans, stock bonus and + -- employee stock ownership plans, thrift plans, target benefit plans, + -- money purchase plans, and defined benefit plans. + fun PensionPlan : Class ; + fun PensionPlan_Class : SubClass PensionPlan FinancialAccount ; + + -- A MusicalInstrument which does not + -- have strings and which is played by striking it. + fun PercussionInstrument : Class ; + fun PercussionInstrument_Class : SubClass PercussionInstrument MusicalInstrument ; + + -- A Demonstrating which includes DramaticActing + -- and/or Music and which is intended to entertain the audience. + fun Performance : Class ; + fun Performance_Class : SubClass Performance Demonstrating ; + + -- A discrete subProcess of a Performance, + -- e.g. an act of a play, a movement of a performance of a symphony, etc. + fun PerformanceAct : Class ; + fun PerformanceAct_Class : SubClass PerformanceAct Performance ; + + -- A Text that describes the events + -- and/or participants in a Performance. + fun PerformanceProgram : Class ; + fun PerformanceProgram_Class : SubClass PerformanceProgram FactualText ; + + -- A large platform for theatrical plays, + -- lectures, dances, music recitals, etc, which can be observed by an audience. + fun PerformanceStage : Class ; + fun PerformanceStage_Class : SubClass PerformanceStage StationaryArtifact ; + + -- A part of the PerformanceStage that is not + -- visible to members of the audience. + fun PerformanceStageWing : Class ; + fun PerformanceStageWing_Class : SubClass PerformanceStageWing StationaryArtifact ; + + -- Any Publisher that publishes + -- Periodicals, e.g. newspaper and magazine publishing houses. + fun PeriodicalPublisher : Class ; + fun PeriodicalPublisher_Class : SubClass PeriodicalPublisher Publisher ; + + -- PetroleumProduct is a broad class that + -- includes both crude oil (Petroleum) and RefinedPetroleumProducts. + fun PetroleumProduct : Class ; + fun PetroleumProduct_Class : SubClass PetroleumProduct (both MiningProduct Oil) ; + + -- The Profession of being a pharmacist, i.e. + -- preparing and dispensing BiologicallyActiveSubstances. + fun Pharmacist : Class ; + fun Pharmacist_Class : SubClass Pharmacist Profession ; + + -- The study of first principles, including epistemology, + -- metaphysics, and ethics. + fun Philosophy : Ind FieldOfStudy ; + + -- An Icon that is the result of a process of Photographing. + fun Photograph : Class ; + fun Photograph_Class : SubClass Photograph Icon ; + + -- Celluloid covered with an emulsion which can + -- be converted into photographic negatives by a Camera. + fun PhotographicFilm : Class ; + fun PhotographicFilm_Class : SubClass PhotographicFilm Artifact ; + + -- ContentDevelopment where the instrument + -- is a camera and the result is a Photograph. + fun Photographing : Class ; + fun Photographing_Class : SubClass Photographing ContentDevelopment ; + + -- The study of matter and energy and their relations. + fun Physics : Ind Science ; + + -- The part of Biology dealing with the functioning of + -- Organisms. + fun Physiology : Ind Science ; + + -- A StringInstrument with keys that, when pressed down, + -- activate hammers that, in turn, strike strings. + fun Piano : Class ; + fun Piano_Class : SubClass Piano StringInstrument ; + + -- A frame which surrounds a PaintedPicture or + -- Photograph and has the function of protecting and accenting the picture. + fun PictureFrame : Class ; + fun PictureFrame_Class : SubClass PictureFrame Artifact ; + + -- A domesticated HoofedMammal that is raised for pork. + fun Pig : Class ; + fun Pig_Class : SubClass Pig (both HoofedMammal Livestock) ; + + -- A subclass of Bird with a stout body and short legs. + fun Pigeon : Class ; + fun Pigeon_Class : SubClass Pigeon Bird ; + + -- A soft, stuffed Artifact to support the Head or + -- the body as a whole while one is sleeping or relaxing. + fun Pillow : Class ; + fun Pillow_Class : SubClass Pillow Artifact ; + + -- A SecondaryColor that results from mixing Red and + -- White. + fun Pink : Ind SecondaryColor ; + + -- Pipeline is the class of pipelines used + -- to transport various kinds of fluids. + fun Pipeline : Class ; + fun Pipeline_Class : SubClass Pipeline Transitway ; + + -- A Firearm that is intended to be aimed and fired with a + -- single hand. + fun Pistol : Class ; + fun Pistol_Class : SubClass Pistol Firearm ; + + -- The place where the pitcher in Baseball + -- stands when he is throwing balls to the batter. + fun PitchersMound : Class ; + fun PitchersMound_Class : SubClass PitchersMound GameArtifact ; + + -- Throwing a Ball to the batter in a game of + -- Baseball or softball. + fun Pitching : Class ; + fun Pitching_Class : SubClass Pitching (both GameShot Throwing) ; + + -- The main Gland of the endocrine system. + fun PituitaryGland : Class ; + fun PituitaryGland_Class : SubClass PituitaryGland Gland ; + + -- A Building or part of a Building which is + -- intended for organizational activities, e.g. retail or wholesale selling, + -- manufacturing, office work, etc. + fun PlaceOfCommerce : Class ; + fun PlaceOfCommerce_Class : SubClass PlaceOfCommerce StationaryArtifact ; + + -- Any place designed for ReligiousProcesses. + fun PlaceOfWorship : Class ; + fun PlaceOfWorship_Class : SubClass PlaceOfWorship Building ; + + -- PlacingUnderArrest is the class of events in which a + -- CognitiveAgent, typically a law enforcement professional, + -- legally takes into custody a human or group of humans. + fun PlacingUnderArrest : Class ; + fun PlacingUnderArrest_Class : SubClass PlacingUnderArrest (both Capturing (both LawEnforcement (both LegalAction SocialInteraction))) ; + + -- PlantAgriculturalProduct + -- is the class of AgriculturalProducts that are vegetable in nature, + -- in the widest sense, e.g., fruits, grains, green vegetables, cotton, + -- linen, flowers, wine grapes, hops. + fun PlantAgriculturalProduct : Class ; + fun PlantAgriculturalProduct_Class : SubClass PlantAgriculturalProduct AgriculturalProduct ; + + -- The stem of a Plant or any shoot arising from + -- the stem of a Plant. + fun PlantBranch : Class ; + fun PlantBranch_Class : SubClass PlantBranch (both BodyPart PlantAnatomicalStructure) ; + + -- An Organ of Plants whose main purpose is + -- photosynthesis. + fun PlantLeaf : Class ; + fun PlantLeaf_Class : SubClass PlantLeaf (both Organ PlantAnatomicalStructure) ; + + -- An Organ of Plants whose main purpose is twofold, viz. to absorb + -- nutrients from the ground and to anchor the Plant in place. + fun PlantRoot : Class ; + fun PlantRoot_Class : SubClass PlantRoot (both Organ PlantAnatomicalStructure) ; + + -- A small piece of stiff paper with markings + -- which is intended to be used for playing card games. + fun PlayingCard : Class ; + fun PlayingCard_Class : SubClass PlayingCard (both ContentBearingObject GameArtifact) ; + + -- Stating in a court of law a claim about whether or + -- not one is guilty of the crime of which one has been accused. + fun Pleading : Class ; + fun Pleading_Class : SubClass Pleading Stating ; + + -- An Artifact which is designed to fit snugly within a Hole. + fun Plug : Class ; + fun Plug_Class : SubClass Plug Artifact ; + + -- Any occupation that involves installing, repairing, and + -- replacing pipes and pipe fixtures. + fun Plumber : Ind OccupationalTrade ; + + -- A pouch of Fabric in an instance of Clothing where something can be kept. + fun Pocket : Class ; + fun Pocket_Class : SubClass Pocket Fabric ; + + -- A PoliceOfficer who is in charge of a precinct. + fun PoliceCaptain : Class ; + fun PoliceCaptain_Class : SubClass PoliceCaptain PoliceOfficer ; + + -- The Profession of being a police + -- detective, i.e. being a PoliceOfficer whose duties include the + -- investigation of crimes. + fun PoliceDetective : Ind PoliceOfficer ; + + -- A building designed to house PolicePersons. + fun PoliceFacility : Class ; + fun PoliceFacility_Class : SubClass PoliceFacility Building ; + + -- The Profession of being a police officer, i.e. + -- working for a law enforcement agency that is part of a Government. + fun PoliceOfficer : Class ; + fun PoliceOfficer_Class : SubClass PoliceOfficer (both GovernmentOfficer Profession) ; + + -- A member of a government whose occupation + -- has the primary purpose of preventing crime and arresting criminals. + fun PolicePerson : Ind OccupationalRole ; + + -- A PoliceOfficer with the rank of sergeant. + fun PoliceSergeant : Class ; + fun PoliceSergeant_Class : SubClass PoliceSergeant PoliceOfficer ; + + -- A CriminalAction that is committed by or + -- against Governments. + fun PoliticalCrime : Class ; + fun PoliticalCrime_Class : SubClass PoliticalCrime (both CriminalAction PoliticalProcess) ; + + -- A well known person who participates + -- in a PoliticalProcess. This must either be the person's principal + -- occupation, or what is intended to become his principal occupation + -- (for example, after an election). + fun PoliticalFigure : Class ; + fun PoliticalFigure_Class : SubClass PoliticalFigure Celebrity ; + + -- PoliticalParty is the class of + -- PoliticalOrganizations that may sponsor candidates for Elections. + fun PoliticalParty : Class ; + fun PoliticalParty_Class : SubClass PoliticalParty PoliticalOrganization ; + + -- The violent overthrow of one Government + -- and its replacement by another. This covers grass_roots revolutions, as well + -- as coups d'etat. + fun PoliticalRevolution : Class ; + fun PoliticalRevolution_Class : SubClass PoliticalRevolution (both PoliticalProcess ViolentContest) ; + + -- The field of political science. + fun PoliticalScience : Ind SocialScience ; + + -- Any Attribute of a Government which specifies some aspect of the political or + -- economic system of the Government. + fun PoliticoEconomicAttribute : Class ; + fun PoliticoEconomicAttribute_Class : SubClass PoliticoEconomicAttribute RelationalAttribute ; + + -- Investigating what people believe (and in what proportions) + -- by asking a set of structured questions to a random sample of people. + fun Polling : Class ; + fun Polling_Class : SubClass Polling Investigating ; + + -- A ClosedTwoDimensionalFigure that is composed + -- exclusively of straight lines, i.e. OneDimensionalFigures. + fun Polygon : Class ; + fun Polygon_Class : SubClass Polygon ClosedTwoDimensionalFigure ; + + -- Music which has two or more parts, i.e. Music + -- which can be divided into two or more contemporaneous subProcesses which are + -- also instances of Music. + fun PolyphonicMusic : Class ; + 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 ; + fun PowerSource_Class : SubClass PowerSource Device ; + + -- A Vehicle that has a powerComponent. + -- Note that PoweredVehicles include those vehicles that have a powerComponent + -- where the user can and does often choose not to use it, such as a moped with pedals. + fun PoweredVehicle : Class ; + fun PoweredVehicle_Class : SubClass PoweredVehicle Vehicle ; + + -- A formal or informal process of private worship which + -- may or may not be carried out in a ReligiousBuilding. + fun Praying : Class ; + fun Praying_Class : SubClass Praying (both ReligiousProcess Requesting) ; + + -- The Attribute that applies to Female Animals and + -- Humans that have an embryo or fetus growing inside of them as the result of + -- having one of the Female's Eggs fertilized. + fun Pregnant : Ind BiologicalAttribute ; + + -- Food that is the result of Cooking. + fun PreparedFood : Class ; + fun PreparedFood_Class : SubClass PreparedFood Food ; + + -- The position of being head of the + -- UnitedStates. + fun PresidentOfTheUnitedStates : Ind Position ; + + -- Any Device that measures and represents PressureMeasure. + fun PressureMeasuringDevice : Class ; + fun PressureMeasuringDevice_Class : SubClass PressureMeasuringDevice MeasuringDevice ; + + -- An installation which is owned and maintained by + -- a Government for the purpose of Confining people. This class covers + -- jails, federal prisons, concentration camps, gulags, etc. + fun Prison : Class ; + fun Prison_Class : SubClass Prison StationaryArtifact ; + + -- The Profession of being a private detective, + -- i.e. a detective who can be hired for a fee to investigate something. + fun PrivateDetective : Ind Profession ; + + -- A School which is not publicly owned. + fun PrivateSchool : Class ; + fun PrivateSchool_Class : SubClass PrivateSchool School ; + + -- Any instance of Speaking before an assembled + -- audience that effects an institutional change, e.g. a change in the laws of + -- the government. + fun Proclaiming : Class ; + fun Proclaiming_Class : SubClass Proclaiming (both Declaring Lecture) ; + + -- Any occupation that requires at least a bachelor's degree. + fun Profession : Class ; + fun Profession_Class : SubClass Profession SkilledOccupation ; + + -- The Profession of being a teacher at a PostSecondarySchool. + fun Professor : Ind Profession ; + + -- An arrangement in which an employer + -- shares its profits with its employees. The compensation can be stocks, + -- bonds or cash, and can be immediate or deferred until retirement. + fun ProfitSharingPlan : Class ; + fun ProfitSharingPlan_Class : SubClass ProfitSharingPlan PensionPlan ; + + -- A missile, bullet, etc. that is fired from a Weapon. + fun Projectile : Class ; + fun Projectile_Class : SubClass Projectile Weapon ; + + -- A Weapon that shoots a Projectile. + fun ProjectileLauncher : Class ; + fun ProjectileLauncher_Class : SubClass ProjectileLauncher Weapon ; + + -- The outer casing of a Projectile. + fun ProjectileShell : Class ; + fun ProjectileShell_Class : SubClass ProjectileShell Container ; + + -- A CommunicationDevice upon which images + -- are projected so that they can be viewed. + fun ProjectionScreen : Class ; + fun ProjectionScreen_Class : SubClass ProjectionScreen CommunicationDevice ; + + -- A CommercialAgent that is owned by a + -- single person. + fun Proprietorship : Class ; + fun Proprietorship_Class : SubClass Proprietorship CommercialAgent ; + + -- Unicellular Organisms that are capable of movement + -- and that are found in almost every part of the world. This class includes + -- amoebas, sporozoans, and paramecia. + fun Protozoa : Class ; + fun Protozoa_Class : SubClass Protozoa Microorganism ; + + -- The field of psychology. + fun Psychology : Ind SocialScience ; + + -- Any PsychologicalDysfunction which is the + -- result of an organic impairment of the NervousSystem. + fun Psychosis : Class ; + fun Psychosis_Class : SubClass Psychosis PsychologicalDysfunction ; + + -- The DevelopmentalAttribute of having functional sex + -- glands which are not fully mature. + fun Puberty : Ind DevelopmentalAttribute ; + + -- An Attorney who defends criminal cases for a + -- GovernmentOrganization. + fun PublicDefender : Class ; + fun PublicDefender_Class : SubClass PublicDefender (both Attorney GovernmentOfficer) ; + + -- A Library which is financed by taxes and which + -- is open to everyone. + fun PublicLibrary : Class ; + fun PublicLibrary_Class : SubClass PublicLibrary (both GovernmentOrganization Library) ; + + -- A Park that is publicly owned, i.e. owned by a Government. + fun PublicPark : Class ; + fun PublicPark_Class : SubClass PublicPark Park ; + + -- An Attorney who prosecutes criminal cases for + -- a GovernmentOrganization. + fun PublicProsecutor : Class ; + fun PublicProsecutor_Class : SubClass PublicProsecutor (both Attorney GovernmentOfficer) ; + + -- A School which is financed primarily by taxes. + fun PublicSchool : Class ; + fun PublicSchool_Class : SubClass PublicSchool (both GovernmentOrganization School) ; + + -- Any business whose services include the + -- Publication of Texts. + fun Publisher : Class ; + fun Publisher_Class : SubClass Publisher CommercialAgent ; + + -- Any instance of LandTransportation, where a + -- TransportationDevice is dragged by something else, whether the something + -- else is an Animal or a self_powered TransportationDevice. + fun Pulling : Class ; + fun Pulling_Class : SubClass Pulling LandTransportation ; + + -- An Artery that carries Blood from + -- the Heart to a Lung. + fun PulmonaryArtery : Class ; + fun PulmonaryArtery_Class : SubClass PulmonaryArtery Artery ; + + -- A Vein that carries Blood from the + -- Lungs to the Heart. + fun PulmonaryVein : Class ; + fun PulmonaryVein_Class : SubClass PulmonaryVein Vein ; + + -- A Device that moves Fluids by means of pressure or suction. + fun Pump : Class ; + fun Pump_Class : SubClass Pump TransportationDevice ; + + -- Any instance of Impelling where the instrument + -- is a Fist of the agent. + fun Punching : Class ; + fun Punching_Class : SubClass Punching Impelling ; + + -- A RegulatoryProcess where the agent does + -- something to the destination that the agent knows is undesirable + -- for the destination. + fun Punishing : Class ; + fun Punishing_Class : SubClass Punishing RegulatoryProcess ; + + -- A SecondaryColor that results from mixing Red and Blue. + fun Purple : Ind SecondaryColor ; + + -- Any four_sided Polygon. + fun Quadrilateral : Class ; + fun Quadrilateral_Class : SubClass Quadrilateral Polygon ; + + -- A Female Insect which is the sole member of + -- her colony with the capability to reproduce. + fun QueenInsect : Class ; + fun QueenInsect_Class : SubClass QueenInsect Insect ; + + -- An interrogative Sentence, a Sentence that + -- poses a question. + fun Question : Class ; + 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 (both Region Roadway) ; + + -- RoadTransportationSystem + -- is the subclass of TransportationSystems whose routes are Roadways. + fun RoadTransportationSystem : Class ; + fun RoadTransportationSystem_Class : SubClass RoadTransportationSystem TransitSystem ; + + -- The class of LandVehicles that are not + -- RollingStock. + fun RoadVehicle : Class ; + fun RoadVehicle_Class : SubClass RoadVehicle LandVehicle ; + + -- Any instance of Stealing which involves the threat + -- of the use of force. + fun Robbing : Class ; + fun Robbing_Class : SubClass Robbing Stealing ; + + -- Rock is any naturally formed aggregate of one or more + -- minerals, consolidated or not, with some degree of mineralogic and chemical + -- constancy, in popular use the term is usually restricted to those aggregates + -- that are hard, compact, and coherent. + fun Rock : Class ; + fun Rock_Class : SubClass Rock Substance ; + + -- A Spacecraft which has the shape of a cylinder + -- with a cone on top and which is powered by a jet engine. + fun Rocket : Class ; + fun Rocket_Class : SubClass Rocket (both (both Projectile Spacecraft) Aircraft) ; + + -- An attack in which a rocket or + -- missile is used. + fun RocketMissileAttack : Class ; + fun RocketMissileAttack_Class : SubClass RocketMissileAttack Bombing ; + + -- A single rail car. Any RailVehicle that is + -- not composed of other RailVehicles. + fun RollingStock : Class ; + fun RollingStock_Class : SubClass RollingStock RailVehicle ; + + -- The top of a Building. + fun Roof : Class ; + fun Roof_Class : SubClass Roof StationaryArtifact ; + + -- A Male Chicken. + fun Rooster : Class ; + 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 ; + + -- 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 (both Carbohydrate PlantAgriculturalProduct) ; + + -- Any instance of Killing where the agent and + -- the experiencer are identical. + fun Suicide : Class ; + fun Suicide_Class : SubClass Suicide Killing ; + + -- A bomb attack in which the bomber + -- intends to blow himself up during the course of the attack. The bomber + -- is the delivery mechanism for the explosive and the bomb is typically + -- in close contact with the bomber, such as being strapped around his + -- torso. This action is distinguished from actions in which the bomber + -- merely happens to be blown up by his own bomb in that the bomber + -- knows that he is committing suicide. + fun SuicideBombing : Class ; + fun SuicideBombing_Class : SubClass SuicideBombing (both Bombing Killing) ; + + -- The SeasonOfYear that begins at the summer + -- solstice and ends at the autumnal equinox. + fun SummerSeason : Class ; + fun SummerSeason_Class : SubClass SummerSeason SeasonOfYear ; + + -- Any instance of RadiatingLight where the + -- Sun (Sol) is the origin. + fun Sunlight : Class ; + fun Sunlight_Class : SubClass Sunlight RadiatingLight ; + + -- The TimeInterval of each Day when the sun is rising + -- and is partially overlapped by the horizon line. + fun Sunrise : Class ; + fun Sunrise_Class : SubClass Sunrise TimeInterval ; + + -- The TimeInterval of each Day when the sun is setting + -- and is partially overlapped by the horizon line. + fun Sunset : Class ; + fun Sunset_Class : SubClass Sunset TimeInterval ; + + -- A Sentence that is assumed to be true, possibly + -- just for the sake of argument. + fun Supposition : Class ; + 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 (both ReceiverDevice EngineeringComponent) ; + + -- Any Stating which is both False and believed + -- to be False by the agent of the Stating. + fun TellingALie : Class ; + fun TellingALie_Class : SubClass TellingALie Stating ; + + -- Tissue that connects Muscle to Bone. + fun Tendon : Class ; + fun Tendon_Class : SubClass Tendon (both AnimalSubstance Tissue) ; + + -- A MobileResidence that is made of Fabric and poles and + -- can be easily assembled and disassembled. + fun Tent : Class ; + fun Tent_Class : SubClass Tent MobileResidence ; + + -- A group that uses violent means in an + -- attempt to bring about their political aims. Those violent means are + -- distinguished from a war between nations, or a civil war in that the group + -- is at least partially clandestine and a significant proportion of its acts + -- are against non_military targets. + fun TerroristOrganization : Class ; + fun TerroristOrganization_Class : SubClass TerroristOrganization PoliticalOrganization ; + + -- A FormText which is intended to measure some aspect + -- of the cognitive capabilities, e.g. intelligence or knowledge of a domain, + -- of the person taking the test. + fun TestForm : Class ; + fun TestForm_Class : SubClass TestForm (both FormText MeasuringDevice) ; + + -- A Certificate that describes how a person's + -- property is to be distributed after the death of the person. + fun Testament : Class ; + fun Testament_Class : SubClass Testament Certificate ; + + -- Giving testimony as part of a JudicialProcess. + fun Testifying : Class ; + fun Testifying_Class : SubClass Testifying Stating ; + + -- Any ExpressingApproval to a person for something + -- that the person did in the past and that is regarded as being to the thanker's + -- benefit. + fun Thanking : Class ; + fun Thanking_Class : SubClass Thanking ExpressingApproval ; + + -- Often know as the stage, the + -- Position of performing live plays. + fun TheaterProfession : Class ; + fun TheaterProfession_Class : SubClass TheaterProfession EntertainmentProfession ; + + -- The systematic study of religious practice and religious truth. + fun Theology : Ind FieldOfStudy ; + + -- Any Device that measures and represents + -- TemperatureMeasure. + fun Thermometer : Class ; + fun Thermometer_Class : SubClass Thermometer MeasuringDevice ; + + -- Any Committing where the thing promised + -- is something that is deemed undesirable by the destination of the + -- Committing. + fun Threatening : Class ; + fun Threatening_Class : SubClass Threatening Committing ; + + -- A BodyVessel which connects the Mouth to the + -- lungs and stomach. + fun Throat : Class ; + fun Throat_Class : SubClass Throat (both AnimalAnatomicalStructure BodyVessel) ; + + -- Any instance of Impelling where the instrument is + -- an Arm. + fun Throwing : Class ; + fun Throwing_Class : SubClass Throwing (both BodyMotion Impelling) ; + + -- The thick, short Finger of each Hand. + fun Thumb : Class ; + fun Thumb_Class : SubClass Thumb Finger ; + + -- Any instance of RadiatingSound which is caused by + -- an instance of Lightning. + fun Thunder : Class ; + fun Thunder_Class : SubClass Thunder (both RadiatingSound WeatherProcess) ; + + -- A Gland in the neck that produces HormoneTSH, + -- which regulates body weight, metabolic rate, etc. + fun ThyroidGland : Class ; + fun ThyroidGland_Class : SubClass ThyroidGland Gland ; + + -- A Hormone secreted by the ThyroidGland. + fun ThyroidHormone : Class ; + fun ThyroidHormone_Class : SubClass ThyroidHormone Hormone ; + + -- A Certificate that allows the holder to perform + -- a specified act once, e.g. ride a bus, attend a concert, obtain a prize, + -- etc. + fun Ticket : Class ; + fun Ticket_Class : SubClass Ticket Certificate ; + + -- Clothing that is intended to be worn around the + -- Neck and knotted at the front. + fun TieClothing : Class ; + fun TieClothing_Class : SubClass TieClothing Clothing ; + + -- The ContestAttribute that applies to all contestParticipants + -- in a Contest when none of them have Won or Lost the Contest. + fun TieScore : Ind ContestAttribute ; + + -- Any Process of Digging, e.g. breaking and + -- turning over Soil that facilitates Agriculture. + fun Tilling : Class ; + fun Tilling_Class : SubClass Tilling (both Digging (both IntentionalProcess SurfaceChange)) ; + + -- An Amphibian that lacks a Tail and lives at least + -- partially outside of water. + fun Toad : Class ; + fun Toad_Class : SubClass Toad Amphibian ; + + -- A FloweringPlant containing nicotine whose leaves + -- are dried and then smoked or ingested. + fun Tobacco : Class ; + fun Tobacco_Class : SubClass Tobacco (both FloweringPlant PlantAgriculturalProduct) ; + + -- The five extremities of a Foot. + fun Toe : Class ; + fun Toe_Class : SubClass Toe (both AnimalAnatomicalStructure (both BodyPart DigitAppendage)) ; + + -- A Device for the disposal of wastes resulting from + -- urination and defecation. + fun Toilet : Class ; + fun Toilet_Class : SubClass Toilet Device ; + + -- A StationaryArtifact which is meant to contain someone who is Dead. + fun Tomb : Class ; + fun Tomb_Class : SubClass Tomb StationaryArtifact ; + + -- English mass unit that is equal to 2000 pounds. + fun TonMass : Ind UnitOfMass ; + + -- Any SpokenHumanLanguage that uses pitch to + -- differentiate otherwise identical words, e.g. Chinese. + fun TonalLanguage : Class ; + fun TonalLanguage_Class : SubClass TonalLanguage SpokenHumanLanguage ; + + -- Part of the Mouth, used for Tasting Food, + -- Vocalizing, and the initial stage of Digesting. + fun Tongue : Class ; + fun Tongue_Class : SubClass Tongue (both AnimalAnatomicalStructure BodyPart) ; + + -- Part of the Mouth, used for biting and chewing. + fun Tooth : Class ; + fun Tooth_Class : SubClass Tooth Bone ; + + -- A small BrushOrComb with relatively soft + -- bristles and a long handle, used for brushing teeth (see Tooth). It is + -- used help control bacteria living in the mouth. While most typically used + -- by humans on themselves, it can be used by Dentists on their + -- patients and by adults assisting children. They are occasionally used by + -- humans caring for pets, zoo animals and valuable livestock. + fun Toothbrush : Class ; + fun Toothbrush_Class : SubClass Toothbrush BrushOrComb ; + + -- The body of a Primate excluding its Limbs. + fun Torso : Class ; + fun Torso_Class : SubClass Torso (both AnimalAnatomicalStructure BodyPart) ; + + -- A tourist is a person who is travelling to a + -- place primarily for reasons of entertainment or education, rather than + -- business, although business transaction may take place during the trip. + fun Tourist : Ind SocialRole ; + + -- A tourist site is a location that has some + -- feature of interest to Tourists, which entertains or informs them. + fun TouristSite : Class ; + fun TouristSite_Class : SubClass TouristSite GeographicArea ; + + -- A piece of Fabric which is used for Drying. + fun Towel : Class ; + fun Towel_Class : SubClass Towel Fabric ; + + -- Any ContentDevelopment that results in a Blueprint. + fun Tracing : Class ; + fun Tracing_Class : SubClass Tracing (both ContentDevelopment SurfaceChange) ; + + -- TractorTrailer is the subclass of + -- RoadVehicles that are truck tractor_ truck trailer combinations. + fun TractorTrailer : Class ; + fun TractorTrailer_Class : SubClass TractorTrailer RoadVehicle ; + + -- The state of being free from Anxiety. + fun Tranquility : Ind EmotionalState ; + + -- A Device which is capable of converting one + -- form of energy into another. Formally, a Twoport that neither stores + -- nor dissipates, but only transfers energy between its two ports. + fun Transducer : Class ; + fun Transducer_Class : SubClass Transducer Device ; + + -- Any process within an Organization + -- where a person is moved from one Position to another, e.g. the promotion + -- or demotion of an employee. + fun TransferringPosition : Class ; + fun TransferringPosition_Class : SubClass TransferringPosition OrganizationalProcess ; + + -- A TransitSystem is a system of + -- interconnected Transitways over which some type(s) of vehicles or + -- travellers may pass. In addition to Transitways, TransitSystems + -- may also include TransitJunctions and TransitTerminals. Transit + -- systems may be demarcated by where they are located (e.g., the rail + -- system of Afghanistan), who owns or manages them (e.g., American + -- Airlines TransitSystem of AirRoutes, or state highways managed by + -- TexDOT), or the type of vehicles or travellers accommodated (e.g., + -- the system of Santa Clara county bike trails. + fun TransitSystem : Class ; + fun TransitSystem_Class : SubClass TransitSystem PhysicalSystem ; + + -- A Transparent material is one through which + -- it is possible to have Seeing. + fun Transparent : Ind InternalAttribute ; + + -- TransportViaRoadVehicle is the class of Transportation + -- events in which the instrument is an instance of + -- RoadVehicle. + fun TransportViaRoadVehicle : Class ; + 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 (both AlcoholicBeverage PlantAgriculturalProduct) ; + + -- Any Limb which is capable of being an + -- instrument in Flying. + fun Wing : Class ; + fun Wing_Class : SubClass Wing Limb ; + + -- The wings of Aircraft, i.e. the parts of Aircraft + -- that allow them to become and remain airborne. + fun WingDevice : Class ; + fun WingDevice_Class : SubClass WingDevice EngineeringComponent ; + + -- Any instance of ClosingEyes which is intended to + -- express something to someone else. + fun Winking : Class ; + fun Winking_Class : SubClass Winking (both ClosingEyes Gesture) ; + + -- The SeasonOfYear that begins at the winter + -- solstice and ends at the spring equinox. + fun WinterSeason : Class ; + fun WinterSeason_Class : SubClass WinterSeason SeasonOfYear ; + + -- A long, thin strand of Metal that is used in a wide + -- range of applications, including the wiring of electrical systems, creating + -- bundles and the construction of cages. + fun Wire : Class ; + fun Wire_Class : SubClass Wire Artifact ; + + -- A Wire that is designed for conducting electricity. + fun WireLine : Class ; + fun WireLine_Class : SubClass WireLine (both EngineeringComponent Wire) ; + + -- An EngineeringComponent consisting of a coil of + -- Wire that returns to its original shape when pulled apart or pressed together. + fun WireSpring : Class ; + fun WireSpring_Class : SubClass WireSpring (both EngineeringComponent Wire) ; + + -- The ContestAttribute that applies to a Contest + -- participant who has won the Contest. + fun Won : Ind ContestAttribute ; + + -- Tissue that comprises the inner trunk of Trees. + -- It is often used in constructing Buildings and other Artifacts. + -- Wood is the principal substance making up a tree, and is distinguished from the + -- bark, roots, flowers, seeds, fruit and leaves. + fun Wood : Class ; + fun Wood_Class : SubClass Wood (both PlantSubstance Tissue) ; + + -- Wood that has been cut (and perhaps treated) for + -- some purpose, e.g. Constructing or Combustion. Note that this class covers + -- both lumber and firewood. + fun WoodArtifact : Class ; + fun WoodArtifact_Class : SubClass WoodArtifact Artifact ; + + -- Fabric that is made from the Hair of Sheep. + fun Wool : Class ; + fun Wool_Class : SubClass Wool Fabric ; + + -- Sterile members of an Insect colony which + -- are responsible for locating food and caring for eggs, larvae, etc. + fun WorkerInsect : Class ; + fun WorkerInsect_Class : SubClass WorkerInsect Insect ; + + -- Any FinancialTransaction where someone exchanges + -- his/her labor for an instance of CurrencyMeasure. + fun Working : Class ; + fun Working_Class : SubClass Working FinancialTransaction ; + + -- A Room, suite of Rooms or Building which is + -- devoted to hand_crafting Artifacts. + fun Workshop : Class ; + fun Workshop_Class : SubClass Workshop StationaryArtifact ; + + -- The joint in the Arm connecting the radius and carpal bones. + fun Wrist : Class ; + fun Wrist_Class : SubClass Wrist BodyJoint ; + + -- A Device whose purpose is to be an instrument + -- of Writing, e.g. pens, pencils, crayons, etc. + fun WritingDevice : Class ; + fun WritingDevice_Class : SubClass WritingDevice Device ; + + -- Any LinguisticCommunication where the + -- instrument is a Text, e.g. a letter, an email, a memo, etc. + fun WrittenCommunication : Class ; + fun WrittenCommunication_Class : SubClass WrittenCommunication LinguisticCommunication ; + + -- Electro_magnetic radiation of short wavelength, + -- often made use of by devices that scan the inside of objects. + fun XRayRadiation : Class ; + fun XRayRadiation_Class : SubClass XRayRadiation Radiating ; + + -- English unit of length, equal to 3 FeetLength. + fun YardLength : Ind UnitOfLength ; + + -- (address ?AGENT ?ADDRESS) means that ?ADDRESS + -- is an address or part of an address for the Agent ?AGENT. + fun address : El Agent -> El Address -> Formula ; + + fun affiliatedOrganization : El Organization -> El Organization -> Formula ; + + -- (alias ?STRING ?AGENT) means that ?STRING is an + -- alternate identifier for ?AGENT, and is likely being used to hide or + -- obscure ?AGENT's true identity. + fun alias : El SymbolicString -> El Agent -> Formula ; + + -- (allegiance ?AGENT ?ENTITY) means that the CognitiveAgent + -- ?AGENT owes its allegiance to the political entity ?ENTITY. + fun allegiance : El CognitiveAgent -> El CognitiveAgent -> Formula ; + + -- (ancestorOrganization ?ORG1 ?ORG2) means that + -- the Organization ?ORG1 descended from the Organization ?ORG2. + fun ancestorOrganization : El Organization -> El Organization -> Formula ; + + -- (anniversary ?PHYSICAL ?TIME) means that + -- ?TIME is the class of TimeIntervals which mark the anniversary of + -- ?PHYSICAL. For example, (anniversary Christmas (DayFn 35 December)) + -- means that Christmas is celebrated each year on the 25th of December. + fun anniversary : El Physical -> El TimeInterval -> Formula ; + + -- (areaOfResponsibility ?AGENT ?PROCESS_TYPE ?AREA) means that ?AGENT + -- (typically an instance of Organization) is responsible or accountable for + -- actions or undertakings of type ?PROCESS_TYPE in the + -- GeographicArea denoted by ?AREA. + fun areaOfResponsibility : El Agent -> Desc Process -> El GeographicArea -> Formula ; + + -- (arrested ?EVENT ?AGENT) means that during ?EVENT, ?AGENT is + -- taken into custody, typically by a representative of a law + -- enforcement organization. + fun arrested : El PlacingUnderArrest -> El Agent -> Formula ; + + -- (aunt ?AUNT ?PERSON) means that ?AUNT is + -- the sister of a parent of ?PERSON. + fun aunt : El Woman -> El Human -> Formula ; + + -- (axis ?A ?OBJ) means that a part ?A of an Object ?OBJ + -- is the axis of rotation in a Rotating. + fun axis : El Object -> El Object -> Formula ; + + -- (benefits ?PROCESS ?AGENT) means that + -- ?AGENT somehow derives benefit as a result of ?PROCESS. This is + -- a very general relation, and does not entail that ?AGENT is a + -- participant in ?PROCESS. + fun benefits : El Process -> El Agent -> Formula ; + + -- (birthdate ?PERSON ?DAY) means that ?DAY is the + -- Day on which the ?PERSON was born. + fun birthdate : El Human -> El Day -> Formula ; + + -- (birthday ?PERSON ?DAY) means that ?DAY is the + -- anniversary each year of the birth of ?PERSON. For example, (birthday + -- WilliamJeffersonClinton (DayFn 19 August)) means that Bill Clinton's + -- birthday is August 19th. + fun birthday : El Human -> El Day -> Formula ; + + -- (birthplace ?INDIV ?PLACE) means that the Animal ?INDIV was born + -- at the location ?PLACE. The location may be a geographic area or a building, such as a hospital. + fun birthplace : El Animal -> El Object -> Formula ; + + -- (brandName ?NAME ?PRODUCT) means that ?NAME + -- is the brand name for the product class ?PRODUCT, e.g. Cheerios is the + -- brand name for a certain class of breakfast cereal. + fun brandName : El SymbolicString -> El Product -> Formula ; + + -- (capacity ?OBJ ?QUANTITY) means that ?OBJ can contain + -- something that has the measure of ?QUANTITY. This predicate denotes maximal + -- capacity, i.e. ?OBJ can hold no more than ?QUANTITY. Note, however, that this + -- does not mean that capacity is a SingleValuedRelation, since an object may + -- have various maximal capacities across different dimensions, e.g. a particular + -- box may have a capacity of 3 pounds and a capacity of 1 liter. + fun capacity : El SelfConnectedObject -> El ConstantQuantity -> Formula ; + + -- (cargo ?EVENT ?OBJ) means that ?OBJ is transported as cargo in + -- the Shipping event ?EVENT. + fun cargo : El Shipping -> El Object -> Formula ; + + -- (changesLocation ?EVENT ?OBJECT) means that during the Translocation + -- event ?EVENT, ?OBJECT's location changes. ?OBJECT might also be the agent, + -- patient, or experiencer of ?EVENT. + fun changesLocation : El Translocation -> El Object -> Formula ; + + -- (cityAddress ?CITY ?ADDRESS) means that the + -- City ?CITY is part of the address ?ADDRESS. + fun cityAddress : El City -> El Address -> Formula ; + + -- (holdsDuring ?T1 (cohabitant ?H1 ?H2)) + -- means that during the time ?T1, ?H1 and ?H2 have the same home. + fun cohabitant : El Human -> El Human -> Formula ; + + -- (conjugate ?COMPOUND1 ?COMPOUND2) means that + -- ?COMPOUND1 and ?COMPOUND2 are identical CompoundSubstances except that + -- one has one more Proton than the other. + fun conjugate : El CompoundSubstance -> El CompoundSubstance -> Formula ; + + -- (contestParticipant ?CONTEST ?AGENT) + -- means that ?AGENT is one of the sides in the Contest ?CONTEST. For + -- example, if the ?CONTEST is a football game, then ?AGENT would be one of + -- the opposing teams. For another example, if ?CONTEST is a Battle, then + -- ?AGENT would be one of the sides fighting each other. + fun contestParticipant : El Contest -> El Agent -> Formula ; + + -- (controlled ?EVENT ?OBJECT) means that during the + -- AchievingControl denoted by ?EVENT, ?OBJECT comes to be + -- physically controlled by an Agent. + fun controlled : El AchievingControl -> El Object -> Formula ; + + -- (conveyance ?EVENT ?OBJ) means that ?OBJ is the + -- Vehicle or other transportation device used in ?EVENT. + fun conveyance : El Transportation -> El TransportationDevice -> Formula ; + + -- (cousin ?PERSON1 ?PERSON2) means that ?PERSON1 + -- and ?PERSON2 are cousins, i.e. ?PERSON1 and ?PERSON2 have grandparents + -- (but not parents) in common. + fun cousin : El Human -> El Human -> Formula ; + + -- (holdsDuring ?T1 (coworker ?H1 ?H2)) means + -- that during time ?T1, ?H1 and ?H2 are both employed by the same agent, are + -- of roughly the same job status, and come into contact at least part of the + -- time at the same work location. + fun coworker : El Human -> El Human -> Formula ; + + -- (birthdate ?PERSON ?DAY) means that ?DAY is the + -- Day on which the ?PERSON died. + fun deathdate : El Human -> El Day -> Formula ; + + -- (deathplace ?INDIV ?PLACE) means that the Animal ?INDIV died + -- at the location ?PLACE. The location may be a geographic area or a building, + -- such as a hospital. + fun deathplace : El Animal -> El Object -> Formula ; + + -- (deceptiveIdentifier ?OBJ ?AGENT) + -- means that ?AGENT presents ?OBJ as a representation of ?AGENT's `true' + -- identity, when in fact it is not. + fun deceptiveIdentifier : El ContentBearingObject -> El Agent -> Formula ; + + -- (defendant ?AGENT ?ACTION) means the LegalAction + -- ?ACTION makes a legal claim against ?AGENT. + fun defendant : El CognitiveAgent -> El LegalAction -> Formula ; + + -- (detainee ?EVENT ?OBJECT) means that in the + -- Confining ?EVENT, the Object ?OBJECT is restrained by force, threat, or + -- other form of intimidation. + fun detainee : El Confining -> El Animal -> Formula ; + + -- (deviceState ?DEVICE ?STATE) means that + -- the Object ?DEVICE is in the DeviceStateAttribute ?STATE. + fun deviceState : El Object -> El DeviceStateAttribute -> Formula ; + + -- (disapproves ?AGENT ?FORMULA) means that + -- ?AGENT has a feeling of antipathy to the state of affairs represented by + -- ?FORMULA, i.e. ?AGENT believes that the realization of ?FORMULA will + -- thwart one of his/her goals. Note that there is no implication that what + -- is disapproved of by an agent is not already true. + fun disapproves : El CognitiveAgent -> Formula -> Formula ; + + -- (dislikes ?AGENT ?OBJECT) means that ?AGENT has a + -- feeling of antipathy to ?OBJECT, i.e. ?AGENT believes that ?OBJECT will + -- thwart one of his/her goals. Note that there is no implication that what + -- is hated by an agent is not already possessed by the agent. + fun dislikes : El CognitiveAgent -> El Object -> Formula ; + + -- (distanceOnPath ?DIST ?PATH) means that for a given path (which is a pathInSystem) that the + -- distance of the route is the measurement ?DIST. distanceOnPath (distanceOnPath ?DIST ?PATH) + -- means that for a given path (which is a pathInSystem) that the distance of the route is + -- the measurement ?DIST. + fun distanceOnPath : El ConstantQuantity -> El Transitway -> Formula ; + + -- (holdsDuring ?T1 (domesticPartner ?H1 ?H2)) means that during the time ?T1, ?H1 + -- and ?H2 live together and share a common domestic life but are + -- not joined in a traditional marriage, a common_law marriage, or a + -- civil union. + fun domesticPartner : El Human -> El Human -> Formula ; + + -- (doubts ?AGENT ?FORMULA) means that ?AGENT is unsure + -- about the truth of ?FORMULA, in particular ?AGENT does not believe that + -- ?FORMULA is true. + fun doubts : El CognitiveAgent -> Formula -> Formula ; + + -- Models the effective range of some + -- device that is able to move by itself (like vehicles, rockets and so + -- on) or move other things (like weapons). + fun effectiveRange : El Device -> El LengthMeasure -> Formula ; + + -- (electronNumber ?SUBSTANCE ?NUMBER) means that + -- the PureSubstance ?SUBSTANCE has the number of Electrons ?NUMBER. + fun electronNumber : El PureSubstance -> El PositiveInteger -> Formula ; + + -- (enjoys ?AGENT ?PROCESS) means that the + -- CognitiveAgent ?AGENT tends to enjoy actions of type ?PROCESS, + -- i.e. tends to enjoy being the agent or experiencer of such + -- actions. + fun enjoys : El CognitiveAgent -> El IntentionalProcess -> Formula ; + + -- (equipmentCount ?OBJECT ?TYPE ?QUANTITY) means that ?OBJECT + -- is equipped with devices of the type ?TYPE, in the number ?QUANTITY. + -- Equipment associated with an ?OBJECT may be a component of ?OBJECT + -- (such as the emergency oxygen system built into passenger jets) or it may + -- be a device simply located on or with ?OBJECT (such as a first aid kit). + fun equipmentCount : El Object -> Desc Device -> El Quantity -> Formula ; + + -- (equipmentType ?THING ?TYPE) means that + -- the Artifact ?THING has a component or attachment of Device ?TYPE. + -- See also equipmentTypeCount. + fun equipmentType : El Artifact -> El Device -> Formula ; + + -- Any belief about the future. (expects ?AGENT ?BELIEF) means that + -- (believes ?AGENT ?BELIEF) and, if ?BELIEF happens, it will + -- happen in the future, i.e. after the expectation. + fun expects : El CognitiveAgent -> Formula -> Formula ; + + -- (experimentalControl ?EXPERIMENT ?OBJ) means that the Object ?OBJ + -- serves as a control in the instance of Experimenting ?EXPERIMENT, + -- i.e. ?OBJ is the standard against which something else in + -- the experiment can be compared. + fun experimentalControl : El Experimenting -> El Object -> Formula ; + + -- (familyName ?STRING ?HUMAN) means that the SymbolicString ?STRING denotes a non_optional + -- name that ?HUMAN has inherited by virtue of being born into a + -- particular family (kin group). surname is another word for this type + -- of name. Cf. givenName. + fun familyName : El SymbolicString -> El Human -> Formula ; + + -- (fears ?AGENT ?FORMULA) means that ?AGENT fears that + -- the proposition ?FORMULA will be true, i.e. he/she believes that it will + -- come to pass in the future and that it will be undesirable for ?AGENT. + fun fears : El CognitiveAgent -> Formula -> Formula ; + + -- A formal banking, brokerage, or business + -- relationship established to provide for regular services, dealings, and + -- other financial transactions. (financialAccount ?ACCOUNT ?ORG) means that + -- ?ACCOUNT is a financial account opened at the FinancialCompany + -- ?ORG. + fun financialAccount : El FinancialAccount -> El FinancialCompany -> Formula ; + + -- A predicate that relates an Agent to any + -- item of economic value owned by the Agent. Examples of financial assets + -- are cash, securities, accounts receivable, inventory, office equipment, a + -- house, a car, and other property. + fun financialAsset : El Agent -> El Object -> Formula ; + + -- (formerName ?NAME ?THING) means that the + -- string ?NAME is a name formerly used for ?THING. + fun formerName : El Entity -> El Entity -> Formula ; + + -- (holdsDuring ?T1 (friend ?H1 ?H2)) means that + -- during time ?T1, ?H1 and ?H2 know each other, share a relationship of + -- mutual care and concern, and probably also share some common interests. + fun friend : El Human -> El Human -> Formula ; + + -- (gainsControl ?EVENT ?AGENT) means that during ?EVENT, ?AGENT + -- gains control of the patient (object). + fun gainsControl : El AchievingControl -> El Agent -> Formula ; + + -- (givenName ?STRING ?HUMAN) + -- means that ?STRING is a name selected for ?HUMAN, usually from among + -- many options, as opposed to a mandatory name (cf. familyName) that + -- ?HUMAN has inherited by virtue of being born into a certain kin group, + -- caste, or occupation. + fun givenName : El SymbolicString -> El Human -> Formula ; + + -- (grammaticalRelation ?PHRASE ?SENTENCE) + -- means that the Phrase ?PHRASE has a grammatical relation to the Sentence + -- ?SENTENCE, i.e. it is a subject, object, main verb, etc. of the ?SENTENCE. + fun grammaticalRelation : El Phrase -> El Sentence -> Formula ; + + -- (grandfather ?PERSON ?PARENT) means that + -- ?PARENT is the grandfather of ?PERSON. + fun grandfather : El Human -> El Man -> Formula ; + + -- (grandmother ?PERSON ?PARENT) means that + -- ?PARENT is the grandmother of ?PERSON. + fun grandmother : El Human -> El Woman -> Formula ; + + -- (grandparent ?YOUNGER ?OLDER) means that + -- ?OLDER is a parent of ?YOUNGER's parent. + fun grandparent : El Human -> El Human -> Formula ; + + -- A subrelation of member, groupMember + -- is used to relate a Human to a GroupOfPeople of which he/she is a + -- member. + fun groupMember : El Human -> El GroupOfPeople -> Formula ; + + -- (half ?HALF ?WHOLE) means that ?HALF is one half + -- of ?WHOLE. + fun half : El Object -> El Object -> Formula ; + + -- (hasExpertise ?PERSON ?FIELD) means that ?PERSON has + -- studied the FieldOfStudy ?FIELD and is regarded as an expert. + fun hasExpertise : El Human -> El FieldOfStudy -> Formula ; + + -- (hasOccupation ?PERSON ?WORK) means that ?PERSON + -- engages in activities of the class ?WORK as a means of earning a living. + fun hasOccupation : El Human -> Desc IntentionalProcess -> Formula ; + + -- (headquartersOfOrganization ?ORG ?AREA) + -- means that the Organization ?ORG is headquartered in ?AREA. + fun headquartersOfOrganization : El Organization -> El GeopoliticalArea -> Formula ; + + -- (hopes ?AGENT ?FORMULA) means that ?AGENT hopes that + -- the proposition ?FORMULA will be true, i.e. he/she believes that it will + -- come to pass in the future and that it will be desirable for ?AGENT. + fun hopes : El CognitiveAgent -> Formula -> Formula ; + + -- (hostileForces ?UNIT1 ?UNIT2) means that + -- the MilitaryUnits ?UNIT1 and ?UNIT2 are, respectively, allied with + -- GeopoliticalAreas that are at war with one another. + fun hostileForces : El MilitaryUnit -> El MilitaryUnit -> Formula ; + + -- (humanCapacity ?CONSTRUCT ?NUMBER) means that the + -- StationaryArtifact ?CONSTRUCT, e.g. a Building or a Room, can hold a maximum + -- of ?NUMBER Humans without crowding. + fun humanCapacity : El StationaryArtifact -> El PositiveInteger -> Formula ; + + -- (ideologicalAffiliationOfOrganization ?ORG ?GOV) means that one of the goals + -- of ?ORG is to realize the FormOfGovernment ?GOV. + fun ideologicalAffiliationOfOrganization : El Organization -> El FormOfGovernment -> Formula ; + + -- Every instance of the first argument is initially + -- found as part of an instance of the second argument, even though it + -- might lose that part later in its lifetime. While the part must initially + -- exist as part of a whole, this does not say that each whole necessarily initially + -- contains such a part. For example, a thumb must at some time have been + -- part of a hand, but every hand need not have a thumb, even at birth. This + -- is a class_level relation roughly corresponding to part. + fun initialPart : Desc Object -> Desc Object -> Formula ; + + -- Every instance of the second argument initially + -- contains an instance of the first argument, even though it + -- might lose that part later in its lifetime. Every normal human starts life with an + -- appendix for example. While the whole must initially + -- contain such a part, this does not say that each part necessarily initially + -- exists as part of such a whole. This is a class_level relation roughly + -- corresponding to part. + fun initiallyContainsPart : Desc Object -> Desc Object -> Formula; + + -- (intelligenceQuotient ?PERSON ?NUMBER) means that ?NUMBER is the I.Q. of ?PERSON. + -- The I.Q. of a person is the ratio of their mental age (determined by a standardized test) + -- divided by their chronological age, multiplied by 100. + fun intelligenceQuotient : El Human -> El RationalNumber -> Formula ; + + -- (inventory ?CBO ?COLLECTION) means that + -- the ContentBearingObject ?CBO contains a list or enumeration of the + -- members of the Collection ?COLLECTION. + fun inventory : El ContentBearingObject -> El Collection -> Formula ; + + -- (lacks ?AGENT ?OBJECT) means that ?AGENT needs + -- ?OBJECT and it is not currently the case that ?AGENT possesses ?OBJECT. + fun lacks : El CognitiveAgent -> El Physical -> Formula ; + + -- (landlord ?PERSON ?UNIT) means that ?PERSON is a + -- landlord of the Residence ?UNIT, i.e. he or she owns ?UNIT and is renting + -- the unit to someone else. + fun landlord : El Agent -> El PermanentResidence -> Formula ; + + -- (holdsDuring ?T1 (legalGuardian ?H1 ?H2)) means that during the time ?T1, + -- ?H2 has legal authority over ?H1, and is responsible for looking after ?H1's interests. + fun legalGuardian : El Human -> El Human -> Formula ; + + -- (localLongName ?NAME ?THING) means that the string ?NAME is the long form of the name + -- used for ?THING in its local area or language. + fun localLongName : El SymbolicString -> El Entity -> Formula ; + + -- (localShortName ?NAME ?THING) means that the string ?NAME is the short form of the name + -- used for ?THING in its local area or language. + fun localShortName : El SymbolicString -> El Entity -> Formula ; + + -- (locatedAtTime ?OBJ ?TIME ?PLACE) means + -- that during the time specified by ?TIME, ?OBJ was in the location + -- specified by ?PLACE. + fun locatedAtTime : El Object -> El TimePosition -> El Object -> Formula ; + + -- (losesControl ?EVENT ?AGENT) means that during ?EVENT, ?AGENT + -- loses physical control of the controlled object. + fun losesControl : El ChangeOfControl -> El Agent -> Formula ; + + -- The amount by which the cost of an investment or + -- business operation exceeds its return, i.e. the negative quantity left + -- after subtracting for all expenses. + fun loss : El FinancialTransaction -> El CurrencyMeasure -> Formula; + + -- (measurementReading ?DEVICE ?QUANTITY) + -- means that ?QUANTITY is a reading of the MeasuringDevice ?DEVICE, e.g. if + -- ?THERMOMETER is a Thermometer, (measurementReading ?THERMOMETER + -- (MeasureFn 42 CelsiusDegree)) would mean that ?THERMOMETER registers 42 + -- degrees Celsius. + fun measurementReading : El MeasuringDevice -> El ConstantQuantity -> Formula ; + + -- (meatOfAnimal ?MEATCLASS ?ANIMALCLASS) states + -- that ?MEATCLASS was once part of the class of Animal ?ANIMALCLASS) + fun meatOfAnimal : Desc Meat -> Desc Animal -> Formula ; + + -- A relation between a Human and a + -- CareOrganization that treats the patient. + fun medicalPatient : El Human -> El CareOrganization -> Formula ; + + -- (memberAtTime ?MEMBER ?COLLECTION + -- ?TIME) means that during the time period denoted by ?TIME, + -- ?MEMBER is a member of ?COLLECTION. + fun memberAtTime : El SelfConnectedObject -> El Collection -> El TimePosition -> Formula ; + + -- (memberCount ?ORG ?NUMBER) means that there + -- is a total ?NUMBER of members in the Collection ?ORG. + fun memberCount : El Collection -> El Integer -> Formula ; + + -- (memberType ?GROUP ?TYPE) means that all + -- the members of the Collection ?GROUP belong to the SetOrClass + -- ?TYPE. + fun memberType : El Collection -> El SetOrClass -> Formula ; + + -- (memberTypeCount ?GROUP ?TYPE ?NUMBER) means that the + -- Collection ?GROUP has ?NUMBER members of the kind ?TYPE. + fun memberTypeCount : El Collection -> El SetOrClass -> El NonnegativeInteger -> Formula ; + + -- (middleName ?CHAR ?INDIV) means that the + -- SymbolicString ?CHAR contains the middle name of the Human ?INDIV. + fun middleName : El SymbolicString -> El Human -> Formula ; + + -- (monetaryWage ?ORG ?PERSON ?TIME ?MONEY) means + -- that the Organization employs ?PERSON and pays him/her the amount of money + -- ?MONEY per TimeDuration ?TIME. + fun monetaryWage : El Organization -> El Human -> El TimeDuration -> El CurrencyMeasure -> Formula ; + + -- (most ?MOST ?WHOLE) means that ?MOST is a part + -- of ?WHOLE that is greater than half of ?WHOLE. + fun most : El Object -> El Object -> Formula ; + + -- (moves ?MOTION ?OBJECT) means that during + -- the Motion event ?MOTION, ?OBJECT moves. This does not + -- necessarily imply that the location of ?OBJECT changes during + -- ?MOTION. See also changesLocation and Translocation. + fun moves : El Motion -> El Object -> Formula ; + + -- (mutualStranger ?H1 ?H2) means that ?H1 + -- and ?H2 have not met each other and do not know each other. Statements + -- made with this predicate should be temporally specified with + -- holdsDuring. See also the weaker, non_symmetric version of this + -- predicate, stranger. + fun mutualStranger : El Human -> El Human -> Formula ; + + -- (neighbor ?PERSON1 ?PERSON2) means that ?PERSON1 is + -- a neighbor of ?PERSON2, i.e. ?PERSON1 and ?PERSON2 have their homes Near + -- one another. + fun neighbor : El Human -> El Human -> Formula ; + + -- (nephew ?NEPHEW ?PERSON) means that ?NEPHEW is + -- the son of a sibling of ?PERSON. + fun nephew : El Man -> El Human -> Formula ; + + -- (niece ?NIECE ?PERSON) means that ?NIECE is + -- the daughter of a sibling of ?PERSON. + fun niece : El Woman -> El Human -> Formula ; + + -- (occupation ?PERSON ?TYPE) means that the occupation + -- of ?PERSON is ?TYPE. This predicate is most often used in combination with the + -- function OccupationFn, e.g. (occupation PoliceOfficerWilkins (OccupationFn + -- LawEnforcement)). + fun occupation : El Human -> El FinancialTransaction -> Formula ; + + -- (older ?OBJ1 ?OBJ2) means that ?OBJ1 is older than + -- ?OBJ2, i.e. the age of ?OBJ1 is greaterThan the age of ?OBJ2. + fun older : El Object -> El Object -> Formula ; + + -- (onboard ?OBJ ?VEHICLE) means that the + -- SelfConnectedObject ?OBJ is inside the Vehicle ?VEHICLE. + fun onboard : El SelfConnectedObject -> El Vehicle -> Formula ; + + -- (operator ?OBJECT ?AGENT) means that ?AGENT + -- determines how ?OBJECT is used, either by directly or indirectly operating + -- it. + fun operator : El Object -> El Agent -> Formula ; + + -- (parasite ?ORGANISM1 ?ORGANISM2) means that there + -- is a parasitic relationship between ?ORGANISM1 and ?ORGANISM2, i.e. ?ORGANISM1 + -- inhabits and obtains nourishment from ?ORGANISM2 in such a way that + -- ?ORGANISM2 is injured. + fun parasite : El Organism -> El Organism -> Formula ; + + -- (pathInSystem ?PATH ?SYSTEM) means that + -- the Physical thing ?PATH consists of one or more connected routes in + -- the PhysicalSystem ?SYSTEM. + fun pathInSystem : El Transitway -> El TransitSystem -> Formula ; + + -- The relation of receiving medical care + -- from a recognized medical practitioner. (patientMedical ?PATIENT + -- ?DOCTOR) means that ?PATIENT is the patient of ?DOCTOR. Note that + -- argument type restriction on the second argument is CognitiveAgent + -- to allow for cases where someone is the patient of an Organization, + -- viz. a CareOrganization. + fun patientMedical : El Human -> El CognitiveAgent -> Formula ; + + -- (plaintiff ?ACTION ?AGENT) means that ?AGENT + -- is responsible for initiating the LegalAction ?ACTION. + fun plaintiff : El LegalAction -> El CognitiveAgent -> Formula ; + + -- (postalBoxNumber ?NUMBER ?ADDRESS) means + -- that the post office box ?NUMBER is part of the address ?ADDRESS. + fun postalBoxNumber : El PositiveInteger -> El Address -> Formula ; + + -- (postalCode ?NUMBER ?ADDRESS) means that the + -- the postal code, e.g. zip code, ?NUMBER is part of the address ?ADDRESS. + fun postalCode : El PositiveInteger -> El Address -> Formula ; + + -- (potentialOfHydrogen ?SOLUTION ?NUMBER) + -- means that the Solution ?SOLUTION has a pH value of ?NUMBER. The ph varies + -- between 0 and 14, and it is a measure of the acidity or alkalinity of ?SOLUTION. + -- More precisely, and it is the logarithm of the reciprocal of the quantity of + -- AtomGrams of Hydrogen ions. + fun potentialOfHydrogen : El Solution -> El RealNumber -> Formula ; + + -- (powerPlant ?GENERATOR ?THING) means that + -- the Device ?GENERATOR is the power_producing component of the Artifact + -- ?THING which provides the energy for its operation. + fun powerPlant : El Device -> El Artifact -> Formula ; + + -- (protonNumber ?SUBSTANCE ?NUMBER) means that + -- the PureSubstance ?SUBSTANCE has the number of Protons ?NUMBER. + fun protonNumber : El PureSubstance -> El PositiveInteger -> Formula ; + + -- (quarter ?QUART ?WHOLE) means that ?QUART is a + -- quarter of ?WHOLE. + fun quarter : El Object -> El Object -> Formula ; + + -- (reactant ?PROCESS ?SUBSTANCE) means that ?SUBSTANCE + -- is a chemical reactant in the chemical reaction ?PROCESS, i.e. ?SUBSTANCE is + -- present at the beginning of the chemical reaction ?PROCESS. + fun reactant : El ChemicalProcess -> El Substance -> Formula ; + + -- (reagent ?PROCESS ?SUBSTANCE) means that ?SUBSTANCE + -- is a chemical agent in the chemical reaction ?PROCESS. + fun reagent : El ChemicalProcess -> El Substance -> Formula ; + + -- (registeredItem ?DOCUMENT ?ITEM) means + -- that the Text ?DOCUMENT contains an official record of the Physical + -- thing ?ITEM. The registered item could be an object or an event, e.g., + -- an automobile, a ship, a marriage, an adoption. + fun registeredItem : El Text -> El Physical -> Formula ; + + -- (religiousAffiliationOfOrganization ?ORG ?BELIEF) means + -- that one of the goals of ?ORG is to advance the religious teachings + -- of the BeliefGroup ?BELIEF. + fun religiousAffiliationOfOrganization : El Organization -> El BeliefGroup -> Formula ; + + -- (routeInSystem ?PART ?SYSTEM) means that + -- the Transitway ?PART is an established route of the + -- TransportationSystem ?SYSTEM. + fun routeInSystem : El Transitway -> El TransitSystem -> Formula ; + + -- (secretesSubstance ?OBJ ?STUFF) means + -- that the subclass of OrganicObject (either Organism or BodyPart) + -- ?OBJ produces the subclass of Substance ?STUFF. + fun secretesSubstance : Desc OrganicObject -> Desc NaturalSubstance -> Formula ; + + -- (sententialObject ?OBJECT ?SENTENCE) means that the NounPhrase ?OBJECT is + -- the object of the Sentence ?SENTENCE. + fun sententialObject : El NounPhrase -> El Sentence -> Formula ; + + -- (sententialSubject ?SUBJECT ?SENTENCE) means that the NounPhrase ?SUBJECT is + -- the subject of the Sentence ?SENTENCE. + fun sententialSubject : El NounPhrase -> El Sentence -> Formula ; + + -- (serviceProvider ?EVENT ?AGENT) + -- means that ?AGENT is the supplier of the service provided in ?EVENT. + fun serviceProvider : El ServiceProcess -> El CognitiveAgent -> Formula ; + + -- (serviceRecipient ?EVENT ?AGENT) means that ?AGENT is the + -- receiver of the service provided in ?EVENT. + fun serviceRecipient : El ServiceProcess -> El CognitiveAgent -> Formula ; + + -- (sideOfFigure ?SIDE ?FIGURE) means that the + -- OneDimensionalFigure ?POINT is a side of the GeometricFigure ?FIGURE. + fun sideOfFigure : El OneDimensionalFigure -> El GeometricFigure -> Formula ; + + -- (sliceOfFigure ?SLICE ?FIGURE) indicates + -- that ?SLICE is a 2_d section of the 3_d figure ?FIGURE. Or, more + -- formally, ?SLICE is 2_d figure formed by the intersection of a plane + -- with the 3_d figure ?FIGURE. + fun sliceOfFigure : El TwoDimensionalObject -> El CorpuscularObject -> Formula ; + + -- A relation between a Process of + -- MusicalTone and the fundamental frequency of that tone. + fun soundFrequency : El MusicalTone -> El FunctionQuantity -> Formula ; + + -- (speaksLanguage ?AGENT ?LANGUAGE) means that the SentientAgent ?AGENT is + -- capable of understanding and/or generating the Language ?LANGUAGE. + fun speaksLanguage : El SentientAgent -> El Language -> Formula ; + + -- (stepfather ?PERSON ?FATHER) means that ?FATHER + -- is the stepfather of ?PERSON, i.e. ?FATHER is the spouse of the mother + -- of ?PERSON, without also being the father of ?PERSON. + fun stepfather : El Human -> El Man -> Formula ; + + -- (stepmother ?PERSON ?MOTHER) means that ?MOTHER + -- is the stepmother of ?PERSON, i.e. ?MOTHER is the spouse of the father + -- of ?PERSON, without also being the mother of ?PERSON. + fun stepmother : El Human -> El Woman -> Formula ; + + -- (stockHolder ?Stock ?Agent) means that + -- ?Agent possesses the Stock ?Stock. + fun stockHolder : El Stock -> El CognitiveAgent -> Formula ; + + -- (stranger ?H1 ?H2) means that ?H1 has + -- not met ?H2, or, in other words, (not (acquaintance ?H1 ?H2)). + -- Statements made with stranger should be temporally + -- specified with holdsDuring. Note that stranger is not + -- symmetric, meaning that ?H2 might know ?H1. For the symmetric + -- version, see mutualStranger. + fun stranger : El Human -> El Human -> Formula ; + + -- (streetAddress ?STREET ?ADDRESS) means + -- that the Roadway ?STREET is part of the address ?ADDRESS. + fun streetAddress : El Roadway -> El Address -> Formula ; + + -- (streetNumber ?BUILDING ?ADDRESS) means + -- that the Building ?BUILDING is part of the address ?ADDRESS. + fun streetNumber : El Building -> El Address -> Formula ; + + -- (student ?ORG ?AGENT) means that ?AGENT is enrolled + -- in the EducationalOrganization ?ORG. + fun student : El EducationalOrganization -> El CognitiveAgent -> Formula ; + + -- (subField ?FIELD1 ?FIELD2) means that ?FIELD1 is a proper + -- part of the FieldOfStudy ?FIELD2. For example, Physiology is a subField of + -- Biology. + fun subField : El FieldOfStudy -> El FieldOfStudy -> Formula ; + + -- (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2) means that + -- in the Organization ?ORG, ?PERSON1 is subordinate to ?PERSON2. + fun subordinateInOrganization : El Organization -> El Human -> El Human -> Formula ; + + -- (subordinatePosition ?ORG ?SUB ?SUPER) means that in + -- the Organization ?ORG, the holder of role ?SUB is subordinate to + -- the holder of role ?SUPER. + fun subordinatePosition : El Organization -> El Position -> El Position -> Formula ; + + -- (tangent ?LINE ?CIRCLE) means that the straight line + -- ?LINE is tangent to the figure ?CIRCLE, i.e. ?LINE touches ?CIRCLE without + -- intersecting it. + fun tangent : El OneDimensionalFigure -> El TwoDimensionalObject -> Formula ; + + -- This relation identifies the patient in the event that is the object of the attack. + fun targetInAttack : El Process -> El Object -> Formula ; + + -- (teacher ?ORG ?AGENT) means that ?AGENT is a teacher at the EducationalOrganization ?ORG. + fun teacher : El EducationalOrganization -> El CognitiveAgent -> Formula ; + + -- (telephoneNumber ?NUMBER ?AGENT) means + -- that ?NUMBER is a telephone number at which ?AGENT can be regularly contacted. + fun telephoneNumber : El SymbolicString -> El Agent -> Formula ; + + -- (tenant ?PERSON ?UNIT) means that ?PERSON is a tenant of the Residence ?UNIT, + -- i.e. he or she is renting the unit. + fun tenant : El Agent -> El Residence -> Formula ; + + -- (third ?THIRD ?WHOLE) means that ?THIRD is one third of ?WHOLE. + fun third : El Object -> El Object -> Formula ; + + -- A binary predicate used to indicate the title of a ContentBearingPhysical. Note that the + -- second argument type restriction is a subclass, rather than an + -- instance, of ContentBearingPhysical. Thus, the title + -- Murder_on_the_Orient_Express corresponds to a large class of Books, + -- and not just to a single copy of the book. + fun titles : El SymbolicString -> El ContentBearingPhysical -> Formula ; + + -- (transported ?EVENT ?OBJ) means that ?OBJ is transported + -- (carried/moved to a different physical location) in the Transportation ?EVENT. + fun transported : El Transportation -> El Object -> Formula ; + + -- An instance of the first argument is typically + -- found as part of an instance of the second argument. This is a + -- class_level relation roughly corresponding to part. Note that this does + -- not imply that such wholes typically have such parts. + fun typicalPart : Desc Object -> Desc Object -> Formula ; + + -- An instance of the second argument typically + -- contains an instance of the first argument. This is a + -- class_level relation roughly corresponding to part. Note that this does + -- not imply that such parts typically have such wholes. + fun typicallyContainsPart : Desc Object -> Desc Object -> Formula ; + + -- (uncle ?UNCLE ?PERSON) means that ?UNCLE is + -- the brother of a parent of ?PERSON. + fun uncle : El Man -> El Human -> Formula ; + + -- (unitNumber ?UNIT ?ADDRESS) means that the + -- StationaryArtifact ?UNIT is part of the address ?ADDRESS. + fun unitNumber : El StationaryArtifact -> El Address -> Formula ; + + -- (wavelength ?RADIATION ?MEASURE) means that the + -- instance of radiation, ?RADIATION, has an average wavelength of ?MEASURE. + fun wavelength : El Radiating -> El LengthMeasure -> Formula ; + + -- (yearOfFounding ?ORG ?NUMBER) means that the Organization ?ORG + -- was founded in the year expressed in ?NUMBER. + fun yearOfFounding : El Organization -> El Integer -> Formula ; + +} -- cgit v1.2.3