diff options
| author | john.j.camilleri <john.j.camilleri@chalmers.se> | 2013-09-16 07:17:27 +0000 |
|---|---|---|
| committer | john.j.camilleri <john.j.camilleri@chalmers.se> | 2013-09-16 07:17:27 +0000 |
| commit | f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 (patch) | |
| tree | 946c9e8542b8e8271b6b529a95c0400fa6613cb4 /examples/SUMO/MidLevelOntology.gf | |
| parent | 8e1c6cca407c82fc09569d80c231b8d256735989 (diff) | |
Remove contribs and examples
Everything has now been moved to a separate repository at
https://github.com/GrammaticalFramework/gf-contrib
The contents of the examples folder are build during SetupWeb
Diffstat (limited to 'examples/SUMO/MidLevelOntology.gf')
| -rw-r--r-- | examples/SUMO/MidLevelOntology.gf | 7979 |
1 files changed, 0 insertions, 7979 deletions
diff --git a/examples/SUMO/MidLevelOntology.gf b/examples/SUMO/MidLevelOntology.gf deleted file mode 100644 index 04b201f0b..000000000 --- a/examples/SUMO/MidLevelOntology.gf +++ /dev/null @@ -1,7979 +0,0 @@ -abstract MidLevelOntology = Merge, Elements ** {
-
- -- Removing a human fetus from a Pregnant woman
- -- in such a way that the fetus cannot survive.
- fun Aborting : Class ;
- fun Aborting_Class : SubClass Aborting Removing ;
-
- -- A Certificate that demonstrates that the holder
- -- of the Certificate has successfully completed an EducationalProgram.
- fun AcademicDegree : Class ;
- fun AcademicDegree_Class : SubClass AcademicDegree Certificate ;
-
- -- Increasing the speed with which someone
- -- or something is moving.
- fun Accelerating : Class ;
- fun Accelerating_Class : SubClass Accelerating (both Increasing Translocation) ;
-
- -- The Profession of being an Accountant.
- fun Accountant : Ind Profession ;
-
- -- Any process of certifying an EducationalOrganization.
- fun Accrediting : Class ;
- fun Accrediting_Class : SubClass Accrediting Declaring ;
-
- -- AchievingControl is the
- -- class of all events in which an Agent gains physical
- -- control over some object.
- fun AchievingControl : Class ;
- fun AchievingControl_Class : SubClass AchievingControl Guiding ;
-
- -- A UnitOfMeasure equal to 4840 square yards.
- fun Acre : Ind UnitOfArea ;
-
- -- Any TwoDimensionalAngle that has an
- -- angularMeasure that is less than 90 AngularDegrees.
- fun AcuteAngle : Class ;
- fun AcuteAngle_Class : SubClass AcuteAngle TwoDimensionalAngle ;
-
- -- A RelationalAttribute that indicates an address
- -- where an Agent can regularly be contacted.
- fun Address : Class ;
- fun Address_Class : SubClass Address RelationalAttribute ;
-
- -- Combining a substance with Air.
- fun Aerating : Class ;
- fun Aerating_Class : SubClass Aerating Combining ;
-
- -- A Device whose purpose is to mix Substances with
- -- Air.
- fun Aerator : Class ;
- fun Aerator_Class : SubClass Aerator Device ;
-
- -- An RecreationOrExerciseDevice whose purpose is
- -- to develop the cardiovascular system.
- fun AerobicExerciseDevice : Class ;
- fun AerobicExerciseDevice_Class : SubClass AerobicExerciseDevice RecreationOrExerciseDevice ;
-
- -- The class of TimeIntervals that begin at noon and
- -- end at Sunset.
- fun Afternoon : Class ;
- fun Afternoon_Class : SubClass Afternoon DayTime ;
-
- -- A CommercialAgent whose customers are all other
- -- CommercialAgents, e.g. staffing agencies, food_service providers, etc.
- fun Agency : Class ;
- fun Agency_Class : SubClass Agency CommercialAgent ;
-
- -- AgriculturalProduct is the subclass of Product that comprises
- -- the products of agricultural activity.
- fun AgriculturalProduct : Class ;
- fun AgriculturalProduct_Class : SubClass AgriculturalProduct Product ;
-
- -- AirForce is the subclass of MilitaryService
- -- that comprises military air forces.
- fun AirForce : Class ;
- fun AirForce_Class : SubClass AirForce MilitaryService ;
-
- -- Any instance of Transportation where the
- -- instrument is an Aircraft and which is through an AtmosphericRegion.
- fun AirTransportation : Class ;
- fun AirTransportation_Class : SubClass AirTransportation Transportation ;
-
- -- Any Vehicle which is capable of
- -- AirTransportation. Note that this class covers both fixed_wing aircraft
- -- and helicopters.
- fun Aircraft : Class ;
- fun Aircraft_Class : SubClass Aircraft Vehicle ;
-
- -- OrganicCompounds that are produced from hydrocarbons
- -- by distillation.
- fun Alcohol : Class ;
- fun Alcohol_Class : SubClass Alcohol OrganicCompound ;
-
- -- Any Beverage that contains Alcohol.
- fun AlcoholicBeverage : Class ;
- fun AlcoholicBeverage_Class : SubClass AlcoholicBeverage (both Beverage Depressant) ;
-
- -- A ChemicalBase found in some Plants that has
- -- physiological and psychological effects.
- fun Alkaloid : Class ;
- fun Alkaloid_Class : SubClass Alkaloid (both BiologicallyActiveSubstance ChemicalBase) ;
-
- -- Any Character that is comprised of a single
- -- alphabetical character, e.g. A, B, C, D, ...
- fun AlphabeticCharacter : Class ;
- fun AlphabeticCharacter_Class : SubClass AlphabeticCharacter Character ;
-
- -- Tiny sacs in the Lung which absorb Oxygen
- -- which is delivered to them by the BronchialDucts.
- fun Alveolus : Class ;
- fun Alveolus_Class : SubClass Alveolus (both AnimalAnatomicalStructure BodyVessel) ;
-
- -- Any Maneuver in a ViolentContest where one
- -- contestParticipant attempts to conceal himself from another
- -- contestParticipant so that he can Attack the other
- -- contestParticipant.
- fun Ambush : Class ;
- fun Ambush_Class : SubClass Ambush Maneuver ;
-
- -- Organic acids that are the building blocks of
- -- Proteins.
- fun AminoAcid : Class ;
- fun AminoAcid_Class : SubClass AminoAcid (both ChemicalAcid OrganicCompound) ;
-
- -- A very large Boa that is found in South America.
- fun Anaconda : Class ;
- fun Anaconda_Class : SubClass Anaconda ConstrictorSnake ;
-
- -- An RecreationOrExerciseDevice whose purpose
- -- is to develop Muscles without also developing the cardiovascular system.
- fun AnaerobicExerciseDevice : Class ;
- fun AnaerobicExerciseDevice_Class : SubClass AnaerobicExerciseDevice RecreationOrExerciseDevice ;
-
- -- An AttachingDevice which is large hook or set of hooks
- -- that are used to secure a Ship on the open water.
- fun Anchor : Class ;
- fun Anchor_Class : SubClass Anchor AttachingDevice ;
-
- -- The state of being wrathful, irate or indignant.
- fun Anger : Ind EmotionalState ;
-
- -- AnimalAgriculturalProduct is the class of AgriculturalProducts
- -- that are animal in nature, including meat, fish, dairy products,
- -- hides, furs, animal fats and oils, etc.
- fun AnimalAgriculturalProduct : Class ;
- fun AnimalAgriculturalProduct_Class : SubClass AnimalAgriculturalProduct AgriculturalProduct ;
-
- -- Any Device which is used to control the
- -- movements of an Animal or Human, e.g. leashes, reins, harnesses, muzzles,
- -- bridles, shackles, handcuffs, etc.
- fun AnimalController : Class ;
- fun AnimalController_Class : SubClass AnimalController Device ;
-
- -- AnimalPoweredDevice is the subclass
- -- of Devices that function with power supplied by animals. Examples:
- -- oxcarts, horse_drawn plows, mule_driven mills.
- fun AnimalPoweredDevice : Class ;
- fun AnimalPoweredDevice_Class : SubClass AnimalPoweredDevice Device ;
-
- -- An Artifact which is intended to house
- -- Animals and not Humans. Note that an AnimalResidence may or may not
- -- be a StationaryArtifact, e.g. a horse stall is stationary while a doghouse
- -- generally is not.
- fun AnimalResidence : Class ;
- fun AnimalResidence_Class : SubClass AnimalResidence Artifact ;
-
- -- A hard shell of calcium that serves as a
- -- supporting structure for some Invertebrates.
- fun AnimalShell : Class ;
- fun AnimalShell_Class : SubClass AnimalShell (both AnimalAnatomicalStructure BodyPart) ;
-
- -- A GroupOfAnimals which are Pulling something.
- fun AnimalTeam : Class ;
- fun AnimalTeam_Class : SubClass AnimalTeam GroupOfAnimals ;
-
- -- The joint in the Leg that connects the tibia and the
- -- fibula to the talus.
- fun Ankle : Class ;
- fun Ankle_Class : SubClass Ankle BodyJoint ;
-
- -- Any Text which contains information about
- -- an event in the future.
- fun Announcement : Class ;
- fun Announcement_Class : SubClass Announcement FactualText ;
-
- -- Responding to a Questioning, i.e. trying to answer
- -- someone's question.
- fun Answering : Class ;
- fun Answering_Class : SubClass Answering Stating ;
-
- -- A colony Insect of three types: males,
- -- QueenInsect, and worker ants.
- fun AntInsect : Class ;
- fun AntInsect_Class : SubClass AntInsect Insect ;
-
- -- The class of TimeIntervals that begin at midnight
- -- and end at noon.
- fun AnteMeridiem : Class ;
- fun AnteMeridiem_Class : SubClass AnteMeridiem TimeInterval ;
-
- -- A HoofedMammal with long legs and backward_facing horns.
- -- This class includes gazelles, addax, blackbucks, etc.
- fun Antelope : Class ;
- fun Antelope_Class : SubClass Antelope HoofedMammal ;
-
- -- A CommunicationDevice which enables or improves
- -- the reception of RadioEmissions by another CommunicationDevice (the
- -- radio or television receiver).
- fun Antenna : Class ;
- fun Antenna_Class : SubClass Antenna CommunicationDevice ;
-
- -- The field of anthropology.
- fun Anthropology : Ind SocialScience ;
-
- -- A BiologicallyActiveSubstance than can kill
- -- instances of Bacterium.
- fun Antibiotic : Class ;
- fun Antibiotic_Class : SubClass Antibiotic BiologicallyActiveSubstance ;
-
- -- An immunoglobulin which is produced by the body
- -- and which has the ability to neutralize Antigens.
- fun Antibody : Class ;
- fun Antibody_Class : SubClass Antibody Protein ;
-
- -- Any BiologicallyActiveSubstance that has the
- -- capacity to stimulate the production of Antibodies.
- fun Antigen : Class ;
- fun Antigen_Class : SubClass Antigen BiologicallyActiveSubstance ;
-
- -- An Antigen that is carried in the red blood
- -- cells of those with BloodTypeA.
- fun AntigenA : Class ;
- fun AntigenA_Class : SubClass AntigenA Antigen ;
-
- -- An Antigen that is carried in the red blood
- -- cells of those with BloodTypeB.
- fun AntigenB : Class ;
- fun AntigenB_Class : SubClass AntigenB Antigen ;
-
- -- The BeliefGroup that is characterized by a
- -- dislike for Judaism.
- fun Antisemitism : Ind BeliefGroup ;
-
- -- The state of being worried, troubled or uneasy.
- fun Anxiety : Ind EmotionalState ;
-
- -- A ResidentialBuilding containing
- -- ApartmentUnits.
- fun ApartmentBuilding : Class ;
- fun ApartmentBuilding_Class : SubClass ApartmentBuilding ResidentialBuilding ;
-
- -- A SingleFamilyResidence that is not owned
- -- by any member of the SocialUnit that lives there.
- fun ApartmentUnit : Class ;
- fun ApartmentUnit_Class : SubClass ApartmentUnit SingleFamilyResidence ;
-
- -- A FormText whose purpose is to obtain admission
- -- to an Organization or to receive assistance from an Organization.
- fun Application : Class ;
- fun Application_Class : SubClass Application FormText ;
-
- -- Any instance of Declaring by which the
- -- patient is assigned to a Position within an Organization where
- -- the patient previously had no position. For example, the appointments
- -- of people to non_elective offices in a government.
- fun Appointing : Class ;
- fun Appointing_Class : SubClass Appointing Declaring ;
-
- -- An item of Clothing that protects the front and
- -- middle part of the body while one is Cooking or doing other work.
- fun Apron : Class ;
- fun Apron_Class : SubClass Apron Clothing ;
-
- -- The FieldOfStudy of designing Buildings, i.e.
- -- creating Blueprints for Buildings.
- fun Architecture : Ind FieldOfStudy ;
-
- -- Any Stating which has the form of an Argument.
- fun Arguing : Class ;
- fun Arguing_Class : SubClass Arguing Stating ;
-
- -- The upper Limbs of a Primate.
- fun Arm : Class ;
- fun Arm_Class : SubClass Arm Limb ;
-
- -- MilitaryServices that are land forces.
- fun Army : Class ;
- fun Army_Class : SubClass Army MilitaryService ;
-
- -- The final part of any instance of Translocation.
- fun Arriving : Class ;
- fun Arriving_Class : SubClass Arriving Translocation ;
-
- -- An Icon which has the shape of an arrow and
- -- which is used to indicate direction or a relationship betwee two things.
- fun ArrowFigure : Class ;
- fun ArrowFigure_Class : SubClass ArrowFigure Icon ;
-
- -- An Icon which has the shape of an arrow and which
- -- is used to indicate direction or a relationship betwee two things.
- fun ArrowIcon : Class ;
- fun ArrowIcon_Class : SubClass ArrowIcon Icon ;
-
- -- A long, thin Projectile with a pointed tip is
- -- fired from a bow.
- fun ArrowProjectile : Class ;
- fun ArrowProjectile_Class : SubClass ArrowProjectile Projectile ;
-
- -- An act where an agent sets something which it does not possess
- -- on fire in order to destroy it or its contents.
- fun Arson : Class ;
- fun Arson_Class : SubClass Arson (both Combustion Destruction) ;
-
- -- The Profession of reporting and critiquing current
- -- ArtWorks.
- fun ArtCritic : Ind Journalist ;
-
- -- Any ContentDevelopment that results in a
- -- PaintedPicture.
- fun ArtPainting : Class ;
- fun ArtPainting_Class : SubClass ArtPainting (both ContentDevelopment Painting) ;
-
- -- Any School whose aim is to teach students
- -- how to create ArtWorks.
- fun ArtSchool : Class ;
- fun ArtSchool_Class : SubClass ArtSchool School ;
-
- -- A Workshop, which is
- -- devoted to the creation of ArtWorks.
- fun ArtStudio : Class ;
- fun ArtStudio_Class : SubClass ArtStudio Workshop ;
-
- -- Any BloodVessel which transfers Blood from
- -- the Heart to the extremities of the body.
- fun Artery : Class ;
- fun Artery_Class : SubClass Artery BloodVessel ;
-
- -- A Gun that is too large to be carried and fired
- -- by a single Human. Typically, ArtilleryGuns are on wheels.
- fun ArtilleryGun : Class ;
- fun ArtilleryGun_Class : SubClass ArtilleryGun Gun ;
-
- -- AtmosphericRegion is the class of
- -- all subregions of EarthsAtmosphere.
- fun AtmosphericRegion : Class ;
- fun AtmosphericRegion_Class : SubClass AtmosphericRegion SpaceRegion ;
-
- -- Two or more Atoms that are bound together and
- -- comprise part of a Molecule.
- fun AtomicGroup : Class ;
- fun AtomicGroup_Class : SubClass AtomicGroup CompoundSubstance ;
-
- -- Any decrease in the size of a BodyPart which is due to
- -- disease or lack of use.
- fun Atrophy : Class ;
- fun Atrophy_Class : SubClass Atrophy (both Decreasing PathologicProcess) ;
-
- -- The Profession of practicing law, whether as a
- -- judge or as a legal advocate.
- fun Attorney : Class ;
-
- -- The head law officer of a GeopoliticalArea,
- -- usually a Nation or StateOrProvince.
- fun AttorneyGeneral : Ind (both Profession GovernmentOfficer) ;
-
- -- A representation of sound on some medium such
- -- as wax cylinder, vinyl record, magnetic tape, CD or flash memory, that is
- -- intended to be used in some machine to reproduce that sound.
- fun AudioRecording : Class ;
- fun AudioRecording_Class : SubClass AudioRecording (both ContentBearingObject Text) ;
-
- -- Any Building whose purpose is to hold concerts,
- -- sports events, plays, etc. before an audience. This class includes theaters,
- -- sports stadiums, university auditoriums, etc.
- fun Auditorium : Class ;
- fun Auditorium_Class : SubClass Auditorium Building ;
-
- -- A Seat within an Auditorium from which one
- -- can observe the PerformanceStage.
- fun AuditoriumSeat : Class ;
- fun AuditoriumSeat_Class : SubClass AuditoriumSeat Seat ;
-
- -- A Gun that fires a burst of Projectiles
- -- with each pull of the trigger. Also known as a machine gun.
- fun AutomaticGun : Class ;
- fun AutomaticGun_Class : SubClass AutomaticGun Gun ;
-
- -- Automobile is a subclass of
- -- SelfPoweredRoadVehicles including passenger cars, family vans, light
- -- trucks, and sport utility vehicles. In general, this class covers
- -- four_wheeled passenger road vehicles.
- fun Automobile : Class ;
- fun Automobile_Class : SubClass Automobile (both PassengerVehicle SelfPoweredRoadVehicle) ;
-
- -- Axle is a class of Devices each of which can
- -- be paired with two VehicleWheels to rotate and move a RoadVehicle.
- fun Axle : Class ;
- fun Axle_Class : SubClass Axle Device ;
-
- -- A disease that is caused by instances of
- -- Bacterium.
- fun BacterialDisease : Class ;
- fun BacterialDisease_Class : SubClass BacterialDisease InfectiousDisease ;
-
- -- Any Container which is made of Fabric.
- fun Bag : Class ;
- fun Bag_Class : SubClass Bag Container ;
-
- -- Any instance of Cooking where the instrument
- -- is an Oven.
- fun Baking : Class ;
- fun Baking_Class : SubClass Baking (both Cooking Heating) ;
-
- -- Any GamePiece which has the shape of a sphere.
- fun Ball : Class ;
- fun Ball_Class : SubClass Ball GamePiece ;
-
- -- A Missile which is guided for the first stage
- -- of its flight but then falls to its target for the second stage.
- fun BallisticMissile : Class ;
- fun BallisticMissile_Class : SubClass BallisticMissile Missile ;
-
- -- A FormText which is used in Voting. A list of
- -- candidates is printed on the form, and the voter selects the candidate he/she
- -- wants to vote for.
- fun Ballot : Class ;
- fun Ballot_Class : SubClass Ballot FormText ;
-
- -- A piece of Fabric that is used in Covering an
- -- open wound.
- fun Bandage : Class ;
- fun Bandage_Class : SubClass Bandage Fabric ;
-
- -- Any SkilledOccupation which involves working in a
- -- FinancialBank.
- fun Banker : Ind SkilledOccupation ;
-
- -- A ReligiousProcess which marks the acceptance of
- -- the person being baptized into the ReligiousOrganization.
- fun Baptizing : Class ;
- fun Baptizing_Class : SubClass Baptizing (both JoiningAnOrganization ReligiousProcess) ;
-
- -- Offering to sell something to someone at a
- -- reduced price.
- fun BargainSale : Class ;
- fun BargainSale_Class : SubClass BargainSale Offering ;
-
- -- Any instance of RadiatingSound which is produced
- -- by a Canine.
- fun Barking : Class ;
- fun Barking_Class : SubClass Barking RadiatingSound ;
-
- -- A Building on a Farm that is used for keeping
- -- DomesticAnimals, Fodder or harvested crops.
- fun Barn : Class ;
- fun Barn_Class : SubClass Barn Building ;
-
- fun BaseballBase : Class ;
-
- -- A BuildingLevel which satisfies two conditions, viz. it is
- -- lower than all of the other BuildingLevels in the same Building and it is below
- -- ground level.
- fun Basement : Class ;
- fun Basement_Class : SubClass Basement BuildingLevel ;
-
- -- Washing the entire body of a Human or Animal.
- fun Bathing : Class ;
- fun Bathing_Class : SubClass Bathing Washing ;
-
- -- A WashingDevice which is intended to be used by
- -- Humans for washing their bodies. Note that this class covers bathtubs, showers,
- -- etc.
- fun BathingDevice : Class ;
- fun BathingDevice_Class : SubClass BathingDevice WashingDevice ;
-
- -- A Room that contains a WashBasin and possibly a Toilet.
- fun Bathroom : Class ;
- def Bathroom = KappaFn Room (\R -> exists Toilet (\T -> located (var Toilet Physical ? T) (var Room Object ? R)));
-
- -- A thin stick which is used for OrchestralConducting.
- fun Baton : Class ;
- fun Baton_Class : SubClass Baton Device ;
-
- -- The process of transitioning from a state of
- -- being Sober to a state of being Drunk.
- fun BecomingDrunk : Class ;
- fun BecomingDrunk_Class : SubClass BecomingDrunk PsychologicalProcess ;
-
- -- A piece of Furniture which is primarily for sleeping.
- fun Bed : Class ;
- fun Bed_Class : SubClass Bed Furniture ;
-
- -- A Room intended primarily for sleeping.
- fun Bedroom : Class ;
- fun Bedroom_Class : SubClass Bedroom Room ;
-
- -- A hairy Insect, some species of which produce honey
- -- and/or sting.
- fun Bee : Class ;
- fun Bee_Class : SubClass Bee Insect ;
-
- -- Meat that was originally part of a Cow.
- fun Beef : Class ;
- fun Beef_Class : SubClass Beef Meat ;
-
- -- An AlcoholicBeverage that is prepared by fermenting
- -- malt and hops.
- fun Beer : Class ;
- fun Beer_Class : SubClass Beer AlcoholicBeverage ;
-
- -- The TimeInterval that runs from
- -- NegativeInfinity to the time of the birth of Christ.
- fun BeforeCommonEra : Ind TimeInterval ;
-
- -- The process of an Organization
- -- commencing operations. In the case of a Corporation, this would be
- -- the process of going into business.
- fun BeginningOperations : Class ;
- fun BeginningOperations_Class : SubClass BeginningOperations OrganizationalProcess ;
-
- -- A PercussionInstrument that produces a single tone
- -- when it is struck.
- fun Bell : Class ;
- fun Bell_Class : SubClass Bell PercussionInstrument ;
-
- -- A piece of Clothing that is worn around the waist
- -- to restrain another piece of clothing.
- fun Belt : Class ;
- fun Belt_Class : SubClass Belt Clothing ;
-
- -- Any UnilateralGiving where the agent
- -- wills some part of his/her property to someone else upon his/her death.
- fun Bequeathing : Class ;
- fun Bequeathing_Class : SubClass Bequeathing UnilateralGiving ;
-
- -- A HistoricalAccount which is concerned
- -- with the life of a single Human.
- fun Biography : Class ;
- fun Biography_Class : SubClass Biography HistoricalAccount ;
-
- -- The production of a zygote from the fusion
- -- of a male and female gamete.
- fun BiologicalConception : Class ;
- fun BiologicalConception_Class : SubClass BiologicalConception OrganOrTissueProcess ;
-
- -- The Class of all biological species, i.e.
- -- the class of all classes of Organism whose instances can interbreed.
- fun BiologicalSpecies : Class ;
-
- -- The study of the classification, development, and
- -- functioning of Organisms.
- fun Biology : Ind Science ;
-
- -- Any DiagnosticProcess which involves the examination of
- -- BodySubstances taken from a living Organism.
- fun Biopsy : Class ;
- fun Biopsy_Class : SubClass Biopsy (both DiagnosticProcess Removing) ;
-
- -- Any Egg that is produced by a Bird.
- fun BirdEgg : Class ;
- fun BirdEgg_Class : SubClass BirdEgg Egg ;
-
- -- Any instance of Grabbing where the instrument is
- -- the Mouth of the agent.
- fun Biting : Class ;
- fun Biting_Class : SubClass Biting Grabbing ;
-
- -- A piece of Fabric whose purpose is to keep a
- -- person who is in bed warm.
- fun Blanket : Class ;
- fun Blanket_Class : SubClass Blanket Fabric ;
-
- -- The release of Blood from an Animal in response
- -- to an Injuring of some sort.
- fun Bleeding : Class ;
- fun Bleeding_Class : SubClass Bleeding AutonomicProcess ;
-
- -- The Attribute that applies to Animals and Humans
- -- that are unable to see.
- fun Blind : Ind BiologicalAttribute ;
-
- -- Any Process where the stomach or instestines of a
- -- Human or Animal become distended from excessive gas.
- fun Bloating : Class ;
- fun Bloating_Class : SubClass Bloating (both Increasing PathologicProcess) ;
-
- -- Any Maneuver in a Contest where one
- -- contestParticipant attempts to deny access to something that is wanted
- -- by another contestParticipant.
- fun Blockade : Class ;
- fun Blockade_Class : SubClass Blockade Maneuver ;
-
- -- A Cell that is normally present in Blood.
- fun BloodCell : Class ;
- fun BloodCell_Class : SubClass BloodCell (both AnimalAnatomicalStructure Cell) ;
-
- -- The subclass of Blood that contains AntigenA
- -- and does not contain AntigenB.
- fun BloodTypeA : Class ;
- fun BloodTypeA_Class : SubClass BloodTypeA Blood ;
-
- -- The subclass of Blood that contains both
- -- AntigenA and AntigenB.
- fun BloodTypeAB : Class ;
- fun BloodTypeAB_Class : SubClass BloodTypeAB Blood ;
-
- -- The subclass of Blood that contains AntigenB
- -- and does not contain AntigenA.
- fun BloodTypeB : Class ;
- fun BloodTypeB_Class : SubClass BloodTypeB Blood ;
-
- -- The subclass of Blood that contains neither
- -- AntigenA nor AntigenB.
- fun BloodTypeO : Class ;
- fun BloodTypeO_Class : SubClass BloodTypeO Blood ;
-
- -- Any BodyVessel which is used to circulate
- -- Blood from one part of the body to another.
- fun BloodVessel : Class ;
- fun BloodVessel_Class : SubClass BloodVessel (both AnimalAnatomicalStructure BodyVessel) ;
-
- -- An Icon which is a scale model of an Artifact,
- -- whether the Artifact actually exists or not.
- fun Blueprint : Class ;
- fun Blueprint_Class : SubClass Blueprint Icon ;
-
- -- The process of turning red in response to a
- -- stimulus which has a deep emotional effect.
- fun Blushing : Class ;
- fun Blushing_Class : SubClass Blushing AutonomicProcess ;
-
- -- A piece of material with flat, rectangular sides.
- -- Note that boards and blocks are lumped into a single concept, because the
- -- difference between these notions cannot be precisely defined.
- fun BoardOrBlock : Class ;
- fun BoardOrBlock_Class : SubClass BoardOrBlock Artifact ;
-
- -- Getting on a Vehicle, e.g. getting into an
- -- Automobile, boarding an Aircraft, etc.
- fun Boarding : Class ;
- fun Boarding_Class : SubClass Boarding Translocation ;
-
- -- One of the levels of a WaterVehicle, e.g. the
- -- upper deck and lower deck of small boats with a cabin.
- fun BoatDeck : Class ;
- fun BoatDeck_Class : SubClass BoatDeck Artifact ;
-
- -- BodyJunctions where different parts of the same
- -- Skeleton come together.
- fun BodyJoint : Class ;
- fun BodyJoint_Class : SubClass BodyJoint BodyJunction ;
-
- -- A BodyOfWater is a connected body of
- -- water with established boundaries marked by either geographical features
- -- or conventional borders.
- fun BodyOfWater : Class ;
- fun BodyOfWater_Class : SubClass BodyOfWater (both SelfConnectedObject WaterArea) ;
-
- -- A weapon that explodes in order to cause damage.
- fun Bomb : Class ;
- fun Bomb_Class : SubClass Bomb (both ExplosiveDevice Weapon) ;
-
- -- Any MilitaryAircraft whose purpose is to deliver
- -- ExplosiveDevices.
- fun Bomber : Class ;
- fun Bomber_Class : SubClass Bomber MilitaryAircraft ;
-
- -- An act of Destruction where the thing destroyed
- -- is destroyed by means of an explosive device.
- fun Bombing : Class ;
- fun Bombing_Class : SubClass Bombing Destruction ;
-
- -- BotanicalTree is an imprecise term
- -- for a perennial woody plant that is larger than a bush or shrub,
- -- generally understood to describe a large growth having one main trunk
- -- with few or no branches projecting from its base, a well_developed crown
- -- of foliage, and a height at maturity of at least 12 feet.
- fun BotanicalTree : Class ;
- fun BotanicalTree_Class : SubClass BotanicalTree FloweringPlant ;
-
- -- A Container whose top is narrower than its bottom, which
- -- has no handle, and which is intended to store Liquids.
- fun Bottle : Class ;
- fun Bottle_Class : SubClass Bottle FluidContainer ;
-
- -- Any downward motion of the body that indicates respect
- -- for or submission to another Agent.
- fun Bowing : Class ;
- fun Bowing_Class : SubClass Bowing (both Gesture (both Inclining MotionDownward)) ;
-
- -- Any six_sided Container whose sides are
- -- rectangular in shape.
- fun Box : Class ;
- fun Box_Class : SubClass Box Container ;
-
- -- A HumanChild who is Male.
- fun Boy : Class ;
- fun Boy_Class : SubClass Boy (both HumanChild Man) ;
-
- -- The seat of the central nervous system.
- fun Brain : Class ;
- fun Brain_Class : SubClass Brain (both AnimalAnatomicalStructure Organ) ;
-
- -- A DistilledAlcoholicBeverage that is prepared by
- -- distilling Wine.
- fun Brandy : Class ;
- fun Brandy_Class : SubClass Brandy DistilledAlcoholicBeverage ;
-
- -- A MetallicAlloy made from Copper and Zinc.
- fun Brass : Class ;
- fun Brass_Class : SubClass Brass MetallicAlloy ;
-
- -- Food that consists largely of grain flour
- -- and water. Note that this class covers crackers, cookies, as well as any
- -- self_connected instance of bread, whether it is a loaf, a slice, a chunk
- -- of bread, etc.
- fun BreadOrBiscuit : Class ;
- fun BreadOrBiscuit_Class : SubClass BreadOrBiscuit PreparedFood ;
-
- -- A subclass of Attributes for
- -- characterizing the breakability of CorpuscularObjects.
- fun BreakabilityAttribute : Class ;
- fun BreakabilityAttribute_Class : SubClass BreakabilityAttribute InternalAttribute ;
-
- -- The paired Organs which are part of the chests
- -- of Primates.
- fun Breast : Class ;
- fun Breast_Class : SubClass Breast (both AnimalAnatomicalStructure Organ) ;
-
- -- A block of fired Clay that is used in Constructing.
- fun Brick : Class ;
- fun Brick_Class : SubClass Brick BoardOrBlock ;
-
- -- A MilitaryGeneral that ranks below
- -- a MajorGeneral.
- fun BrigadierGeneral : Class ;
- fun BrigadierGeneral_Class : SubClass BrigadierGeneral MilitaryGeneral ;
-
- -- BroadcastNetwork is the subclass of
- -- CommunicationSystems consisting of BroadcastingStations that are linked
- -- electronically and managed or owned by one organization.
- fun BroadcastNetwork : Class ;
- fun BroadcastNetwork_Class : SubClass BroadcastNetwork CommunicationSystem ;
-
- -- A Series of episodes that are broadcast
- -- on television or radio.
- fun BroadcastProgram : Class ;
- fun BroadcastProgram_Class : SubClass BroadcastProgram Series ;
-
- -- Disseminating information by using a
- -- CommunicationDevice that radiates RadioEmissions.
- fun Broadcasting : Class ;
- fun Broadcasting_Class : SubClass Broadcasting (both Disseminating RadioEmission) ;
-
- -- Any BodyVessel which is located in a
- -- Lung and which carries oxygen from the trachea to the alveoli.
- fun BronchialDuct : Class ;
- fun BronchialDuct_Class : SubClass BronchialDuct (both AnimalAnatomicalStructure BodyVessel) ;
-
- -- A GroupOfAnimals that are all born at the same time
- -- and to the same parents.
- fun Brood : Class ;
- fun Brood_Class : SubClass Brood GroupOfAnimals ;
-
- -- A BrushOrComb whose purpose is to remove dirt and other
- -- small particles from floors.
- fun Broom : Class ;
- fun Broom_Class : SubClass Broom BrushOrComb ;
-
- -- A SecondaryColor that resembles the color of wood or
- -- of soil.
- fun Brown : Ind SecondaryColor ;
-
- -- A Device which consists of a handle and bristles and
- -- whose purpose is to remove particles from something or to smooth something out.
- fun BrushOrComb : Class ;
- fun BrushOrComb_Class : SubClass BrushOrComb Device ;
-
- -- A globe which has a Liquid surface and which contains
- -- a Gas.
- fun Bubble : Class ;
- fun Bubble_Class : SubClass Bubble CorpuscularObject ;
-
- -- A HoofedMammal with long hair whose habitat is the
- -- plains of NorthAmerica.
- fun Buffalo : Class ;
- fun Buffalo_Class : SubClass Buffalo HoofedMammal ;
-
- -- A HornInstrument that has no valves.
- fun Bugle : Class ;
- fun Bugle_Class : SubClass Bugle HornInstrument ;
-
- -- The story or level of a building, e.g. the Basement,
- -- the Attic, the ground level, the fourteenth floor, etc.
- fun BuildingLevel : Class ;
- fun BuildingLevel_Class : SubClass BuildingLevel StationaryArtifact ;
-
- -- A Cow that is Male.
- fun Bull : Class ;
- def Bull = KappaFn Cow (\B -> attribute (var Cow Object ? B) (el SexAttribute Attribute ? Male)) ;
-
- -- A Projectile that is designed to be fired by a Gun.
- fun Bullet : Class ;
- fun Bullet_Class : SubClass Bullet Projectile ;
-
- -- A large Bee which lacks a stinger.
- fun BumbleBee : Class ;
- fun BumbleBee_Class : SubClass BumbleBee Bee ;
-
- -- A small Cave created by an Animal for the purpose
- -- of inhabiting it.
- fun Burrow : Class ;
- fun Burrow_Class : SubClass Burrow Cave ;
-
- -- Putting something in the ground and then covering
- -- it with Soil.
- fun Burying : Class ;
- fun Burying_Class : SubClass Burying (both Digging Putting) ;
-
- -- Bus is the subclass of SelfPoweredRoadVehicles
- -- that can transport large numbers of passengers (i.e., dozens) at one
- -- time. It can be distinguished from a van which is
- -- designed to carry less than a dozen people.
- fun Bus : Class ;
- fun Bus_Class : SubClass Bus SelfPoweredRoadVehicle ;
-
- -- An area, often, though not necessarily with
- -- seats or some kind of minimal shelter, where people gather to meet and
- -- board a bus. It must border a road.
- fun BusStop : Class ;
- fun BusStop_Class : SubClass BusStop GeographicArea ;
-
- -- Any Contest where the contestParticipants
- -- are Corporations and the aim is to win as many customers as possible.
- fun BusinessCompetition : Class ;
- fun BusinessCompetition_Class : SubClass BusinessCompetition Contest ;
-
- -- Any of a class of people in a professional
- -- occupation such as banking, finance, management, or engineering. This is
- -- distinguished from blue collar jobs that primarily involve manual labor
- -- rather than thought as the effort expended to derive remuneration. It is
- -- also distinguished from professions that may be outwardly similar but are
- -- done in a non_profit organization.
- fun BusinessPerson : Ind OccupationalRole ;
-
- -- An emulsion of fat which is produced by churning Milk.
- fun Butter : Class ;
- fun Butter_Class : SubClass Butter (both DairyProduct PreparedFood) ;
-
- -- An AttachingDevice that is used on Clothing.
- fun Button : Class ;
- fun Button_Class : SubClass Button AttachingDevice ;
-
- -- Any Restaurant which does not offer table service.
- -- Food is selected and purchased at a central counter.
- fun Cafeteria : Class ;
- fun Cafeteria_Class : SubClass Cafeteria Restaurant ;
-
- -- A young Cow, i.e. a Cow that is NonFullyFormed.
- fun Calf : Class ;
- def Calf = KappaFn Cow (\C -> attribute (var Cow Object ? C) (el DevelopmentalAttribute Attribute ? NonFullyFormed));
-
- -- A Device which is capable of Photographing.
- fun Camera : Class ;
- fun Camera_Class : SubClass Camera Device ;
-
- -- A MobileResidence consisting of tents and other temporary
- -- living quarters that is constructed on an undeveloped LandArea.
- fun Camp : Class ;
- fun Camp_Class : SubClass Camp MobileResidence ;
-
- -- A LandArea whose purpose is to have MobileResidences
- -- (e.g. recreational vehicles, mobile homes, Tents, etc.) located there.
- fun Campground : Class ;
- fun Campground_Class : SubClass Campground LandArea ;
-
- -- A DiseaseOrSyndrome characterized by pathologic and
- -- uncontrolled cell division that results in a Tumor.
- fun Cancer : Ind DiseaseOrSyndrome ;
-
- -- An LightFixture that consists of Wax and a wick,
- -- which is lit with a flame.
- fun Candle : Class ;
- fun Candle_Class : SubClass Candle LightFixture ;
-
- -- A very small BloodVessel that connects arterioles
- -- (very small Arteries) with venules (very small Veins).
- fun Capillary : Class ;
- fun Capillary_Class : SubClass Capillary BloodVessel ;
-
- -- A commissioned MilitaryOfficer who ranks
- -- above a Lieutenant but below a MajorOfficer.
- fun CaptainOfficer : Class ;
- fun CaptainOfficer_Class : SubClass CaptainOfficer MilitaryOfficer ;
-
- -- A Capturing is a ChangeOfControl event in which an Agent
- -- gains physical control over another Agent.
- fun Capturing : Class ;
- fun Capturing_Class : SubClass Capturing ChangeOfControl ;
-
- -- A car bombing is an attack in which a car is
- -- used as the delivery mechanism for a bomb. The car is usually destroyed
- -- in the blast if the bomb detonates successfully.
- fun CarBombing : Class ;
- fun CarBombing_Class : SubClass CarBombing Bombing ;
-
- -- Any Organization whose purpose is to
- -- provide medical care for for Humans who reside there, either permanently
- -- or temporarily.
- fun CareOrganization : Class ;
- fun CareOrganization_Class : SubClass CareOrganization Organization ;
-
- -- A Vehicle that is designed to
- -- carry Objects. Note that Vehicles that are primarily designed to carry
- -- people rather than cargo may still carry cargo. For example, a passenger sedan
- -- might be capable of carrying lumber strapped to the roof. For this
- -- reason, PassengerVehicle and CargoVehicle are not disjoint.
- fun CargoVehicle : Class ;
- fun CargoVehicle_Class : SubClass CargoVehicle Vehicle ;
-
- -- Any occupation that involves creating and repairing
- -- structural and decorative portions of Buildings that are made chiefly of Wood.
- -- This does not include plumbing, roofing, electrical, foundation and site work.
- fun Carpenter : Ind OccupationalTrade ;
-
- -- Making Buildings out of Wood.
- fun Carpentry : Class ;
- fun Carpentry_Class : SubClass Carpentry Making ;
-
- -- Any Maneuver in a Game which results in a
- -- situation where the agent grasps the Ball.
- fun Catching : Class ;
- fun Catching_Class : SubClass Catching (both Maneuver Touching) ;
-
- -- Any Process whose result is that the
- -- patient of the process is happy.
- fun CausingHappiness : Class ;
- fun CausingHappiness_Class : SubClass CausingHappiness Process ;
-
- -- Any Process whose result is that the
- -- patient of the process is in Pain.
- fun CausingPain : Class ;
- fun CausingPain_Class : SubClass CausingPain CausingUnhappiness ;
-
- -- Any Process whose result is that the
- -- patient of the process is unhappy.
- fun CausingUnhappiness : Class ;
- fun CausingUnhappiness_Class : SubClass CausingUnhappiness Process ;
-
- -- MilitaryUnits composed primarily of Soldiers
- -- who are mounted, i.e. who perform their combat missions from a Horse or
- -- Vehicle.
- fun CavalryUnit : Class ;
- fun CavalryUnit_Class : SubClass CavalryUnit MilitaryUnit ;
-
- -- A Cave is a naturally formed opening beneath
- -- the surface of the Earth, generally formed by dissolution of carbonate
- -- bedrock. Caves may also form by erosion of coastal bedrock, partial
- -- melting of glaciers, or solidification of lava into hollow tubes.
- fun Cave : Class ;
- fun Cave_Class : SubClass Cave Hole ;
-
- -- The process of an Organization
- -- ceasing operations, i.e. its folding or going out of business in
- -- some other fashion.
- fun CeasingOperations : Class ;
- fun CeasingOperations_Class : SubClass CeasingOperations OrganizationalProcess ;
-
- -- A StationaryArtifact that is the top surface
- -- of a Room.
- fun Ceiling : Class ;
- fun Ceiling_Class : SubClass Ceiling StationaryArtifact ;
-
- -- Anyone who is known by a large number of people,
- -- either explicitly by name, or by action.
- fun Celebrity : Class ;
-
- -- The part of the Cell that contains DNA and
- -- RNA.
- fun CellNucleus : Class ;
- fun CellNucleus_Class : SubClass CellNucleus OrganicObject ;
-
- -- The main component of Plant Tissue.
- fun Cellulose : Class ;
- fun Cellulose_Class : SubClass Cellulose (both Carbohydrate PlantSubstance) ;
-
- -- A LandArea which is used for burying the dead.
- fun Cemetery : Class ;
- fun Cemetery_Class : SubClass Cemetery LandArea ;
-
- -- Any instance of Rotating where there is
- -- Motion away from the center of the Rotating.
- fun CentrifugalMotion : Class ;
- fun CentrifugalMotion_Class : SubClass CentrifugalMotion Rotating ;
-
- -- Any instance of Rotating where there is
- -- Motion towards the center of the Rotating.
- fun CentripetalMotion : Class ;
- fun CentripetalMotion_Class : SubClass CentripetalMotion Rotating ;
-
- -- The TimeDuration of 100 years.
- fun CenturyDuration : Ind UnitOfDuration ;
-
- -- Any Seed which is produced by the cereal grasses,
- -- e.g. rice, corn, wheat, etc.
- fun CerealGrain : Class ;
- fun CerealGrain_Class : SubClass CerealGrain (both (both Food Seed) PlantAgriculturalProduct) ;
-
- -- A Seat that is designed to accommodate a single
- -- Human.
- fun Chair : Class ;
- fun Chair_Class : SubClass Chair Seat ;
-
- -- A ChangeOfControl is an event in which an agent gains
- -- physical control over some object that was previously controlled
- -- by a different agent.
- fun ChangeOfControl : Class ;
- fun ChangeOfControl_Class : SubClass ChangeOfControl AchievingControl ;
-
- -- Any instance of a process of
- -- RemovingClothing and Dressing.
- fun ChangingClothing : Class ;
- fun ChangingClothing_Class : SubClass ChangingClothing Transfer ;
-
- -- A numbered and/or titled
- -- section of a Book, which is typically indicated in a table of
- -- contents for the Book.
- fun Chapter : Class ;
- fun Chapter_Class : SubClass Chapter Article ;
-
- -- An activity of a fee being charged
- fun ChargingAFee : Class ;
- fun ChargingAFee_Class : SubClass ChargingAFee FinancialTransaction ;
-
- -- An Icon which depicts one or more quantities.
- fun Chart : Class ;
- fun Chart_Class : SubClass Chart Icon ;
-
- -- An area on or very near a border, usually along
- -- a road connecting two regions, where MilitaryPersons or Police
- -- restrict the flow of traffic in order to extract tarrifs, deny movement to
- -- certain kinds of people or goods, or other enforement actions. Because of
- -- the power relationship involved, such areas are often the site of illegal
- -- activities conducted by the officials in order to extract favors or
- -- bribes.
- fun Checkpoint : Class ;
- fun Checkpoint_Class : SubClass Checkpoint GeographicArea ;
-
- -- A bitter CompoundSubstance that is capable of
- -- reacting with a ChemicalBase and forming a ChemicalSalt.
- fun ChemicalAcid : Class ;
- fun ChemicalAcid_Class : SubClass ChemicalAcid CompoundSubstance ;
-
- -- An attack against people or property in which
- -- a chemical agent is used as the active ingredient of the attack.
- fun ChemicalAttack : Class ;
- fun ChemicalAttack_Class : SubClass ChemicalAttack ViolentContest ;
-
- -- A CompoundSubstance that is capable of
- -- reacting with a ChemicalAcid and forming a ChemicalSalt.
- fun ChemicalBase : Class ;
- fun ChemicalBase_Class : SubClass ChemicalBase CompoundSubstance ;
-
- -- The Attribute of being in a chemically
- -- stable state, i.e. the relative proportions of resources and results will
- -- not longer change.
- fun ChemicalEquilibrium : Ind InternalAttribute ;
-
- -- Any ChemicalProcess where Electrons
- -- are added to the substance undergoing the ChemicalProcess.
- fun ChemicalReduction : Class ;
- fun ChemicalReduction_Class : SubClass ChemicalReduction ChemicalSynthesis ;
-
- -- A bitter CompoundSubstance that is formed in a
- -- chemical reaction of a ChemicalBase with a ChemicalAcid.
- fun ChemicalSalt : Class ;
- fun ChemicalSalt_Class : SubClass ChemicalSalt CompoundSubstance ;
-
- -- The study of the compositions, properties, and
- -- reactions of Substances.
- fun Chemistry : Ind Science ;
-
- -- Any piece of Furniture which is also a
- -- Container, e.g. a chest of drawers, a memory chest, an armoire, etc.
- fun ChestOrCabinet : Class ;
- fun ChestOrCabinet_Class : SubClass ChestOrCabinet (both Container Furniture) ;
-
- -- Breaking up or mashing Food with one's teeth.
- fun Chewing : Class ;
- fun Chewing_Class : SubClass Chewing BodyMotion ;
-
- -- A subclass of Bird that is raised for its meat
- -- and for its eggs.
- fun Chicken : Class ;
- fun Chicken_Class : SubClass Chicken Poultry ;
-
- -- Meat that was originally part of a Chicken.
- fun ChickenMeat : Class ;
- fun ChickenMeat_Class : SubClass ChickenMeat Meat ;
-
- -- A thin passageway through which Smoke from a controlled
- -- fire is conducted Outside of a Building or Room.
- fun Chimney : Class ;
- fun Chimney_Class : SubClass Chimney (both Device StationaryArtifact) ;
-
- -- A part of the Face which protrudes slightly and which
- -- is lower than all other parts of the Face.
- fun Chin : Class ;
- fun Chin_Class : SubClass Chin (both AnimalAnatomicalStructure BodyPart) ;
-
- -- A Steroid that is produced by the Liver and that
- -- is believed to be closely associated with various cardiological disorders.
- fun Cholesterol : Class ;
- fun Cholesterol_Class : SubClass Cholesterol (both AnimalSubstance Steroid) ;
-
- -- Planning that results in a sequence of dance
- -- steps that are executed as part of a Performance.
- fun Choreographing : Class ;
- fun Choreographing_Class : SubClass Choreographing Planning ;
-
- -- Any instance of the collection of writings which
- -- is regarded as scripture by those who embrace Christianity.
- fun ChristianBible : Class ;
- fun ChristianBible_Class : SubClass ChristianBible Book ;
-
- -- Four books in the New Testament of the
- -- ChristianBible that describe the life and teachings of Jesus Christ
- -- and that are referred to, respectively, as Matthew, Mark, Luke, and John.
- fun ChristianGospel : Class ;
- fun ChristianGospel_Class : SubClass ChristianGospel Text ;
-
- -- Any ReligiousService that is conducted by
- -- members of Christianity.
- fun ChristianService : Class ;
- fun ChristianService_Class : SubClass ChristianService ReligiousService ;
-
- -- Processes of Separating a LiquidMixture or
- -- a GasMixture into some or all of the PureSubstances that comprise it.
- fun Chromatography : Class ;
- fun Chromatography_Class : SubClass Chromatography Separating ;
-
- -- A tube of thin paper containing finely ground
- -- tobacco that is smoked.
- fun CigarOrCigarette : Class ;
- fun CigarOrCigarette_Class : SubClass CigarOrCigarette SmokingDevice ;
-
- -- A slice of a Circle, i.e. any
- -- ClosedTwoDimensionalFigure which consists of two Radii and the arc of
- -- the Circle that they bound.
- fun CircleSector : Class ;
- fun CircleSector_Class : SubClass CircleSector ClosedTwoDimensionalFigure ;
-
- -- Removing the foreskin of the penis. This is
- -- usually performed on infants, but is occasionally performed on adolescents
- -- and adults, either for medical reasons, or after religious conversion. It is
- -- often conducted as a religious rite, since it is prescribed by both the
- -- Jewish and Muslim religions, although it is prevalent also as a social
- -- norm in the UnitedStates and other Nations.
- fun Circumision : Class ;
- fun Circumision_Class : SubClass Circumision (both Removing Surgery) ;
-
- -- (CitizenryFn ?AREA) denotes the
- -- GroupOfPeople who are legal and permanent residents of the
- -- GeopoliticalArea ?AREA.
- fun CitizenryFn : El GeopoliticalArea -> Ind GroupOfPeople ;
-
- -- A square_shaped area surrounded by Roadways
- -- which is part of a City and typically contains Buildings.
- fun CityBlock : Class ;
- fun CityBlock_Class : SubClass CityBlock LandArea ;
-
- -- Any geopoliticalSubdivision of a City.
- fun CityDistrict : Class ;
- fun CityDistrict_Class : SubClass CityDistrict GeopoliticalArea ;
-
- -- CityGovernment is the class of
- -- governments of Cities.
- fun CityGovernment : Class ;
- fun CityGovernment_Class : SubClass CityGovernment Government ;
-
- -- A War in which the fighting GeopoliticalAreas
- -- are both part of the same Nation.
- fun CivilWar : Class ;
- fun CivilWar_Class : SubClass CivilWar War ;
-
- -- Someone who is not a member of an active
- -- MilitaryOrganization.
- fun Civilian : Class ;
- fun Civilian_Class : SubClass Civilian SocialRole ;
-
- -- An AttachingDevice which is designed to attach
- -- two things together by means of a movable part which can be tightened
- -- or loosened.
- fun Clamp : Class ;
- fun Clamp_Class : SubClass Clamp AttachingDevice ;
-
- -- Bringing the Hands together repeatedly to make
- -- a loud noise.
- fun Clapping : Class ;
- fun Clapping_Class : SubClass Clapping (both HandGesture (both Impacting RadiatingSound)) ;
-
- -- A ClassificationScheme is a conceptual structure,
- -- an abstract arrangement of concepts and the relations that link them.
- fun ClassificationScheme : Class ;
- fun ClassificationScheme_Class : SubClass ClassificationScheme Proposition ;
-
- -- Any Room in a School where education
- -- takes place.
- fun Classroom : Class ;
- fun Classroom_Class : SubClass Classroom Room ;
-
- -- The Profession of being in charge of or ministering
- -- to a ReligousOrganization.
- fun Cleric : Class ;
- fun Cleric_Class : SubClass Cleric ReligiousPosition ;
-
- -- The class of Positions where the position
- -- holder is responsible for clerical duties, e.g. typing documents, answering
- -- phones, keeping schedules, etc.
- fun ClericalSecretary : Ind SkilledOccupation ;
-
- -- A piece of Clothing that covers the whole body
- -- except the face (and possibly entire head), hands, and feet.
- fun Cloak : Class ;
- fun Cloak_Class : SubClass Cloak Clothing ;
-
- -- Any Device that measures and represents TimeDuration
- -- or TimePosition.
- fun Clock : Class ;
- fun Clock_Class : SubClass Clock MeasuringDevice ;
-
- -- A relatively small Room used for storage.
- fun Closet : Class ;
- fun Closet_Class : SubClass Closet Room ;
-
- -- The Class of Processes where an aperture is
- -- closed in an Object.
- fun Closing : Class ;
- fun Closing_Class : SubClass Closing Motion ;
-
- -- Completing a Contract of some sort,
- -- e.g. the purchase of a house, closing a business deal, etc.
- fun ClosingContract : Class ;
- fun ClosingContract_Class : SubClass ClosingContract Committing ;
-
- -- The EyeMotion of tensing the eye lids so that
- -- the corneas are not exposed to light.
- fun ClosingEyes : Class ;
- fun ClosingEyes_Class : SubClass ClosingEyes (both Closing EyeMotion) ;
-
- -- A Collection of instances of Clothing that
- -- are designed to be worn together.
- fun ClothingSuit : Class ;
- fun ClothingSuit_Class : SubClass ClothingSuit Collection ;
-
- -- Any occupation that involves training an athlete or a
- -- sports team.
- fun Coach : Ind SkilledOccupation ;
-
- -- CoastGuard is the subclass of GovernmentOrganizations
- -- that enforce the maritime laws of a Nation and guard its Seacoast. This may be
- -- a military or quasi_military organization.
- fun CoastGuard : Class ;
- fun CoastGuard_Class : SubClass CoastGuard GovernmentOrganization ;
-
- -- Clothing that has sleeves and covers from the neck
- -- down. Coats are intended to be worn outdoors.
- fun Coat : Class ;
- fun Coat_Class : SubClass Coat OutdoorClothing ;
-
- -- A Beverage which is prepared by infusing ground,
- -- roasted coffee beans into hot water.
- fun Coffee : Class ;
- fun Coffee_Class : SubClass Coffee (both Beverage PreparedFood) ;
-
- -- A Container for a HumanCorpse.
- fun Coffin : Class ;
- fun Coffin_Class : SubClass Coffin Container ;
-
- -- Any abstract ArtWork that is produced by arranging
- -- bits of paper or photographs.
- fun Collage : Class ;
- fun Collage_Class : SubClass Collage ArtWork ;
-
- -- A piece of Clothing that fits around the Neck.
- -- A Collar is always part of a Coat or a Shirt.
- fun Collar : Class ;
- fun Collar_Class : SubClass Collar Clothing ;
-
- -- A School which admits students who have
- -- graduated from high school and which confers a bachelor's degree,
- -- normally requiring four years of study. Note that a College does
- -- not confer any graduate degrees. For institutions that confer both
- -- bachelor's and graduate degrees, the concept University should be
- -- used.
- fun College : Class ;
- fun College_Class : SubClass College PostSecondarySchool ;
-
- -- The Positions of a student at a PostSecondarySchool
- -- who has completed less than one year at the school.
- fun CollegeFreshman : Ind CollegeStudentPosition ;
-
- -- The Positions of a student at a PostSecondarySchool
- -- who has completed at least two years and less than three years at the school.
- fun CollegeJunior : Ind CollegeStudentPosition ;
-
- -- The Positions of a student at a PostSecondarySchool
- -- who has completed at least three years and less than four years at the school.
- fun CollegeSenior : Ind CollegeStudentPosition ;
-
- -- The Positions of a student at a PostSecondarySchool
- -- who has completed at least one year and less than two years at the school.
- fun CollegeSophomore : Ind CollegeStudentPosition ;
-
- -- Any Position at a PostSecondarySchool
- -- which is occupied exclusively by students.
- fun CollegeStudentPosition : Class ;
- fun CollegeStudentPosition_Class : SubClass CollegeStudentPosition Position ;
-
- -- A commissioned MilitaryOfficer who ranks above
- -- a lieutenant colonel and below a brigadier general.
- fun Colonel : Class ;
- fun Colonel_Class : SubClass Colonel MilitaryOfficer ;
-
- -- Positions which involve performing stand_up comedy, which
- -- is recorded and/or performed in front of live audiences.
- fun Comedian : Ind EntertainmentProfession ;
-
- -- A Building which is intended for
- -- organizational activities, e.g. retail or wholesale selling, manufacturing,
- -- office work, etc.
- fun CommercialBuilding : Class ;
- fun CommercialBuilding_Class : SubClass CommercialBuilding (both Building PlaceOfCommerce) ;
-
- -- CommercialShipping is the subclass of
- -- Transportation events in which a commercial agent provides transportation
- -- of goods for remuneration.
- fun CommercialShipping : Class ;
- fun CommercialShipping_Class : SubClass CommercialShipping (both CommercialService Shipping) ;
-
- -- A Room or suite of Rooms intended for
- -- clerical and/or professional work of a single Organization.
- fun CommercialUnit : Class ;
- fun CommercialUnit_Class : SubClass CommercialUnit PlaceOfCommerce ;
-
- -- A small, temporary Organization whose purpose
- -- is to investigate some issue.
- fun Commission : Class ;
- fun Commission_Class : SubClass Commission Organization ;
-
- -- The TimeInterval that runs from the supposed
- -- time of the death of Christ to PositiveInfinity.
- fun CommonEra : Ind TimeInterval ;
-
- -- A CommunicationDevice is a Device
- -- which serves at the instrument in a Communication Process by allowing
- -- the communicated message to be conveyed between the participants.
- fun CommunicationDevice : Class ;
- fun CommunicationDevice_Class : SubClass CommunicationDevice EngineeringComponent ;
-
- -- CommunicationOrganization is
- -- the subclass of Organizations that manage Communications over physical
- -- infrastructure owned or leased by the organization. Such organizations
- -- may also produce and disseminate information, entertainment, or other
- -- content. Also see MediaOrganization.
- fun CommunicationOrganization : Class ;
- fun CommunicationOrganization_Class : SubClass CommunicationOrganization Organization ;
-
- -- CommunicationSystem is a complex
- -- system with various components, enabling communication (in some
- -- medium) between points in a specific area, whether local or worldwide.
- fun CommunicationSystem : Class ;
- fun CommunicationSystem_Class : SubClass CommunicationSystem Collection ;
-
- -- Any PoliticalParty that advocates for a
- -- CommunistState.
- fun CommunistParty : Class ;
- fun CommunistParty_Class : SubClass CommunistParty PoliticalParty ;
-
- -- A Container which is part of another Container,
- -- e.g. a drawer, a zippered pouch in a piece of luggage, a compartment in a TV
- -- dinner, etc.
- fun Compartment : Class ;
- fun Compartment_Class : SubClass Compartment Container ;
-
- -- A Device that indicates the direction of the
- -- various DirectionalAttributes with respect to the device.
- fun Compass : Class ;
- fun Compass_Class : SubClass Compass (both ContentBearingObject Device) ;
-
- -- ContentDevelopment which results in a
- -- MusicalComposition.
- fun Composing : Class ;
- fun Composing_Class : SubClass Composing ContentDevelopment ;
-
- -- ContentDevelopment which results in a
- -- MusicalComposition.
- fun ComposingMusic : Class ;
- fun ComposingMusic_Class : SubClass ComposingMusic ContentDevelopment ;
-
- -- Locating something in such a way that it cannot
- -- be seen.
- fun Concealing : Class ;
- fun Concealing_Class : SubClass Concealing Putting ;
-
- -- A ResidentialBuilding containing
- -- CondominiumUnits.
- fun CondominiumBuilding : Class ;
- fun CondominiumBuilding_Class : SubClass CondominiumBuilding ResidentialBuilding ;
-
- -- A SingleFamilyResidence that may be owned
- -- by a member of the SocialUnit that lives there.
- fun CondominiumUnit : Class ;
- def CondominiumUnit = KappaFn SingleFamilyResidence (\UNIT -> exists Human (\PERSON -> and (home (var Human Human ? PERSON) (var SingleFamilyResidence PermanentResidence ? UNIT))
- (possesses (var Human Agent ? PERSON) (var SingleFamilyResidence Object ? UNIT)))) ;
-
- -- The class of ThreeDimensionalFigures which are
- -- produced by rotating a RightTriangle around its RightAngle.
- fun Cone : Class ;
- fun Cone_Class : SubClass Cone ThreeDimensionalFigure ;
-
- -- Any Soldier that served on the confederate side
- -- during the American Civil War. ConfederateSoldier Any Soldier that served on the
- -- confederate side during the American Civil War.
- fun ConfederateSoldier : Class ;
- fun ConfederateSoldier_Class : SubClass ConfederateSoldier Soldier ;
-
- -- The eleven states of the UnitedStates
- -- that tried to secede from the UnitedStates.
- fun ConfederateStatesOfAmerica : Ind GeopoliticalArea ;
-
- -- Any ExpressingApproval to a person for
- -- something that the person did in the past and that is regarded as being
- -- to the benefit of the person congratulated.
- fun Congratulating : Class ;
- fun Congratulating_Class : SubClass Congratulating ExpressingApproval ;
-
- -- A CompoundSubstance that results from
- -- the ChemicalSynthesis of two or more CompoundSubstances.
- fun ConjugatedSubstance : Class ;
- fun ConjugatedSubstance_Class : SubClass ConjugatedSubstance CompoundSubstance ;
-
- -- An AlphabeticCharacter that denotes a speech sound
- -- that results in audible friction when it is pronounced.
- fun Consonant : Class ;
- fun Consonant_Class : SubClass Consonant AlphabeticCharacter ;
-
- -- A Snake that lacks venom and kills its
- -- prey by crushing it to death.
- fun ConstrictorSnake : Class ;
- fun ConstrictorSnake_Class : SubClass ConstrictorSnake Snake ;
-
- -- Any Holder whose purpose is to contain
- -- something else. Note that Container is more specific in meaning
- -- than Holder, because a Container must have a Hole that is at
- -- least partially filled by the thing contained.
- fun Container : Class ;
- fun Container_Class : SubClass Container Holder ;
-
- -- ContainerEmpty is the Attribute of a
- -- Container that is empty.
- fun ContainerEmpty : Ind RelationalAttribute ;
-
- -- ContainerFull is the Attribute of a
- -- Container that is full to capacity.
- fun ContainerFull : Ind RelationalAttribute ;
-
- -- Devices which permit sexual intercourse but
- -- which reduce the likelihood of conception.
- fun ContraceptiveDevice : Class ;
- fun ContraceptiveDevice_Class : SubClass ContraceptiveDevice Device ;
-
- -- A group of vehicles that all are being driven
- -- in formation (e.g., lines, rows, columns) to the same destination.
- -- That destination may be an intermediate destination on the way to a
- -- final destination for some of the vehicles however. This is
- -- distinguished from vehicles that have no common purpose, such as
- -- traffic on a freeway. This includes cases where some of the agents
- -- driving the vehicles intend to reach a point but fail to do so.
- fun Convoy : Class ;
- fun Convoy_Class : SubClass Convoy Collection ;
-
- -- A Device whose purpose is Cooling something,
- -- e.g. air conditioners, refrigerators, freezers, etc.
- fun CoolingDevice : Class ;
- fun CoolingDevice_Class : SubClass CoolingDevice Device ;
-
- -- Making a copy of something.
- fun Copying : Class ;
- fun Copying_Class : SubClass Copying Making ;
-
- -- A GovernmentOfficer who investigates deaths that are
- -- suspected of being due to something other than natural causes.
- fun Coroner : Ind GovernmentOfficer ;
-
- -- A noncomissioned MilitaryOfficer.
- fun Corporal : Class ;
- fun Corporal_Class : SubClass Corporal MilitaryOfficer ;
-
- -- Instances of LinguisticCommunication which
- -- are achieved by means of Texts that are mailed between the persons
- -- communicating with one another.
- fun Corresponding : Class ;
- fun Corresponding_Class : SubClass Corresponding LinguisticCommunication ;
-
- -- Fibers from the cotton plant that are used in
- -- Making CottonFabric.
- fun Cotton : Class ;
- fun Cotton_Class : SubClass Cotton PlantAnatomicalStructure ;
-
- -- Any Fabric that is made entirely out of Cotton.
- fun CottonFabric : Class ;
- fun CottonFabric_Class : SubClass CottonFabric Fabric ;
-
- -- Any Room whose purpose is to realize
- -- JudicialProcesses.
- fun CourtRoom : Class ;
- fun CourtRoom_Class : SubClass CourtRoom Room ;
-
- -- A domesticated HoofedMammal that is raised for milk
- -- and beef, and is also used for work.
- fun Cow : Class ;
- fun Cow_Class : SubClass Cow (both DomesticAnimal HoofedMammal) ;
-
- -- Crane is a subclass of mechanical Devices
- -- that consist of a HoistingDevice on a moveable boom, designed to
- -- assist in moving heavy loads.
- fun Crane : Class ;
- fun Crane_Class : SubClass Crane MaterialHandlingEquipment ;
-
- -- Creek is the class of small streams of fresh
- -- water flowing through land, usually into a River.
- fun Creek : Class ;
- fun Creek_Class : SubClass Creek (both BodyOfWater (both FreshWaterArea StreamWaterArea)) ;
-
- -- Any IntentionalProcess that violates a Law.
- fun CriminalAction : Class ;
- fun CriminalAction_Class : SubClass CriminalAction IntentionalProcess ;
-
- -- A GroupOfPeople which exists (partially or
- -- wholly) for the purpose of CriminalAction.
- fun CriminalGang : Class ;
- fun CriminalGang_Class : SubClass CriminalGang GroupOfPeople ;
-
- -- A LandArea which is dedicated to
- -- Agriculture, e.g. Lawns, gardens, and fields for growing crops.
- fun CultivatedLandArea : Class ;
- fun CultivatedLandArea_Class : SubClass CultivatedLandArea LandArea ;
-
- -- A raised concrete or asphalt structure that connects a
- -- Sidewalk with a Roadway.
- fun Curb : Class ;
- fun Curb_Class : SubClass Curb StationaryArtifact ;
-
- -- Any instance of Currency that is made
- -- of paper.
- fun CurrencyBill : Class ;
- fun CurrencyBill_Class : SubClass CurrencyBill Currency ;
-
- -- Any instance of Currency that is made
- -- of Metal.
- fun CurrencyCoin : Class ;
- fun CurrencyCoin_Class : SubClass CurrencyCoin Currency ;
-
- -- A piece of Fabric whose purpose is Covering a
- -- Window so as to keep out the light or prevent people from seeing inside.
- fun Curtain : Class ;
- fun Curtain_Class : SubClass Curtain (both Fabric WindowCovering) ;
-
- -- Any Device whose purpose is Cutting something
- -- else. This class covers knives of all times, axes, saws, razors, chisels etc.
- fun CuttingDevice : Class ;
- fun CuttingDevice_Class : SubClass CuttingDevice Device ;
-
- -- The class of ThreeDimensionalFigures such that
- -- all GeometricPoints that make up the Cylinder are equidistant from a
- -- OneDimensionalFigure, known as the axis of the Cylinder.
- fun Cylinder : Class ;
- fun Cylinder_Class : SubClass Cylinder ThreeDimensionalFigure ;
-
- fun DairyProduct : Class ;
- fun DairyProduct_Class : SubClass DairyProduct AnimalAgriculturalProduct ;
-
- -- A School that does not board its students, i.e.
- -- students attend classes during the day and then return to a private residence
- -- for the night.
- fun DaySchool : Class ;
- fun DaySchool_Class : SubClass DaySchool School ;
-
- -- The class of TimeIntervals that begin at Sunrise
- -- and end at Sunset.
- fun DayTime : Class ;
- fun DayTime_Class : SubClass DayTime TimeInterval ;
-
- -- Any Position within a ReligiousOrganization that is held
- -- by a layman, which is part_time, and which involves assisting a Cleric.
- fun Deacon : Class ;
- fun Deacon_Class : SubClass Deacon PartTimePosition ;
-
- -- The Attribute that applies to Animals and Humans
- -- that are unable to hear.
- fun Deaf : Ind BiologicalAttribute ;
-
- -- A Contest where each participant holds a different
- -- view regarding some issue, and each participant attempts to prove, by
- -- rhetoric or evidence, that his/her own views about a particular matter are
- -- correct and/or that the views of the other participants are incorrect.
- fun Debating : Class ;
- fun Debating_Class : SubClass Debating (both Contest LinguisticCommunication) ;
-
- -- Getting off a Vehicle, e.g. getting out of an
- -- Automobile, deplaning, getting off a WaterVehicle, etc.
- fun Deboarding : Class ;
- fun Deboarding_Class : SubClass Deboarding Translocation ;
-
- -- The TimeDuration of 10 years.
- fun DecadeDuration : Ind UnitOfDuration ;
-
- -- Decreasing the speed with which someone
- -- or something is moving.
- fun Decelerating : Class ;
- fun Decelerating_Class : SubClass Decelerating (both Decreasing Translocation) ;
-
- -- One of the two major political parties in
- -- the UnitedStates. The DemocraticParty represents liberal values.
- fun DemocraticParty : Ind PoliticalParty ;
-
- -- The Profession of being a dentist, i.e. diagnosing
- -- and treating problems related to the teeth.
- fun Dentist : Ind Profession ;
-
- -- Any BiologicallyActiveSubstance which has
- -- the effect of depressing the central nervous system, i.e. decreasing
- -- function or activity in the Brain or SpinalCord.
- fun Depressant : Class ;
- fun Depressant_Class : SubClass Depressant BiologicallyActiveSubstance ;
-
- -- A Position which authorizes the holder of the position
- -- to act as the sheriff when the sheriff is not available.
- fun Deputy : Ind PoliceOfficer ;
-
- -- (DescendantsFn ?PERSON) denotes all and only
- -- the descendants of ?PERSON, i.e. the Group consisting of ?OFFSPRING who
- -- satisfy the following formula: (ancestor ?OFFSPRING ?PERSON).
- fun DescendantsFn : El Human -> Ind FamilyGroup ;
-
- -- A Table for a single person which is intended to be
- -- used for paperwork.
- fun Desk : Class ;
- fun Desk_Class : SubClass Desk Table ;
-
- -- A detergent is a compound, or a mixture of
- -- compounds, whose molecules have two distinct regions: one that is
- -- hydrophilic, and dissolves easily in water, and another region that is
- -- hydrophobic, with little (if any) affinity for water. As a consequence,
- -- these compounds can aid in the solubilization of hydrophobic compounds in
- -- water, and usually are optimized for this property. Though Soap also has
- -- these properties, soaps in general are not considered detergents. Soap is
- -- a particular type of surfactant that is derived from oils and fats. They
- -- are created through the saponification process whereby the ester linkage
- -- in a vegetable oil or fat is hydrolytically cleaved, creating a sodium or
- -- potassium salt of a fatty acid (i.e. soap). Both detergents and soaps
- -- are considered to be surfactants. Surfactants that are not soaps are
- -- considered to be detergents. Detergents are also commonly known as any
- -- cleaning mixture containing surfactants. (from Wikipedia)
- fun Detergent : Class ;
- fun Detergent_Class : SubClass Detergent (both Mixture Surfactant) ;
-
- -- This class contains two Attributes to
- -- indicate whether a Device is or is not behaving as it is intended to
- -- behave, Functioning and Malfunctioning.
- fun DeviceAttribute : Class ;
- fun DeviceAttribute_Class : SubClass DeviceAttribute ObjectiveNorm ;
-
- fun DeviceClosed : Ind (both DeviceStateAttribute RelationalAttribute) ;
-
- fun DeviceOff : Ind (both DeviceStateAttribute InternalAttribute) ;
-
- fun DeviceOn : Ind (both DeviceStateAttribute InternalAttribute) ;
-
- fun DeviceOpen : Ind (both DeviceStateAttribute RelationalAttribute) ;
-
- -- DeviceStateAttribute is the class
- -- of attributes that represent different states that a Device may be in.
- -- Examples: DeviceOff, DeviceOn, DeviceOpen, and DeviceClosed.
- fun DeviceStateAttribute : Class ;
- fun DeviceStateAttribute_Class : SubClass DeviceStateAttribute DeviceAttribute ;
-
- -- Any process of Separating a Solution into two or more
- -- constituent PureSubstances by means of their unequal diffusion through membranes
- -- that are partially permeable.
- fun Dialysis : Class ;
- fun Dialysis_Class : SubClass Dialysis Separating ;
-
- -- (DiameterFn ?CIRCLE) denotes the length of the
- -- diameter of the Circle ?CIRCLE.
- fun DiameterFn : El Circle -> Ind LengthMeasure ;
-
- -- Crystalline Carbon that is valued as a gem and
- -- used in industrial applications.
- fun Diamond : Class ;
- fun Diamond_Class : SubClass Diamond (both Carbon Mineral) ;
-
- -- A DiseaseOrSyndrome of frequent, watery bowel
- -- movements. Severe cases can be fatal for the young or weak. It is
- -- a common cause of death for the very young in poor developing countries.
- fun Diarrhea : Ind DiseaseOrSyndrome ;
-
- -- A ReferenceBook which specifies the meanings
- -- of the Words of a Language.
- fun Dictionary : Class ;
- fun Dictionary_Class : SubClass Dictionary ReferenceBook ;
-
- -- DieselEngine is the subclass of
- -- InternalCombustionEngines that use DieselFuel as their resource.
- fun DieselEngine : Class ;
- fun DieselEngine_Class : SubClass DieselEngine InternalCombustionEngine ;
-
- -- A Plan regarding what one is allowed to eat.
- fun Diet : Class ;
- fun Diet_Class : SubClass Diet Plan ;
-
- -- Any Process of removing or turning over the Soil.
- fun Digging : Class ;
- fun Digging_Class : SubClass Digging (both IntentionalProcess SurfaceChange) ;
-
- -- Any of the extremities of Limbs that are
- -- found in the higer Vertebrates and the Amphibians.
- fun DigitAppendage : Class ;
- fun DigitAppendage_Class : SubClass DigitAppendage (both AnimalAnatomicalStructure BodyPart) ;
-
- -- Any Character that is comprised of a single digit,
- -- i.e. one of the numerals 0, 1, 2, 3, 4, 5, 6, 7, 8, 9.
- fun DigitCharacter : Class ;
- fun DigitCharacter_Class : SubClass DigitCharacter Character ;
-
- -- Adding a Liquid to a Solution to decrease
- -- the concentration of the Solution.
- fun Diluting : Class ;
- fun Diluting_Class : SubClass Diluting Putting ;
-
- -- A Room intended primarily for Eating.
- fun DiningRoom : Class ;
- fun DiningRoom_Class : SubClass DiningRoom Room ;
-
- -- A person who works as a facilitator for communication
- -- between countries, in the official employ of one of the countries.
- fun Diplomat : Ind OccupationalRole ;
-
- -- A Holder for Food while the Food is being eaten.
- fun Dish : Class ;
- fun Dish_Class : SubClass Dish Holder ;
-
- -- Any BodyMotion which results in not being On
- -- something else.
- fun Dismounting : Class ;
- fun Dismounting_Class : SubClass Dismounting BodyMotion ;
-
- -- DisplacementHullWaterVehicle is
- -- a subclass of WaterVehicle with hulls designed to move water aside as they
- -- move through the water. Contrast with PlaningHullWaterVehicle.
- fun DisplacementHullWaterVehicle : Class ;
- fun DisplacementHullWaterVehicle_Class : SubClass DisplacementHullWaterVehicle WaterVehicle ;
-
- -- Something for posting content so
- -- that it can be disseminated to the public.
- fun DisplayArtifact : Class ;
- fun DisplayArtifact_Class : SubClass DisplayArtifact Artifact ;
-
- -- Someone who is opposed to the leadership
- -- of a particular country. Typically, a dissident suffers punishment
- -- at the hands of the country whose leadership he is opposing.
- fun Dissident : Ind (both Civilian SocialRole) ;
-
- -- An AlcoholicBeverage that has
- -- had some part of its Water content removed by distillation. This class
- -- covers drinks of unmixed, hard liquor.
- fun DistilledAlcoholicBeverage : Class ;
- fun DistilledAlcoholicBeverage_Class : SubClass DistilledAlcoholicBeverage AlcoholicBeverage ;
-
- -- A legal act whereby a marriage is dissolved. This
- -- includes annulments.
- fun Divorcing : Class ;
- fun Divorcing_Class : SubClass Divorcing Declaring ;
-
- -- A MotionPicture which purports to represent the
- -- facts about a person, event, etc.
- fun Documentary : Class ;
- fun Documentary_Class : SubClass Documentary (both FactualText MotionPicture) ;
-
- -- Purposely moving one's body in such a way as
- -- to avoid being hit by something.
- fun Dodging : Class ;
- fun Dodging_Class : SubClass Dodging (both BodyMotion IntentionalProcess) ;
-
- -- Any Animal that is kept by a Human, as
- -- a pet, as livestock, for exhibition, etc.
- fun DomesticAnimal : Class ;
- fun DomesticAnimal_Class : SubClass DomesticAnimal Animal ;
-
- -- A variety of Feline which has been domesticated
- -- by selective breeding.
- fun DomesticCat : Class ;
- fun DomesticCat_Class : SubClass DomesticCat (both DomesticAnimal Feline) ;
-
- -- Canines which have evolved from the common
- -- wolf by selective breeding.
- fun DomesticDog : Class ;
- fun DomesticDog_Class : SubClass DomesticDog (both Canine DomesticAnimal) ;
-
- -- A domesticated HoofedMammal that is used for work.
- fun Donkey : Class ;
- fun Donkey_Class : SubClass Donkey (both HoofedMammal Livestock) ;
-
- -- An Artifact that restricts and permits access to a
- -- StationaryArtifact (e.g. Building or Room) depending on whether the
- -- Door is open or locked. Note that the class Door also covers gates,
- -- because it is not possible to define objective criteria that reliably
- -- distinguish doors from gates.
- fun Door : Class ;
- fun Door_Class : SubClass Door (both Artifact Device) ;
-
- -- A StationaryArtifact consisting of a frame that
- -- holds a Door.
- fun Doorway : Class ;
- fun Doorway_Class : SubClass Doorway StationaryArtifact ;
-
- -- A TemporaryResidence which is owned by a School
- -- and which is used to house students while they take classes at the School.
- fun Dormitory : Class ;
- fun Dormitory_Class : SubClass Dormitory (both ResidentialBuilding TemporaryResidence) ;
-
- -- A Mixture of Flour, Water, and possibly
- -- other ingredients (such as Butter and Salt), which is used in
- -- making BreadOrBiscuits.
- fun Dough : Class ;
- fun Dough_Class : SubClass Dough (both Mixture PreparedFood) ;
-
- -- A PositionalAttribute to indicate that one thing is
- -- one or more floors below a second thing in the same building.
- fun Downstairs : Ind PositionalAttribute ;
-
- -- The commercial center of a City. The part of the
- -- City that contains more shops and offices than any other part.
- fun Downtown : Class ;
- fun Downtown_Class : SubClass Downtown CityDistrict ;
-
- -- Playing a character in a Performance,
- -- MotionPicture, etc.
- fun DramaticActing : Class ;
- fun DramaticActing_Class : SubClass DramaticActing Pretending ;
-
- -- The GroupOfPeople who engage in DramaticActing
- -- as part of the realization of a single FictionalText.
- fun DramaticCast : Class ;
- fun DramaticCast_Class : SubClass DramaticCast GroupOfPeople ;
-
- -- The process of directing a DramaticActing
- -- in a MotionPicture or the Performance of a DramaticPlay.
- fun DramaticDirecting : Class ;
- fun DramaticDirecting_Class : SubClass DramaticDirecting Guiding ;
-
- -- A Performance that consists exclusively of
- -- DramaticActing, e.g. a live performance of Death_of_a_Salesman in front
- -- of an audience.
- fun DramaticPerformance : Class ;
- fun DramaticPerformance_Class : SubClass DramaticPerformance Performance ;
-
- -- A FictionalText that is intended to be realized
- -- as DramaticActing.
- fun DramaticPlay : Class ;
- fun DramaticPlay_Class : SubClass DramaticPlay FictionalText ;
-
- -- Any ContentDevelopment that results in a Sketch.
- fun Drawing : Class ;
- fun Drawing_Class : SubClass Drawing (both ContentDevelopment SurfaceChange) ;
-
- -- A Process of producing metal images which occurs
- -- while one is Asleep.
- fun Dreaming : Class ;
- fun Dreaming_Class : SubClass Dreaming Imagining ;
-
- -- An item of Clothing which covers the lower body of a Woman.
- fun Dress : Class ;
- fun Dress_Class : SubClass Dress Clothing ;
-
- -- The Process of putting on Clothing.
- fun Dressing : Class ;
- fun Dressing_Class : SubClass Dressing Putting ;
-
- -- Any Room which is intended for ChangingClothing.
- fun DressingRoom : Class ;
- fun DressingRoom_Class : SubClass DressingRoom Room ;
-
- -- A Device that has the purpose of creating a Hole.
- -- This covers manual drills as well as electric or pneumatic drills.
- fun Drill : Class ;
- fun Drill_Class : SubClass Drill CuttingDevice ;
-
- -- Any Process of producing a hole in a
- -- SelfConnectedObject which involves rotating a long, thin bit.
- fun Drilling : Class ;
- fun Drilling_Class : SubClass Drilling (both IntentionalProcess SurfaceChange) ;
-
- -- An open FluidContainer that is intended to serve a Beverage
- -- to a single person. Note that this class includes both cups with handles and
- -- drinking glasses.
- fun DrinkingCup : Class ;
- fun DrinkingCup_Class : SubClass DrinkingCup FluidContainer ;
-
- -- Any LiquidMotion where the Liquid is moved drop by drop.
- fun Dripping : Class ;
- fun Dripping_Class : SubClass Dripping LiquidMotion ;
-
- -- An EngineeringComponent whose purpose is to
- -- transfer force from one part of a Device to another part.
- fun DriveComponent : Class ;
- fun DriveComponent_Class : SubClass DriveComponent EngineeringComponent ;
-
- -- A License which identifies the holder and
- -- indicates that he has the right to drive a certain class of RoadVehicle.
- fun DriversLicense : Class ;
- fun DriversLicense_Class : SubClass DriversLicense License ;
-
- -- A small, private Roadway that is used for parking
- -- Automobiles or for connecting a Garage to a public Roadway.
- fun Driveway : Class ;
- fun Driveway_Class : SubClass Driveway Roadway ;
-
- -- A RetailStore that sells Medicine, and
- -- perhaps other items as well.
- fun DrugStore : Class ;
- fun DrugStore_Class : SubClass DrugStore RetailStore ;
-
- -- The ConsciousnessAttribute of someone whose motor and/or
- -- cognitive faculties are significantly impaired by a BiologicallyActiveSubstance.
- fun Drugged : Ind ConsciousnessAttribute ;
-
- -- An atonal PercussionInstrument which consists of a hollow cylinder
- -- and a fabric stretched across at least one end of the cylinder.
- fun Drum : Class ;
- fun Drum_Class : SubClass Drum PercussionInstrument ;
-
- -- Playing a Drum. Note that this includes both
- -- musical performance, as well as signalling and cerimonial applications.
- fun Drumming : Class ;
- fun Drumming_Class : SubClass Drumming (both Demonstrating RadiatingSound) ;
-
- -- The ConsciousnessAttribute of someone whose motor and
- -- cognitive faculties are significantly impaired by Alcohol.
- fun Drunk : Ind ConsciousnessAttribute ;
-
- -- A subclass of Bird with webbed feet and a large bill.
- -- Some ducks live in the wild, and some are raised for meat and/or eggs.
- fun Duck : Class ;
- fun Duck_Class : SubClass Duck Poultry ;
-
- -- Purposely moving one's body downward in such a way as
- -- to avoid being hit by something.
- fun Ducking : Class ;
- fun Ducking_Class : SubClass Ducking (both BodyMotion (both IntentionalProcess MotionDownward)) ;
-
- -- A Tax that is levied on imports and/or exports.
- fun DutyTax : Class ;
- fun DutyTax_Class : SubClass DutyTax Tax ;
-
- -- The Organ of hearing.
- fun Ear : Class ;
- fun Ear_Class : SubClass Ear (both AnimalAnatomicalStructure Organ) ;
-
- -- Instances of RadiatingSound where the instrument
- -- is a surface which bounces sound waves back to their origin, where they can
- -- be heard again.
- fun Echoing : Class ;
- fun Echoing_Class : SubClass Echoing RadiatingSound ;
-
- -- A class of Relations which are used
- -- to specify various economic measures, e.g. the GDP, the consumer price
- -- index, and the trade deficit.
- fun EconomicRelation : El GeopoliticalArea -> El Entity -> Formula;
-
- -- The field of economics.
- fun Economics : Ind SocialScience ;
-
- -- A schedule of class meetings offered by an
- -- EducationalOrganization.
- fun EducationalCourse : Class ;
- fun EducationalCourse_Class : SubClass EducationalCourse EducationalProgram ;
-
- -- A building or campus, owned by an
- -- EducationalOrganization, which is intended as the location for
- -- EducationalProcesses.
- fun EducationalFacility : Class ;
- fun EducationalFacility_Class : SubClass EducationalFacility StationaryArtifact ;
-
- -- A series of EducationalCourses that must
- -- be completed to receive an AcademicDegree or other Certificate. Note that
- -- an EducationalProgram, unlike an EducationalCourse, may be realized at more
- -- than one EducationalOrganization.
- fun EducationalProgram : Class ;
- fun EducationalProgram_Class : SubClass EducationalProgram Plan ;
-
- -- The joint in the Arm connecting the forearm and the
- -- upper arm.
- fun Elbow : Class ;
- fun Elbow_Class : SubClass Elbow BodyJoint ;
-
- -- ElectoralCollegeElection is
- -- the class of Elections in which the outcome is decided by the votes of
- -- electors who have been chosen by popular vote, rather than directly by
- -- results of the popular vote. ElectoralCollegeElection is an indirect
- -- method of election, in contrast to PopularElection.
- fun ElectoralCollegeElection : Class ;
- fun ElectoralCollegeElection_Class : SubClass ElectoralCollegeElection GeneralElection ;
-
- -- A Device that uses Electricity as its
- -- primary power source.
- fun ElectricDevice : Class ;
- fun ElectricDevice_Class : SubClass ElectricDevice Device ;
-
- -- ElectricMotor is the subclass of Engines
- -- that produce mechanical power from electricity.
- fun ElectricMotor : Class ;
- fun ElectricMotor_Class : SubClass ElectricMotor (both ElectricDevice Engine) ;
-
- -- ElectricalSignalling is the subclass of Signalling processes
- -- that involve control of an electrical current. Cf. ElectronicSignalling.
- fun ElectricalSignalling : Class ;
- fun ElectricalSignalling_Class : SubClass ElectricalSignalling Signalling ;
-
- -- ElectrifiedRailwayCar is the
- -- subclass of railway cars that are powered by electricity, which is
- -- provided to the car through an overhead link or electrified third rail.
- fun ElectrifiedRailwayCar : Class ;
- fun ElectrifiedRailwayCar_Class : SubClass ElectrifiedRailwayCar (both ElectricDevice (both PoweredVehicle RollingStock)) ;
-
- -- ElectronicSignalling is the
- -- subclass of Signalling processes that involve a signal generated by
- -- a computer.
- fun ElectronicSignalling : Class ;
- fun ElectronicSignalling_Class : SubClass ElectronicSignalling Signalling ;
-
- -- The branch of Physics that deals with the theory
- -- and applications of electron emissions.
- fun Electronics : Ind FieldOfStudy ;
-
- -- A very large, almost hairless Herbivore with a long trunk.
- fun Elephant : Class ;
- fun Elephant_Class : SubClass Elephant Herbivore ;
-
- -- A TransportationDevice consisting of a car that moves
- -- up and down in a vertical shaft so that people or objects can move from one floor to another
- -- in a building.
- fun Elevator : Class ;
- fun Elevator_Class : SubClass Elevator TransportationDevice ;
-
- -- An embassy is a Building that is owned by a Government to house
- -- its diplomatic and consular staff that is in another country.
- fun EmbassyBuilding : Class ;
- fun EmbassyBuilding_Class : SubClass EmbassyBuilding GovernmentBuilding ;
-
- -- The class of Touching processes where one Human hugs another one.
- fun Embracing : Class ;
- fun Embracing_Class : SubClass Embracing Touching ;
-
- -- A DiseaseOrSyndrome that affects the Lungs and
- -- which results in a decrease of breathing ability.
- fun Emphysema : Ind DiseaseOrSyndrome ;
-
- -- Involuntarily ending one's employment.
- -- Note that this covers termination due to inadequate performance, as
- -- well as layoffs.
- fun EmploymentFiring : Class ;
- fun EmploymentFiring_Class : SubClass EmploymentFiring TerminatingEmployment ;
-
- -- Engine is a subclass of Transducer. Engines are devices for converting
- -- some form of energy resource into mechanical power.
- fun Engine : Class ;
- fun Engine_Class : SubClass Engine Transducer ;
-
- -- The application of instances of Science to the solution
- -- of practical problems, i.e. the creation of various forms of technology.
- fun Engineering : Ind Science ;
-
- -- A building that has the primary
- -- purpose of entertaining people.
- fun EntertainmentBuilding : Class ;
- fun EntertainmentBuilding_Class : SubClass EntertainmentBuilding Building ;
-
- -- Any business whose services include
- -- Performances. This class covers nightclubs, commercial live theaters,
- -- and comedy clubs.
- fun EntertainmentCompany : Class ;
- fun EntertainmentCompany_Class : SubClass EntertainmentCompany CommercialAgent ;
-
- -- Positions which involve creating
- -- content or performances that are intended to entertain. This class covers
- -- the TheaterProfession, FilmMakingProfession, being a comedian, etc.
- fun EntertainmentProfession : Class ;
- fun EntertainmentProfession_Class : SubClass EntertainmentProfession SkilledOccupation ;
-
- -- More commonly known as burying, this is the class
- -- of processes of putting a HumanCorpse into a Tomb. Note that this class
- -- is not a subclass of Burying, since some Tombs are not covered with Soil,
- -- e.g. those in a mausoleum.
- fun Entombing : Class ;
- fun Entombing_Class : SubClass Entombing Putting ;
-
- -- A sealable Container for one or more pieces of
- -- paper which is designed to protect the papers while they are transferred to
- -- someone.
- fun Envelope : Class ;
- fun Envelope_Class : SubClass Envelope Container ;
-
- -- Any instance of Translocation where the agent brings
- -- it about that he/she is no longer confined without having the right to do
- -- so.
- fun Escaping : Class ;
- fun Escaping_Class : SubClass Escaping Translocation ;
-
- -- Any Investigating by one Government of another
- -- Government where the second Government does not know that it is being
- -- spied upon.
- fun Espionage : Class ;
- fun Espionage_Class : SubClass Espionage (both Investigating PoliticalProcess) ;
-
- -- The class of nations that are in Europe.
- fun EuropeanNation : Class ;
- fun EuropeanNation_Class : SubClass EuropeanNation Nation ;
-
- -- The state of being happy about a state of
- -- affairs that might occur in the future.
- fun Excitement : Ind EmotionalState ;
-
- -- Killing of a Human by a Government for
- -- the commission of a CriminalAction.
- fun Execution : Class ;
- fun Execution_Class : SubClass Execution Killing ;
-
- -- A Residence of a chiefOfState, e.g.
- -- the White House, a state governor's mansion, Buckingham Palace, etc.
- fun ExecutiveResidence : Class ;
- fun ExecutiveResidence_Class : SubClass ExecutiveResidence PermanentResidence ;
-
- -- Any instance of Breathing where the breath is
- -- expelled from the Lungs.
- fun Exhaling : Class ;
- fun Exhaling_Class : SubClass Exhaling Breathing ;
-
- -- Any sudden and massive release of energy that is
- -- the product of a chemical reaction.
- fun Explosion : Class ;
- fun Explosion_Class : SubClass Explosion Radiating ;
-
- -- A Device whose purpose is to explode. Note
- -- that ExplosiveDevice is not a subclass of Weapon, since explosives can be
- -- used in demolition work and in fireworks displays, for example.
- fun ExplosiveDevice : Class ;
- fun ExplosiveDevice_Class : SubClass ExplosiveDevice Device ;
-
- -- An ExplosiveDevice which is designed to
- -- explode when there is movement over it, e.g. by a person on foot, by a
- -- RoadVehicle, etc.
- fun ExplosiveMine : Class ;
- fun ExplosiveMine_Class : SubClass ExplosiveMine (both ExplosiveDevice Weapon) ;
-
- -- Any Substance which is capable of exploding.
- fun ExplosiveSubstance : Class ;
- fun ExplosiveSubstance_Class : SubClass ExplosiveSubstance Substance ;
-
- -- Expressing favor about a physical thing
- -- or a state of affairs.
- fun ExpressingApproval : Class ;
- fun ExpressingApproval_Class : SubClass ExpressingApproval Expressing ;
-
- -- Expressing disfavor about a physical
- -- thing or a state of affairs.
- fun ExpressingDisapproval : Class ;
- fun ExpressingDisapproval_Class : SubClass ExpressingDisapproval Expressing ;
-
- -- Any instance of Expressing an acknowledgment
- -- of a person's departure. Note that this class is not a subclass of
- -- LinguisticCommunication, because it covers gestures of departure, e.g. Waving
- -- and Nodding in certain circumstances.
- fun ExpressingFarewell : Class ;
- fun ExpressingFarewell_Class : SubClass ExpressingFarewell Expressing ;
-
- -- Any instance of Expressing that is also an
- -- instance of LinguisticCommunication, e.g. thanking someone, expressing condolence,
- -- expressing disapproval with an utterance rather than a Gesture, etc.
- fun ExpressingInLanguage : Class ;
- fun ExpressingInLanguage_Class : SubClass ExpressingInLanguage (both Expressing LinguisticCommunication) ;
-
- -- The Organ of sight.
- fun Eye : Class ;
- fun Eye_Class : SubClass Eye (both AnimalAnatomicalStructure Organ) ;
-
- -- A lens or pair of lenses with or without frames whose
- -- purpose is to to correct a defect in vision. This class covers ordinary eye
- -- glasses, reading glasses, contact lenses, monocles, etc.
- fun EyeGlass : Class ;
- fun EyeGlass_Class : SubClass EyeGlass OpticalDevice ;
-
- -- Any Motion where a patient is the agent's
- -- own Eyelid or Eyelids.
- fun EyeMotion : Class ;
- fun EyeMotion_Class : SubClass EyeMotion BodyMotion ;
-
- -- Folds of Skin that can be manipulated to
- -- cover or uncover Eyes.
- fun Eyelid : Class ;
- fun Eyelid_Class : SubClass Eyelid Skin ;
-
- -- The part of the Head from forehead to chin and
- -- from ear to ear.
- fun Face : Class ;
- fun Face_Class : SubClass Face (both AnimalAnatomicalStructure BodyPart) ;
-
- -- Any Gesture whose instrument is the Face.
- fun FacialExpression : Class ;
- fun FacialExpression_Class : SubClass FacialExpression Gesture ;
-
- -- Hair that grows on the Face. This
- -- class covers beards, mustaches, sideburns, midnight shadow, etc.
- fun FacialHair : Class ;
- fun FacialHair_Class : SubClass FacialHair Hair ;
-
- -- The class of Statements that are True.
- fun Fact : Class ;
- fun Fact_Class : SubClass Fact Statement ;
-
- -- A Building intended to house a process that
- -- produces goods of some value.
- fun Factory : Class ;
- fun Factory_Class : SubClass Factory Building ;
-
- -- The SeasonOfYear that begins at the autumnal
- -- equinox and ends at the winter solstice.
- fun FallSeason : Class ;
- fun FallSeason_Class : SubClass FallSeason SeasonOfYear ;
-
- -- The process of transitioning from a state of
- -- being Awake to a state of being Asleep.
- fun FallingAsleep : Class ;
- fun FallingAsleep_Class : SubClass FallingAsleep PsychologicalProcess ;
-
- -- Radioactive powder that is typically dispersed by
- -- the explosion of a nuclear weapon.
- fun Fallout : Class ;
- fun Fallout_Class : SubClass Fallout Powder ;
-
- -- A Partnership that is owned by a single
- -- family.
- fun FamilyBusiness : Class ;
- fun FamilyBusiness_Class : SubClass FamilyBusiness Partnership ;
-
- -- A CoolingDevice which consists simply of one or more
- -- blades that circulate the air. Note that this class covers both electrical fans
- -- and fans that are manually operated.
- fun FanDevice : Class ;
- fun FanDevice_Class : SubClass FanDevice CoolingDevice ;
-
- -- A StationaryArtifact consisting of a cultivated
- -- LandArea and Buildings for maintaining the land and/or the Animals
- -- on the land.
- fun Farm : Class ;
- fun Farm_Class : SubClass Farm StationaryArtifact ;
-
- -- A Building on a Farm that is used for keeping
- -- DomesticAnimals, Fodder or harvested crops.
- fun FarmBuilding : Class ;
- fun FarmBuilding_Class : SubClass FarmBuilding Building ;
-
- -- OccupationalTrades which involve Agriculture.
- fun FarmHand : Ind OccupationalTrade ;
-
- -- Operating a farm, e.g. planting and harvesting crops,
- -- tending livestock, etc.
- fun Farming : Class ;
- fun Farming_Class : SubClass Farming Working ;
-
- -- Each instance of this class is one of the structures
- -- that make up the external covering of Birds.
- fun Feather : Class ;
- fun Feather_Class : SubClass Feather (both AnimalAnatomicalStructure BodyPart) ;
-
- -- Giving Food to a Human or Animal.
- fun Feeding : Class ;
- fun Feeding_Class : SubClass Feeding Giving ;
-
- -- A Cow that is Female.
- fun FemaleCow : Class ;
- def FemaleCow = KappaFn Cow (\COW -> attribute (var Cow Object ? COW) (el SexAttribute Attribute ? Female)) ;
-
- -- A StationaryArtifact that serves to demarcate or
- -- to prevent access to or from the area that the Fence surrounds.
- fun Fence : Class ;
- fun Fence_Class : SubClass Fence StationaryArtifact ;
-
- -- Having a body temperature which is (significantly) greater
- -- than 98.6 degrees Fahrenheit. This syndrome is often associated with dehydration
- -- and chills.
- fun Fever : Ind DiseaseOrSyndrome ;
-
- -- A LandArea that has been cleared of BotanicalTrees.
- -- Note that a Field is not necessarily used for the cultivation of crops and
- -- that a Field may be very small, e.g. Lawn is a subclass of Field.
- fun Field : Class ;
- fun Field_Class : SubClass Field LandArea ;
-
- -- The study of legal principles and the framework of national
- -- and/or international laws.
- fun FieldOfLaw : Ind FieldOfStudy ;
-
- -- Any high_speed MilitaryAircraft whose purpose is
- -- to destroy enemy MilitaryAircraft.
- fun Fighter : Class ;
- fun Fighter_Class : SubClass Fighter MilitaryAircraft ;
-
- -- A Device whose purpose is to make something
- -- smoother. For example, a nail file is used to even out the tips of one's
- -- finger nails.
- fun FileDevice : Class ;
- fun FileDevice_Class : SubClass FileDevice Device ;
-
- -- Positions which involve directing MotionPictures.
- fun FilmDirector : Class ;
- fun FilmDirector_Class : SubClass FilmDirector FilmMakingProfession ;
-
- -- ContentDevelopment where the result is a
- -- MotionPicture.
- fun FilmMaking : Class ;
- fun FilmMaking_Class : SubClass FilmMaking ContentDevelopment ;
-
- -- Positions which involve FilmMaking,
- -- i.e. acting in films, directing films, producing films, etc.
- fun FilmMakingProfession : Class ;
- fun FilmMakingProfession_Class : SubClass FilmMakingProfession EntertainmentProfession ;
-
- -- Positions which involve producing MotionPictures,
- -- i.e arranging the financing for the MotionPicture and supervising its production.
- fun FilmProducer : Class ;
- fun FilmProducer_Class : SubClass FilmProducer FilmMakingProfession ;
-
- -- A Device whose purpose is to remove part of a
- -- Solution that is passed through the Filter.
- fun Filter : Class ;
- fun Filter_Class : SubClass Filter Device ;
-
- -- A formal banking, brokerage, or business relationship
- -- established to provide for regular services, dealings, and other financial
- -- transactions.
- fun FinancialAccount : Class ;
-
- -- Any item of economic value owned by an individual or
- -- corporation, especially that which could be converted to cash. Examples are cash,
- -- securities, accounts receivable, inventory, office equipment, a house, a car, and
- -- other property.
- fun FinancialAsset : Class ;
-
- -- A brief statement that the stated amount
- -- of money is owed by the person to whom the bill is delivered.
- fun FinancialBill : Class ;
- fun FinancialBill_Class : SubClass FinancialBill FinancialText ;
-
- -- The class FinancialCompany
- -- includes, as subclasses, FinancialBank, CreditUnion and SavingsAndLoan.
- fun FinancialCompany : Class ;
- fun FinancialCompany_Class : SubClass FinancialCompany CommercialAgent ;
-
- -- Services performed by a
- -- FinancialCompany.
- fun FinancialService : Class ;
- fun FinancialService_Class : SubClass FinancialService CommercialService ;
-
- -- A Report about monetary figures. This
- -- class covers FinancialBills, balance sheets, account statements, etc.
- fun FinancialText : Class ;
- fun FinancialText_Class : SubClass FinancialText Report ;
-
- -- Any Funding which is provided by a FinancialCompany
- -- with the aim of making a profit on the money invested.
- fun Financing : Class ;
- fun Financing_Class : SubClass Financing (both FinancialService Funding) ;
-
- -- The five extremities of Hands.
- fun Finger : Class ;
- fun Finger_Class : SubClass Finger DigitAppendage ;
-
- -- That pattern of arches, loops, and whorls that mark
- -- the imprint of a Finger.
- fun Fingerprint : Class ;
- fun Fingerprint_Class : SubClass Fingerprint (both BiologicalAttribute ShapeAttribute) ;
-
- -- Any Quantity that is limited or bounded in
- -- magnitude.
- fun FiniteQuantity : Class ;
- fun FiniteQuantity_Class : SubClass FiniteQuantity Quantity ;
-
- -- A Gun that is small enough to be carried and fired by
- -- a single Human.
- fun Firearm : Class ;
- fun Firearm_Class : SubClass Firearm Gun ;
-
- -- A Device in a Building which is used for burning wood,
- -- coal, etc for heat.
- fun Fireplace : Class ;
- fun Fireplace_Class : SubClass Fireplace (both Device StationaryArtifact) ;
-
- -- (FirstFn ?LIST) returns the first item in
- -- the List ?LIST. For example, (FirstFn (ListFn Monday Tuesday
- -- Wednesday)) would return the value of Monday.
- fun FirstFn : El List -> Ind Entity ;
-
- -- Meat that was originally part of a Fish.
- fun FishMeat : Class ;
- fun FishMeat_Class : SubClass FishMeat Meat ;
-
- -- The BodyPosition of having the fingers drawn into
- -- the palm so that the hand can be used for striking something.
- fun Fist : Ind BodyPosition ;
-
- -- An Icon made of Fabric that refers to a particular
- -- GeopoliticalArea.
- fun Flag : Class ;
- fun Flag_Class : SubClass Flag Icon ;
-
- -- A three dimensional object for which
- -- two dimensions are markedly larger than the third the
- -- two larger dimensions are also not of markedly different length.
- fun Flat : Ind ShapeAttribute ;
-
- -- Flooding is the subclass of LiquidMotion
- -- processes in which the water level of a Waterway rises or water spreads
- -- over a flood plain along a Waterway.
- fun Flooding : Class ;
- fun Flooding_Class : SubClass Flooding LiquidMotion ;
-
- -- A StationaryArtifact that is the bottom surface
- -- of a Room.
- fun Floor : Class ;
- fun Floor_Class : SubClass Floor StationaryArtifact ;
-
- -- A Powder that is prepared from CerealGrain, e.g.
- -- wheat flour, rice flour, etc. Flour is most often used in the making
- -- of BreadOrBiscuits.
- fun Flour : Class ;
- fun Flour_Class : SubClass Flour (both Powder PreparedFood) ;
-
- -- The reproductive organ of FloweringPlants.
- fun Flower : Class ;
- fun Flower_Class : SubClass Flower (both Organ PlantAnatomicalStructure) ;
-
- -- A Container which is used to store Fluids,
- -- i.e. Liquids and Gases.
- fun FluidContainer : Class ;
- fun FluidContainer_Class : SubClass FluidContainer Container ;
-
- -- Insects with Wings and two Limbs.
- fun FlyInsect : Class ;
- fun FlyInsect_Class : SubClass FlyInsect Insect ;
-
- -- Any instance of Translocation which is through an
- -- AtmosphericRegion and which is powered by the wings of an Animal.
- fun Flying : Class ;
- fun Flying_Class : SubClass Flying Translocation ;
-
- -- Altering the relative distance of a Lens
- -- so that a visual image is sharper.
- fun Focusing : Class ;
- fun Focusing_Class : SubClass Focusing QuantityChange ;
-
- -- Any WaterCloud that is in contact with the ground.
- fun Fog : Class ;
- fun Fog_Class : SubClass Fog WaterCloud ;
-
- -- Bending something in such a way that one part of
- -- it covers another part.
- fun Folding : Class ;
- fun Folding_Class : SubClass Folding ShapeChange ;
-
- -- The lower part of a Limb, the part which makes contact
- -- with the ground in locomotion of the Animal.
- fun Foot : Class ;
- fun Foot_Class : SubClass Foot (both AnimalAnatomicalStructure BodyPart) ;
-
- -- FormOfGovernment is a class of
- -- Attributes used to describe the characteristics of a government,
- -- especially a NationalGovernment. The concept FormOfGovernment is
- -- interpreted broadly enough to include Anarchy and Factionalism.
- fun FormOfGovernment : Class ;
- fun FormOfGovernment_Class : SubClass FormOfGovernment PoliticoEconomicAttribute ;
-
- -- A page or set of pages containing spaces where
- -- information is to be entered by an Agent.
- fun FormText : Class ;
- fun FormText_Class : SubClass FormText Text ;
-
- -- Any Meeting which is the result of Planning
- -- and whose purpose is not socializing.
- fun FormalMeeting : Class ;
- fun FormalMeeting_Class : SubClass FormalMeeting Meeting ;
-
- -- FossilFuel is the subclass of Fuel whose
- -- instances are derived from fossilized organic deposits, such as Coal
- -- and LiquefiedPetroleumGas.
- fun FossilFuel : Class ;
- fun FossilFuel_Class : SubClass FossilFuel (both Fuel PetroleumProduct) ;
-
- -- A SportsAttribute that indicates that the GamePiece of
- -- a Sport is no longer in play because it has gone beyond the limits of the
- -- sports field.
- fun Foul : Ind SportsAttribute ;
-
- -- Setting up an Organization.
- fun Founding : Class ;
- fun Founding_Class : SubClass Founding (both Declaring OrganizationalProcess) ;
-
- -- Canines with a bushy tail and pointed ears and nose.
- -- Foxes tend to be much smaller than most DomesticDogs.
- fun Fox : Class ;
- fun Fox_Class : SubClass Fox Canine ;
-
- -- An Attribute which indicates that the associated Object is very breakable.
- fun Fragile : Ind BreakabilityAttribute ;
-
- -- Any Atom which is not part of a Molecule.
- fun FreeAtom : Class ;
- fun FreeAtom_Class : SubClass FreeAtom Atom ;
-
- -- A Romance language that is the official language
- -- of France and Belgium, and is widely spoken in Africa.
- fun FrenchLanguage : Ind (both SpokenHumanLanguage NaturalLanguage) ;
-
- -- Any PsychologicalProcess where the patient comes to feel Anxiety.
- fun Frightening : Class ;
- fun Frightening_Class : SubClass Frightening PsychologicalProcess ;
-
- -- Furrowing the forehead in such a way as to convey unhappiness.
- fun Frowning : Class ;
- fun Frowning_Class : SubClass Frowning FacialExpression ;
-
- -- Fuel is the class of Substances that can be
- -- used as resources in Combustion processes in order to produce heat.
- -- Mechanical energy can be produced by burning fuel in an Engine.
- fun Fuel : Class ;
- fun Fuel_Class : SubClass Fuel Substance ;
-
- -- Any Position where the employee is either
- -- salaried or paid for at least 40 hour of work per week.
- fun FullTimePosition : Class ;
- fun FullTimePosition_Class : SubClass FullTimePosition Position ;
-
- -- Indicates that a Device is performing its
- -- intended function.
- fun Functioning : Ind DeviceAttribute ;
-
- -- A FormalMeeting whose purpose is to commemorate the Death of someone.
- fun Funeral : Class ;
- fun Funeral_Class : SubClass Funeral FormalMeeting ;
-
- -- Any free_standing and movable Artifacts which are not which are
- -- used in day_to_day living and designed to rest on the Floor of a Room.
- fun Furniture : Class ;
- fun Furniture_Class : SubClass Furniture Artifact ;
-
- -- The process of transitioning from a state of being Unconscious to
- -- a state of being Awake.
- fun GainingConsciousness : Class ;
- fun GainingConsciousness_Class : SubClass GainingConsciousness PsychologicalProcess ;
-
- -- An Artifact that is designed to be used as an instrument in a Game.
- fun GameArtifact : Class ;
- fun GameArtifact_Class : SubClass GameArtifact Artifact ;
-
- -- Any ContestAttribute that is specific to a Game.
- fun GameAttribute : Class ;
- fun GameAttribute_Class : SubClass GameAttribute ContestAttribute ;
-
- -- A GameArtifact which is intended to be used as the
- -- game area for playing a particular game.
- fun GameBoard : Class ;
- fun GameBoard_Class : SubClass GameBoard GameArtifact ;
-
- -- A decision issued by an official referee in a
- -- Game. Note that GameCall is a subclass of Declaring, because these
- -- decisions have binding, normative force.
- fun GameCall : Class ;
- fun GameCall_Class : SubClass GameCall (both Deciding Declaring) ;
-
- -- A small cube with 1 to 6 dots on each face that is
- -- used to generate numbers at random in a Game.
- fun GameDie : Class ;
- fun GameDie_Class : SubClass GameDie GamePiece ;
-
- -- The location where a GameShot must end up if it
- -- is to constitute a Score.
- fun GameGoal : Class ;
- fun GameGoal_Class : SubClass GameGoal GameArtifact ;
-
- -- A GameArtifact that is moved around in a game
- -- area.
- fun GamePiece : Class ;
- fun GamePiece_Class : SubClass GamePiece GameArtifact ;
-
- -- A position which involves adjudicating contested
- -- Maneuvers in a Game, i.e. deciding whether or not the Maneuvers are
- -- permitted by the rules of the Game.
- fun GameReferee : Class ;
- fun GameReferee_Class : SubClass GameReferee SkilledOccupation ;
-
- -- Impelling a GamePiece for the purpose of
- -- scoring a point or preventing the opposing player or team from scoring
- -- a point. Note that this class does not cover shots which are disallowed
- -- by the rules of the game.
- fun GameShot : Class ;
- fun GameShot_Class : SubClass GameShot (both Impelling Maneuver) ;
-
- -- A Building or part of a Building which is intended to house
- -- one or more Automobiles when they are not in use or are under
- -- repair.
- fun Garage : Class ;
- fun Garage_Class : SubClass Garage StationaryArtifact ;
-
- -- GasolineEngine is the subclass of
- -- InternalCombustionEngines that use Gasoline as their resource.
- fun GasolineEngine : Class ;
- fun GasolineEngine_Class : SubClass GasolineEngine InternalCombustionEngine ;
-
- -- A Mollusk with a distinct head that has no
- -- shell (e.g. slugs) or a univalve shell (e.g. snails).
- fun Gastropod : Class ;
- fun Gastropod_Class : SubClass Gastropod Mollusk ;
-
- -- GeneralElection is the subclass of
- -- Elections that are held at regular intervals and in which all or most
- -- constituencies of a GeopoliticalArea participate.
- fun GeneralElection : Class ;
- fun GeneralElection_Class : SubClass GeneralElection Election ;
-
- -- A Germanic language that is spoken primarily in
- -- Germany and Austria.
- fun GermanLanguage : Ind (both SpokenHumanLanguage NaturalLanguage) ;
-
- -- A HumanChild who is Female.
- fun Girl : Class ;
- fun Girl_Class : SubClass Girl (both HumanChild Woman) ;
-
- -- A transparent or translucent Mixture of silicates.
- fun Glass : Class ;
- fun Glass_Class : SubClass Glass Mixture ;
-
- -- Clothing that is intended to be worn on the Hand.
- -- Note that this class covers both gloves which have individual compartments
- -- for each of the Fingers and mittens.
- fun Glove : Class ;
- fun Glove_Class : SubClass Glove Clothing ;
-
- -- Any Mixture whose purpose is to be used as the instrument
- -- of Attaching one thing to another.
- fun Glue : Class ;
- fun Glue_Class : SubClass Glue Mixture ;
-
- -- A DiseaseOrSyndrome which is due to an Iodine deficiency
- -- and which results in an enlarged ThyroidGland.
- fun Goiter : Ind DiseaseOrSyndrome ;
-
- -- A subclass of Bird with webbed feet and a long neck
- -- and a large body. These Birds are often raised for their Meat.
- fun Goose : Class ;
- fun Goose_Class : SubClass Goose Poultry ;
-
- -- A building belonging to a Government
- fun GovernmentBuilding : Class ;
- fun GovernmentBuilding_Class : SubClass GovernmentBuilding Building ;
-
- -- Any Profession where the position occupied
- -- is within a GovernmentOrganization.
- fun GovernmentOfficer : Class ;
- fun GovernmentOfficer_Class : SubClass GovernmentOfficer Profession ;
-
- -- A person who works for a Government.
- fun GovernmentPerson : Ind OccupationalRole ;
-
- -- The class of Positions where the position holder
- -- is head of an adminstrative department of Government.
- fun GovernmentSecretary : Class ;
- fun GovernmentSecretary_Class : SubClass GovernmentSecretary SkilledOccupation ;
-
- -- The head of the Government of an AmericanState.
- fun Governor : Ind Position ;
-
- -- A School which is devoted to a specific
- -- subject area, which admits students that have a bachelor's degree, which
- -- grants masters and/or doctorate degrees, and which is part of a University.
- fun GraduateSchool : Class ;
- fun GraduateSchool_Class : SubClass GraduateSchool PostSecondarySchool ;
-
- -- An Icon which depicts one or more quantities.
- fun GraphDiagram : Class ;
- fun GraphDiagram_Class : SubClass GraphDiagram Icon ;
-
- -- FloweringPlants with green, narrow leaves that are
- -- used for lawns and Fields. Grass includes any plant of the family
- -- Gramineae, a widely distributed group of mostly annual and perennial
- -- herbs.
- fun Grass : Class ;
- fun Grass_Class : SubClass Grass FloweringPlant ;
-
- -- Insects with enormous legs that are used for
- -- jumping.
- fun Grasshopper : Class ;
- fun Grasshopper_Class : SubClass Grasshopper Insect ;
-
- -- A SecondaryColor that results from mixing Black and
- -- White.
- fun GrayColor : Ind SecondaryColor ;
-
- -- An Indo_European language that is spoken in Greece.
- fun GreekLanguage : Ind (both SpokenHumanLanguage NaturalLanguage) ;
-
- -- A SecondaryColor that resembles the color of fresh
- -- grass.
- fun Green : Ind SecondaryColor ;
-
- -- Any instance of Expressing an acknowledgment of a
- -- person's arrival. Note that this class is not a subclass of ExpressingInLanguage,
- -- because it covers gestures of greeting, e.g. Waving and Nodding in certain
- -- circumstances.
- fun Greeting : Class ;
- fun Greeting_Class : SubClass Greeting Expressing ;
-
- fun GroceryProduce : Class ;
- fun GroceryProduce_Class : SubClass GroceryProduce (both FruitOrVegetable PlantAgriculturalProduct) ;
-
- -- A RetailStore that sells Food, and perhaps
- -- other items as well.
- fun GroceryStore : Class ;
- fun GroceryStore_Class : SubClass GroceryStore RetailStore ;
-
- -- Any Group which contains exclusively
- -- non_human members.
- fun GroupOfAnimals : Class ;
- fun GroupOfAnimals_Class : SubClass GroupOfAnimals Group ;
-
- -- A StringInstrument that has six to twelve strings and
- -- is played by strumming with one hand while grasping frets with the other hand.
- fun Guitar : Class ;
- fun Guitar_Class : SubClass Guitar StringInstrument ;
-
- -- A Weapon that shoots a Projectile.
- fun Gun : Class ;
- fun Gun_Class : SubClass Gun (both ProjectileLauncher Weapon) ;
-
- -- The part of a Gun through which a Projectile travels
- -- when it is fired.
- fun GunBarrel : Class ;
- fun GunBarrel_Class : SubClass GunBarrel EngineeringComponent ;
-
- -- A Mixture of potassium nitrate, sulfur, and
- -- charcoal that is used in ExplosiveDevices and to propell Projectiles
- -- in ProjectileWeapons.
- fun GunPowder : Class ;
- fun GunPowder_Class : SubClass GunPowder Mixture ;
-
- -- The part of a Gun that is placed against the
- -- shoulder to absorb some of the recoil action when it is fired.
- fun GunStock : Class ;
- fun GunStock_Class : SubClass GunStock EngineeringComponent ;
-
- -- The part of the Gun which is pulled in Shooting
- -- the Gun.
- fun GunTrigger : Class ;
- fun GunTrigger_Class : SubClass GunTrigger EngineeringComponent ;
-
- -- A filament that covers part of the body of many
- -- Mammals.
- fun Hair : Class ;
- fun Hair_Class : SubClass Hair AnimalAnatomicalStructure ;
-
- -- Removing (some or all) the Hair from the
- -- body of an Animal. Note that this covers shaving hair, cutting hair,
- -- pulling hair out by the roots, etc.
- fun HairRemoval : Class ;
- fun HairRemoval_Class : SubClass HairRemoval Removing ;
-
- -- A Device that is used to pound Nails into a
- -- surface, where they become firmly attached.
- fun Hammer : Class ;
- fun Hammer_Class : SubClass Hammer Device ;
-
- -- The grasping, fingered part of an upper limb of a
- -- Primate.
- fun Hand : Class ;
- fun Hand_Class : SubClass Hand (both AnimalAnatomicalStructure BodyPart) ;
-
- -- Any Gesture which involves the Hands.
- fun HandGesture : Class ;
- fun HandGesture_Class : SubClass HandGesture Gesture ;
-
- -- A hand grenade is a small explosive device
- -- with a simple trigger mechanism, usually lasting a few seconds, designed
- -- to be propelled by a human to its target.
- fun HandGrenade : Class ;
- fun HandGrenade_Class : SubClass HandGrenade Bomb ;
-
- -- An attack in which a HandGrenade is
- -- employed as an explosive device for the purpose of Destruction.
- -- A case in which a hand grenade is used as a blunt striking object in
- -- an attack would not be in this class.
- fun HandgrenadeAttack : Class ;
- fun HandgrenadeAttack_Class : SubClass HandgrenadeAttack Bombing ;
-
- -- The part or parts of an Artifact that are designed to be
- -- held with the Hands when the Artifact is used or carried.
- fun Handle : Class ;
- fun Handle_Class : SubClass Handle EngineeringComponent ;
-
- -- The BodyPosition where one rests on one's hands
- -- and extends one's feet in the air.
- fun Handstand : Ind BodyPosition ;
-
- -- Suffocating someone by suspending him/her from
- -- a rope wound around the neck until asphyxiation occurs.
- fun Hanging : Class ;
- fun Hanging_Class : SubClass Hanging Suffocating ;
-
- -- The state of being happy, experiencing pleasure,
- -- joy or contentment. Note that this Attribute covers both active enjoyment,
- -- as well as the emotional state of simply being free from anxiety or fear.
- fun Happiness : Ind EmotionalState ;
-
- -- Gathering the plant results of Agriculture.
- fun Harvesting : Class ;
- fun Harvesting_Class : SubClass Harvesting Removing ;
-
- -- A type of Clothing that is worn on the Head. Note
- -- that this class covers caps, bonnets, berets, etc.
- fun Hat : Class ;
- fun Hat_Class : SubClass Hat Clothing ;
-
- -- The part of the body containing the sense organs and
- -- the brain.
- fun Head : Class ;
- fun Head_Class : SubClass Head (both AnimalAnatomicalStructure BodyPart) ;
-
- -- Pain that that is restricted to the Head.
- fun Headache : Ind EmotionalState ;
-
- -- Any VehicleLight which is attached to the front of a Vehicle.
- fun Headlight : Class ;
- fun Headlight_Class : SubClass Headlight VehicleLight ;
-
- -- The Organ that pumps Blood throughout the body.
- fun Heart : Class ;
- fun Heart_Class : SubClass Heart (both AnimalAnatomicalStructure Organ) ;
-
- -- A Device whose purpose is Heating something,
- -- e.g. electric heaters, heat lamps, ovens, stoves, etc.
- fun HeatingDevice : Class ;
- fun HeatingDevice_Class : SubClass HeatingDevice Device ;
-
- -- Any Aircraft with rapidly rotating wings.
- fun Helicopter : Class ;
- fun Helicopter_Class : SubClass Helicopter Aircraft ;
-
- -- A Female Chicken.
- fun Hen : Class ;
- def Hen = KappaFn Chicken (\H -> attribute (var Chicken Object ? H) (el SexAttribute Attribute ? Female)) ;
-
- -- A plant_eating Mammal.
- fun Herbivore : Class ;
- fun Herbivore_Class : SubClass Herbivore Mammal ;
-
- -- A School which admits students who have
- -- graduated from a middle school and which normally covers the ninth through
- -- twelfth grades. A HighSchool confers a high school diploma.
- fun HighSchool : Class ;
- fun HighSchool_Class : SubClass HighSchool School ;
-
- -- Robbing a Vehicle and then driving
- -- or piloting it away.
- fun Hijacking : Class ;
- fun Hijacking_Class : SubClass Hijacking Robbing ;
-
- -- An EngineeringComponent that connects one thing to
- -- another in such a way that they can move relative to one another.
- fun Hinge : Class ;
- fun Hinge_Class : SubClass Hinge EngineeringComponent ;
-
- -- A FactualAccount that describes
- -- significant events that occurred in the past.
- fun HistoricalAccount : Class ;
- fun HistoricalAccount_Class : SubClass HistoricalAccount (both FactualText NarrativeText) ;
-
- -- The recording and interpretation of past events involving
- -- Humans, including political events and cultural practices.
- fun History : Ind FieldOfStudy ;
-
- -- HoistingDevice is a subclass of
- -- mechanical Devices that provide a mechanical advantage in lifting
- -- and lowering, e.g., by use of a block and tackle.
- fun HoistingDevice : Class ;
- fun HoistingDevice_Class : SubClass HoistingDevice MaterialHandlingEquipment ;
-
- -- A large class of Devices whose purpose is to hold
- -- something else, i.e. be the instrument of a Keeping.
- fun Holder : Class ;
- fun Holder_Class : SubClass Holder Device ;
-
- -- A stiff piece of Paper, usually folded over, which
- -- is sent to others in celebration of a Holiday.
- fun HolidayCard : Class ;
- fun HolidayCard_Class : SubClass HolidayCard ContentBearingObject ;
-
- -- A Container for a Pistol. It is generally made of
- -- Leather and worn on either the shoulder or the waist.
- fun Holster : Class ;
- fun Holster_Class : SubClass Holster Container ;
-
- -- The final BaseballBase which must be touched
- -- by the batter in order to achieve a BaseballRun.
- fun HomeBase : Class ;
- fun HomeBase_Class : SubClass HomeBase BaseballBase ;
-
- -- An edible, sweet Substance produced by some species of
- -- Bees.
- fun Honey : Class ;
- fun Honey_Class : SubClass Honey (both AnimalSubstance Food) ;
-
- -- The hard end of the Foot of a HoofedMammal.
- fun Hoof : Class ;
- fun Hoof_Class : SubClass Hoof (both AnimalAnatomicalStructure BodyPart) ;
-
- -- A Hormone secreted by the ThyroidGland.
- fun HormoneTSH : Class ;
- fun HormoneTSH_Class : SubClass HormoneTSH Hormone ;
-
- -- An outgrowth of Bone that is found on some
- -- HoofedMammals.
- fun Horn : Class ;
- fun Horn_Class : SubClass Horn Bone ;
-
- -- A MusicalInstrument which is played by
- -- blowing it. It uses lip vibration to generates sound and control part
- -- of the pitch generation process as well.
- fun HornInstrument : Class ;
- fun HornInstrument_Class : SubClass HornInstrument MusicalInstrument ;
-
- -- A domesticated HoofedMammal that is used for
- -- transportation and work.
- fun Horse : Class ;
- fun Horse_Class : SubClass Horse (both HoofedMammal Livestock) ;
-
- -- Any instance of Carrying where the Animal is
- -- a Horse.
- fun HorseRiding : Class ;
- fun HorseRiding_Class : SubClass HorseRiding Carrying ;
-
- -- A Building that serves at the place of business for
- -- a HospitalOrganization.
- fun HospitalBuilding : Class ;
- fun HospitalBuilding_Class : SubClass HospitalBuilding TemporaryResidence ;
-
- -- A CareOrganization where patients reside for a
- -- short period of time while they undergo treatment for a disease or disorder.
- fun HospitalOrganization : Class ;
- fun HospitalOrganization_Class : SubClass HospitalOrganization CareOrganization ;
-
- -- An event in which one agent keeps another
- -- against his or her will, in order to force it or a third agent to
- -- accede to some demand. The hostages are typically kept in the place
- -- where they are first taken hostage, in contrast to a Kidnapping.
- -- Hostage taking often involves a number of people (although it may be
- -- just one), again, in contrast to a Kidnapping.
- fun HostageTaking : Class ;
- fun HostageTaking_Class : SubClass HostageTaking UnilateralGetting ;
-
- -- A building which servers the purpose of a temporary
- -- home for people, either for people who are travelling, or occasionally for
- -- those who do not have another more permanent residence. A hotel is
- -- distinguished from a homeless shelter, or a residence loaned to a friend
- -- in that the primary purpose of the building is to generate revenue in
- -- return for the priviledge of staying there. Many hotels contains other
- -- facilities such as Restaurants or health clubs or even miscellaneous stores
- -- although that is not their primary business or purpose.
- fun Hotel : Class ;
- fun Hotel_Class : SubClass Hotel (both Building TemporaryResidence) ;
-
- -- A role occupied by a wife who manages the home
- -- while her husband earns income for the family.
- fun Housewife : Ind SocialRole ;
-
- -- The class of Humans that are 18 years of
- -- age or older.
- fun HumanAdult : Class ;
- fun HumanAdult_Class : SubClass HumanAdult Human ;
-
- -- A Human between birth and the first year of age.
- fun HumanBaby : Class ;
- fun HumanBaby_Class : SubClass HumanBaby HumanChild ;
-
- -- A HumanYouth between birth and puberty, i.e a
- -- Human who is NonFullyFormed.
- fun HumanChild : Class ;
- fun HumanChild_Class : SubClass HumanChild HumanYouth ;
-
- -- A Dead thing which was formerly a Human.
- fun HumanCorpse : Class ;
- fun HumanCorpse_Class : SubClass HumanCorpse OrganicObject ;
-
- -- A Human who is owned by someone else.
- fun HumanSlave : Ind SocialRole ;
-
- -- The class of Humans that are younger than
- -- 18 years of age.
- fun HumanYouth : Class ;
- fun HumanYouth_Class : SubClass HumanYouth Human ;
-
- -- The Attribute that applies to Animals and Humans
- -- when they want Food.
- fun Hungry : Ind BiologicalAttribute ;
-
- -- Any OrganicCompound that contains only Carbon
- -- and Hydrogen.
- fun Hydrocarbon : Class ;
- fun Hydrocarbon_Class : SubClass Hydrocarbon OrganicCompound ;
-
- -- The part of the Brain lying below the
- -- thalamus that serves to regulate AutonomicProcesses.
- fun Hypothalamus : Class ;
- fun Hypothalamus_Class : SubClass Hypothalamus (both AnimalAnatomicalStructure BodyPart) ;
-
- -- Water that has the PhysicalState of Solid.
- fun Ice : Class ;
- def Ice = KappaFn Water (\ICE -> attribute (var Water Object ? ICE) (el PhysicalState Attribute ? Solid)) ;
-
- -- A proposition is Illegal just in case it is inconsistent
- -- with any proposition that is a Law.
- fun Illegal : Ind DeonticAttribute ;
-
- -- Forming a mental picture of something which
- -- is not present.
- fun Imagining : Class ;
- fun Imagining_Class : SubClass Imagining PsychologicalProcess ;
-
- -- Any Translocation by a Human from one Nation
- -- to another Nation where the person is not a citizen for the purpose of taking
- -- up residence.
- fun Immigrating : Class ;
- fun Immigrating_Class : SubClass Immigrating Translocation ;
-
- -- The class of Confining processes where the detainee
- -- is put in Prison.
- fun Imprisoning : Class ;
- fun Imprisoning_Class : SubClass Imprisoning Confining ;
-
- -- An attack in which an agent
- -- uses a device which causes fire in order to destroy life or property.
- fun IncendiaryDeviceAttack : Class ;
- fun IncendiaryDeviceAttack_Class : SubClass IncendiaryDeviceAttack (both Combustion ViolentContest) ;
-
- -- Moving one's body downward from a vertical position.
- -- Note that this class covers cases of leaning forward, as well as those of
- -- reclining backwards.
- fun Inclining : Class ;
- fun Inclining_Class : SubClass Inclining (both BodyMotion MotionDownward) ;
-
- -- A Tax on annual income.
- fun IncomeTax : Class ;
- fun IncomeTax_Class : SubClass IncomeTax Tax ;
-
- -- Pointing out a person, place or thing with
- -- one's hand or with an Artifact.
- fun Indicating : Class ;
- fun Indicating_Class : SubClass Indicating (both BodyMotion Communication) ;
-
- -- Any Region which is enclosed by a Building.
- fun Indoors : Ind Region ;
-
- -- A Building or part of a Building or group
- -- of Buildings whose purpose is to Manufacture something.
- fun IndustrialPlant : Class ;
- fun IndustrialPlant_Class : SubClass IndustrialPlant StationaryArtifact ;
-
- -- The class of Collections of Corporations
- -- which are in the same line of business.
- fun Industry : Class ;
- fun Industry_Class : SubClass Industry Collection ;
-
- -- Any DiseaseOrSyndrome that is caused by a
- -- Microorganism.
- fun InfectiousDisease : Class ;
- fun InfectiousDisease_Class : SubClass InfectiousDisease DiseaseOrSyndrome ;
-
- -- An event in which an agent joins an
- -- organization under false pretenses. The objective of such an act
- -- is often to gather information helpful to a rival organization.
- fun Infiltration : Class ;
- fun Infiltration_Class : SubClass Infiltration JoiningAnOrganization ;
-
- -- Any Quantity that is not limited or bounded
- -- in magnitude.
- fun InfiniteQuantity : Class ;
- fun InfiniteQuantity_Class : SubClass InfiniteQuantity Quantity ;
-
- -- Any instance of Breathing where the breath is
- -- taken into the Lungs.
- fun Inhaling : Class ;
- fun Inhaling_Class : SubClass Inhaling Breathing ;
-
- -- Any UnilateralGetting where the agent
- -- receives some part of the property of a person upon the death of the
- -- person.
- fun Inheriting : Class ;
- fun Inheriting_Class : SubClass Inheriting UnilateralGetting ;
-
- -- Inside is a PositionalAttribute used to
- -- describe the relative location of one object or region to another
- -- region. For example, (orientation Virginia UnitedStates Inside).
- fun Inside : Ind PositionalAttribute ;
-
- -- Putting a Device in a location and configuring
- -- the Device so that it can be used as intended after the installation.
- fun Installing : Class ;
- fun Installing_Class : SubClass Installing Putting ;
-
- -- Music which is produced (at least in part)
- -- by a MusicalInstrument.
- fun InstrumentalMusic : Class ;
- fun InstrumentalMusic_Class : SubClass InstrumentalMusic Music ;
-
- -- A Hormone secreted by the Pancreas that is used
- -- to regulate the metabolism of Carbohydrates.
- fun Insulin : Class ;
- fun Insulin_Class : SubClass Insulin Hormone ;
-
- -- A CommercialAgent that insures Agents
- -- for the payment of a premium or premiums.
- fun InsuranceCompany : Class ;
- fun InsuranceCompany_Class : SubClass InsuranceCompany CommercialAgent ;
-
- -- A Certificate that states the terms of an
- -- insurance contract.
- fun InsurancePolicy : Class ;
- fun InsurancePolicy_Class : SubClass InsurancePolicy Certificate ;
-
- -- The FieldOfStudy of designing the interiors of Buildings.
- fun InteriorDesign : Ind FieldOfStudy ;
-
- -- InternalCombustionEngine is
- -- the subclass of Engines in which a heat reaction that occurs inside
- -- the engine is transformed into mechanical energy.
- fun InternalCombustionEngine : Class ;
- fun InternalCombustionEngine_Class : SubClass InternalCombustionEngine Engine ;
-
- -- An Attribute that applies to Propositions
- -- that express Laws concerning the relations between Nations.
- fun InternationalLaw : Ind DeonticAttribute ;
-
- -- A FormalMeeting whose purpose is to acquire
- -- information from the interviewee that can be used in a media report.
- fun Interviewing : Class ;
- fun Interviewing_Class : SubClass Interviewing FormalMeeting ;
-
- -- A BodyVessel which connects the Stomach to
- -- the anus and which is used in digesting Food.
- fun Intestine : Class ;
- fun Intestine_Class : SubClass Intestine (both AnimalAnatomicalStructure BodyVessel) ;
-
- -- An item of value purchased for income or capital appreciation.
- fun Investment : Class ;
- fun Investment_Class : SubClass Investment FinancialAsset ;
-
- -- An electronically charged Atom or Molecule. In
- -- other words, a PureSubstance that has lost one of its Electrons.
- fun Ion : Class ;
- fun Ion_Class : SubClass Ion PureSubstance ;
-
- -- A very hard substance that makes up the tusks of
- -- elephants and walruses.
- fun Ivory : Class ;
- fun Ivory_Class : SubClass Ivory Bone ;
-
- -- Any Position which involves cleaning a Building
- -- or some of the Rooms within a Building.
- fun Janitor : Class ;
- fun Janitor_Class : SubClass Janitor UnskilledOccupation ;
-
- -- The Profession of being a news reporter, i.e.
- -- investigating and reporting, in a publication or broadcast program, current
- -- events.
- fun Journalist : Class ;
- fun Journalist_Class : SubClass Journalist Profession ;
-
- -- An Attorney who has the power of deciding legal cases.
- fun Judge : Class ;
- fun Judge_Class : SubClass Judge (both Attorney GovernmentOfficer) ;
-
- -- Any MotionUpward which is done by one's body
- -- and which results in a situation where one's feet are unsupported.
- fun Jumping : Class ;
- fun Jumping_Class : SubClass Jumping (both BodyMotion MotionUpward) ;
-
- -- The class of PostSecondarySchools that
- -- offer an associate's degree and do not offer a bachelor's degree.
- fun JuniorCollege : Class ;
- fun JuniorCollege_Class : SubClass JuniorCollege PostSecondarySchool ;
-
- -- A GroupOfPeople who are given the duty of rendering a
- -- verdict with respect to a LegalAction.
- fun Jury : Class ;
- fun Jury_Class : SubClass Jury GroupOfPeople ;
-
- -- A Device which opens and closes a Lock.
- fun Key : Class ;
- fun Key_Class : SubClass Key SecurityDevice ;
-
- -- Any instance of Impelling where the instrument
- -- is a Foot of the agent.
- fun Kicking : Class ;
- fun Kicking_Class : SubClass Kicking Impelling ;
-
- -- An event in which one agent keeps another
- -- against his or her will, in order to force it or a third agent to
- -- accede to some demand. The kidnapped party is normally removed from
- -- the location where first attacked. In contrast to a HotageTaking,
- -- a kidnapping normally involves an attack on one, or a very small
- -- number of people, such as a couple.
- fun Kidnapping : Class ;
- fun Kidnapping_Class : SubClass Kidnapping Robbing ;
-
- -- An Organ that separates urine from other
- -- BodySubstances and passes it to the bladder.
- fun Kidney : Class ;
- fun Kidney_Class : SubClass Kidney (both AnimalAnatomicalStructure Organ) ;
-
- -- The class of Touching processes where the lips
- -- of two persons are brought into contact with each other.
- fun Kissing : Class ;
- fun Kissing_Class : SubClass Kissing Touching ;
-
- -- A Room intended for Cooking.
- fun Kitchen : Class ;
- fun Kitchen_Class : SubClass Kitchen Room ;
-
- -- The joint in the Leg connecting the tibia and fibula
- -- with the femur.
- fun Knee : Class ;
- fun Knee_Class : SubClass Knee BodyJoint ;
-
- -- The BodyPosition of resting one's weight on one's Knees.
- fun Kneeling : Ind BodyPosition ;
-
- -- A sharp object used for cutting. The object must
- -- have at least single blade or major protrusion which may be sharp at its
- -- end as well. It may be sharp on both sides, or just one. Unlike an awl
- -- it has a sharp edge rather than a point. Unlike scissors, it is a single
- -- blade without additional articulated parts. Unlike an axe, a knife is
- -- well_designed for slicing rather than chopping, although a heavy knife
- -- such as a broadsword can also be used for chopping, whereas a non_knife is
- -- not well designed for slicing meat for example. A knife can be small like
- -- a pocket knife, or large like a two_handed broadsword. A knife may also
- -- include other protrusions such as in the split swords and trident_like
- -- objects (that also possess a long sharp edge) in Chinese weaponry.
- fun Knife : Class ;
- fun Knife_Class : SubClass Knife CuttingDevice ;
-
- -- An attack in which a knife is used.
- fun KnifeAttack : Class ;
- fun KnifeAttack_Class : SubClass KnifeAttack ViolentContest ;
-
- -- A SocialRole that is assigned by the
- -- UnitedKingdom to persons for reasons of personal merit.
- fun Knight : Ind SocialRole ;
-
- -- Any joint in a Finger.
- fun Knuckle : Class ;
- fun Knuckle_Class : SubClass Knuckle BodyJoint ;
-
- -- A very brief Text that is attached to an Object
- -- and that indicates very specific information about the Object, e.g. its
- -- name, its monetaryValue, etc.
- fun Label : Class ;
- fun Label_Class : SubClass Label Text ;
-
- -- A Process in which some or all of the
- -- employees of an Organization refuse to work until their pay is
- -- increased or their working conditions are improved in some respect.
- fun LaborStriking : Class ;
- fun LaborStriking_Class : SubClass LaborStriking OrganizationalProcess ;
-
- -- A Building, Room or suite of Rooms where
- -- scientific research, i.e. Experimenting, is conducted.
- fun Laboratory : Class ;
- fun Laboratory_Class : SubClass Laboratory StationaryArtifact ;
-
- -- An Artifact which consists of two parallel supports
- -- connected by a series of rungs which can be used to ascend or descend.
- fun Ladder : Class ;
- fun Ladder_Class : SubClass Ladder Artifact ;
-
- -- A young Sheep, i.e. a Sheep that is NonFullyFormed.
- fun Lamb : Class ;
- def Lamb = KappaFn Sheep (\L -> attribute (var Sheep Object ? L)
- (el DevelopmentalAttribute Attribute ? NonFullyFormed)) ;
-
- -- Any instance of Transportation where the
- -- instrument is a LandVehicle.
- fun LandTransportation : Class ;
- fun LandTransportation_Class : SubClass LandTransportation Transportation ;
-
- -- LandVehicle is the class of TransportationDevices that travel on
- -- land. The two main types of LandVehicle are RoadVehicle and
- -- RailVehicle. Note that this includes vehicles which travel on any solid
- -- surface, including a frozen body of water or snow.
- fun LandVehicle : Class ;
- fun LandVehicle_Class : SubClass LandVehicle Vehicle ;
-
- -- Any instance of Translocation which ends up on something other
- -- than an AtmosphericRegion and which has an instance of Flying as a subProcess.
- fun Landing : Class ;
- fun Landing_Class : SubClass Landing Translocation ;
-
- -- (LastFn ?LIST) returns the last item in the
- -- List ?LIST. For example, (LastFn (ListFn Monday Tuesday
- -- Wednesday)) would return the value of Wednesday.
- fun LastFn : El List -> Ind Entity ;
-
- -- A Language that was spoken in ancient Rome and
- -- is still the official language of the Vatican.
- fun LatinLanguage : Ind (both SpokenHumanLanguage NaturalLanguage) ;
-
- -- Expressing happiness by Vocalizing in a
- -- certain way.
- fun Laughing : Class ;
- fun Laughing_Class : SubClass Laughing (both FacialExpression Vocalizing) ;
-
- -- Any RegulatoryProcess where the agent is either
- -- a PoliceOrganization or a member of a PoliceOrganization. This covers
- -- everything from issuing a traffic ticket to arresting someone on suspicion of having
- -- committed a Murder.
- fun LawEnforcement : Class ;
- fun LawEnforcement_Class : SubClass LawEnforcement (both PoliticalProcess RegulatoryProcess) ;
-
- -- A CultivatedLandArea and Field
- -- containing mowed Grass.
- fun Lawn : Class ;
- fun Lawn_Class : SubClass Lawn (both CultivatedLandArea Field) ;
-
- -- Any OrganismProcess where an Egg is expelled
- -- from the body of a Animal, e.g. a Bird or Reptile laying eggs.
- fun LayingEggs : Class ;
- fun LayingEggs_Class : SubClass LayingEggs OrganismProcess ;
-
- -- A Fabric that is the result of tanning an Animal
- -- Skin.
- fun Leather : Class ;
- fun Leather_Class : SubClass Leather Fabric ;
-
- -- The initial part of any instance of Translocation.
- fun Leaving : Class ;
- fun Leaving_Class : SubClass Leaving Translocation ;
-
- -- Any instance of Speaking which is done before an
- -- assembled audience.
- fun Lecture : Class ;
- fun Lecture_Class : SubClass Lecture (both Demonstrating Speaking) ;
-
- -- The lower Limbs of Primates.
- fun Leg : Class ;
- fun Leg_Class : SubClass Leg Limb ;
-
- -- A proposition is Legal just in case it is not inconsistent
- -- with any proposition that is a Law.
- fun Legal : Ind DeonticAttribute ;
-
- -- Asking that a higher court reconsider a LegalDecision
- -- of a lower court.
- fun LegalAppeal : Class ;
- fun LegalAppeal_Class : SubClass LegalAppeal (both JudicialProcess Requesting) ;
-
- -- Any LegalDecision where the defendant is found
- -- not to be guilty of the crime for which the corresponding trial was held.
- fun LegalAquittal : Class ;
- fun LegalAquittal_Class : SubClass LegalAquittal LegalDecision ;
-
- -- Any LegalDecision which gives to the plaintiff of
- -- the corresponding LegalAction some amount of monetary compensation.
- fun LegalAward : Class ;
- fun LegalAward_Class : SubClass LegalAward LegalDecision ;
-
- -- Any LegalAction of which a Government is
- -- the agent.
- fun LegalCharge : Class ;
- fun LegalCharge_Class : SubClass LegalCharge LegalAction ;
-
- -- Any LegalDecision where the defendant is found
- -- guilty of the crime for which the corresponding trial was held.
- fun LegalConviction : Class ;
- fun LegalConviction_Class : SubClass LegalConviction LegalDecision ;
-
- -- Any LegalDecision where the LegalAction of
- -- the plaintiff is dismissed by the court, e.g. for lack of merit.
- fun LegalDismissal : Class ;
- fun LegalDismissal_Class : SubClass LegalDismissal LegalDecision ;
-
- -- An Argument that explains the reasoning behind a
- -- LegalDecision.
- fun LegalOpinion : Class ;
- fun LegalOpinion_Class : SubClass LegalOpinion Argument ;
-
- -- An official order that a person appear at a
- -- CourtRoom at a specified time.
- fun LegalSummons : Class ;
- fun LegalSummons_Class : SubClass LegalSummons (both JudicialProcess Ordering) ;
-
- -- The Attribute of being a proposed law,
- -- i.e. being under consideration by a legislative body of Government.
- fun LegislativeBill : Ind DeonticAttribute ;
-
- -- LegislativeOrganization is the
- -- class of Organizations that have as their main purpose the passing of
- -- laws or regulations.
- fun LegislativeOrganization : Class ;
- fun LegislativeOrganization_Class : SubClass LegislativeOrganization Organization ;
-
- -- A citrus FruitOrVegetable that has a Yellow skin
- -- and a tart, acidic flavor.
- fun LemonFruit : Class ;
- fun LemonFruit_Class : SubClass LemonFruit (both Food FruitOrVegetable) ;
-
- -- Increasing the length of something.
- fun Lengthening : Class ;
- fun Lengthening_Class : SubClass Lengthening Increasing ;
-
- -- An OpticalDevice which consists of a polished,
- -- transparent piece of glass or plastic. Lenses are often part of
- -- other OpticalDevices.
- fun Lens : Class ;
- fun Lens_Class : SubClass Lens OpticalDevice ;
-
- -- Any AbnormalAnatomicalStructure which is the result of
- -- an Injuring and which is found on the surface of an Organ.
- fun Lesion : Class ;
- fun Lesion_Class : SubClass Lesion AbnormalAnatomicalStructure ;
-
- -- A brief message which is intended to be mailed
- -- to a person or Organization.
- fun Letter : Class ;
- fun Letter_Class : SubClass Letter FactualText ;
-
- -- An attack with a bomb that is
- -- concealed in a letter or package, which is typically designed to
- -- explode upon opening.
- fun LetterBombAttack : Class ;
- fun LetterBombAttack_Class : SubClass LetterBombAttack Bombing ;
-
- -- The ShapeAttribute of Objects where no
- -- part of the top of the Object is higher than any other part of the
- -- top.
- fun LevelShape : Ind ShapeAttribute ;
-
- -- An EducationalOrganization which is a repository
- -- of Texts which have been classified for efficient retrieval.
- fun Library : Class ;
- fun Library_Class : SubClass Library EducationalOrganization ;
-
- -- License is the subclass of Certificates that
- -- are granted by a GovernmentOrganization and that authorize the performance
- -- of a kind of action, e.g., driving, exporting, travelling to another
- -- country, etc.
- fun License : Class ;
- fun License_Class : SubClass License Certificate ;
-
- -- The class of Touching processes where the Tongue
- -- is brought into contact with something else.
- fun Licking : Class ;
- fun Licking_Class : SubClass Licking Touching ;
-
- -- A commissioned MilitaryOfficer.
- fun Lieutenant : Class ;
- fun Lieutenant_Class : SubClass Lieutenant MilitaryOfficer ;
-
- -- The second_in_command of some Governments
- -- of AmericanStates.
- fun LieutenantGovernor : Ind Position ;
-
- -- Any Device whose purpose is to be a source of
- -- visible light.
- fun LightFixture : Class ;
- fun LightFixture_Class : SubClass LightFixture Device ;
-
- -- A WeatherProcess which involves a significant
- -- release of electricity from a Cloud.
- fun Lightning : Class ;
- fun Lightning_Class : SubClass Lightning (both Radiating WeatherProcess) ;
-
- -- A FloweringPlant that has large clusters of
- -- aromatic flowers.
- fun Lilac : Class ;
- fun Lilac_Class : SubClass Lilac FloweringPlant ;
-
- -- Any of the limbs of a Vertebrate.
- -- Animal Appendages with joints that are used for movement
- -- and grasping.
- fun Limb : Class ;
- fun Limb_Class : SubClass Limb (both AnimalAnatomicalStructure BodyPart) ;
-
- -- A ShapeAttribute that applies to
- -- Collections and indicates that all of the members of the Collection
- -- are arrayed in a line, i.e. each member (except possibly the first) is
- -- behind or to the side of exactly one other member.
- fun LineFormation : Ind ShapeAttribute ;
-
- -- Any Attribute that is
- -- expressed by a Language or class of Languages.
- fun LinguisticAttribute : Class ;
- fun LinguisticAttribute_Class : SubClass LinguisticAttribute InternalAttribute ;
-
- -- The field of linguistics.
- fun Linguistics : Ind SocialScience ;
-
- -- Folds of Tissue surrounding the mouths of some
- -- Vertebrates.
- fun Lip : Class ;
- fun Lip_Class : SubClass Lip (both AnimalAnatomicalStructure BodyPart) ;
-
- -- LiquefiedPetroleumGas is a
- -- compressed hydrocarbon gas.
- fun LiquefiedPetroleumGas : Class ;
- fun LiquefiedPetroleumGas_Class : SubClass LiquefiedPetroleumGas (both FossilFuel RefinedPetroleumProduct) ;
-
- -- Any BodySubstance which is Liquid
- -- under normal circumstances.
- fun LiquidBodySubstance : Class ;
- fun LiquidBodySubstance_Class : SubClass LiquidBodySubstance BodySubstance ;
-
- -- A UnitOfMeasure used in preparing AlcoholicBeverages.
- fun LiquorShot : Ind UnitOfVolume ;
-
- -- The ability to read and write. Someone who
- -- has this Attribute is able to read and write.
- fun LiteracyAttribute : Ind TraitAttribute ;
-
- -- The study of literature, i.e. instances of FictionalText
- -- that are regarded as having special merit.
- fun Literature : Ind FieldOfStudy ;
-
- -- An Organ that secretes bile and serves metabolic
- -- functions.
- fun Liver : Class ;
- fun Liver_Class : SubClass Liver (both AnimalAnatomicalStructure Organ) ;
-
- -- Livestock is the class of live animals
- -- raised as AgriculturalProducts.
- fun Livestock : Class ;
- fun Livestock_Class : SubClass Livestock (both AnimalAgriculturalProduct DomesticAnimal) ;
-
- -- Inserting ammunition into a ProjectileWeapon
- -- in such a way that the ammunition can be fired by the weapon.
- fun LoadingWeapon : Class ;
- fun LoadingWeapon_Class : SubClass LoadingWeapon Inserting ;
-
- -- A Device, which, through a Key or a combination prevents
- -- access to a Container or StationaryArtifact.
- fun Lock : Class ;
- fun Lock_Class : SubClass Lock SecurityDevice ;
-
- -- A three dimensional object that
- -- has two thin dimensions and one markedly larger one.
- fun LongAndThin : Ind ShapeAttribute ;
-
- -- The process of transitioning from a state
- -- of being Awake to a state of being Unconscious.
- fun LosingConsciousness : Class ;
- fun LosingConsciousness_Class : SubClass LosingConsciousness PsychologicalProcess ;
-
- -- The ContestAttribute that applies to a Contest
- -- participant who has lost the Contest.
- fun Lost : Ind ContestAttribute ;
-
- -- A respiratory organ of Vertebrates. Its function is
- -- to furnish the blood with oxygen and to remove carbon dioxide.
- fun Lung : Class ;
- fun Lung_Class : SubClass Lung (both AnimalAnatomicalStructure Organ) ;
-
- -- The BodyMotion of moving from a Sitting
- -- to a Prostrate position.
- fun LyingDown : Class ;
- fun LyingDown_Class : SubClass LyingDown (both BodyMotion MotionDownward) ;
-
- -- A lynching is a form of Killing conducted under
- -- a thin guise of legitimacy by a vigilante group. It may be a purge of an
- -- individual from the group who is perceived to have gone astray, or it may
- -- be the summary execution of an individual outside the group that the group
- -- has determined has violated some law or code, either of the group, or the
- -- larger society. A lynching is distinguished from a legal execution in
- -- that the laws of a government are not followed in carrying out the
- -- killing. A lynching is distinguished from a murder in that there is the
- -- pretense of some process carried out by a group in the name of their own
- -- group or a higher power.
- fun Lynching : Class ;
- fun Lynching_Class : SubClass Lynching Killing ;
-
- -- Any Text which is intended to be sung.
- fun Lyrics : Class ;
- fun Lyrics_Class : SubClass Lyrics Text ;
-
- -- A Periodical that is softbound and printed on
- -- glossy paper.
- fun Magazine : Class ;
- fun Magazine_Class : SubClass Magazine Periodical ;
-
- -- Any instance of RadiatingElectromagnetic which
- -- involves the attraction of Iron.
- fun Magnetism : Class ;
- fun Magnetism_Class : SubClass Magnetism RadiatingElectromagnetic ;
-
- -- Any ServicePosition where various needs of a person
- -- or family are served over a long period of time. Note that these Positions
- -- are, by definition, filled only by Women.
- fun Maid : Class ;
- fun Maid_Class : SubClass Maid ServicePosition ;
-
- -- A Container whose purpose is to receive items
- -- that are mailed to the address associated with the Mailbox.
- fun Mailbox : Class ;
- fun Mailbox_Class : SubClass Mailbox Container ;
-
- -- Any instance of Transfer where a postal system is
- -- used to move the patient, either a letter or a package.
- fun Mailing : Class ;
- fun Mailing_Class : SubClass Mailing Transfer ;
-
- -- A CerealGrain which is found on long ears of a Plant
- -- native to the Americas.
- fun MaizeGrain : Class ;
- fun MaizeGrain_Class : SubClass MaizeGrain (both CerealGrain GroceryProduce) ;
-
- -- A MilitaryGeneral that ranks above a BrigadierGeneral.
- fun MajorGeneral : Class ;
- fun MajorGeneral_Class : SubClass MajorGeneral MilitaryGeneral ;
-
- -- Indicates that a Device is not performing
- -- its intended function.
- fun Malfunctioning : Ind DeviceAttribute ;
-
- -- A pipe which has several outlets for other pipes that flow
- -- into or out of it.
- fun Manifold : Class ;
- fun Manifold_Class : SubClass Manifold EngineeringComponent ;
-
- -- Any Position which involves manual
- -- work.
- fun ManualLabor : Class ;
- fun ManualLabor_Class : SubClass ManualLabor Position ;
-
- -- An Icon which represents one or more GeographicAreas
- -- (or even the entire Earth).
- fun Map : Class ;
- fun Map_Class : SubClass Map Icon ;
-
- -- A metamorphic Rock that is used in Constructing
- -- and in creating Sculptures.
- fun Marble : Class ;
- fun Marble_Class : SubClass Marble Rock ;
-
- -- An area, building, or set of buildings
- -- where FinancialTransactions are intended to take place. There should
- -- be more than one owner or renter of space or buildings within the
- -- marketplace.
- fun Marketplace : Class ;
- fun Marketplace_Class : SubClass Marketplace GeographicArea ;
-
- -- A Contract between a married couple
- -- about how assets owned by the couple will be distributed in the event
- -- that the couple is divorced.
- fun MarriageContract : Ind DeonticAttribute ;
-
- -- A PoliceOfficer whose responsibility is to enforce
- -- the decisions of a law court.
- fun Marshal : Class ;
- fun Marshal_Class : SubClass Marshal PoliceOfficer ;
-
- -- A subclass of TherapeuticProcess which involves
- -- kneading Muscles in such a way that tension is relieved, blood circulation
- -- is increased, etc.
- fun Massaging : Class ;
- fun Massaging_Class : SubClass Massaging (both TherapeuticProcess Touching) ;
-
- -- A large pole in the center of a WaterVehicle which is
- -- used to support a sail.
- fun Mast : Class ;
- fun Mast_Class : SubClass Mast Artifact ;
-
- -- A small stick of carboard or wood that is treated
- -- with chemicals that can be easily ignited with friction. MatchDevices are
- -- used for starting fires.
- fun MatchDevice : Class ;
- fun MatchDevice_Class : SubClass MatchDevice Device ;
-
- -- MaterialHandlingEquipment is a class of Devices that are equipment used for handling goods and
- -- supplies more efficiently or safely. Examples are cranes, hoists, forklifts, conveyors, racks, etc.
- fun MaterialHandlingEquipment : Class ;
- fun MaterialHandlingEquipment_Class : SubClass MaterialHandlingEquipment Device ;
-
- -- The FieldOfStudy dealing with quantities and their
- -- relations to one another.
- fun Mathematics : Ind FieldOfStudy ;
-
- -- Any process of sexual intercourse between two Humans
- -- or Animals.
- fun Mating : Class ;
- fun Mating_Class : SubClass Mating OrganismProcess ;
-
- -- The head of the Government of a City.
- fun Mayor : Ind Position ;
-
- -- MediaOrganization is the subclass
- -- of Organization for groups whose primary purpose is the production or
- -- dissemination of media content. For organizations that physically enable
- -- Communication, see CommunicationOrganization.
- fun MediaOrganization : Class ;
- fun MediaOrganization_Class : SubClass MediaOrganization Organization ;
-
- -- A CareOrganization which provides medical care
- -- on an out_patient basis only, i.e. there are no rooms where patients may take
- -- up residence for a period of time while they receive care.
- fun MedicalClinic : Class ;
- fun MedicalClinic_Class : SubClass MedicalClinic CareOrganization ;
-
- fun MedicalClinicBuilding : Class ;
- fun MedicalClinicBuilding_Class : SubClass MedicalClinicBuilding Building ;
-
- -- The Profession of being a medical doctor,
- -- i.e. having attended medical school and being licensed to practice medicine.
- fun MedicalDoctor : Class ;
-
- -- A GraduateSchool that is devoted to
- -- MedicalScience and that grants the degree of doctor of medicine.
- fun MedicalSchool : Class ;
- fun MedicalSchool_Class : SubClass MedicalSchool GraduateSchool ;
-
- -- The field of medicine.
- fun MedicalScience : Ind Science ;
-
- -- Any BiologicallyActiveSubstance which has a
- -- therapeutic effect under certain conditions.
- fun Medicine : Class ;
- fun Medicine_Class : SubClass Medicine BiologicallyActiveSubstance ;
-
- -- The process of committing a Text to memory.
- fun Memorizing : Class ;
- fun Memorizing_Class : SubClass Memorizing Learning ;
-
- -- A periodic discharge of Blood and other
- -- BiologicalSubstances by Females that is part of a readjustment of
- -- the uterus.
- fun Menstruation : Class ;
- fun Menstruation_Class : SubClass Menstruation OrganOrTissueProcess ;
-
- -- A FactualText which is intended to be delivered to
- -- and read by a Human, GroupOfPeople or Organization.
- fun Message : Class ;
- fun Message_Class : SubClass Message FactualText ;
-
- -- Any instance of Transfer where a Message is the
- -- patient.
- fun Messaging : Class ;
- fun Messaging_Class : SubClass Messaging Transfer ;
-
- -- A Mixture of two or more Metals, and possibly
- -- nonmetallic elements as well. For example, steel is an alloy containing iron
- -- and manganese.
- fun MetallicAlloy : Class ;
- fun MetallicAlloy_Class : SubClass MetallicAlloy Mixture ;
-
- -- Any Meteoroid that leaves traces on the surface
- -- of Earth.
- fun Meteorite : Class ;
- fun Meteorite_Class : SubClass Meteorite Meteoroid ;
-
- -- Any AstronomicalBody that breaks through the
- -- Atmosphere of Earth.
- fun Meteoroid : Class ;
- fun Meteoroid_Class : SubClass Meteoroid AstronomicalBody ;
-
- -- MetricTon is a UnitOfMeasure that represents
- -- a weight of 2,205 PoundMass.
- fun MetricTon : Ind UnitOfMass ;
-
- -- A CommunicationDevice that converts sound
- -- into electrical energy.
- fun Microphone : Class ;
- fun Microphone_Class : SubClass Microphone (both CommunicationDevice ElectricDevice) ;
-
- -- An OpticalDevice with a stand and a focus, which is
- -- used for magnifying the images of things that are placed in the stand.
- fun Microscope : Class ;
- fun Microscope_Class : SubClass Microscope OpticalDevice ;
-
- -- A militant is someone who is not
- -- officially authorized by a government to engage in combat, but who
- -- does so on behalf of a PoliticalOrganization.
- fun Militant : Ind SocialRole ;
-
- -- Any Aircraft which is made for a
- -- MilitaryOrganization. This includes fighters, Bombers, attack
- -- helicopters, etc.
- fun MilitaryAircraft : Class ;
- fun MilitaryAircraft_Class : SubClass MilitaryAircraft (both Aircraft MilitaryVehicle) ;
-
- -- Any Artifact which is made for a
- -- MilitaryOrganization.
- fun MilitaryArtifact : Class ;
- fun MilitaryArtifact_Class : SubClass MilitaryArtifact Artifact ;
-
- -- Any MilitaryUnit with the rank of
- -- corps.
- fun MilitaryCorps : Class ;
- fun MilitaryCorps_Class : SubClass MilitaryCorps MilitaryUnit ;
-
- -- A GeographicArea along which opposing military
- -- forces confront one another in a Battle.
- fun MilitaryFront : Class ;
- fun MilitaryFront_Class : SubClass MilitaryFront GeographicArea ;
-
- -- MilitaryGeneral is a generic Position
- -- that indicates holding (or having held) the rank of General in some
- -- military force. An indicator that someone uses the title, without
- -- committing to his or her exact rank or military affiliation.
- fun MilitaryGeneral : Class ;
- fun MilitaryGeneral_Class : SubClass MilitaryGeneral MilitaryOfficer ;
-
- -- Any Process by a MilitaryOrganization
- -- which involves moving through enemy positions without detection by the enemy.
- fun MilitaryInfiltration : Class ;
- fun MilitaryInfiltration_Class : SubClass MilitaryInfiltration (both MilitaryProcess Translocation) ;
-
- -- A StationaryArtifact consisting of grounds
- -- and Buildings that is intended to be used by a MilitaryOrganization.
- fun MilitaryInstallation : Class ;
- fun MilitaryInstallation_Class : SubClass MilitaryInstallation (both MilitaryArtifact StationaryArtifact) ;
-
- -- Any Maneuver which takes place in a Battle
- -- and which is intended to secure a tactical advantage for one of the agents of
- -- the Battle.
- fun MilitaryManeuver : Class ;
- fun MilitaryManeuver_Class : SubClass MilitaryManeuver Maneuver ;
-
- -- The class of Soldiers who have authority or command.
- fun MilitaryOfficer : Class ;
- fun MilitaryOfficer_Class : SubClass MilitaryOfficer Soldier ;
-
- -- Someone who is a member of a
- -- ModernMilitaryOrganization.
- fun MilitaryPerson : Ind OccupationalRole ;
-
- -- An enlisted Soldier of the lowest rank.
- fun MilitaryPrivate : Class ;
- fun MilitaryPrivate_Class : SubClass MilitaryPrivate Soldier ;
-
- -- MilitaryReserveForce is the subclass
- -- of MilitaryOrganizations that consist of forces trained in military
- -- procedures and activities, which are subject to being called to active duty
- -- if needed.
- fun MilitaryReserveForce : Class ;
- fun MilitaryReserveForce_Class : SubClass MilitaryReserveForce MilitaryOrganization ;
-
- -- The study of the principles of war.
- fun MilitaryScience : Ind FieldOfStudy ;
-
- -- A branch of the armed forces of a Nation.
- -- For example, there are five military services in the United States, the army,
- -- the navy, the air force, the marines, and the coast guard.
- fun MilitaryService : Class ;
- fun MilitaryService_Class : SubClass MilitaryService MilitaryOrganization ;
-
- -- Any Ship which is made for a MilitaryOrganization.
- -- This includes aircraft carriers, destroyers, etc.
- fun MilitaryShip : Class ;
- fun MilitaryShip_Class : SubClass MilitaryShip (both MilitaryWaterVehicle Ship) ;
-
- -- Any MilitaryUnit with the rank of squad.
- fun MilitarySquad : Class ;
- fun MilitarySquad_Class : SubClass MilitarySquad MilitaryUnit ;
-
- -- Any MilitaryArtifact which is sold to a
- -- non_military customer.
- fun MilitarySurplus : Class ;
- fun MilitarySurplus_Class : SubClass MilitarySurplus MilitaryArtifact ;
-
- -- A MilitaryVehicle that moves along the ground
- -- on treaded wheels and that contains a large cannon.
- fun MilitaryTank : Class ;
- fun MilitaryTank_Class : SubClass MilitaryTank (both ArtilleryGun (both MilitaryVehicle RoadVehicle)) ;
-
- -- Any MilitaryOrganization that can be dispatched
- -- to an area of operations.
- fun MilitaryUnit : Class ;
- fun MilitaryUnit_Class : SubClass MilitaryUnit MilitaryOrganization ;
-
- -- Any Vehicle which is intended to be
- -- used by a MilitaryOrganization. MilitaryVehicle Military platforms which are also vehicles.
- -- This would include things like airplanes and tanks, but exclude things like
- -- towed platforms.
- fun MilitaryVehicle : Class ;
- fun MilitaryVehicle_Class : SubClass MilitaryVehicle Vehicle ;
-
- -- MilitaryWaterVehicle is the class of
- -- all WaterVehicle owned or leased for use by some MilitaryOrganization.
- fun MilitaryWaterVehicle : Class ;
- fun MilitaryWaterVehicle_Class : SubClass MilitaryWaterVehicle WaterVehicle ;
-
- -- A nutritious BodySubstance produced by Mammals
- -- that has evolved to provide nourishment for their offspring during
- -- their initial period of life.
- fun Milk : Class ;
- fun Milk_Class : SubClass Milk (both Beverage LiquidBodySubstance) ;
-
- -- The UnitOfDuration of 1000 years.
- fun MillenniumDuration : Ind UnitOfDuration ;
-
- -- An construction in the earth from which Minerals are removed,
- -- either in pure form or as part of ores.
- fun Mine : Class ;
- fun Mine_Class : SubClass Mine StationaryArtifact ;
-
- -- MiningProduct is the class of things
- -- that are produced from the earth for human use by mining or another form
- -- of extraction. This includes metal ores, petroleum, and other products.
- fun MiningProduct : Class ;
- fun MiningProduct_Class : SubClass MiningProduct Product ;
-
- -- An Artifact with a surface that is capable of
- -- displaying an image by reflecting light.
- fun Mirror : Class ;
- fun Mirror_Class : SubClass Mirror Artifact ;
-
- -- A Projectile which is propelled by a rocket and
- -- contains a Bomb.
- fun Missile : Class ;
- fun Missile_Class : SubClass Missile (both Projectile SelfPoweredDevice) ;
-
- -- The class of ReligiousOrganizations
- -- that send members to foreign countries with the aim of coverting citizens
- -- of those countries to the beliefs of the ReligiousOrganization.
- fun MissionOrganization : Class ;
- fun MissionOrganization_Class : SubClass MissionOrganization ReligiousOrganization ;
-
- -- Anything which serves to house people but
- -- which changes its location from time to time, e.g. a motorhome, a mobile
- -- home, a camp, etc. Note that MobileResidence is disjoint from Residence,
- -- because the latter is a subclass of StationaryArtifact.
- fun MobileResidence : Class ;
- fun MobileResidence_Class : SubClass MobileResidence Artifact ;
-
- -- Any Position which involves posing for an
- -- artist or photographer.
- fun ModellingPosition : Class ;
- fun ModellingPosition_Class : SubClass ModellingPosition Position ;
-
- -- Music which has a single part, i.e. Music
- -- which cannot be divided into two or more contemporaneous subProcesses which
- -- are also instances of Music.
- fun MonophonicMusic : Class ;
- fun MonophonicMusic_Class : SubClass MonophonicMusic Music ;
-
- -- A StationaryArtifact whose purpose is to commemorate
- -- a person, animal or event.
- fun Monument : Class ;
- fun Monument_Class : SubClass Monument StationaryArtifact ;
-
- -- The class of TimeIntervals that begin at Sunrise
- -- and end at noon.
- fun Morning : Class ;
- fun Morning_Class : SubClass Morning DayTime ;
-
- -- A mortar is a bomb that is shot at a location. A
- -- howitzer is a weapon that fires mortars. The mortar may not include the
- -- propelling charge that provides the motive force for delivering it to its
- -- target, which distinguishes it from a rocket. A mortar is distinguished
- -- from other bombs in that it is propelled rather than exploded in place, or
- -- dropped, or propelled by human power.
- fun Mortar : Class ;
- fun Mortar_Class : SubClass Mortar Weapon ;
-
- -- An attack in which a Mortar weapon is
- -- used.
- fun MortarAttack : Class ;
- fun MortarAttack_Class : SubClass MortarAttack Bombing ;
-
- -- A short_range Gun that is positioned on the ground
- -- at a high angle and fires explosive shells.
- fun MortarGun : Class ;
- fun MortarGun_Class : SubClass MortarGun ArtilleryGun ;
-
- -- Nocturnal Insect with a large body and antennae.
- fun Moth : Class ;
- fun Moth_Class : SubClass Moth Insect ;
-
- -- A discrete part of a MotionPicture which is set in
- -- the same time period and the same location.
- fun MotionPictureScene : Class ;
- fun MotionPictureScene_Class : SubClass MotionPictureScene MotionPicture ;
-
- -- A unit of action in a MotionPicture, a
- -- MotionPictureShot is a sequence of images which are captured by a single
- -- camera without interruption.
- fun MotionPictureShot : Class ;
- fun MotionPictureShot_Class : SubClass MotionPictureShot MotionPicture ;
-
- -- Motorcycle is the subclass of RoadVehicles
- -- that have two wheels one behind the other in the frame, upon which the rider
- -- sits on a seat above the engine.
- fun Motorcycle : Class ;
- fun Motorcycle_Class : SubClass Motorcycle (both SelfPoweredRoadVehicle RoadVehicle) ;
-
- -- MotorizedRailwayCar is the subclass
- -- of railway cars that carry their own power source.
- fun MotorizedRailwayCar : Class ;
- fun MotorizedRailwayCar_Class : SubClass MotorizedRailwayCar (both PoweredVehicle RollingStock) ;
-
- -- Any BodyMotion which results in being On
- -- something else.
- fun Mounting : Class ;
- fun Mounting_Class : SubClass Mounting BodyMotion ;
-
- -- A Rodent that has a hairless tail like a rat but that
- -- is smaller than a Rat.
- fun Mouse : Class ;
- fun Mouse_Class : SubClass Mouse Rodent ;
-
- -- Part of the Face, used for Ingesting Food
- -- and Vocalizing.
- fun Mouth : Class ;
- fun Mouth_Class : SubClass Mouth (both AnimalAnatomicalStructure BodyPart) ;
-
- -- The process of changing one's residence, i.e.
- -- moving one's belongs to a new home.
- fun MovingResidence : Class ;
- fun MovingResidence_Class : SubClass MovingResidence Transfer ;
-
- -- The product of a Male Donkey and a Female
- -- Horse. Mules are always sterile.
- fun Mule : Class ;
- fun Mule_Class : SubClass Mule (both DomesticAnimal HoofedMammal) ;
-
- -- Impermissible Killing of a Human.
- fun Murder : Class ;
- fun Murder_Class : SubClass Murder (both CriminalAction Killing) ;
-
- -- An EducationalOrganization where Artifacts of historic,
- -- scientific or aesthetic value are collected and exhibited.
- fun Museum : Class ;
- fun Museum_Class : SubClass Museum EducationalOrganization ;
-
- -- An AudioRecording of Music. Note that
- -- many AudioRecordings contain music, so only an audio recording without
- -- any music would be an instance of AudioRecording rather than of
- -- MusicRecording.
- fun MusicRecording : Class ;
- fun MusicRecording_Class : SubClass MusicRecording AudioRecording ;
-
- -- A Text in a Language that represents a form of music.
- fun MusicText : Class ;
- fun MusicText_Class : SubClass MusicText Text ;
-
- -- A Text that expresses the notes,
- -- words, etc. of a song or other sort of Music.
- fun MusicalComposition : Class ;
- fun MusicalComposition_Class : SubClass MusicalComposition Text ;
-
- -- A GroupOfPeople that create Music
- -- together.
- fun MusicalGroup : Class ;
- fun MusicalGroup_Class : SubClass MusicalGroup GroupOfPeople ;
-
- -- A Performance that consists exclusively of
- -- Music, e.g. an orchestra playing a symphony to an assembled audience.
- fun MusicalPerformance : Class ;
- fun MusicalPerformance_Class : SubClass MusicalPerformance Performance ;
-
- -- A Process of RadiatingSound where the
- -- sound has a fundamental frequency and 0 or more partial frequencies
- -- or unrelated transients or noise components that have a lesser
- -- amplitude than the fundamental.
- fun MusicalTone : Class ;
- fun MusicalTone_Class : SubClass MusicalTone RadiatingSound ;
-
- -- A Musician is someone who is capable of giving a MusicalPerformance.
- -- This includes amateurs and others who don't formally make a living at the activity
- -- or choose it as a profession.
- fun Musician : Ind SocialRole ;
-
- -- A FictionalText whose central plot element is a
- -- crime of some sort, usually a murder.
- fun MysteryStory : Class ;
- fun MysteryStory_Class : SubClass MysteryStory FictionalText ;
-
- -- An AttachingDevice which is a thin piece of metal, with
- -- or without a head, that is fastened with a Hammer.
- fun Nail : Class ;
- fun Nail_Class : SubClass Nail AttachingDevice ;
-
- -- Any of the horny structures which are found
- -- on the DigitAppendages of Primates and other Animals. This includes
- -- fingernails and toenails.
- fun NailDigit : Class ;
- fun NailDigit_Class : SubClass NailDigit AnimalAnatomicalStructure ;
-
- -- Any Text that tells a story, whether true
- -- or false.
- fun NarrativeText : Class ;
- fun NarrativeText_Class : SubClass NarrativeText Text ;
-
- -- A Flag that is the official flag of a Nation,
- -- e.g. the stars and stripes is the NationalFlag of the UnitedStates.
- fun NationalFlag : Class ;
- fun NationalFlag_Class : SubClass NationalFlag Flag ;
-
- -- The German PoliticalParty headed by Adolf Hitler.
- fun NaziParty : Ind PoliticalParty ;
-
- -- The part of the body that connects the Head to the
- -- rest of the body.
- fun Neck : Class ;
- fun Neck_Class : SubClass Neck (both AnimalAnatomicalStructure BodyPart) ;
-
- -- A sweet, sticky liquid that is produced by Plants
- -- and that attracts Insects.
- fun Nectar : Class ;
- fun Nectar_Class : SubClass Nectar PlantSubstance ;
-
- -- A Contest where each participant attempts to
- -- maximize his self_interest in a Promise that marks the end of the Contest.
- fun Negotiating : Class ;
- fun Negotiating_Class : SubClass Negotiating (both Contest LinguisticCommunication) ;
-
- -- The Cells that make up a NervousSystem.
- fun NerveCell : Class ;
- fun NerveCell_Class : SubClass NerveCell (both AnimalAnatomicalStructure Cell) ;
-
- -- Any structure which is created by nonhuman Animals for
- -- the purpose of giving birth to their offspring.
- fun Nest : Class ;
- fun Nest_Class : SubClass Nest CorpuscularObject ;
-
- -- Any PsychologicalDysfunction which is not due
- -- to an organic impairment of the NervousSystem.
- fun Neurosis : Class ;
- fun Neurosis_Class : SubClass Neurosis PsychologicalDysfunction ;
-
- -- The second and final part of the ChristianBible,
- -- describing the life and teachings of Jesus Christ and the activities of his
- -- apostles.
- fun NewTestament : Class ;
- fun NewTestament_Class : SubClass NewTestament Book ;
-
- -- A BroadcastProgram that is devoted to
- -- reporting the latest events in a city, region, nation or the world at
- -- large.
- fun NewsProgram : Class ;
- fun NewsProgram_Class : SubClass NewsProgram BroadcastProgram ;
-
- -- The Profession of being a news reporter, i.e.
- -- investigating and reporting, in a publication or broadcast program, current
- -- events.
- fun NewsReporter : Ind Profession ;
-
- -- A Periodical that is published on a daily or
- -- weekly basis, that contains Reports, and whose issues are printed on
- -- newsprint paper.
- fun Newspaper : Class ;
- fun Newspaper_Class : SubClass Newspaper Periodical ;
-
- -- The class of TimeIntervals that begin at Sunset
- -- and end at Sunrise.
- fun NightTime : Class ;
- fun NightTime_Class : SubClass NightTime TimeInterval ;
-
- -- Moving the Head up and down or side to side
- -- to indicate approval or disapproval.
- fun Nodding : Class ;
- fun Nodding_Class : SubClass Nodding Gesture ;
-
- -- Any Organization whose purpose is something
- -- other than making a profit.
- fun NonprofitOrganization : Class ;
- fun NonprofitOrganization_Class : SubClass NonprofitOrganization Organization ;
-
- -- The class of DiseaseOrSyndromes that are not
- -- caused by a single type of Microorganism.
- fun NonspecificDisease : Class ;
- fun NonspecificDisease_Class : SubClass NonspecificDisease DiseaseOrSyndrome ;
-
- -- The Organ of Smelling.
- fun Nose : Class ;
- fun Nose_Class : SubClass Nose (both AnimalAnatomicalStructure Organ) ;
-
- -- Either of two BodyVessels that run through the Nose
- -- and connect it to the Throat.
- fun Nostril : Class ;
- fun Nostril_Class : SubClass Nostril (both AnimalAnatomicalStructure BodyVessel) ;
-
- -- A FictionalText that is larger than a ShortStory
- -- and that is bound independently (i.e. it is a Book).
- fun Novel : Class ;
- fun Novel_Class : SubClass Novel (both Book FictionalText) ;
-
- -- A NuclearFamily is a SocialUnit composed
- -- of at least two and not more than three generations of familyRelations:
- -- parents, their children, and possibly the parents' parents (children's
- -- grandparents).
- fun NuclearFamily : Class ;
- fun NuclearFamily_Class : SubClass NuclearFamily (both FamilyGroup SocialUnit) ;
-
- -- An ExplosiveDevice and RadioactiveWeapon
- -- which achieves its effect by means of a critical mass of a radioactive substance.
- fun NuclearWeapon : Class ;
- fun NuclearWeapon_Class : SubClass NuclearWeapon (both ExplosiveDevice (both RadioactiveWeapon Weapon)) ;
-
- -- Any WoodArtifact that is made from the Wood of an oak tree.
- fun OakWood : Class ;
- fun OakWood_Class : SubClass OakWood WoodArtifact ;
-
- -- A Device consisting of a flat, broad surface attached to a
- -- handle that is used as an instrument in Rowing.
- fun Oar : Class ;
- fun Oar_Class : SubClass Oar TransportationDevice ;
-
- -- Any TwoDimensionalAngle that has an
- -- angularMeasure that is greater than 90 AngularDegrees.
- fun ObliqueAngle : Class ;
- fun ObliqueAngle_Class : SubClass ObliqueAngle TwoDimensionalAngle ;
-
- -- (OccupationFn ?PROCESS) denotes the
- -- subclass of ?PROCESS where instances of ?PROCESS are performed as
- -- one's occupation, i.e. as part of a FinancialTransaction where one
- -- earns money for the performance of ?PROCESS.
- fun OccupationFn : El IntentionalProcess -> Desc FinancialTransaction ;
-
- -- A Role of a Human in a OrganizationalProcess.
- fun OccupationalRole : Class ;
- fun OccupationalRole_Class : SubClass OccupationalRole Position ;
-
- -- Any Position that involves skilled manual work.
- fun OccupationalTrade : Class ;
- fun OccupationalTrade_Class : SubClass OccupationalTrade (both ManualLabor SkilledOccupation) ;
-
- -- Offering to sell something to someone.
- fun OfferingForSale : Class ;
- fun OfferingForSale_Class : SubClass OfferingForSale Offering ;
-
- -- Offering to buy something from someone.
- fun OfferingToPurchase : Class ;
- fun OfferingToPurchase_Class : SubClass OfferingToPurchase Offering ;
-
- -- A building in which work activities take
- -- place which is not primarily designed for manufacturing or retail sales.
- fun OfficeBuilding : Class ;
- fun OfficeBuilding_Class : SubClass OfficeBuilding Building ;
-
- -- A greasy, viscous Solution that cannot be mixed with Water.
- -- Note that this general class covers petroleum oil, vegetable oil, animal fat, etc.
- fun Oil : Class ;
- fun Oil_Class : SubClass Oil Solution ;
-
- -- Any Paint which is an oil_based Solution.
- fun OilPaint : Class ;
- fun OilPaint_Class : SubClass OilPaint Paint ;
-
- -- Any OilPicture which is created
- -- with oil_based paints.
- fun OilPicture : Class ;
- fun OilPicture_Class : SubClass OilPicture PaintedPicture ;
-
- -- The first part of the ChristianBible, describing
- -- the history of the Hebrew people.
- fun OldTestament : Class ;
- fun OldTestament_Class : SubClass OldTestament Book ;
-
- -- An Ontology is a
- -- ClassificationScheme that links concepts via many different
- -- relations. Ontologies typically are not restricted to binary
- -- relations and are structured by several kinds of conceptual
- -- hierarchies, including set_ or class_based subsumption, spatial
- -- containment, mereology
- -- (theory of parts and wholes), and logical contexts. Thus,
- -- an ontology typically includes multiple taxonomies.
- fun Ontology : Class ;
- fun Ontology_Class : SubClass Ontology ClassificationScheme ;
-
- -- The Class of Processes where an aperture is
- -- created in an Object. Note that the aperture may be created intentionally,
- -- as when one opens a door, or unintentionally, as when the ground ruptures
- -- in a seismic event.
- fun Opening : Class ;
- fun Opening_Class : SubClass Opening Motion ;
-
- -- The BodyMotion of relaxing the eye lids so that
- -- the corneas are exposed to light.
- fun OpeningEyes : Class ;
- fun OpeningEyes_Class : SubClass OpeningEyes (both EyeMotion Opening) ;
-
- -- A DramaticPlay that is set to Music.
- fun Opera : Class ;
- fun Opera_Class : SubClass Opera DramaticPlay ;
-
- -- A Device which enables someone to see something
- -- more clearly or with greater magnification.
- fun OpticalDevice : Class ;
- fun OpticalDevice_Class : SubClass OpticalDevice Device ;
-
- -- A SecondaryColor that results from mixing Red
- -- and Yellow and resembles the color of a ripe orange fruit.
- fun OrangeColor : Ind SecondaryColor ;
-
- -- A citrus FruitOrVegetable that has an OrangeColor skin and a sweet, acidic flavor.
- fun OrangeFruit : Class ;
- fun OrangeFruit_Class : SubClass OrangeFruit (both Food FruitOrVegetable) ;
-
- -- A GroupOfPeople that create InstrumentalMusic together.
- fun Orchestra : Class ;
- fun Orchestra_Class : SubClass Orchestra MusicalGroup ;
-
- -- The Process of directing an orchestra.
- fun OrchestralConducting : Class ;
- fun OrchestralConducting_Class : SubClass OrchestralConducting Guiding ;
-
- -- A Sentence that expresses an order for something or that something be done.
- fun Order : Class ;
- def Order = KappaFn Sentence (\SENTENCE -> exists Ordering (\ORDER -> result (var Ordering Process ? ORDER) (var Sentence Entity ? SENTENCE)));
-
- -- Any CompoundSubstance that has a Carbon base.
- fun OrganicCompound : Class ;
- fun OrganicCompound_Class : SubClass OrganicCompound CompoundSubstance ;
-
- -- Any BiologicalProcess that results in the formation of an Organ.
- fun Organification : Class ;
- fun Organification_Class : SubClass Organification OrganOrTissueProcess ;
-
- -- Part of an Organization that
- -- is responsible for managing the Organization.
- fun OrganizationalBoard : Class ;
- fun OrganizationalBoard_Class : SubClass OrganizationalBoard Organization ;
-
- -- The process of two or more
- -- Organizations merging into a single Organization.
- fun OrganizationalMerging : Class ;
- fun OrganizationalMerging_Class : SubClass OrganizationalMerging OrganizationalProcess ;
-
- -- A method for representing the sounds of a Language
- -- with written Characters.
- fun Orthography : Class ;
- fun Orthography_Class : SubClass Orthography Procedure ;
-
- -- Any BiologicalProcess that results in the
- -- formation of Bones.
- fun Ossification : Class ;
- fun Ossification_Class : SubClass Ossification OrganOrTissueProcess ;
-
- -- Clothing that is intended to be worn outdoors.
- fun OutdoorClothing : Class ;
- fun OutdoorClothing_Class : SubClass OutdoorClothing Clothing ;
-
- -- Any Region which is not enclosed by a Building
- -- or part of a Building.
- fun Outdoors : Ind Region ;
-
- -- The class of all Regions which are
- -- neither GeographicAreas nor AtmosphericRegions.
- fun OuterSpaceRegion : Class ;
- fun OuterSpaceRegion_Class : SubClass OuterSpaceRegion SpaceRegion ;
-
- -- Outside is a PositionalAttribute used to
- -- describe the relative location of one object or region to another
- -- region. For example, (orientation Cuba UnitedStates Outside).
- fun Outside : Ind PositionalAttribute ;
-
- -- A HeatingDevice with a door for inserting and removing
- -- Food that is to undergo Baking.
- fun Oven : Class ;
- fun Oven_Class : SubClass Oven (both Container HeatingDevice) ;
-
- -- A nocturnal bird of prey with a large head and
- -- forward_facing eyes.
- fun Owl : Class ;
- fun Owl_Class : SubClass Owl Bird ;
-
- -- Any ChemicalProcess where Electrons
- -- are removed from the substance undergoing the ChemicalProcess.
- fun Oxidation : Class ;
- fun Oxidation_Class : SubClass Oxidation ChemicalDecomposition ;
-
- -- A single page of Text.
- fun Page : Ind UnitOfInformation ;
-
- -- A physical sensation of discomfort which can vary widely
- -- in intensity.
- fun Pain : Ind EmotionalState ;
-
- -- Any Solution which is capable of Coloring something.
- fun Paint : Class ;
- fun Paint_Class : SubClass Paint Solution ;
-
- -- Any ArtWork which is produced by Painting.
- fun PaintedPicture : Class ;
- fun PaintedPicture_Class : SubClass PaintedPicture ArtWork ;
-
- -- The application of Paint to a surface. Note that
- -- this class covers both ArtPainting (the creation of PaintedPictures), as
- -- well as painting one's kitchen, for example.
- fun Painting : Class ;
- fun Painting_Class : SubClass Painting (both Coloring Covering) ;
-
- -- A large Gland that secretes Insulin and other
- -- substances.
- fun Pancreas : Class ;
- fun Pancreas_Class : SubClass Pancreas Gland ;
-
- -- Paper is a flat sheet of fibers, usually produced by
- -- spreading a wet solution of wood particles on a flat surface and drying
- -- through heat and pressure. The fibers can also be cotton or a synthetic,
- -- although typically the bulk of the substance is wood fibers. This
- -- includes all manner of paper products that may have varying thicknesses,
- -- colors or texture. This is distinguished from flat wood products such as
- -- plywood and particle board which have a structural function in building
- -- construction. Sheathing materials such as the paper affixed to sheetrock
- -- however, is paper.
- fun Paper : Class ;
- fun Paper_Class : SubClass Paper Artifact ;
-
- -- A Text which consists of one or more sentences,
- -- begins with an indented line, and expresses a single topic.
- fun Paragraph : Class ;
- fun Paragraph_Class : SubClass Paragraph Text ;
-
- -- A publicly owned LandArea which is intended to be used
- -- for recreation and/or exercise.
- fun Park : Class ;
- fun Park_Class : SubClass Park LandArea ;
-
- -- A LandArea which has been levelled, paved, and
- -- marked off for parking Automobiles.
- fun ParkingLot : Class ;
- fun ParkingLot_Class : SubClass ParkingLot StationaryArtifact ;
-
- -- Any Position where the employee is not
- -- salaried and is paid for less than 40 hours of work per week.
- fun PartTimePosition : Class ;
- fun PartTimePosition_Class : SubClass PartTimePosition Position ;
-
- -- A CommercialAgent that is owned by more
- -- than one person.
- fun Partnership : Class ;
- fun Partnership_Class : SubClass Partnership CommercialAgent ;
-
- -- A Text which is authored by a PoliticalParty
- -- and which contains the core goals and principles of the PoliticalParty for a
- -- particular year or election cycle.
- fun PartyPlatform : Class ;
- fun PartyPlatform_Class : SubClass PartyPlatform FactualText ;
-
- -- A Certificate that allows the holder to
- -- be at or away from a specified location, e.g. a pass for a leave of
- -- absence, a hall pass, a pass to enter a cleared facility, etc.
- fun PassCertificate : Class ;
- fun PassCertificate_Class : SubClass PassCertificate Certificate ;
-
- -- A Vehicle that is designed to
- -- carry Humans. Note that Vehicles that are not designed to
- -- carry people may still do so. For example, a boxcar might still
- -- transport homeless people, but was not built to do so.
- fun PassengerVehicle : Class ;
- fun PassengerVehicle_Class : SubClass PassengerVehicle Vehicle ;
-
- -- The Process of converting a LegislativeBill
- -- into Law by a duly authorized legislative body of Government.
- fun PassingABill : Class ;
- fun PassingABill_Class : SubClass PassingABill (both Declaring PoliticalProcess) ;
-
- -- A License which identifies the holder and permits
- -- travel between different countries.
- fun Passport : Class ;
- fun Passport_Class : SubClass Passport License ;
-
- -- A military deployment which is intended
- -- to prevent hostilities between two other entities located in the same rough
- -- geographic area.
- fun PeaceKeepingMission : Class ;
- fun PeaceKeepingMission_Class : SubClass PeaceKeepingMission MilitaryOrganization ;
-
- -- A FruitOrVegetable that has a thick skin and the
- -- shape of a tear drop.
- fun PearFruit : Class ;
- fun PearFruit_Class : SubClass PearFruit (both Food FruitOrVegetable) ;
-
- -- Removing the Skin (or part of the Skin) from
- -- an Organism. Note that this class covers a large range of cases, including
- -- peeling an orange, pelting an Animal, etc.
- fun Peeling : Class ;
- fun Peeling_Class : SubClass Peeling Removing ;
-
- -- A WritingDevice that consists of an encased piece of
- -- graphite.
- fun Pencil : Class ;
- fun Pencil_Class : SubClass Pencil WritingDevice ;
-
- -- A qualified retirement plan set up by a
- -- corporation, labor union, government, or other organization for its
- -- employees. Examples include profit_sharing plans, stock bonus and
- -- employee stock ownership plans, thrift plans, target benefit plans,
- -- money purchase plans, and defined benefit plans.
- fun PensionPlan : Class ;
- fun PensionPlan_Class : SubClass PensionPlan FinancialAccount ;
-
- -- A MusicalInstrument which does not
- -- have strings and which is played by striking it.
- fun PercussionInstrument : Class ;
- fun PercussionInstrument_Class : SubClass PercussionInstrument MusicalInstrument ;
-
- -- A Demonstrating which includes DramaticActing
- -- and/or Music and which is intended to entertain the audience.
- fun Performance : Class ;
- fun Performance_Class : SubClass Performance Demonstrating ;
-
- -- A discrete subProcess of a Performance,
- -- e.g. an act of a play, a movement of a performance of a symphony, etc.
- fun PerformanceAct : Class ;
- fun PerformanceAct_Class : SubClass PerformanceAct Performance ;
-
- -- A Text that describes the events
- -- and/or participants in a Performance.
- fun PerformanceProgram : Class ;
- fun PerformanceProgram_Class : SubClass PerformanceProgram FactualText ;
-
- -- A large platform for theatrical plays,
- -- lectures, dances, music recitals, etc, which can be observed by an audience.
- fun PerformanceStage : Class ;
- fun PerformanceStage_Class : SubClass PerformanceStage StationaryArtifact ;
-
- -- A part of the PerformanceStage that is not
- -- visible to members of the audience.
- fun PerformanceStageWing : Class ;
- fun PerformanceStageWing_Class : SubClass PerformanceStageWing StationaryArtifact ;
-
- -- Any Publisher that publishes
- -- Periodicals, e.g. newspaper and magazine publishing houses.
- fun PeriodicalPublisher : Class ;
- fun PeriodicalPublisher_Class : SubClass PeriodicalPublisher Publisher ;
-
- -- PetroleumProduct is a broad class that
- -- includes both crude oil (Petroleum) and RefinedPetroleumProducts.
- fun PetroleumProduct : Class ;
- fun PetroleumProduct_Class : SubClass PetroleumProduct (both MiningProduct Oil) ;
-
- -- The Profession of being a pharmacist, i.e.
- -- preparing and dispensing BiologicallyActiveSubstances.
- fun Pharmacist : Class ;
- fun Pharmacist_Class : SubClass Pharmacist Profession ;
-
- -- The study of first principles, including epistemology,
- -- metaphysics, and ethics.
- fun Philosophy : Ind FieldOfStudy ;
-
- -- An Icon that is the result of a process of Photographing.
- fun Photograph : Class ;
- fun Photograph_Class : SubClass Photograph Icon ;
-
- -- Celluloid covered with an emulsion which can
- -- be converted into photographic negatives by a Camera.
- fun PhotographicFilm : Class ;
- fun PhotographicFilm_Class : SubClass PhotographicFilm Artifact ;
-
- -- ContentDevelopment where the instrument
- -- is a camera and the result is a Photograph.
- fun Photographing : Class ;
- fun Photographing_Class : SubClass Photographing ContentDevelopment ;
-
- -- The study of matter and energy and their relations.
- fun Physics : Ind Science ;
-
- -- The part of Biology dealing with the functioning of
- -- Organisms.
- fun Physiology : Ind Science ;
-
- -- A StringInstrument with keys that, when pressed down,
- -- activate hammers that, in turn, strike strings.
- fun Piano : Class ;
- fun Piano_Class : SubClass Piano StringInstrument ;
-
- -- A frame which surrounds a PaintedPicture or
- -- Photograph and has the function of protecting and accenting the picture.
- fun PictureFrame : Class ;
- fun PictureFrame_Class : SubClass PictureFrame Artifact ;
-
- -- A domesticated HoofedMammal that is raised for pork.
- fun Pig : Class ;
- fun Pig_Class : SubClass Pig (both HoofedMammal Livestock) ;
-
- -- A subclass of Bird with a stout body and short legs.
- fun Pigeon : Class ;
- fun Pigeon_Class : SubClass Pigeon Bird ;
-
- -- A soft, stuffed Artifact to support the Head or
- -- the body as a whole while one is sleeping or relaxing.
- fun Pillow : Class ;
- fun Pillow_Class : SubClass Pillow Artifact ;
-
- -- A SecondaryColor that results from mixing Red and
- -- White.
- fun Pink : Ind SecondaryColor ;
-
- -- Pipeline is the class of pipelines used
- -- to transport various kinds of fluids.
- fun Pipeline : Class ;
- fun Pipeline_Class : SubClass Pipeline Transitway ;
-
- -- A Firearm that is intended to be aimed and fired with a
- -- single hand.
- fun Pistol : Class ;
- fun Pistol_Class : SubClass Pistol Firearm ;
-
- -- The place where the pitcher in Baseball
- -- stands when he is throwing balls to the batter.
- fun PitchersMound : Class ;
- fun PitchersMound_Class : SubClass PitchersMound GameArtifact ;
-
- -- Throwing a Ball to the batter in a game of
- -- Baseball or softball.
- fun Pitching : Class ;
- fun Pitching_Class : SubClass Pitching (both GameShot Throwing) ;
-
- -- The main Gland of the endocrine system.
- fun PituitaryGland : Class ;
- fun PituitaryGland_Class : SubClass PituitaryGland Gland ;
-
- -- A Building or part of a Building which is
- -- intended for organizational activities, e.g. retail or wholesale selling,
- -- manufacturing, office work, etc.
- fun PlaceOfCommerce : Class ;
- fun PlaceOfCommerce_Class : SubClass PlaceOfCommerce StationaryArtifact ;
-
- -- Any place designed for ReligiousProcesses.
- fun PlaceOfWorship : Class ;
- fun PlaceOfWorship_Class : SubClass PlaceOfWorship Building ;
-
- -- PlacingUnderArrest is the class of events in which a
- -- CognitiveAgent, typically a law enforcement professional,
- -- legally takes into custody a human or group of humans.
- fun PlacingUnderArrest : Class ;
- fun PlacingUnderArrest_Class : SubClass PlacingUnderArrest (both Capturing (both LawEnforcement (both LegalAction SocialInteraction))) ;
-
- -- PlantAgriculturalProduct
- -- is the class of AgriculturalProducts that are vegetable in nature,
- -- in the widest sense, e.g., fruits, grains, green vegetables, cotton,
- -- linen, flowers, wine grapes, hops.
- fun PlantAgriculturalProduct : Class ;
- fun PlantAgriculturalProduct_Class : SubClass PlantAgriculturalProduct AgriculturalProduct ;
-
- -- The stem of a Plant or any shoot arising from
- -- the stem of a Plant.
- fun PlantBranch : Class ;
- fun PlantBranch_Class : SubClass PlantBranch (both BodyPart PlantAnatomicalStructure) ;
-
- -- An Organ of Plants whose main purpose is
- -- photosynthesis.
- fun PlantLeaf : Class ;
- fun PlantLeaf_Class : SubClass PlantLeaf (both Organ PlantAnatomicalStructure) ;
-
- -- An Organ of Plants whose main purpose is twofold, viz. to absorb
- -- nutrients from the ground and to anchor the Plant in place.
- fun PlantRoot : Class ;
- fun PlantRoot_Class : SubClass PlantRoot (both Organ PlantAnatomicalStructure) ;
-
- -- A small piece of stiff paper with markings
- -- which is intended to be used for playing card games.
- fun PlayingCard : Class ;
- fun PlayingCard_Class : SubClass PlayingCard (both ContentBearingObject GameArtifact) ;
-
- -- Stating in a court of law a claim about whether or
- -- not one is guilty of the crime of which one has been accused.
- fun Pleading : Class ;
- fun Pleading_Class : SubClass Pleading Stating ;
-
- -- An Artifact which is designed to fit snugly within a Hole.
- fun Plug : Class ;
- fun Plug_Class : SubClass Plug Artifact ;
-
- -- Any occupation that involves installing, repairing, and
- -- replacing pipes and pipe fixtures.
- fun Plumber : Ind OccupationalTrade ;
-
- -- A pouch of Fabric in an instance of Clothing where something can be kept.
- fun Pocket : Class ;
- fun Pocket_Class : SubClass Pocket Fabric ;
-
- -- A PoliceOfficer who is in charge of a precinct.
- fun PoliceCaptain : Class ;
- fun PoliceCaptain_Class : SubClass PoliceCaptain PoliceOfficer ;
-
- -- The Profession of being a police
- -- detective, i.e. being a PoliceOfficer whose duties include the
- -- investigation of crimes.
- fun PoliceDetective : Ind PoliceOfficer ;
-
- -- A building designed to house PolicePersons.
- fun PoliceFacility : Class ;
- fun PoliceFacility_Class : SubClass PoliceFacility Building ;
-
- -- The Profession of being a police officer, i.e.
- -- working for a law enforcement agency that is part of a Government.
- fun PoliceOfficer : Class ;
- fun PoliceOfficer_Class : SubClass PoliceOfficer (both GovernmentOfficer Profession) ;
-
- -- A member of a government whose occupation
- -- has the primary purpose of preventing crime and arresting criminals.
- fun PolicePerson : Ind OccupationalRole ;
-
- -- A PoliceOfficer with the rank of sergeant.
- fun PoliceSergeant : Class ;
- fun PoliceSergeant_Class : SubClass PoliceSergeant PoliceOfficer ;
-
- -- A CriminalAction that is committed by or
- -- against Governments.
- fun PoliticalCrime : Class ;
- fun PoliticalCrime_Class : SubClass PoliticalCrime (both CriminalAction PoliticalProcess) ;
-
- -- A well known person who participates
- -- in a PoliticalProcess. This must either be the person's principal
- -- occupation, or what is intended to become his principal occupation
- -- (for example, after an election).
- fun PoliticalFigure : Class ;
- fun PoliticalFigure_Class : SubClass PoliticalFigure Celebrity ;
-
- -- PoliticalParty is the class of
- -- PoliticalOrganizations that may sponsor candidates for Elections.
- fun PoliticalParty : Class ;
- fun PoliticalParty_Class : SubClass PoliticalParty PoliticalOrganization ;
-
- -- The violent overthrow of one Government
- -- and its replacement by another. This covers grass_roots revolutions, as well
- -- as coups d'etat.
- fun PoliticalRevolution : Class ;
- fun PoliticalRevolution_Class : SubClass PoliticalRevolution (both PoliticalProcess ViolentContest) ;
-
- -- The field of political science.
- fun PoliticalScience : Ind SocialScience ;
-
- -- Any Attribute of a Government which specifies some aspect of the political or
- -- economic system of the Government.
- fun PoliticoEconomicAttribute : Class ;
- fun PoliticoEconomicAttribute_Class : SubClass PoliticoEconomicAttribute RelationalAttribute ;
-
- -- Investigating what people believe (and in what proportions)
- -- by asking a set of structured questions to a random sample of people.
- fun Polling : Class ;
- fun Polling_Class : SubClass Polling Investigating ;
-
- -- A ClosedTwoDimensionalFigure that is composed
- -- exclusively of straight lines, i.e. OneDimensionalFigures.
- fun Polygon : Class ;
- fun Polygon_Class : SubClass Polygon ClosedTwoDimensionalFigure ;
-
- -- Music which has two or more parts, i.e. Music
- -- which can be divided into two or more contemporaneous subProcesses which are
- -- also instances of Music.
- fun PolyphonicMusic : Class ;
- def PolyphonicMusic = KappaFn Music (\MUSIC -> exists Music (\PART1 ->
- exists Music (\PART2 -> and (and (and (and (subProcess (var Music Process ? PART1)
- (var Music Process ? MUSIC))
- (subProcess (var Music Process ? PART2)
- (var Music Process ? MUSIC)))
- (not (equal (var Music Entity ? PART1)
- (var Music Entity ? PART2))))
- (cooccur (var Music Physical ? PART1)
- (var Music Physical ? MUSIC)))
- (cooccur (var Music Physical ? PART2)
- (var Music Physical ? MUSIC)))));
-
- -- The Position of head of the RomanCatholicChurch.
- fun Pope : Ind Position ;
-
- -- PopularElection is the class of
- -- Elections in which office_holders and issues are determined directly by
- -- the outcome of the votes cast by the enfranchised. For example, U.S.
- -- Senators and Representatives are elected by PopularElection. By
- -- contrast, U.S. Presidents are elected by indirect elections, in which the
- -- Electoral College determines the actual outcome. See electionWinner.
- fun PopularElection : Class ;
- fun PopularElection_Class : SubClass PopularElection GeneralElection ;
-
- -- A StationaryArtifact which is connected to a
- -- Building and which provides some shelter in entering or leaving the
- -- Building or in sitting outside.
- fun Porch : Class ;
- fun Porch_Class : SubClass Porch StationaryArtifact ;
-
- -- Meat that was originally part of a Pig.
- fun Pork : Class ;
- fun Pork_Class : SubClass Pork Meat ;
-
- -- A PaintedPicture that represents someone's Face.
- fun Portrait : Class ;
- fun Portrait_Class : SubClass Portrait PaintedPicture ;
-
- -- The class of TimeIntervals that begin at noon and
- -- end at midnight.
- fun PostMeridiem : Class ;
- fun PostMeridiem_Class : SubClass PostMeridiem TimeInterval ;
-
- -- The class of Schools that offer
- -- an associate's degree or a bachelor's degree.
- fun PostSecondarySchool : Class ;
- fun PostSecondarySchool_Class : SubClass PostSecondarySchool School ;
-
- -- A Container which has a handle and is used for
- -- Cooking.
- fun PotOrPan : Class ;
- fun PotOrPan_Class : SubClass PotOrPan Container ;
-
- -- Any occupation that involves the creation of Pottery.
- fun Potter : Ind OccupationalTrade ;
-
- -- Household Artifacts that are made out of baked Clay.
- fun Pottery : Class ;
- fun Pottery_Class : SubClass Pottery Artifact ;
-
- fun Poultry : Class ;
- fun Poultry_Class : SubClass Poultry (both Bird Livestock) ;
-
- -- Any instance of Transfer from one Container to
- -- another, where the thing transferred is a Liquid.
- fun Pouring : Class ;
- fun Pouring_Class : SubClass Pouring (both LiquidMotion Transfer) ;
-
- -- Any Solid Substance which consists of loose,
- -- identical, and very small particles.
- fun Powder : Class ;
- fun Powder_Class : SubClass Powder Substance ;
-
- -- A source of electrical power.
- fun PowerSource : Class ;
- fun PowerSource_Class : SubClass PowerSource Device ;
-
- -- A Vehicle that has a powerComponent.
- -- Note that PoweredVehicles include those vehicles that have a powerComponent
- -- where the user can and does often choose not to use it, such as a moped with pedals.
- fun PoweredVehicle : Class ;
- fun PoweredVehicle_Class : SubClass PoweredVehicle Vehicle ;
-
- -- A formal or informal process of private worship which
- -- may or may not be carried out in a ReligiousBuilding.
- fun Praying : Class ;
- fun Praying_Class : SubClass Praying (both ReligiousProcess Requesting) ;
-
- -- The Attribute that applies to Female Animals and
- -- Humans that have an embryo or fetus growing inside of them as the result of
- -- having one of the Female's Eggs fertilized.
- fun Pregnant : Ind BiologicalAttribute ;
-
- -- Food that is the result of Cooking.
- fun PreparedFood : Class ;
- fun PreparedFood_Class : SubClass PreparedFood Food ;
-
- -- The position of being head of the
- -- UnitedStates.
- fun PresidentOfTheUnitedStates : Ind Position ;
-
- -- Any Device that measures and represents PressureMeasure.
- fun PressureMeasuringDevice : Class ;
- fun PressureMeasuringDevice_Class : SubClass PressureMeasuringDevice MeasuringDevice ;
-
- -- An installation which is owned and maintained by
- -- a Government for the purpose of Confining people. This class covers
- -- jails, federal prisons, concentration camps, gulags, etc.
- fun Prison : Class ;
- fun Prison_Class : SubClass Prison StationaryArtifact ;
-
- -- The Profession of being a private detective,
- -- i.e. a detective who can be hired for a fee to investigate something.
- fun PrivateDetective : Ind Profession ;
-
- -- A School which is not publicly owned.
- fun PrivateSchool : Class ;
- fun PrivateSchool_Class : SubClass PrivateSchool School ;
-
- -- Any instance of Speaking before an assembled
- -- audience that effects an institutional change, e.g. a change in the laws of
- -- the government.
- fun Proclaiming : Class ;
- fun Proclaiming_Class : SubClass Proclaiming (both Declaring Lecture) ;
-
- -- Any occupation that requires at least a bachelor's degree.
- fun Profession : Class ;
- fun Profession_Class : SubClass Profession SkilledOccupation ;
-
- -- The Profession of being a teacher at a PostSecondarySchool.
- fun Professor : Ind Profession ;
-
- -- An arrangement in which an employer
- -- shares its profits with its employees. The compensation can be stocks,
- -- bonds or cash, and can be immediate or deferred until retirement.
- fun ProfitSharingPlan : Class ;
- fun ProfitSharingPlan_Class : SubClass ProfitSharingPlan PensionPlan ;
-
- -- A missile, bullet, etc. that is fired from a Weapon.
- fun Projectile : Class ;
- fun Projectile_Class : SubClass Projectile Weapon ;
-
- -- A Weapon that shoots a Projectile.
- fun ProjectileLauncher : Class ;
- fun ProjectileLauncher_Class : SubClass ProjectileLauncher Weapon ;
-
- -- The outer casing of a Projectile.
- fun ProjectileShell : Class ;
- fun ProjectileShell_Class : SubClass ProjectileShell Container ;
-
- -- A CommunicationDevice upon which images
- -- are projected so that they can be viewed.
- fun ProjectionScreen : Class ;
- fun ProjectionScreen_Class : SubClass ProjectionScreen CommunicationDevice ;
-
- -- A CommercialAgent that is owned by a
- -- single person.
- fun Proprietorship : Class ;
- fun Proprietorship_Class : SubClass Proprietorship CommercialAgent ;
-
- -- Unicellular Organisms that are capable of movement
- -- and that are found in almost every part of the world. This class includes
- -- amoebas, sporozoans, and paramecia.
- fun Protozoa : Class ;
- fun Protozoa_Class : SubClass Protozoa Microorganism ;
-
- -- The field of psychology.
- fun Psychology : Ind SocialScience ;
-
- -- Any PsychologicalDysfunction which is the
- -- result of an organic impairment of the NervousSystem.
- fun Psychosis : Class ;
- fun Psychosis_Class : SubClass Psychosis PsychologicalDysfunction ;
-
- -- The DevelopmentalAttribute of having functional sex
- -- glands which are not fully mature.
- fun Puberty : Ind DevelopmentalAttribute ;
-
- -- An Attorney who defends criminal cases for a
- -- GovernmentOrganization.
- fun PublicDefender : Class ;
- fun PublicDefender_Class : SubClass PublicDefender (both Attorney GovernmentOfficer) ;
-
- -- A Library which is financed by taxes and which
- -- is open to everyone.
- fun PublicLibrary : Class ;
- fun PublicLibrary_Class : SubClass PublicLibrary (both GovernmentOrganization Library) ;
-
- -- A Park that is publicly owned, i.e. owned by a Government.
- fun PublicPark : Class ;
- fun PublicPark_Class : SubClass PublicPark Park ;
-
- -- An Attorney who prosecutes criminal cases for
- -- a GovernmentOrganization.
- fun PublicProsecutor : Class ;
- fun PublicProsecutor_Class : SubClass PublicProsecutor (both Attorney GovernmentOfficer) ;
-
- -- A School which is financed primarily by taxes.
- fun PublicSchool : Class ;
- fun PublicSchool_Class : SubClass PublicSchool (both GovernmentOrganization School) ;
-
- -- Any business whose services include the
- -- Publication of Texts.
- fun Publisher : Class ;
- fun Publisher_Class : SubClass Publisher CommercialAgent ;
-
- -- Any instance of LandTransportation, where a
- -- TransportationDevice is dragged by something else, whether the something
- -- else is an Animal or a self_powered TransportationDevice.
- fun Pulling : Class ;
- fun Pulling_Class : SubClass Pulling LandTransportation ;
-
- -- An Artery that carries Blood from
- -- the Heart to a Lung.
- fun PulmonaryArtery : Class ;
- fun PulmonaryArtery_Class : SubClass PulmonaryArtery Artery ;
-
- -- A Vein that carries Blood from the
- -- Lungs to the Heart.
- fun PulmonaryVein : Class ;
- fun PulmonaryVein_Class : SubClass PulmonaryVein Vein ;
-
- -- A Device that moves Fluids by means of pressure or suction.
- fun Pump : Class ;
- fun Pump_Class : SubClass Pump TransportationDevice ;
-
- -- Any instance of Impelling where the instrument
- -- is a Fist of the agent.
- fun Punching : Class ;
- fun Punching_Class : SubClass Punching Impelling ;
-
- -- A RegulatoryProcess where the agent does
- -- something to the destination that the agent knows is undesirable
- -- for the destination.
- fun Punishing : Class ;
- fun Punishing_Class : SubClass Punishing RegulatoryProcess ;
-
- -- A SecondaryColor that results from mixing Red and Blue.
- fun Purple : Ind SecondaryColor ;
-
- -- Any four_sided Polygon.
- fun Quadrilateral : Class ;
- fun Quadrilateral_Class : SubClass Quadrilateral Polygon ;
-
- -- A Female Insect which is the sole member of
- -- her colony with the capability to reproduce.
- fun QueenInsect : Class ;
- fun QueenInsect_Class : SubClass QueenInsect Insect ;
-
- -- An interrogative Sentence, a Sentence that
- -- poses a question.
- fun Question : Class ;
- def Question = KappaFn Sentence (\SENTENCE -> exists Questioning (\QUESTION -> result (var Questioning Process ? QUESTION) (var Sentence Entity ? SENTENCE)));
-
- -- A burrowing Rodent with a short tail and long ears.
- fun Rabbit : Class ;
- fun Rabbit_Class : SubClass Rabbit Rodent ;
-
- -- A sport which involves a contest of speed between the
- -- participants. Note that this covers a variety of things, including auto
- -- racing, running competitions, etc.
- fun Racing : Class ;
- fun Racing_Class : SubClass Racing Sport ;
-
- -- An ElectricDevice that emits and receives microwave
- -- radiation for the purpose of locating and tracking distant objects.
- fun Radar : Class ;
- fun Radar_Class : SubClass Radar ElectricDevice ;
-
- fun RadiatingInfrared_Radiating : SubClass RadiatingInfrared Radiating ;
-
- -- All sound waves that have frequencies
- -- above those that normal Human ears can detect.
- fun RadiatingSoundUltrasonic : Class ;
- fun RadiatingSoundUltrasonic_Class : SubClass RadiatingSoundUltrasonic RadiatingSound ;
-
- -- Any case of RadiatingElectromagnetic where the
- -- wavelengths are shorter than those of visible light and longer than those
- -- of X_Rays.
- fun RadiatingUltraviolet : Class ;
- fun RadiatingUltraviolet_Class : SubClass RadiatingUltraviolet RadiatingElectromagnetic ;
-
- -- Any instance of RadiatingLight that can
- -- be detected by normal human visual perception.
- fun RadiatingVisibleLight : Class ;
- def RadiatingVisibleLight = KappaFn RadiatingLight (\R -> exists Human (\H ->
- exists Seeing (\S -> and (agent (var Seeing Process ? S)
- (var Human Agent ? H))
- (patient (var Seeing Process ? S)
- (var RadiatingLight Entity ? R))))) ;
-
- -- Any instance of Broadcasting which is
- -- intended to be received by a RadioReceiver.
- fun RadioBroadcasting : Class ;
- fun RadioBroadcasting_Class : SubClass RadioBroadcasting Broadcasting ;
-
- -- Any instance of RadiatingElectromagnetic
- -- where the waves have a wavelength between 5 milimeters and 30,000 meters.
- fun RadioEmission : Class ;
- fun RadioEmission_Class : SubClass RadioEmission RadiatingElectromagnetic ;
-
- -- A RadioReceiver is a Device for receiving
- -- radio broadcast signals from a RadioStation.
- fun RadioReceiver : Class ;
- fun RadioReceiver_Class : SubClass RadioReceiver ReceiverDevice ;
-
- -- A WeaponOfMassDestruction which
- -- achieves its effect through radioactivity, either by an explosion resulting
- -- from nuclear fission or by a conventional explosive device that scatters
- -- radioactive debris.
- fun RadioactiveWeapon : Class ;
- fun RadioactiveWeapon_Class : SubClass RadioactiveWeapon WeaponOfMassDestruction ;
-
- -- Weapons which are designed to spread
- -- radioactive particles over a large area by means of a conventional
- -- explosive device rather than a nuclear reaction. These weapons are often
- -- referred to as 'dirty bombs'.
- fun RadiologicalWeapon : Class ;
- fun RadiologicalWeapon_Class : SubClass RadiologicalWeapon RadioactiveWeapon ;
-
- -- A PlantRoot that is often used in salads.
- fun Radish : Class ;
- fun Radish_Class : SubClass Radish (both Food PlantRoot) ;
-
- -- (RadiusFn ?CIRCLE) denotes the length of the radius
- -- of the Circle ?CIRCLE.
- fun RadiusFn : El Circle -> Ind LengthMeasure ;
-
- -- RailTransportationSystem
- -- is the subclass of TransitSystems whose routes are Railways.
- fun RailTransportationSystem : Class ;
- fun RailTransportationSystem_Class : SubClass RailTransportationSystem TransitSystem ;
-
- -- A Vehicle designed to move on Railways.
- fun RailVehicle : Class ;
- fun RailVehicle_Class : SubClass RailVehicle LandVehicle ;
-
- -- Any TransportationCompany whose services
- -- include Transportation by Train.
- fun RailroadCompany : Class ;
- fun RailroadCompany_Class : SubClass RailroadCompany TransportationCompany ;
-
- -- Ramp is the class of SelfConnectedObjects that are
- -- inclined planes used for moving objects from one level to another,
- -- especially used for wheeled vehicles and people who cannot climb stairs.
- fun Ramp : Class ;
- fun Ramp_Class : SubClass Ramp SelfConnectedObject ;
-
- -- Any instance of Mating where one participant does not
- -- consent. This is limited to acts between Humans.
- fun Raping : Class ;
- fun Raping_Class : SubClass Raping (both CriminalAction Mating) ;
-
- -- A Rodent that has a hairless tail like a Mouse
- -- but that is larger than a Mouse.
- fun Rat : Class ;
- fun Rat_Class : SubClass Rat Rodent ;
-
- -- A subclass of Snake which derives its name
- -- from the fact that it can manipulate its tail in such a way as to produce
- -- a sound like that of a rattle.
- fun Rattlesnake : Class ;
- fun Rattlesnake_Class : SubClass Rattlesnake Snake ;
-
- -- Food that is not the result of Cooking.
- fun RawFood : Class ;
- fun RawFood_Class : SubClass RawFood Food ;
-
- -- Any VehicleWindow which is located at the back
- -- of an Automobile.
- fun RearWindow : Class ;
- fun RearWindow_Class : SubClass RearWindow VehicleWindow ;
-
- -- An ElectricDevice that is capable of
- -- receiving and decoding RadioEmissions, e.g. Radios and Televisions.
- fun ReceiverDevice : Class ;
- fun ReceiverDevice_Class : SubClass ReceiverDevice (both CommunicationDevice ElectricDevice) ;
-
- -- Any instance of Speaking where what is
- -- uttered is contained within a Text.
- fun Reciting : Class ;
- fun Reciting_Class : SubClass Reciting Speaking ;
-
- -- Any Process where the experiencer recovers
- -- from a DiseaseOrSyndrome.
- fun RecoveringFromIllness : Class ;
- fun RecoveringFromIllness_Class : SubClass RecoveringFromIllness OrganismProcess ;
-
- -- A Device whose purpose is RecreationOrExercise.
- fun RecreationOrExerciseDevice : Class ;
- fun RecreationOrExerciseDevice_Class : SubClass RecreationOrExerciseDevice Device ;
-
- -- Any Quadrilateral whose angles are all
- -- RightAngles.
- fun Rectangle : Class ;
- fun Rectangle_Class : SubClass Rectangle Quadrilateral ;
-
- -- BloodCells that contain hemoglobin, lack a
- -- CellNucleus, and carry Oxygen to the tissues of the body.
- fun RedBloodCell : Class ;
- fun RedBloodCell_Class : SubClass RedBloodCell BloodCell ;
-
- -- Any Soldier that served on the British side during
- -- the American revolutionary war. RedcoatSoldier Any Soldier that served on the
- -- British side during the American revolutionary war.
- fun RedcoatSoldier : Class ;
- fun RedcoatSoldier_Class : SubClass RedcoatSoldier Soldier ;
-
- -- A Book which is not intended to be read
- -- from cover to cover, but which is meant to be consulted to answer specific
- -- factual questions, e.g. about the meaning of a word, the location of a
- -- country, etc.
- fun ReferenceBook : Class ;
- fun ReferenceBook_Class : SubClass ReferenceBook (both Book FactualText) ;
-
- -- A Text which is not intended to be read
- -- from beginning to end, but which is meant to be consulted to answer specific
- -- factual questions, e.g. about the meaning of a word, the location of a
- -- country, etc.
- fun ReferenceText : Class ;
- fun ReferenceText_Class : SubClass ReferenceText FactualText ;
-
- -- A Substance that is the result
- -- of the Distilling of Petroleum.
- fun RefinedPetroleumProduct : Class ;
- fun RefinedPetroleumProduct_Class : SubClass RefinedPetroleumProduct PetroleumProduct ;
-
- -- Any instance of Radiating where the radiated
- -- waves rebound from a surface, e.g. an echo of sound or a reflection of
- -- light.
- fun Reflecting : Class ;
- fun Reflecting_Class : SubClass Reflecting Radiating ;
-
- -- Those instances of RadiatingLight where the
- -- instrument is not a light source, but is simply a surface which bends light
- -- waves that come in contact with it.
- fun ReflectingLight : Class ;
- fun ReflectingLight_Class : SubClass ReflectingLight (both RadiatingLight Reflecting) ;
-
- -- Any Muscle reaction which is a response
- -- to a specific stimulus and which does not reach the level of consciousness.
- fun ReflexiveProcess : Class ;
- fun ReflexiveProcess_Class : SubClass ReflexiveProcess AutonomicProcess ;
-
- -- The intersection of Containers and ElectricDevices
- -- in which the temperature is reduced from that of the outside air by a Cooling
- -- process.
- fun Refrigerator : Class ;
- fun Refrigerator_Class : SubClass Refrigerator (both Container (both CoolingDevice ElectricDevice)) ;
-
- -- Submitting official paperwork in a government
- -- agency, e.g. filing for divorce, making a legal claim against someone.
- fun Registering : Class ;
- fun Registering_Class : SubClass Registering (both PoliticalProcess Stating) ;
-
- -- ExpressingDisapproval about a state of affairs
- -- that has already occurred.
- fun Regretting : Class ;
- fun Regretting_Class : SubClass Regretting ExpressingDisapproval ;
-
- -- Any TherapeuticProcess that removes Pain from
- -- the patient of the process.
- fun RelievingPain : Class ;
- fun RelievingPain_Class : SubClass RelievingPain TherapeuticProcess ;
-
- -- A Building which is intended to be
- -- used for religious worship. This class covers churches, temples,
- -- religious shrines, etc.
- fun ReligiousBuilding : Class ;
- fun ReligiousBuilding_Class : SubClass ReligiousBuilding Building ;
-
- -- A well_known leader of a religious group.
- fun ReligiousFigure : Class ;
- fun ReligiousFigure_Class : SubClass ReligiousFigure Celebrity ;
-
- -- Any Position within a ReligousOrganization.
- fun ReligiousPosition : Class ;
- fun ReligiousPosition_Class : SubClass ReligiousPosition Position ;
-
- -- A formal process of public worship which is
- -- typically carried out in a church, temple or other sanctified building and
- -- which typically accords with a prescribed set of rules.
- fun ReligiousService : Class ;
- fun ReligiousService_Class : SubClass ReligiousService (both Demonstrating ReligiousProcess) ;
-
- -- Any Requesting that is intended to cause a
- -- Remembering of something.
- fun Reminding : Class ;
- fun Reminding_Class : SubClass Reminding Requesting ;
-
- -- Removing Clothing from a Human or
- -- Animal in such a way that the Human or Animal no longer wears the
- -- Clothing.
- fun RemovingClothing : Class ;
- fun RemovingClothing_Class : SubClass RemovingClothing Uncovering ;
-
- -- Giving money to the owner of an Object in
- -- exchange for the right to use the Object for a fixed time period.
- fun Renting : Class ;
- fun Renting_Class : SubClass Renting (both Borrowing FinancialTransaction) ;
-
- -- A relatively brief FactualText, often it
- -- describes the findings of a study or experiment, or a series of
- -- observations.
- fun Report : Class ;
- fun Report_Class : SubClass Report (both Article FactualText) ;
-
- -- One of the two major political parties in
- -- the UnitedStates. The RepublicanParty represents traditional,
- -- conservative values.
- fun RepublicanParty : Ind PoliticalParty ;
-
- -- A Sentence that expresses a request for something or
- -- that something be done.
- fun Request : Class ;
- def Request = KappaFn Sentence (\SENTENCE -> exists Requesting (\REQUEST -> result (var Requesting Process ? REQUEST)(var Sentence Entity ? SENTENCE)));
-
- -- The Profession of being a scientific
- -- researcher.
- fun Researcher : Class ;
- fun Researcher_Class : SubClass Researcher Profession ;
-
- -- (ResidentFn ?AREA) denotes the
- -- GroupOfPeople who have their home in ?AREA.
- fun ResidentFn : El GeopoliticalArea -> Ind GroupOfPeople ;
-
- -- Voluntarily ending one's employment.
- fun Resigning : Class ;
- fun Resigning_Class : SubClass Resigning TerminatingEmployment ;
-
- -- Any instance of Deciding which is conducted at a
- -- FormalMeeting and where the agent is an Organization.
- fun Resolution : Class ;
- fun Resolution_Class : SubClass Resolution Deciding ;
-
- -- Any CommercialAgent whose services include selling
- -- Food to customers which is intended to be eaten on the premises.
- fun Restaurant : Class ;
- fun Restaurant_Class : SubClass Restaurant CommercialAgent ;
-
- -- A Building where people pay to be served food
- -- and eat. Some restaurants may also offer entertainment.
- fun RestaurantBuilding : Class ;
- fun RestaurantBuilding_Class : SubClass RestaurantBuilding Building ;
-
- -- A Store where individuals who are not
- -- representing an Organization purchase items. This distinguishes
- -- retail stores from wholesale establishments, where the purchasers
- -- are businesses or their representatives, as well as mail order or
- -- office buildings where transactions are facillitated but the consumer
- -- does not take possession of the item on the premises. More succinctly,
- -- the complement of WholesaleStore, i.e.
- -- MercantileOrganizations that sell their goods to the general public.
- fun RetailStore : Class ;
- fun RetailStore_Class : SubClass RetailStore MercantileOrganization ;
-
- -- A membrane that covers the Eye and converts
- -- the image formed by the lens of the Eye into neurochemical impulses
- -- which can be processed by the Brain.
- fun Retina : Class ;
- fun Retina_Class : SubClass Retina (both AnimalAnatomicalStructure Organ) ;
-
- -- Voluntary unemployment toward the end of one's life.
- fun Retired : Ind SocialRole ;
-
- -- Voluntarily leaving employment at the end of one's
- -- career in order to take time off in the later years of one's life.
- fun Retiring : Class ;
- fun Retiring_Class : SubClass Retiring Resigning ;
-
- -- Any instance of Translocation where the agent
- -- goes to a location where he/she had been before the Translocation took place.
- fun Returning : Class ;
- fun Returning_Class : SubClass Returning Translocation ;
-
- -- Moving something in such a way that its top
- -- becomes its bottom and vice versa.
- fun Reversing : Class ;
- fun Reversing_Class : SubClass Reversing Motion ;
-
- -- A Pistol whose magazine is a revolving cylinder with
- -- six chambers for Bullets.
- fun RevolverGun : Class ;
- fun RevolverGun_Class : SubClass RevolverGun Pistol ;
-
- -- A CerealGrain which has short and long grain varieties
- -- and which is usually prepared for eating by steaming.
- fun RiceGrain : Class ;
- fun RiceGrain_Class : SubClass RiceGrain CerealGrain ;
-
- -- A Firearm with a long barrel that is intended to be fired
- -- from the shoulder.
- fun Rifle : Class ;
- fun Rifle_Class : SubClass Rifle Firearm ;
-
- -- Any TwoDimensionalAngle that has the
- -- angularMeasure of 90 AngularDegrees.
- fun RightAngle : Class ;
- fun RightAngle_Class : SubClass RightAngle TwoDimensionalAngle ;
-
- -- Any Triangle that contains a RightAngle.
- fun RightTriangle : Class ;
- fun RightTriangle_Class : SubClass RightTriangle Triangle ;
-
- -- Any instance of RadiatingSound which is produced by
- -- a Bell.
- fun Ringing : Class ;
- fun Ringing_Class : SubClass Ringing RadiatingSound ;
-
- -- A path along which vehicles travel. It is typically,
- -- although not necessarily, paved and intended for cars.
- fun Road : Class ;
- fun Road_Class : SubClass Road (both Region Roadway) ;
-
- -- RoadTransportationSystem
- -- is the subclass of TransportationSystems whose routes are Roadways.
- fun RoadTransportationSystem : Class ;
- fun RoadTransportationSystem_Class : SubClass RoadTransportationSystem TransitSystem ;
-
- -- The class of LandVehicles that are not
- -- RollingStock.
- fun RoadVehicle : Class ;
- fun RoadVehicle_Class : SubClass RoadVehicle LandVehicle ;
-
- -- Any instance of Stealing which involves the threat
- -- of the use of force.
- fun Robbing : Class ;
- fun Robbing_Class : SubClass Robbing Stealing ;
-
- -- Rock is any naturally formed aggregate of one or more
- -- minerals, consolidated or not, with some degree of mineralogic and chemical
- -- constancy, in popular use the term is usually restricted to those aggregates
- -- that are hard, compact, and coherent.
- fun Rock : Class ;
- fun Rock_Class : SubClass Rock Substance ;
-
- -- A Spacecraft which has the shape of a cylinder
- -- with a cone on top and which is powered by a jet engine.
- fun Rocket : Class ;
- fun Rocket_Class : SubClass Rocket (both (both Projectile Spacecraft) Aircraft) ;
-
- -- An attack in which a rocket or
- -- missile is used.
- fun RocketMissileAttack : Class ;
- fun RocketMissileAttack_Class : SubClass RocketMissileAttack Bombing ;
-
- -- A single rail car. Any RailVehicle that is
- -- not composed of other RailVehicles.
- fun RollingStock : Class ;
- fun RollingStock_Class : SubClass RollingStock RailVehicle ;
-
- -- The top of a Building.
- fun Roof : Class ;
- fun Roof_Class : SubClass Roof StationaryArtifact ;
-
- -- A Male Chicken.
- fun Rooster : Class ;
- def Rooster = KappaFn Chicken (\R -> attribute (var Chicken Object ? R) (el SexAttribute Attribute ? Male)) ;
-
- -- Motion that begins and ends at the same point,
- -- because the trajectory of the Motion is circular.
- fun Rotating : Class ;
- fun Rotating_Class : SubClass Rotating Motion ;
-
- -- Any ThreeDimensionalFigure that has a single
- -- tangent at every point on its surface.
- fun RoundShape : Ind ThreeDimensionalFigure ;
-
- -- Any instance of WaterTransportation where the
- -- instrument is an Oar that is manually powered.
- fun Rowing : Class ;
- fun Rowing_Class : SubClass Rowing WaterTransportation ;
-
- -- A latex that is produced by certain species of
- -- BotanticalTrees.
- fun Rubber : Class ;
- fun Rubber_Class : SubClass Rubber PlantSubstance ;
-
- -- A piece of Fabric whose purpose is to cover a Floor.
- fun Rug : Class ;
- fun Rug_Class : SubClass Rug Fabric ;
-
- -- A Slavic language that is spoken in Russia.
- fun RussianLanguage : Ind (both SpokenHumanLanguage NaturalLanguage) ;
-
- -- A Device which allows a Human to ride on a
- -- Horse.
- fun Saddle : Class ;
- fun Saddle_Class : SubClass Saddle Holder ;
-
- -- A Container with a Lock which is intended
- -- to secure items from theft. Note that this covers safes, lockers, and locked
- -- storage compartments.
- fun SafeContainer : Class ;
- fun SafeContainer_Class : SubClass SafeContainer (both Container SecurityDevice) ;
-
- -- The class of Positions which involve working on a
- -- ship, whether a merchant ship or a navy ship.
- fun Sailor : Class ;
- fun Sailor_Class : SubClass Sailor SkilledOccupation ;
-
- -- Any instance of Working that involves Selling or
- -- trying to sell items.
- fun Sales : Class ;
- fun Sales_Class : SubClass Sales Working ;
-
- -- Any Position which involves Selling
- -- or trying to sell items.
- fun SalesPosition : Class ;
- fun SalesPosition_Class : SubClass SalesPosition SkilledOccupation ;
-
- -- A Solution consisting of SodiumChloride and
- -- Water.
- fun SalineSolution : Class ;
- fun SalineSolution_Class : SubClass SalineSolution Solution ;
-
- -- Any kind of open shoe lacking a markedly
- -- thicker heel. The toe may be enclosed, but there must be some opening in the upper
- -- other than the Hole through which the foot is inserted.
- fun Sandal : Class ;
- fun Sandal_Class : SubClass Sandal Shoe ;
-
- -- Any Food which consists of two or more pieces
- -- of bread and some sort of filling between the two pieces of bread.
- fun Sandwich : Class ;
- fun Sandwich_Class : SubClass Sandwich PreparedFood ;
-
- -- The state of being happy about a state of
- -- affairs that occurred in the past. In cases where that state of affairs
- -- is the product of one's own doing, this is known as pride.
- fun Satisfaction : Ind EmotionalState ;
-
- -- Any instance of Increasing where the PhysicalQuantity
- -- involved is a CurrencyMeasure. This includes saving in a financial account
- -- as well as stuffing gold bars under the matress, or a squirrel saving nuts
- -- for winter.
- fun Saving : Class ;
- fun Saving_Class : SubClass Saving Increasing ;
-
- -- A federally or state chartered
- -- FinancialCompany that takes Deposits from individuals, funds
- -- Mortgages, and pays Dividends.
- fun SavingsAndLoan : Class ;
- fun SavingsAndLoan_Class : SubClass SavingsAndLoan FinancialCompany ;
-
- -- Any AbnormalAnatomicalStructure which results from the
- -- healing of a Lesion.
- fun Scar : Class ;
- fun Scar_Class : SubClass Scar AbnormalAnatomicalStructure ;
-
- -- Any Funding which is made on the basis of merit
- -- and whose purpose is to allow the destination to realize an
- -- EducationalProgram.
- fun Scholarship : Class ;
- fun Scholarship_Class : SubClass Scholarship Funding ;
-
- -- An EducationalOrganization with a curriculum,
- -- teachers, and students. Most Schools are housed in a Building
- -- dedicated to the EducationalOrganization.
- fun School : Class ;
- fun School_Class : SubClass School EducationalOrganization ;
-
- -- Any FieldOfStudy which tests theories on the basis of
- -- careful observations and/or experiments and which has a cumulative body of results.
- fun Science : Class ;
- fun Science_Class : SubClass Science FieldOfStudy ;
-
- -- A successful attempt to score a point in a Game.
- fun Score : Class ;
- fun Score_Class : SubClass Score GameShot ;
-
- -- An AttachingDevice which contains a spiral of grooves to
- -- hold it in place and which is fastened with a Screwdriver.
- fun Screw : Class ;
- fun Screw_Class : SubClass Screw AttachingDevice ;
-
- -- A Device that is used to rotate
- -- a Screw, which by the action of its helical threads is driven into a
- -- medium that is softer than the material of the screw itself.
- fun Screwdriver : Class ;
- fun Screwdriver_Class : SubClass Screwdriver Device ;
-
- -- The collection of Characters in a particular
- -- written language. Every WrittenCommunication consists of Characters
- -- written in a particular script. Scripts include different typefaces, as
- -- well as entirely different characters. 'Times Roman' is a very specific
- -- script. While the 'latin' character set is a general one, that has
- -- specific subclasses like Times Roman. Other scripts include Devanagri
- -- (which may be expressed in many different more specific typefaces), or
- -- Simplified Chinese.
- fun Script : Class ;
- fun Script_Class : SubClass Script Collection ;
-
- -- Any ArtWork which is not constructed on the
- -- two_dimensional surface of a canvas, piece of paper, etc.
- fun Sculpture : Class ;
- fun Sculpture_Class : SubClass Sculpture ArtWork ;
-
- -- SeasonOfYear is the class of four
- -- seasons correlated with the calendar Year and associated with
- -- changes in the length of daylight and with overall temperature
- -- changes. Depending upon the GeographicArea, a SeasonOfYear
- -- may also be associated with weather patterns (e.g., rainy, dry,
- -- windy). The characteristics of seasons (cold vs. hot temperatures,
- -- long vs. short days) are reversed from the NorthernHemisphere
- -- to the SouthernHemisphere.
- fun SeasonOfYear : Class ;
- fun SeasonOfYear_Class : SubClass SeasonOfYear TimeInterval ;
-
- -- Any instance of Furniture which is designed to
- -- accommodate Humans who are Sitting.
- fun Seat : Class ;
- fun Seat_Class : SubClass Seat Furniture ;
-
- -- Guiding someone to a Seat, e.g. as when an usher
- -- shows someone to a Seat in an Auditorium.
- fun Seating : Class ;
- fun Seating_Class : SubClass Seating Guiding ;
-
- -- A color that is the product of mixing together
- -- two or more PrimaryColors.
- fun SecondaryColor : Class ;
- fun SecondaryColor_Class : SubClass SecondaryColor ColorAttribute ;
-
- -- A School which admits students who have
- -- graduated from a middle school and which normally covers the ninth through
- -- twelfth grades. A SecondarySchool confers a high school diploma.
- fun SecondarySchool : Class ;
- fun SecondarySchool_Class : SubClass SecondarySchool School ;
-
- -- The head of the UnitedStatesDepartmentOfInterior.
- fun SecretaryOfTheInterior : Ind GovernmentSecretary ;
-
- -- The head of the United States Treasury Department.
- fun SecretaryOfTheTreasury : Ind GovernmentSecretary ;
-
- -- A SecurityDevice that detects intrusions to
- -- a StationaryArtifact and issues a warning of some sort.
- fun SecurityAlarm : Class ;
- fun SecurityAlarm_Class : SubClass SecurityAlarm (both ElectricDevice SecurityDevice) ;
-
- -- A Device whose purpose is to protect people or
- -- property from kidnappers and/or thieves.
- fun SecurityDevice : Class ;
- fun SecurityDevice_Class : SubClass SecurityDevice Device ;
-
- -- The Organization that is charged with
- -- ensuring the security of members of the overall Organization and the
- -- property of the Organization.
- fun SecurityUnit : Class ;
- fun SecurityUnit_Class : SubClass SecurityUnit Organization ;
-
- -- Any instance of UnilateralGetting which is done by
- -- a Government and which is not permitted by the origin of the UnilateralGetting.
- fun SeizingProperty : Class ;
- fun SeizingProperty_Class : SubClass SeizingProperty UnilateralGetting ;
-
- -- SelfPoweredDevice is
- -- the subclass of Devices whose action is powered by some kind of on_board
- -- component or power source (not the user, which would be a
- -- UserPoweredVehicle).
- fun SelfPoweredDevice : Class ;
- def SelfPoweredDevice = KappaFn Device (\O -> exists Artifact (\G -> powerPlant (var Device Device ? O) (var Artifact Artifact ? G))) ;
-
- -- SelfPoweredRoadVehicle is the
- -- class of RoadVehicles that are also PoweredVehicles.
- -- SelfPoweredRoadVehicle covers motorcycles, semi_trailers, RVs, etc.,
- -- as well as Automobiles. This class includes vehicles powered by
- -- electricity, gasoline, diesel, and other fuels.
- fun SelfPoweredRoadVehicle : Class ;
- fun SelfPoweredRoadVehicle_Class : SubClass SelfPoweredRoadVehicle (both PoweredVehicle RoadVehicle) ;
-
- -- Any LegalDecision where the defendant is assigned
- -- a punishment for a CriminalAction which was the subject of an earlier
- -- LegalConviction.
- fun Sentencing : Class ;
- fun Sentencing_Class : SubClass Sentencing LegalDecision ;
-
- -- A noncomissioned MilitaryOfficer.
- fun Sergeant : Class ;
- fun Sergeant_Class : SubClass Sergeant MilitaryOfficer ;
-
- -- A Lecture that is part of a ReligiousService.
- fun Sermon : Class ;
- fun Sermon_Class : SubClass Sermon Lecture ;
-
- -- Any LiquidBodySubstance other than Blood.
- fun Serum : Class ;
- fun Serum_Class : SubClass Serum LiquidBodySubstance ;
-
- -- An Organization that performs
- -- a public service and is regulated by the Government.
- fun ServiceOrganization : Class ;
- fun ServiceOrganization_Class : SubClass ServiceOrganization Organization ;
-
- -- Any Position which involves working
- -- as a waiter or servant, either for an Organization (e.g. a restaurant)
- -- or for a person or family.
- fun ServicePosition : Class ;
- fun ServicePosition_Class : SubClass ServicePosition SkilledOccupation ;
-
- -- Working as a waiter or servant, either for an
- -- Organization (e.g. a Restaurant) or for a person or family.
- fun Serving : Class ;
- fun Serving_Class : SubClass Serving Working ;
-
- -- A Pipline which is used to transport human
- -- waste to an area where it can be treated and/or disposed of.
- fun SewageSystem : Class ;
- fun SewageSystem_Class : SubClass SewageSystem Pipeline ;
-
- -- Attaching two pieces of Fabric or one part of a
- -- piece of Fabric to another part by means of needle and thread.
- fun Sewing : Class ;
- fun Sewing_Class : SubClass Sewing Attaching ;
-
- -- The subclass of ChangeOfPossession where a
- -- properPart of the patient is given by the agent or the destination.
- fun Sharing : Class ;
- fun Sharing_Class : SubClass Sharing ChangeOfPossession ;
-
- -- A domesticated HoofedMammal that is bred for its
- -- wool and for its meat (known as mutton).
- fun Sheep : Class ;
- fun Sheep_Class : SubClass Sheep (both DomesticAnimal HoofedMammal) ;
-
- -- An piece of Furniture or part of a piece of Furniture
- -- that is used for keeping or displaying things.
- fun Shelf : Class ;
- fun Shelf_Class : SubClass Shelf Artifact ;
-
- -- A PoliceOfficer whose jurisdiction is a County.
- fun Sheriff : Class ;
- fun Sheriff_Class : SubClass Sheriff PoliceOfficer ;
-
- -- An Artifact that is held by the hand or whole arm and
- -- is used to prevent injuries from Weapons.
- fun Shield : Class ;
- fun Shield_Class : SubClass Shield Artifact ;
-
- -- Ship is the class of large WaterVehicle used
- -- for travel on oceans, seas, or large lakes.
- fun Ship : Class ;
- fun Ship_Class : SubClass Ship DisplacementHullWaterVehicle ;
-
- -- The class of Positions which involve the command of a ship.
- fun ShipCaptain : Class ;
- fun ShipCaptain_Class : SubClass ShipCaptain Sailor ;
-
- -- The class of Positions that involve some responsibility
- -- on a ship and are lower in rank than ShipCaptain.
- fun ShipMate : Class ;
- fun ShipMate_Class : SubClass ShipMate Sailor ;
-
- -- The class of Sailors which have a position of
- -- responsibility on a Ship.
- fun ShipOfficer : Class ;
- fun ShipOfficer_Class : SubClass ShipOfficer Sailor ;
-
- -- Shipping is the subclass of Transportation
- -- events in which goods are transported from one place to another by an
- -- agent who is entrusted with the goods temporarily just in order to move
- -- them. Shipping may be done within an organization or it may be done
- -- by an outside commercial agent. See CommercialShipping.
- fun Shipping : Class ;
- fun Shipping_Class : SubClass Shipping Transportation ;
-
- -- An item of Clothing which covers the upper body of a Human.
- fun Shirt : Class ;
- fun Shirt_Class : SubClass Shirt Clothing ;
-
- -- Clothing that is intended to be worn on the Foot.
- -- It consists of an upper, a sole, and a heel.
- fun Shoe : Class ;
- fun Shoe_Class : SubClass Shoe Clothing ;
-
- -- The bottom part of a Shoe that is
- -- intended to be the point of contact with the ground while the
- -- shoe is being worn.
- fun ShoeSole : Class ;
- fun ShoeSole_Class : SubClass ShoeSole Artifact ;
-
- -- A MercantileOrganization which is a collection
- -- of various shops gathered together in a single, modern development.
- fun ShoppingMall : Class ;
- fun ShoppingMall_Class : SubClass ShoppingMall MercantileOrganization ;
-
- -- A brief work of fiction, often bound with other
- -- short stories in a Book or Periodical.
- fun ShortStory : Class ;
- fun ShortStory_Class : SubClass ShortStory (both Article FictionalText) ;
-
- -- Decreasing the length of something.
- fun Shortening : Class ;
- fun Shortening_Class : SubClass Shortening Decreasing ;
-
- -- A solid metal Ball that is used in the sport of shotput.
- fun ShotBall : Class ;
- fun ShotBall_Class : SubClass ShotBall Ball ;
-
- -- The part of a Primate between the Arm and the neck.
- fun Shoulder : Class ;
- fun Shoulder_Class : SubClass Shoulder (both AnimalAnatomicalStructure BodyPart) ;
-
- -- Moving the Shoulders in such a way that the motion
- -- is intended to express something to someone else.
- fun Shrugging : Class ;
- fun Shrugging_Class : SubClass Shrugging (both BodyMotion Gesture) ;
-
- -- A prepared path for pedestrians alongside a Roadway.
- fun Sidewalk : Class ;
- fun Sidewalk_Class : SubClass Sidewalk StationaryArtifact ;
-
- -- Signalling is the subclass of Guiding
- -- processes in which an agent, animate or inanimate, sends a signal to
- -- another Object. In many cases, this signal will be an electrical or
- -- electronic one. Some signals may directly control the behavior of
- -- the object signalled, while others may merely cause information to be
- -- presented. Instances of electrical Signalling are typically more
- -- complex than simply than operation of a DeviceSwitch, though in some
- -- cases, Signalling involves remote activation of such a switch by another
- -- device.
- fun Signalling : Class ;
- fun Signalling_Class : SubClass Signalling Guiding ;
-
- -- Fabric that is woven from the strands produced by
- -- certain Larval Insects.
- fun Silk : Class ;
- fun Silk_Class : SubClass Silk Fabric ;
-
- -- The class of Falling processes that occur in a BodyOfWater.
- fun Sinking : Class ;
- fun Sinking_Class : SubClass Sinking Falling ;
-
- -- The BodyMotion of moving from a Standing
- -- to a Sitting position.
- fun SittingDown : Class ;
- fun SittingDown_Class : SubClass SittingDown (both BodyMotion MotionDownward) ;
-
- -- Any ArtWork which is produced by a pencil or
- -- piece of charcoal.
- fun Sketch : Class ;
- fun Sketch_Class : SubClass Sketch ArtWork ;
-
- -- Any Position which requires
- -- learning a set of skills.
- fun SkilledOccupation : Class ;
- fun SkilledOccupation_Class : SubClass SkilledOccupation Position ;
-
- -- A BodyCovering that comprises part of the surface of Animals.
- fun Skin : Class ;
- fun Skin_Class : SubClass Skin (both AnimalAnatomicalStructure BodyCovering) ;
-
- -- The Bone that is found in the Heads of Vertebrates.
- fun Skull : Class ;
- fun Skull_Class : SubClass Skull Bone ;
-
- -- A Window that is part of the Ceiling of
- -- a Room.
- fun Skylight : Class ;
- fun Skylight_Class : SubClass Skylight Window ;
-
- -- A piece of Clothing that covers the Arm. A
- -- Sleeve is always part of a Coat or a Shirt.
- fun Sleeve : Class ;
- fun Sleeve_Class : SubClass Sleeve Clothing ;
-
- -- Spreading the lips in such a way as to convey
- -- happiness.
- fun Smiling : Class ;
- fun Smiling_Class : SubClass Smiling FacialExpression ;
-
- -- Inhaling and exhaling Smoke produced by a CigarOrCigarette.
- fun Smoking : Class ;
- fun Smoking_Class : SubClass Smoking RecreationOrExercise ;
-
- -- Any Device whose purpose is Smoking.
- fun SmokingDevice : Class ;
- fun SmokingDevice_Class : SubClass SmokingDevice Device ;
-
- -- A SmokingDevice consisting of a tube and a small bowl.
- fun SmokingPipe : Class ;
- fun SmokingPipe_Class : SubClass SmokingPipe SmokingDevice ;
-
- -- Any instance Transportation which is also a CriminalAction.
- fun Smuggling : Class ;
- fun Smuggling_Class : SubClass Smuggling (both CriminalAction Transportation) ;
-
- -- A long and narrow Reptile which lacks Limbs.
- fun Snake : Class ;
- fun Snake_Class : SubClass Snake Reptile ;
-
- -- The ConsciousnessAttribute of someone whose motor and
- -- cognitive faculties are not significantly impaired by a BiologicallyActiveSubstance.
- fun Sober : Ind ConsciousnessAttribute ;
-
- -- The process of transitioning from a state of
- -- being Drunk to a state of being Sober.
- fun SoberingUp : Class ;
- fun SoberingUp_Class : SubClass SoberingUp PsychologicalProcess ;
-
- -- Any Meeting where the intent is primarily
- -- to socialize and be entertained.
- fun SocialParty : Class ;
- fun SocialParty_Class : SubClass SocialParty (both Meeting RecreationOrExercise) ;
-
- -- Any Science which studies human behavior, either in
- -- the aggregate, as do, for example, Economics and Linguistics, or with respect to
- -- the individual, as does Psychology.
- fun SocialScience : Class ;
- fun SocialScience_Class : SubClass SocialScience Science ;
-
- -- A piece of Clothing that is made of a soft Fabric
- -- like Cotton and that is intended to be worn on the Foot.
- fun Sock : Class ;
- fun Sock_Class : SubClass Sock Clothing ;
-
- -- SodiumChloride is the compound of Sodium and Chloride,
- -- which may appear in crystalline form or in solution with water or other substances.
- -- It is a compound found in solution in significant quantities in sea water.
- fun SodiumChloride : Class ;
- fun SodiumChloride_Class : SubClass SodiumChloride ChemicalSalt ;
-
- -- A padded Seat that is designed to accommodate more than one Human.
- fun Sofa : Class ;
- fun Sofa_Class : SubClass Sofa Seat ;
-
- -- Attaching two things by means of a MetallicAlloy.
- fun Soldering : Class ;
- fun Soldering_Class : SubClass Soldering Attaching ;
-
- -- The class of SkilledOccupations which involve serving in
- -- the armed forces of a Nation.
- fun Soldier : Class ;
- fun Soldier_Class : SubClass Soldier SkilledOccupation ;
-
- -- Any BodyMotion which begins and ends in
- -- a Sitting position and where the feet roll over the head and return to
- -- their original position.
- fun Somersaulting : Class ;
- fun Somersaulting_Class : SubClass Somersaulting BodyMotion ;
-
- -- Something that emits and receives sound
- -- for the purpose of locating and tracking distant objects. Note that
- -- this covers both manmade devices and BodyParts such as the sonar
- -- of bats and dolphins.
- fun Sonar : Class ;
- fun Sonar_Class : SubClass Sonar CorpuscularObject ;
-
- -- Any MusicalComposition which contains Lyrics.
- fun Song : Class ;
- fun Song_Class : SubClass Song MusicalComposition ;
-
- -- Food which is prepared by reducing Meat
- -- and/or FruitOrVegetables to a translucent broth which can be used as
- -- a base for soups or sauces.
- fun SoupStock : Class ;
- fun SoupStock_Class : SubClass SoupStock PreparedFood ;
-
- -- The class of all Regions which are not GeographicAreas.
- fun SpaceRegion : Class ;
- fun SpaceRegion_Class : SubClass SpaceRegion Region ;
-
- -- Any instance of Transportation where the
- -- instrument is a Spacecraft and which is through a SpaceRegion.
- fun SpaceTransportation : Class ;
- fun SpaceTransportation_Class : SubClass SpaceTransportation Transportation ;
-
- -- Any Vehicle which is capable of SpaceTransportation.
- fun Spacecraft : Class ;
- fun Spacecraft_Class : SubClass Spacecraft Vehicle ;
-
- -- A Romance language that is the official language
- -- of Spain, Mexico, and many Central and South American countries.
- fun SpanishLanguage : Ind (both SpokenHumanLanguage NaturalLanguage) ;
-
- -- A Weapon with a long handle and a short blade.
- fun Spear : Class ;
- fun Spear_Class : SubClass Spear Weapon ;
-
- -- The class of ThreeDimensionalFigures such that
- -- all GeometricPoints that make up the Sphere are equidistant from a
- -- single GeometricPoint, known as the center of the Sphere.
- fun Sphere : Class ;
- fun Sphere_Class : SubClass Sphere ThreeDimensionalFigure ;
-
- -- A cord of nerves that carries impulses to
- -- and from the Brain. It is contained within the SpinalColumn.
- fun SpinalCord : Class ;
- fun SpinalCord_Class : SubClass SpinalCord Organ ;
-
- -- Any instance of Impelling where the origin is
- -- the Mouth of the agent.
- fun Spitting : Class ;
- fun Spitting_Class : SubClass Spitting Impelling ;
-
- -- An Organ on the left side of the body that produces
- -- Cells that play a crucial role in immune response.
- fun Spleen : Class ;
- fun Spleen_Class : SubClass Spleen (both AnimalAnatomicalStructure Organ) ;
-
- -- The BodyPosition of extending one's Legs at
- -- right angles to one's Torso.
- fun Splitting : Ind BodyPosition ;
-
- -- A GameShot which is part of a Sport and
- -- which serves to start the Sport, e.g. the beginning shot in Tennis,
- -- Badminton or Squash.
- fun SportServe : Class ;
- fun SportServe_Class : SubClass SportServe GameShot ;
-
- -- Any GameAttribute that is specific to
- -- a Sport.
- fun SportsAttribute : Class ;
- fun SportsAttribute_Class : SubClass SportsAttribute GameAttribute ;
-
- -- A specially designated and maintained facility
- -- where Sports are played. Note that this covers sports fields, stadiums,
- -- and gymnasiums.
- fun SportsFacility : Class ;
- fun SportsFacility_Class : SubClass SportsFacility StationaryArtifact ;
-
- -- A specially designated and maintained area
- -- where Sports are played.
- fun SportsGround : Class ;
- fun SportsGround_Class : SubClass SportsGround StationaryArtifact ;
-
- -- An Organization whose members are SportsTeams
- -- and whose purpose is to set up games between its members.
- fun SportsLeague : Class ;
- fun SportsLeague_Class : SubClass SportsLeague Organization ;
-
- -- A SportsAttribute that indicates that a player in
- -- a Sport can no longer compete because he has been tagged with the GamePiece.
- fun SportsOut : Ind SportsAttribute ;
-
- -- A Plan for a Maneuver within a TeamSport.
- fun SportsPlay : Class ;
- fun SportsPlay_Class : SubClass SportsPlay Plan ;
-
- -- A Position which is filled by someone on a
- -- SportsTeam and which represents the role played by the person on the team.
- fun SportsPosition : Class ;
- fun SportsPosition_Class : SubClass SportsPosition SkilledOccupation ;
-
- -- A GroupOfPeople who habitually play a Sport
- -- together, either as an occupation or as a leisure activity.
- fun SportsTeam : Class ;
- fun SportsTeam_Class : SubClass SportsTeam GroupOfPeople ;
-
- -- Any instance of Transfer of a Liquid which is
- -- accomplished by converting the Liquid into a mist.
- fun Spraying : Class ;
- fun Spraying_Class : SubClass Spraying (both LiquidMotion Transfer) ;
-
- -- The SeasonOfYear that begins at the spring
- -- equinox and ends at the summer solstice. SpringSeason is the class of
- -- TimeIntervals associated with the calendar months of March
- -- through May.
- fun SpringSeason : Class ;
- fun SpringSeason_Class : SubClass SpringSeason SeasonOfYear ;
-
- -- Any Rectangle whose sides are all equal.
- fun Square : Class ;
- fun Square_Class : SubClass Square Rectangle ;
-
- -- SquareMile represents a UnitOfMeasure equal to one square Mile.
- fun SquareMile : Ind UnitOfArea ;
-
- -- SquareYard represents a UnitOfMeasure equal to one square YardLength.
- fun SquareYard : Ind UnitOfArea ;
-
- -- Sitting on one's heels.
- fun Squatting : Ind BodyPosition ;
-
- -- A tree_dwelling Rodent with a bushy tail.
- fun Squirrel : Class ;
- fun Squirrel_Class : SubClass Squirrel Rodent ;
-
- -- A Wagon that is pulled by Horses and whose purpose
- -- was to transport Humans and their luggage from one City to the next, especially
- -- in areas which did not have an established transportation system, e.g. the old west.
- fun StageCoach : Class ;
- fun StageCoach_Class : SubClass StageCoach Wagon ;
-
- -- A StationaryArtifact which allows one to climb, step
- -- by step, from one level to another.
- fun Stairway : Class ;
- fun Stairway_Class : SubClass Stairway StationaryArtifact ;
-
- -- The BodyMotion of moving from a Sitting
- -- to a Standing position.
- fun StandingUp : Class ;
- fun StandingUp_Class : SubClass StandingUp (both BodyMotion MotionUpward) ;
-
- -- A complex Carbohydrate that is the main form in
- -- which Carbohydrates are stored.
- fun Starch : Class ;
- fun Starch_Class : SubClass Starch Carbohydrate ;
-
- -- (StartFn ?PROCESS) denotes IntentionalProcesses
- -- of bringing it about that Processes of type ?PROCESS begin, e.g. start
- -- working, begin running, etc.
- fun StartFn : El Process -> Desc IntentionalProcess ;
-
- -- Killing someone by depriving them of Food.
- fun Starving : Class ;
- fun Starving_Class : SubClass Starving Killing ;
-
- -- The class of Governments whose
- -- jurisdictions are StateOrProvinces.
- fun StateGovernment : Class ;
- fun StateGovernment_Class : SubClass StateGovernment Government ;
-
- -- A Sentence that is stated to be true.
- fun Statement : Class ;
- def Statement = KappaFn Sentence (\SENTENCE -> exists Stating (\STATE -> result (var Stating Process ? STATE)
- (var Sentence Entity ? SENTENCE))) ;
-
- -- Any UnilateralGetting which is not permitted by the
- -- origin of the UnilateralGetting. These cases of UnilateralGetting are
- -- distinguished from ones where the destination is the subject of charity or
- -- other forms of benefaction.
- fun Stealing : Class ;
- fun Stealing_Class : SubClass Stealing (both CriminalAction UnilateralGetting) ;
-
- -- SteamEngine is the subclass of Engines
- -- that produce mechanical power from heat and steam pressure.
- fun SteamEngine : Class ;
- fun SteamEngine_Class : SubClass SteamEngine Engine ;
-
- -- A MetallicAlloy made from Iron and other elements.
- fun Steel : Class ;
- fun Steel_Class : SubClass Steel MetallicAlloy ;
-
- -- A component of a ReligiousBuilding that is tall
- -- and narrow and symbolizes the connection between humanity and a deity.
- fun Steeple : Class ;
- fun Steeple_Class : SubClass Steeple StationaryArtifact ;
-
- -- A VehicleController which enables one to steer
- -- a Vehicle.
- fun SteeringWheel : Class ;
- fun SteeringWheel_Class : SubClass SteeringWheel VehicleController ;
-
- -- The BodyMotion of extending one foot forward
- -- and then bringing the other foot to the same lateral position as the
- -- first leg.
- fun Stepping : Class ;
- fun Stepping_Class : SubClass Stepping BodyMotion ;
-
- -- A StationaryArtifact which allows one to climb, step
- -- by step, from one level to another.
- fun Steps : Class ;
- fun Steps_Class : SubClass Steps StationaryArtifact ;
-
- -- A class of OrganicCompounds having the same basic
- -- chemical structure and having significant physiological effects.
- fun Steroid : Class ;
- fun Steroid_Class : SubClass Steroid (both BiologicallyActiveSubstance OrganicCompound) ;
-
- -- Any BiologicallyActiveSubstance which has
- -- the effect of stimulating the central nervous system, i.e. increasing
- -- function or activity in the Brain or SpinalCord.
- fun Stimulant : Class ;
- fun Stimulant_Class : SubClass Stimulant BiologicallyActiveSubstance ;
-
- -- Any instance of LiquidMotion which is also an
- -- instance of Combining two or more Liquids.
- fun Stirring : Class ;
- fun Stirring_Class : SubClass Stirring (both Combining LiquidMotion) ;
-
- -- An instrument that signifies an ownership position,
- -- or equity, in a Corporation, and represents a claim on its proportionate
- -- share in the corporation's assets and profits.
- fun Stock : Class ;
- fun Stock_Class : SubClass Stock (both FinancialInstrument Investment) ;
-
- -- A muscular sac that is the principal organ of
- -- digestion.
- fun Stomach : Class ;
- fun Stomach_Class : SubClass Stomach (both AnimalAnatomicalStructure Organ) ;
-
- -- An act where a victim or victims is attacked
- -- with stones. The stones may either be placed on top of a victim in
- -- order to cause death by pressure and suffocation, in which case the act
- -- is typically part of a ritualized legal sentence, or where the victim
- -- is pelted with stones causing injury or death by trauma. The intent
- -- of such an act is usually the death of the victim.
- fun Stoning : Class ;
- fun Stoning_Class : SubClass Stoning ViolentContest ;
-
- -- (StopFn ?PROCESS) denotes IntentionalProcesses of bringing it
- -- about that Processes of type ?PROCESS end, e.g. stop walking, quit working, etc.
- fun StopFn : El Process -> Desc IntentionalProcess ;
-
- -- A Building that has the purpose of housing
- -- FinancialTransactions.
- fun Store : Class ;
- fun Store_Class : SubClass Store Building ;
-
- -- Someone who operates a store which he
- -- either owns or rents.
- fun StoreOwner : Ind OccupationalRole ;
-
- -- The Region where two or more unstable air
- -- masses meet.
- fun StormFront : Class ;
- fun StormFront_Class : SubClass StormFront AtmosphericRegion ;
-
- -- A HeatingDevice which consists one or more burners for
- -- heating pots and pans of Food.
- fun Stove : Class ;
- fun Stove_Class : SubClass Stove HeatingDevice ;
-
- -- Any instance of Grabbing where the patient is
- -- someone else's throat and the intention is to make it impossible for the other
- -- person to breathe.
- fun Strangling : Class ;
- fun Strangling_Class : SubClass Strangling Grabbing ;
-
- -- (StreetAddressFn ?BUILDING ?ROAD ?CITY
- -- ?COUNTRY) returns the Agent, e.g. a family, an organization, a person,
- -- etc. that resides or conducts business at the corresponding address.
- fun StreetAddressFn : El StationaryArtifact -> El Roadway -> El City -> El Nation -> Ind Agent ;
-
- -- Streetcar is the subclass of
- -- ElectrifiedRailwayCars that run on tracks laid into, along, or
- -- beside city Streets.
- fun Streetcar : Class ;
- fun Streetcar_Class : SubClass Streetcar ElectrifiedRailwayCar ;
-
- -- A SoundAttribute of Syllables. It denotes the quality of
- -- being emphasized over the other Syllables in the same Word.
- fun Stressed : Ind SoundAttribute ;
-
- -- Moving two sides of an object in opposite
- -- directions so that the object becomes both longer and thinner.
- fun Stretching : Class ;
- fun Stretching_Class : SubClass Stretching (both Lengthening Motion) ;
-
- -- A long, thin strand of Fabric that is used for Tying
- -- things together, etc. Note that this class covers a cord of any width, including
- -- rope, twine, and thread, for example.
- fun String : Class ;
- fun String_Class : SubClass String Artifact ;
-
- -- A MusicalInstrument which is played by
- -- striking strings, either directly as with a guitar or indirectly via keys
- -- as with Pianos.
- fun StringInstrument : Class ;
- fun StringInstrument_Class : SubClass StringInstrument MusicalInstrument ;
-
- -- A person who participates in an
- -- EducationalProcess in order to learn something.
- fun Student : Ind SocialRole ;
-
- -- A WaterVehicle which is capable of travelling
- -- under the water level by filling tanks with water.
- fun Submarine : Class ;
- fun Submarine_Class : SubClass Submarine WaterVehicle ;
-
- -- A subway is a hollow area of the earth, typically
- -- under large cities, designed for running trains that move people. It is
- -- distinguished from other kinds of tunnels in that trains run through
- -- them, primarily for the purpose of carrying people rather than ore, for
- -- example.
- fun Subway : Class ;
- fun Subway_Class : SubClass Subway Hole ;
-
- -- Any RailTransportationSystem that runs
- -- exclusively through Tunnels.
- fun SubwaySystem : Class ;
- fun SubwaySystem_Class : SubClass SubwaySystem RailTransportationSystem ;
-
- -- Killing someone by asphyxiation, i.e. by
- -- depriving them of Oxygen.
- fun Suffocating : Class ;
- fun Suffocating_Class : SubClass Suffocating Killing ;
-
- -- A simple Carbohydrate that has a sweet taste and
- -- consists mostly or entirely of sucrose.
- fun Sugar : Class ;
- fun Sugar_Class : SubClass Sugar (both Carbohydrate PlantAgriculturalProduct) ;
-
- -- Any instance of Killing where the agent and
- -- the experiencer are identical.
- fun Suicide : Class ;
- fun Suicide_Class : SubClass Suicide Killing ;
-
- -- A bomb attack in which the bomber
- -- intends to blow himself up during the course of the attack. The bomber
- -- is the delivery mechanism for the explosive and the bomb is typically
- -- in close contact with the bomber, such as being strapped around his
- -- torso. This action is distinguished from actions in which the bomber
- -- merely happens to be blown up by his own bomb in that the bomber
- -- knows that he is committing suicide.
- fun SuicideBombing : Class ;
- fun SuicideBombing_Class : SubClass SuicideBombing (both Bombing Killing) ;
-
- -- The SeasonOfYear that begins at the summer
- -- solstice and ends at the autumnal equinox.
- fun SummerSeason : Class ;
- fun SummerSeason_Class : SubClass SummerSeason SeasonOfYear ;
-
- -- Any instance of RadiatingLight where the
- -- Sun (Sol) is the origin.
- fun Sunlight : Class ;
- fun Sunlight_Class : SubClass Sunlight RadiatingLight ;
-
- -- The TimeInterval of each Day when the sun is rising
- -- and is partially overlapped by the horizon line.
- fun Sunrise : Class ;
- fun Sunrise_Class : SubClass Sunrise TimeInterval ;
-
- -- The TimeInterval of each Day when the sun is setting
- -- and is partially overlapped by the horizon line.
- fun Sunset : Class ;
- fun Sunset_Class : SubClass Sunset TimeInterval ;
-
- -- A Sentence that is assumed to be true, possibly
- -- just for the sake of argument.
- fun Supposition : Class ;
- def Supposition = KappaFn Sentence (\SENTENCE -> exists Supposing (\SUPPOSE -> result (var Supposing Process ? SUPPOSE)
- (var Sentence Entity ? SENTENCE))) ;
-
- -- Surfactants, also known as Wetting agents,
- -- lower the surface tension of a Liquid, allowing easier spreading. The
- -- term surfactant is a compression of 'Surface active agent'. Surfactants
- -- are usually organic compounds that contain both hydrophobic and
- -- hydrophilic groups, and are thus semi_soluble in both organic and aqueous
- -- solvents.
- fun Surfactant : Class ;
- fun Surfactant_Class : SubClass Surfactant Substance ;
-
- -- The Profession of being a surgeon, i.e. being a
- -- medical doctor who specializes in performing surgical operations.
- fun Surgeon : Class ;
- fun Surgeon_Class : SubClass Surgeon MedicalDoctor ;
-
- -- The EmotionalState that one experiences when something
- -- unexpected and of significance occurs.
- fun Surprise : Ind EmotionalState ;
-
- -- An AnimalSubstance that contains SodiumChloride
- -- and is produced by the sweat glands.
- fun Sweat : Class ;
- fun Sweat_Class : SubClass Sweat AnimalSubstance ;
-
- -- Removing small particles from the floor by means of
- -- a Broom.
- fun Sweeping : Class ;
- fun Sweeping_Class : SubClass Sweeping Removing ;
-
- -- A FluidContainer that is filled with Water
- -- and that is used for Swimming.
- fun SwimmingPool : Class ;
- fun SwimmingPool_Class : SubClass SwimmingPool (both FluidContainer StationaryArtifact) ;
-
- -- An EngineeringComponent which is capable of turning
- -- an ElectricDevice on and off.
- fun SwitchDevice : Class ;
- fun SwitchDevice_Class : SubClass SwitchDevice EngineeringComponent ;
-
- -- A Weapon with a long blade and covered
- -- handle.
- fun Sword : Class ;
- fun Sword_Class : SubClass Sword Weapon ;
-
- -- A sequence of Characters from the same Word
- -- that denote a single sound.
- fun Syllable : Class ;
- fun Syllable_Class : SubClass Syllable SymbolicString ;
-
- -- A ShapeAttribute that applies to a
- -- SelfConnectedObject that can be divided into two copies of each other.
- fun SymmetricShape : Ind ShapeAttribute ;
-
- -- A piece of Furniture with four legs and a flat top.
- -- It is used either for eating, paperwork or meetings.
- fun Table : Class ;
- fun Table_Class : SubClass Table Furniture ;
-
- -- Devices that are used in Ingesting (Eating
- -- and/or Drinking) a meal. This coves dishware, flatware, and glassware.
- fun Tableware : Class ;
- fun Tableware_Class : SubClass Tableware Device ;
-
- -- A BodyPart which extends from the rear of the
- -- main body of some Vertebrates.
- fun Tail : Class ;
- fun Tail_Class : SubClass Tail AnimalAnatomicalStructure ;
-
- -- Any VehicleLight which is attached to the back
- -- of a Vehicle.
- fun Taillight : Class ;
- fun Taillight_Class : SubClass Taillight VehicleLight ;
-
- -- Any Process where the experiencer contracts a
- -- DiseaseOrSyndrome.
- fun TakingIll : Class ;
- fun TakingIll_Class : SubClass TakingIll PathologicProcess ;
-
- -- Any instance of Translocation which starts on something other
- -- than an AtmosphericRegion and which has an instance of Flying as a subProcess.
- fun TakingOff : Class ;
- fun TakingOff_Class : SubClass TakingOff Translocation ;
-
- -- A thin strip of Fabric or Paper that is used to attach
- -- two things.
- fun Tape : Class ;
- fun Tape_Class : SubClass Tape AttachingDevice ;
-
- -- A Restaurant whose primary service is selling
- -- AlcoholicBeverages to customers.
- fun Tavern : Class ;
- fun Tavern_Class : SubClass Tavern Restaurant ;
-
- -- A fee charged by a government on a product, income, or activity.
- fun Tax : Class ;
- fun Tax_Class : SubClass Tax ChargingAFee ;
-
- -- A FormText that is used for calculating the amount
- -- of income tax owed in a given year.
- fun TaxReturn : Class ;
- fun TaxReturn_Class : SubClass TaxReturn FormText ;
-
- -- An Automobile which is used to transport people
- -- on short trips in exchange for a fare.
- fun Taxicab : Class ;
- fun Taxicab_Class : SubClass Taxicab Automobile ;
-
- -- A Taxonomy is a ClassificationScheme
- -- that typically includes the salient concepts of a domain of
- -- interest, plus, minimally, a binary `broader than'/`narrower
- -- than' relation by which the concepts are linked. The `broader
- -- than'/`narrower than' relation is usually conceived as set_ or
- -- class_based subsumption, but taxonomies are notorious for
- -- conflating the set membership and set subsumption (i.e.,
- -- subset/superset) relations into a single `IS_A' relation. Some
- -- taxonomies include additional binary relations, such as
- -- `subpart'/`superpart'.
- fun Taxonomy : Class ;
- fun Taxonomy_Class : SubClass Taxonomy ClassificationScheme ;
-
- -- A Beverage which is prepared by infusing tea leaves
- -- into hot water.
- fun Tea : Class ;
- fun Tea_Class : SubClass Tea (both Beverage PreparedFood) ;
-
- -- The Profession of being a teacher.
- fun Teacher : Ind Profession ;
-
- -- Any Sport which is played by SportsTeams, e.g.
- -- Baseball and Football.
- fun TeamSport : Class ;
- fun TeamSport_Class : SubClass TeamSport Sport ;
-
- -- The class of SalineSolutions produced by
- -- the lacrimal glands of the Eyes.
- fun TearSubstance : Class ;
- fun TearSubstance_Class : SubClass TearSubstance (both LiquidBodySubstance SalineSolution) ;
-
- -- A HumanYouth between puberty and the age of 20.
- fun Teenager : Class ;
- fun Teenager_Class : SubClass Teenager HumanYouth ;
-
- -- A Device that permits LinguisticCommunication
- -- between remote points by means of a code of aural dots and dashes that can
- -- be converted into letters of an alphabet.
- fun Telegraph : Class ;
- fun Telegraph_Class : SubClass Telegraph (both CommunicationDevice ElectricDevice) ;
-
- -- A Device that permits LinguisticCommunication
- -- between remote points by converting sound into electrical signals that are
- -- then transmitted. When the signals are received, they are converted back
- -- into sound.
- fun Telephone : Class ;
- fun Telephone_Class : SubClass Telephone (both CommunicationDevice ElectricDevice) ;
-
- -- A WireLine that carries telephone signals and
- -- allows users of Telephones or Telegraphs to communicate with one another.
- fun TelephoneLine : Class ;
- fun TelephoneLine_Class : SubClass TelephoneLine WireLine ;
-
- -- Any instance of Speaking where the
- -- instrument of Communication is a Telephone.
- fun Telephoning : Class ;
- fun Telephoning_Class : SubClass Telephoning Speaking ;
-
- -- Any instance of Broadcasting which
- -- is intended to be received by a Television.
- fun TelevisionBroadcasting : Class ;
- fun TelevisionBroadcasting_Class : SubClass TelevisionBroadcasting Broadcasting ;
-
- -- A TelevisionReceiver is a Device for
- -- receiving television broadcast signals from a TelevisionStation. TelevisionReceiver A TelevisionReceiver is a Device for receiving
- -- television broadcast signals from a TelevisionStation or signals
- -- transmitted through a cable from a CableTelevisionSystem.
- fun TelevisionReceiver : Class ;
- fun TelevisionReceiver_Class : SubClass TelevisionReceiver (both ReceiverDevice EngineeringComponent) ;
-
- -- Any Stating which is both False and believed
- -- to be False by the agent of the Stating.
- fun TellingALie : Class ;
- fun TellingALie_Class : SubClass TellingALie Stating ;
-
- -- Tissue that connects Muscle to Bone.
- fun Tendon : Class ;
- fun Tendon_Class : SubClass Tendon (both AnimalSubstance Tissue) ;
-
- -- A MobileResidence that is made of Fabric and poles and
- -- can be easily assembled and disassembled.
- fun Tent : Class ;
- fun Tent_Class : SubClass Tent MobileResidence ;
-
- -- A group that uses violent means in an
- -- attempt to bring about their political aims. Those violent means are
- -- distinguished from a war between nations, or a civil war in that the group
- -- is at least partially clandestine and a significant proportion of its acts
- -- are against non_military targets.
- fun TerroristOrganization : Class ;
- fun TerroristOrganization_Class : SubClass TerroristOrganization PoliticalOrganization ;
-
- -- A FormText which is intended to measure some aspect
- -- of the cognitive capabilities, e.g. intelligence or knowledge of a domain,
- -- of the person taking the test.
- fun TestForm : Class ;
- fun TestForm_Class : SubClass TestForm (both FormText MeasuringDevice) ;
-
- -- A Certificate that describes how a person's
- -- property is to be distributed after the death of the person.
- fun Testament : Class ;
- fun Testament_Class : SubClass Testament Certificate ;
-
- -- Giving testimony as part of a JudicialProcess.
- fun Testifying : Class ;
- fun Testifying_Class : SubClass Testifying Stating ;
-
- -- Any ExpressingApproval to a person for something
- -- that the person did in the past and that is regarded as being to the thanker's
- -- benefit.
- fun Thanking : Class ;
- fun Thanking_Class : SubClass Thanking ExpressingApproval ;
-
- -- Often know as the stage, the
- -- Position of performing live plays.
- fun TheaterProfession : Class ;
- fun TheaterProfession_Class : SubClass TheaterProfession EntertainmentProfession ;
-
- -- The systematic study of religious practice and religious truth.
- fun Theology : Ind FieldOfStudy ;
-
- -- Any Device that measures and represents
- -- TemperatureMeasure.
- fun Thermometer : Class ;
- fun Thermometer_Class : SubClass Thermometer MeasuringDevice ;
-
- -- Any Committing where the thing promised
- -- is something that is deemed undesirable by the destination of the
- -- Committing.
- fun Threatening : Class ;
- fun Threatening_Class : SubClass Threatening Committing ;
-
- -- A BodyVessel which connects the Mouth to the
- -- lungs and stomach.
- fun Throat : Class ;
- fun Throat_Class : SubClass Throat (both AnimalAnatomicalStructure BodyVessel) ;
-
- -- Any instance of Impelling where the instrument is
- -- an Arm.
- fun Throwing : Class ;
- fun Throwing_Class : SubClass Throwing (both BodyMotion Impelling) ;
-
- -- The thick, short Finger of each Hand.
- fun Thumb : Class ;
- fun Thumb_Class : SubClass Thumb Finger ;
-
- -- Any instance of RadiatingSound which is caused by
- -- an instance of Lightning.
- fun Thunder : Class ;
- fun Thunder_Class : SubClass Thunder (both RadiatingSound WeatherProcess) ;
-
- -- A Gland in the neck that produces HormoneTSH,
- -- which regulates body weight, metabolic rate, etc.
- fun ThyroidGland : Class ;
- fun ThyroidGland_Class : SubClass ThyroidGland Gland ;
-
- -- A Hormone secreted by the ThyroidGland.
- fun ThyroidHormone : Class ;
- fun ThyroidHormone_Class : SubClass ThyroidHormone Hormone ;
-
- -- A Certificate that allows the holder to perform
- -- a specified act once, e.g. ride a bus, attend a concert, obtain a prize,
- -- etc.
- fun Ticket : Class ;
- fun Ticket_Class : SubClass Ticket Certificate ;
-
- -- Clothing that is intended to be worn around the
- -- Neck and knotted at the front.
- fun TieClothing : Class ;
- fun TieClothing_Class : SubClass TieClothing Clothing ;
-
- -- The ContestAttribute that applies to all contestParticipants
- -- in a Contest when none of them have Won or Lost the Contest.
- fun TieScore : Ind ContestAttribute ;
-
- -- Any Process of Digging, e.g. breaking and
- -- turning over Soil that facilitates Agriculture.
- fun Tilling : Class ;
- fun Tilling_Class : SubClass Tilling (both Digging (both IntentionalProcess SurfaceChange)) ;
-
- -- An Amphibian that lacks a Tail and lives at least
- -- partially outside of water.
- fun Toad : Class ;
- fun Toad_Class : SubClass Toad Amphibian ;
-
- -- A FloweringPlant containing nicotine whose leaves
- -- are dried and then smoked or ingested.
- fun Tobacco : Class ;
- fun Tobacco_Class : SubClass Tobacco (both FloweringPlant PlantAgriculturalProduct) ;
-
- -- The five extremities of a Foot.
- fun Toe : Class ;
- fun Toe_Class : SubClass Toe (both AnimalAnatomicalStructure (both BodyPart DigitAppendage)) ;
-
- -- A Device for the disposal of wastes resulting from
- -- urination and defecation.
- fun Toilet : Class ;
- fun Toilet_Class : SubClass Toilet Device ;
-
- -- A StationaryArtifact which is meant to contain someone who is Dead.
- fun Tomb : Class ;
- fun Tomb_Class : SubClass Tomb StationaryArtifact ;
-
- -- English mass unit that is equal to 2000 pounds.
- fun TonMass : Ind UnitOfMass ;
-
- -- Any SpokenHumanLanguage that uses pitch to
- -- differentiate otherwise identical words, e.g. Chinese.
- fun TonalLanguage : Class ;
- fun TonalLanguage_Class : SubClass TonalLanguage SpokenHumanLanguage ;
-
- -- Part of the Mouth, used for Tasting Food,
- -- Vocalizing, and the initial stage of Digesting.
- fun Tongue : Class ;
- fun Tongue_Class : SubClass Tongue (both AnimalAnatomicalStructure BodyPart) ;
-
- -- Part of the Mouth, used for biting and chewing.
- fun Tooth : Class ;
- fun Tooth_Class : SubClass Tooth Bone ;
-
- -- A small BrushOrComb with relatively soft
- -- bristles and a long handle, used for brushing teeth (see Tooth). It is
- -- used help control bacteria living in the mouth. While most typically used
- -- by humans on themselves, it can be used by Dentists on their
- -- patients and by adults assisting children. They are occasionally used by
- -- humans caring for pets, zoo animals and valuable livestock.
- fun Toothbrush : Class ;
- fun Toothbrush_Class : SubClass Toothbrush BrushOrComb ;
-
- -- The body of a Primate excluding its Limbs.
- fun Torso : Class ;
- fun Torso_Class : SubClass Torso (both AnimalAnatomicalStructure BodyPart) ;
-
- -- A tourist is a person who is travelling to a
- -- place primarily for reasons of entertainment or education, rather than
- -- business, although business transaction may take place during the trip.
- fun Tourist : Ind SocialRole ;
-
- -- A tourist site is a location that has some
- -- feature of interest to Tourists, which entertains or informs them.
- fun TouristSite : Class ;
- fun TouristSite_Class : SubClass TouristSite GeographicArea ;
-
- -- A piece of Fabric which is used for Drying.
- fun Towel : Class ;
- fun Towel_Class : SubClass Towel Fabric ;
-
- -- Any ContentDevelopment that results in a Blueprint.
- fun Tracing : Class ;
- fun Tracing_Class : SubClass Tracing (both ContentDevelopment SurfaceChange) ;
-
- -- TractorTrailer is the subclass of
- -- RoadVehicles that are truck tractor_ truck trailer combinations.
- fun TractorTrailer : Class ;
- fun TractorTrailer_Class : SubClass TractorTrailer RoadVehicle ;
-
- -- The state of being free from Anxiety.
- fun Tranquility : Ind EmotionalState ;
-
- -- A Device which is capable of converting one
- -- form of energy into another. Formally, a Twoport that neither stores
- -- nor dissipates, but only transfers energy between its two ports.
- fun Transducer : Class ;
- fun Transducer_Class : SubClass Transducer Device ;
-
- -- Any process within an Organization
- -- where a person is moved from one Position to another, e.g. the promotion
- -- or demotion of an employee.
- fun TransferringPosition : Class ;
- fun TransferringPosition_Class : SubClass TransferringPosition OrganizationalProcess ;
-
- -- A TransitSystem is a system of
- -- interconnected Transitways over which some type(s) of vehicles or
- -- travellers may pass. In addition to Transitways, TransitSystems
- -- may also include TransitJunctions and TransitTerminals. Transit
- -- systems may be demarcated by where they are located (e.g., the rail
- -- system of Afghanistan), who owns or manages them (e.g., American
- -- Airlines TransitSystem of AirRoutes, or state highways managed by
- -- TexDOT), or the type of vehicles or travellers accommodated (e.g.,
- -- the system of Santa Clara county bike trails.
- fun TransitSystem : Class ;
- fun TransitSystem_Class : SubClass TransitSystem PhysicalSystem ;
-
- -- A Transparent material is one through which
- -- it is possible to have Seeing.
- fun Transparent : Ind InternalAttribute ;
-
- -- TransportViaRoadVehicle is the class of Transportation
- -- events in which the instrument is an instance of
- -- RoadVehicle.
- fun TransportViaRoadVehicle : Class ;
- def TransportViaRoadVehicle = both LandTransportation
- (KappaFn Transportation (\TRANSPORT -> exists RoadVehicle (\VEHICLE -> instrument (var Transportation Process ? TRANSPORT)
- (var RoadVehicle Object ? VEHICLE))));
-
- -- A CommercialAgent whose services include Transportation,
- -- e.g. a RailroadCompany, an airline, a cruise ship line, etc.
- fun TransportationCompany : Class ;
- fun TransportationCompany_Class : SubClass TransportationCompany CommercialAgent ;
-
- -- A Device whose purpose is to trap or cage Animals,
- -- i.e. to be in instrument in an act of Confining.
- fun TrapOrCage : Class ;
- fun TrapOrCage_Class : SubClass TrapOrCage Holder ;
-
- -- Any Container which is intended to be
- -- used for carrying clothing, toiletries, and other personal effects that
- -- would be needed on a overnight trip.
- fun TravelContainer : Class ;
- fun TravelContainer_Class : SubClass TravelContainer Container ;
-
- -- A Holder that is designed for Food, dishes, and
- -- flatware.
- fun Tray : Class ;
- fun Tray_Class : SubClass Tray Holder ;
-
- -- Any SkilledOccupation which involves receiving
- -- and disbursing money.
- fun Treasurer : Class ;
- fun Treasurer_Class : SubClass Treasurer SkilledOccupation ;
-
- -- Any Contract which holds between two or more Nations.
- fun Treaty : Ind DeonticAttribute ;
-
- -- Any PlantBranch which is part of a BotanicalTree.
- fun TreeBranch : Class ;
- fun TreeBranch_Class : SubClass TreeBranch PlantBranch ;
-
- -- Any BodyMotion which is involuntary and which is
- -- repeated many times over a short time frame, e.g. a tremor in the hands,
- -- shivering etc.
- fun Trembling : Class ;
- fun Trembling_Class : SubClass Trembling (both AutonomicProcess (both BodyMotion Tremor)) ;
-
- -- Motion that involves rapidly Rotating between two positions.
- fun Tremor : Class ;
- fun Tremor_Class : SubClass Tremor Rotating ;
-
- -- Entering property that does not belong to one and without
- -- the permission of the owner of the property.
- fun Trespassing : Class ;
- fun Trespassing_Class : SubClass Trespassing (both CriminalAction Translocation) ;
-
- -- Any three_sided Polygon.
- fun Triangle : Class ;
- fun Triangle_Class : SubClass Triangle Polygon ;
-
- -- A piece of Clothing that covers each Leg of a person separately.
- fun Trousers : Class ;
- fun Trousers_Class : SubClass Trousers Clothing ;
-
- -- Any Vehicle that is intended to carry substantial
- -- amounts of cargo, in addition to passengers. This includes 18_wheelers,
- -- pickup trucks, tanker trucks etc. Consumer vehicles with trunks or enclosed
- -- rear areas that can carry cargo are not defined as trucks. Truck is the subclass of RoadVehicles that
- -- are designed primarily for transporting various kinds of non_passenger
- -- loads. Truck is the class of single_bodied trucks or TruckTractors.
- -- Note: TractorTrailer combinations are a distinct class. Truck an automotive vehicle suitable for hauling
- fun Truck : Class ;
- fun Truck_Class : SubClass Truck (both CargoVehicle SelfPoweredRoadVehicle) ;
-
- -- TruckTractor is the subclass of Trucks that are used to tow truck trailers.
- -- Truck tractors are the cab portions of tractor_trailers. See also TruckTrailer.
- fun TruckTractor : Class ;
- fun TruckTractor_Class : SubClass TruckTractor Truck ;
-
- -- TruckTrailer is the subclass of Wagons
- -- that are towed by TruckTractors. These are the trailers used in
- -- tractor_trailer (semi_trailer) rigs.
- fun TruckTrailer : Class ;
- fun TruckTrailer_Class : SubClass TruckTrailer Wagon ;
-
- -- A long, narrow, and hollow Artifact that is designed for
- -- moving Fluids from place to another.
- fun Tube : Class ;
- fun Tube_Class : SubClass Tube Artifact ;
-
- -- A BacterialDisease caused by the Tubercle Bacillus
- -- that results in lesions on various body parts, especially the Lungs. Tuberculosis A disease that usually infects the lungs and causes severe
- -- coughing. In some cases it will result in hemorrhage of the lungs.
- fun Tuberculosis : Ind BacterialDisease ;
-
- -- Any AbnormalAnatomicalStructure which consists of a
- -- mass of Tissue. Note that this class covers both malignant (i.e. cancerous)
- -- and benign tumors.
- fun Tumor : Class ;
- fun Tumor_Class : SubClass Tumor AbnormalAnatomicalStructure ;
-
- -- An Engine which converts the kinetic energy of a moving
- -- Liquid (typically Water) into mechanical energy.
- fun Turbine : Class ;
- fun Turbine_Class : SubClass Turbine Engine ;
-
- -- Any Process whose result is that the patient
- -- of the process is in the state of DeviceOff. In other words, this class covers
- -- any process of turning off a device, e.g. turning off the lights, switching off a
- -- television set, etc.
- fun TurningOffDevice : Class ;
- fun TurningOffDevice_Class : SubClass TurningOffDevice InternalChange ;
-
- -- Any Process whose result is that the patient
- -- of the process is in the state of DeviceOn. In other words, this class covers
- -- any process of turning on a device, e.g. turning on the lights, switching on a
- -- television set, etc.
- fun TurningOnDevice : Class ;
- fun TurningOnDevice_Class : SubClass TurningOnDevice InternalChange ;
-
- -- A real_world physical object
- -- with a very flat aspect. This includes drawings on paper, cave
- -- paintings and other surface alterations.
- fun TwoDimensionalObject : Class ;
- fun TwoDimensionalObject_Class : SubClass TwoDimensionalObject Object ;
-
- -- The Process of tying two things, or two strands of
- -- the same thing, together.
- fun Tying : Class ;
- fun Tying_Class : SubClass Tying Attaching ;
-
- -- An Attribute which indicates that the
- -- associated Object cannot be broken under normal usage conditions.
- fun Unbreakable : Ind BreakabilityAttribute ;
-
- -- The state of being unhappy, experiencing pain,
- -- sorrow or unease.
- fun Unhappiness : Ind EmotionalState ;
-
- -- An Organization comprised of workers from
- -- the same Corporation or Industry. The purpose of the UnionOrganization
- -- is to strengthen its representation in bargaining with the Corporation or
- -- Industry.
- fun UnionOrganization : Class ;
- fun UnionOrganization_Class : SubClass UnionOrganization Organization ;
-
- -- Any Soldier that served on the union side during
- -- the American Civil War. UnionSoldier Any Soldier that served on the union
- -- side during the American Civil War.
- fun UnionSoldier : Class ;
- fun UnionSoldier_Class : SubClass UnionSoldier Soldier ;
-
- -- The states of the UnitedStates that the
- -- ConfederateStatesOfAmerica seceded from.
- fun UnionStatesOfAmerica : Ind GeopoliticalArea ;
-
- -- The legislative branch of the government
- -- of the UnitedStates.
- fun UnitedStatesCongress : Ind LegislativeOrganization ;
-
- -- Manages and preserves public lands and natural resources in the UnitedStates.
- fun UnitedStatesDepartmentOfInterior : Ind GovernmentOrganization ;
-
- -- The subOrganization of the US government that sets and enforces foreign policy.
- fun UnitedStatesDepartmentOfState : Ind GovernmentOrganization ;
-
- -- A School which admits students that
- -- have graduated from high school (known as undergraduate students) and
- -- students who have received a bachelor's degree (known as graduate
- -- students). A University confers both bachelor's and graduate
- -- degrees.
- fun University : Class ;
- fun University_Class : SubClass University PostSecondarySchool ;
-
- -- Any Position which does not
- -- require learning a set of skills.
- fun UnskilledOccupation : Class ;
- fun UnskilledOccupation_Class : SubClass UnskilledOccupation ManualLabor ;
-
- -- The Process of untying two things, or two strands
- -- of the same thing.
- fun Untying : Class ;
- fun Untying_Class : SubClass Untying Detaching ;
-
- -- A PositionalAttribute to indicate that one thing is
- -- one or more floors above a second thing in the same building.
- fun Upstairs : Ind PositionalAttribute ;
-
- -- Urea is a dry, soluble, nitrogenous substance
- -- that is the major solid component of the urine of mammals, and which
- -- may be synthesized from ammonia and carbon dioxide, it is useful in the
- -- production of Plastic and in Fertilizers.
- fun Urea : Class ;
- fun Urea_Class : SubClass Urea OrganicCompound ;
-
- -- Taking time off from Working.
- fun Vacationing : Class ;
- fun Vacationing_Class : SubClass Vacationing RecreationOrExercise ;
-
- -- An event where the objective of the agent
- -- is to damage or destroy some property of another agent. This is
- -- distinguished from acts where the prime objective is damage or loss
- -- of life of another agent.
- fun Vandalism : Class ;
- fun Vandalism_Class : SubClass Vandalism Destruction ;
-
- -- An event in which a vehicle is used by an agent in order to inflict
- -- injury, death or damage to people or property.
- fun VehicleAttack : Class ;
- fun VehicleAttack_Class : SubClass VehicleAttack ViolentContest ;
-
- -- A VehicleController which is capable of stopping the motion of a Vehicle.
- fun VehicleBrake : Class ;
- fun VehicleBrake_Class : SubClass VehicleBrake VehicleController ;
-
- -- Any Device which is used to start, stop or
- -- control the movements of a Vehicle. This class covers steering wheels, brakes,
- -- acceleration pedals, airplane sticks, etc.
- fun VehicleController : Class ;
- fun VehicleController_Class : SubClass VehicleController Device ;
-
- -- Any LightFixture which is attached to the
- -- surface of a Vehicle and whose purpose is to illuminate that area around
- -- the Vehicle so that potential obstacles can be detected or alerted.
- fun VehicleLight : Class ;
- fun VehicleLight_Class : SubClass VehicleLight LightFixture ;
-
- -- A VehicleController which controls the amount
- -- of Fuel which is supplied to the Engine.
- fun VehicleThrottle : Class ;
- fun VehicleThrottle_Class : SubClass VehicleThrottle VehicleController ;
-
- -- A covering, usually made of rubber, for a Wheel.
- fun VehicleTire : Class ;
- fun VehicleTire_Class : SubClass VehicleTire Artifact ;
-
- -- VehicleWheel is a class of cylindrical
- -- Devices used to move a RoadVehicle along a road, running either
- -- directly on the wheel rims or on tires attached to the wheel rims.
- fun VehicleWheel : Class ;
- fun VehicleWheel_Class : SubClass VehicleWheel Wheel ;
-
- -- Any Window which is part of a Vehicle,
- -- e.g. the Windshield and RearWindow of an Automobile.
- fun VehicleWindow : Class ;
- fun VehicleWindow_Class : SubClass VehicleWindow Window ;
-
- -- A piece of Clothing intended to cover or
- -- obscure the face or hair of a Woman. This is commonly worn for
- -- religious reasons when in public in Muslim countries, but is also customary
- -- at Weddings and Funerals among some non_Muslim women.
- fun Veil : Class ;
- fun Veil_Class : SubClass Veil Clothing ;
-
- -- Any BloodVessel which transfers Blood from
- -- the extremities of the body to the Heart.
- fun Vein : Class ;
- fun Vein_Class : SubClass Vein BloodVessel ;
-
- -- A Device which is capable of Selling a Product to a customer
- -- automatically when the customer inserts the appropriate amount of Currency.
- fun VendingDevice : Class ;
- fun VendingDevice_Class : SubClass VendingDevice Device ;
-
- -- The Attribute that applies to someone who was a
- -- Soldier at one time, but is not currently a Soldier.
- fun Veteran : Ind SocialRole ;
-
- -- A representation of video on some medium such
- -- as film, videotape or DVD. Instances of this class are also commonly
- -- instances of AudioRecording.
- fun VideoRecording : Class ;
- fun VideoRecording_Class : SubClass VideoRecording ContentBearingObject ;
-
- -- A StringInstrument that has four strings, a hollow
- -- body, and is played on the shoulder with a bow.
- fun Violin : Class ;
- fun Violin_Class : SubClass Violin StringInstrument ;
-
- -- A disease that is caused by instances of
- -- Virus.
- fun ViralDisease : Class ;
- fun ViralDisease_Class : SubClass ViralDisease InfectiousDisease ;
-
- -- Music which is produced (at least in part)
- -- by Singing.
- fun VocalMusic : Class ;
- fun VocalMusic_Class : SubClass VocalMusic Music ;
-
- -- Any School whose aim is to teach
- -- students an OccupationalTrade.
- fun VocationalSchool : Class ;
- fun VocationalSchool_Class : SubClass VocationalSchool School ;
-
- -- A structure where Voting for an Election
- -- takes place.
- fun VotingPoll : Class ;
- fun VotingPoll_Class : SubClass VotingPoll StationaryArtifact ;
-
- -- An AlphabeticCharacter that denotes a speech sound that
- -- does not result in audible friction when it is pronounced.
- fun Vowel : Class ;
- fun Vowel_Class : SubClass Vowel AlphabeticCharacter ;
-
- -- A diurnal bird of prey with a bald head that
- -- feeds on carrion.
- fun Vulture : Class ;
- fun Vulture_Class : SubClass Vulture Bird ;
-
- -- Any instance of Walking which occurs through a
- -- BodyOfWater.
- fun Wading : Class ;
- fun Wading_Class : SubClass Wading Walking ;
-
- -- A Landcraft that is not self_propelled, but must be
- -- pulled by either an Animal or a self_propelled Vehicle to move along the
- -- ground.
- fun Wagon : Class ;
- fun Wagon_Class : SubClass Wagon LandVehicle ;
-
- -- The process of transitioning from a state of being
- -- Asleep to a state of being Awake.
- fun WakingUp : Class ;
- fun WakingUp_Class : SubClass WakingUp PsychologicalProcess ;
-
- -- A Device which has the form of a staff with
- -- a handle and which enables some people to walk with greater assurance.
- fun WalkingCane : Class ;
- fun WalkingCane_Class : SubClass WalkingCane Device ;
-
- -- A StationaryArtifact that supports a Building or
- -- partitions it into Rooms.
- fun Wall : Class ;
- fun Wall_Class : SubClass Wall StationaryArtifact ;
-
- -- Any decorative paper that is used to cover the
- -- Walls of Rooms.
- fun Wallpaper : Class ;
- fun Wallpaper_Class : SubClass Wallpaper ArtWork ;
-
- -- A very large CommercialBuilding whose purpose is
- -- to store commodities.
- fun Warehouse : Class ;
- fun Warehouse_Class : SubClass Warehouse CommercialBuilding ;
-
- -- A WashingDevice which is intended to be used by
- -- Humans for washing their Hands.
- fun WashBasin : Class ;
- fun WashBasin_Class : SubClass WashBasin WashingDevice ;
-
- -- Removing small particles from something by means of
- -- a Detergent and Water.
- fun Washing : Class ;
- fun Washing_Class : SubClass Washing Removing ;
-
- -- Any Device whose purpose is Washing
- -- something, e.g. washing machines, dishwashers, bathtubs, etc.
- fun WashingDevice : Class ;
- fun WashingDevice_Class : SubClass WashingDevice Device ;
-
- -- A Container which is used for trash.
- fun Wastebasket : Class ;
- fun Wastebasket_Class : SubClass Wastebasket Container ;
-
- -- A Clock that can be worn on the Wrist.
- fun WatchClock : Class ;
- def WatchClock = KappaFn Clock (\C -> exists Human (\P -> exists Wrist (\W -> and (wears (var Human Animal ? P)
- (var Clock Clothing ? C))
- (located (var Clock Physical ? C)
- (var Wrist Object ? W))))) ;
-
- -- Any instance of Transportation where the instrument is a WaterVehicle.
- fun WaterTransportation : Class ;
- fun WaterTransportation_Class : SubClass WaterTransportation Transportation ;
-
- -- WaterVehicle is the class of all TransportationDevices used to travel on or in water.
- fun WaterVehicle : Class ;
- fun WaterVehicle_Class : SubClass WaterVehicle Vehicle ;
-
- -- A WaterWave is a raised ridge of water
- -- moving along the surface of a body of water. The WaterWave moves
- -- in a direction approximately transverse to the crest line of the wave.
- -- The patient of the WaterWave is successive regions of water, which
- -- do not travel in the direction of the wave or with it.
- fun WaterWave : Class ;
- fun WaterWave_Class : SubClass WaterWave LiquidMotion ;
-
- -- Any Paint which is a water_based Solution.
- fun WatercolorPaint : Class ;
- fun WatercolorPaint_Class : SubClass WatercolorPaint Paint ;
-
- -- Any PaintedPicture which is created
- -- with water_based paints.
- fun WatercolorPicture : Class ;
- fun WatercolorPicture_Class : SubClass WatercolorPicture PaintedPicture ;
-
- -- Moving a Hand to indicate a greeting, farewell,
- -- recognition, goodwill, etc.
- fun Waving : Class ;
- fun Waving_Class : SubClass Waving HandGesture ;
-
- -- Any Substance of high molecular weight that resembles
- -- beeswax.
- fun Wax : Class ;
- fun Wax_Class : SubClass Wax Substance ;
-
- -- Nuclear, chemical and biological weapons.
- -- What these weapons have in common is that they are designed to kill large numbers
- -- of people indiscriminately.
- fun WeaponOfMassDestruction : Class ;
- fun WeaponOfMassDestruction_Class : SubClass WeaponOfMassDestruction Weapon ;
-
- -- Any Saturday and Sunday which are contiguous.
- fun Weekend : Class ;
- fun Weekend_Class : SubClass Weekend TimeInterval ;
-
- -- Expressing unhappiness by shedding tears.
- fun Weeping : Class ;
- fun Weeping_Class : SubClass Weeping FacialExpression ;
-
- -- Any Funding which is provided by a ServiceOrganization
- -- to people in need.
- fun Welfare : Class ;
- fun Welfare_Class : SubClass Welfare Funding ;
-
- -- A long CerealGrain which is produced by certain grasses and
- -- which is used to make BreadOrBiscuits.
- fun WheatGrain : Class ;
- fun WheatGrain_Class : SubClass WheatGrain CerealGrain ;
-
- -- A circular Artifact which is a component of
- -- LandVehicles and of some Devices.
- fun Wheel : Class ;
- fun Wheel_Class : SubClass Wheel Artifact ;
-
- -- A Weapon that consists of a thin strand of
- -- Fabric, usually Leather, and a handle by which the strand is
- -- impelled at a high rate of speed.
- fun Whip : Class ;
- fun Whip_Class : SubClass Whip Weapon ;
-
- -- A DistilledAlcoholicBeverage that is prepared by
- -- distilling fermented grain mash.
- fun Whiskey : Class ;
- fun Whiskey_Class : SubClass Whiskey DistilledAlcoholicBeverage ;
-
- -- BloodCells that lack hemoglobin, contain a
- -- CellNucleus, and have no color.
- fun WhiteBloodCell : Class ;
- fun WhiteBloodCell_Class : SubClass WhiteBloodCell BloodCell ;
-
- -- A MercantileOrganization that sells its
- -- goods exclusively to Corporations.
- fun WholesaleStore : Class ;
- fun WholesaleStore_Class : SubClass WholesaleStore (both Agency MercantileOrganization) ;
-
- -- The Attribute that applies to someone who was
- -- married to someone who has died, and who has not remarried.
- fun Widowed : Ind SocialRole ;
-
- -- A BotanicalTree of the genus Salix.
- fun WillowTree : Class ;
- fun WillowTree_Class : SubClass WillowTree BotanicalTree ;
-
- -- A MusicalInstrument which is played by
- -- blowing it and which uses a reed, or resonator hole as in the case of a flute.
- fun WindInstrument : Class ;
- fun WindInstrument_Class : SubClass WindInstrument MusicalInstrument ;
-
- -- Windmill is the subclass of Engines that
- -- produce mechanical power from Wind energy.
- fun Windmill : Class ;
- fun Windmill_Class : SubClass Windmill Engine ;
-
- -- An Artifact composed of transparent material
- -- that admits light (and possibly air) into a Room, Building
- -- or Vehicle.
- fun Window : Class ;
- fun Window_Class : SubClass Window Artifact ;
-
- -- An Artifact that is used to cover
- -- Windows. Note that this class includes blinds, drapes, shutters,
- -- etc.
- fun WindowCovering : Class ;
- fun WindowCovering_Class : SubClass WindowCovering Artifact ;
-
- -- Any VehicleWindow which located at the front
- -- of an Automobile.
- fun Windshield : Class ;
- fun Windshield_Class : SubClass Windshield VehicleWindow ;
-
- -- An AlcoholicBeverage that is prepared by fermenting
- -- the juice of grapes.
- fun Wine : Class ;
- fun Wine_Class : SubClass Wine (both AlcoholicBeverage PlantAgriculturalProduct) ;
-
- -- Any Limb which is capable of being an
- -- instrument in Flying.
- fun Wing : Class ;
- fun Wing_Class : SubClass Wing Limb ;
-
- -- The wings of Aircraft, i.e. the parts of Aircraft
- -- that allow them to become and remain airborne.
- fun WingDevice : Class ;
- fun WingDevice_Class : SubClass WingDevice EngineeringComponent ;
-
- -- Any instance of ClosingEyes which is intended to
- -- express something to someone else.
- fun Winking : Class ;
- fun Winking_Class : SubClass Winking (both ClosingEyes Gesture) ;
-
- -- The SeasonOfYear that begins at the winter
- -- solstice and ends at the spring equinox.
- fun WinterSeason : Class ;
- fun WinterSeason_Class : SubClass WinterSeason SeasonOfYear ;
-
- -- A long, thin strand of Metal that is used in a wide
- -- range of applications, including the wiring of electrical systems, creating
- -- bundles and the construction of cages.
- fun Wire : Class ;
- fun Wire_Class : SubClass Wire Artifact ;
-
- -- A Wire that is designed for conducting electricity.
- fun WireLine : Class ;
- fun WireLine_Class : SubClass WireLine (both EngineeringComponent Wire) ;
-
- -- An EngineeringComponent consisting of a coil of
- -- Wire that returns to its original shape when pulled apart or pressed together.
- fun WireSpring : Class ;
- fun WireSpring_Class : SubClass WireSpring (both EngineeringComponent Wire) ;
-
- -- The ContestAttribute that applies to a Contest
- -- participant who has won the Contest.
- fun Won : Ind ContestAttribute ;
-
- -- Tissue that comprises the inner trunk of Trees.
- -- It is often used in constructing Buildings and other Artifacts.
- -- Wood is the principal substance making up a tree, and is distinguished from the
- -- bark, roots, flowers, seeds, fruit and leaves.
- fun Wood : Class ;
- fun Wood_Class : SubClass Wood (both PlantSubstance Tissue) ;
-
- -- Wood that has been cut (and perhaps treated) for
- -- some purpose, e.g. Constructing or Combustion. Note that this class covers
- -- both lumber and firewood.
- fun WoodArtifact : Class ;
- fun WoodArtifact_Class : SubClass WoodArtifact Artifact ;
-
- -- Fabric that is made from the Hair of Sheep.
- fun Wool : Class ;
- fun Wool_Class : SubClass Wool Fabric ;
-
- -- Sterile members of an Insect colony which
- -- are responsible for locating food and caring for eggs, larvae, etc.
- fun WorkerInsect : Class ;
- fun WorkerInsect_Class : SubClass WorkerInsect Insect ;
-
- -- Any FinancialTransaction where someone exchanges
- -- his/her labor for an instance of CurrencyMeasure.
- fun Working : Class ;
- fun Working_Class : SubClass Working FinancialTransaction ;
-
- -- A Room, suite of Rooms or Building which is
- -- devoted to hand_crafting Artifacts.
- fun Workshop : Class ;
- fun Workshop_Class : SubClass Workshop StationaryArtifact ;
-
- -- The joint in the Arm connecting the radius and carpal bones.
- fun Wrist : Class ;
- fun Wrist_Class : SubClass Wrist BodyJoint ;
-
- -- A Device whose purpose is to be an instrument
- -- of Writing, e.g. pens, pencils, crayons, etc.
- fun WritingDevice : Class ;
- fun WritingDevice_Class : SubClass WritingDevice Device ;
-
- -- Any LinguisticCommunication where the
- -- instrument is a Text, e.g. a letter, an email, a memo, etc.
- fun WrittenCommunication : Class ;
- fun WrittenCommunication_Class : SubClass WrittenCommunication LinguisticCommunication ;
-
- -- Electro_magnetic radiation of short wavelength,
- -- often made use of by devices that scan the inside of objects.
- fun XRayRadiation : Class ;
- fun XRayRadiation_Class : SubClass XRayRadiation Radiating ;
-
- -- English unit of length, equal to 3 FeetLength.
- fun YardLength : Ind UnitOfLength ;
-
- -- (address ?AGENT ?ADDRESS) means that ?ADDRESS
- -- is an address or part of an address for the Agent ?AGENT.
- fun address : El Agent -> El Address -> Formula ;
-
- fun affiliatedOrganization : El Organization -> El Organization -> Formula ;
-
- -- (alias ?STRING ?AGENT) means that ?STRING is an
- -- alternate identifier for ?AGENT, and is likely being used to hide or
- -- obscure ?AGENT's true identity.
- fun alias : El SymbolicString -> El Agent -> Formula ;
-
- -- (allegiance ?AGENT ?ENTITY) means that the CognitiveAgent
- -- ?AGENT owes its allegiance to the political entity ?ENTITY.
- fun allegiance : El CognitiveAgent -> El CognitiveAgent -> Formula ;
-
- -- (ancestorOrganization ?ORG1 ?ORG2) means that
- -- the Organization ?ORG1 descended from the Organization ?ORG2.
- fun ancestorOrganization : El Organization -> El Organization -> Formula ;
-
- -- (anniversary ?PHYSICAL ?TIME) means that
- -- ?TIME is the class of TimeIntervals which mark the anniversary of
- -- ?PHYSICAL. For example, (anniversary Christmas (DayFn 35 December))
- -- means that Christmas is celebrated each year on the 25th of December.
- fun anniversary : El Physical -> El TimeInterval -> Formula ;
-
- -- (areaOfResponsibility ?AGENT ?PROCESS_TYPE ?AREA) means that ?AGENT
- -- (typically an instance of Organization) is responsible or accountable for
- -- actions or undertakings of type ?PROCESS_TYPE in the
- -- GeographicArea denoted by ?AREA.
- fun areaOfResponsibility : El Agent -> Desc Process -> El GeographicArea -> Formula ;
-
- -- (arrested ?EVENT ?AGENT) means that during ?EVENT, ?AGENT is
- -- taken into custody, typically by a representative of a law
- -- enforcement organization.
- fun arrested : El PlacingUnderArrest -> El Agent -> Formula ;
-
- -- (aunt ?AUNT ?PERSON) means that ?AUNT is
- -- the sister of a parent of ?PERSON.
- fun aunt : El Woman -> El Human -> Formula ;
-
- -- (axis ?A ?OBJ) means that a part ?A of an Object ?OBJ
- -- is the axis of rotation in a Rotating.
- fun axis : El Object -> El Object -> Formula ;
-
- -- (benefits ?PROCESS ?AGENT) means that
- -- ?AGENT somehow derives benefit as a result of ?PROCESS. This is
- -- a very general relation, and does not entail that ?AGENT is a
- -- participant in ?PROCESS.
- fun benefits : El Process -> El Agent -> Formula ;
-
- -- (birthdate ?PERSON ?DAY) means that ?DAY is the
- -- Day on which the ?PERSON was born.
- fun birthdate : El Human -> El Day -> Formula ;
-
- -- (birthday ?PERSON ?DAY) means that ?DAY is the
- -- anniversary each year of the birth of ?PERSON. For example, (birthday
- -- WilliamJeffersonClinton (DayFn 19 August)) means that Bill Clinton's
- -- birthday is August 19th.
- fun birthday : El Human -> El Day -> Formula ;
-
- -- (birthplace ?INDIV ?PLACE) means that the Animal ?INDIV was born
- -- at the location ?PLACE. The location may be a geographic area or a building, such as a hospital.
- fun birthplace : El Animal -> El Object -> Formula ;
-
- -- (brandName ?NAME ?PRODUCT) means that ?NAME
- -- is the brand name for the product class ?PRODUCT, e.g. Cheerios is the
- -- brand name for a certain class of breakfast cereal.
- fun brandName : El SymbolicString -> El Product -> Formula ;
-
- -- (capacity ?OBJ ?QUANTITY) means that ?OBJ can contain
- -- something that has the measure of ?QUANTITY. This predicate denotes maximal
- -- capacity, i.e. ?OBJ can hold no more than ?QUANTITY. Note, however, that this
- -- does not mean that capacity is a SingleValuedRelation, since an object may
- -- have various maximal capacities across different dimensions, e.g. a particular
- -- box may have a capacity of 3 pounds and a capacity of 1 liter.
- fun capacity : El SelfConnectedObject -> El ConstantQuantity -> Formula ;
-
- -- (cargo ?EVENT ?OBJ) means that ?OBJ is transported as cargo in
- -- the Shipping event ?EVENT.
- fun cargo : El Shipping -> El Object -> Formula ;
-
- -- (changesLocation ?EVENT ?OBJECT) means that during the Translocation
- -- event ?EVENT, ?OBJECT's location changes. ?OBJECT might also be the agent,
- -- patient, or experiencer of ?EVENT.
- fun changesLocation : El Translocation -> El Object -> Formula ;
-
- -- (cityAddress ?CITY ?ADDRESS) means that the
- -- City ?CITY is part of the address ?ADDRESS.
- fun cityAddress : El City -> El Address -> Formula ;
-
- -- (holdsDuring ?T1 (cohabitant ?H1 ?H2))
- -- means that during the time ?T1, ?H1 and ?H2 have the same home.
- fun cohabitant : El Human -> El Human -> Formula ;
-
- -- (conjugate ?COMPOUND1 ?COMPOUND2) means that
- -- ?COMPOUND1 and ?COMPOUND2 are identical CompoundSubstances except that
- -- one has one more Proton than the other.
- fun conjugate : El CompoundSubstance -> El CompoundSubstance -> Formula ;
-
- -- (contestParticipant ?CONTEST ?AGENT)
- -- means that ?AGENT is one of the sides in the Contest ?CONTEST. For
- -- example, if the ?CONTEST is a football game, then ?AGENT would be one of
- -- the opposing teams. For another example, if ?CONTEST is a Battle, then
- -- ?AGENT would be one of the sides fighting each other.
- fun contestParticipant : El Contest -> El Agent -> Formula ;
-
- -- (controlled ?EVENT ?OBJECT) means that during the
- -- AchievingControl denoted by ?EVENT, ?OBJECT comes to be
- -- physically controlled by an Agent.
- fun controlled : El AchievingControl -> El Object -> Formula ;
-
- -- (conveyance ?EVENT ?OBJ) means that ?OBJ is the
- -- Vehicle or other transportation device used in ?EVENT.
- fun conveyance : El Transportation -> El TransportationDevice -> Formula ;
-
- -- (cousin ?PERSON1 ?PERSON2) means that ?PERSON1
- -- and ?PERSON2 are cousins, i.e. ?PERSON1 and ?PERSON2 have grandparents
- -- (but not parents) in common.
- fun cousin : El Human -> El Human -> Formula ;
-
- -- (holdsDuring ?T1 (coworker ?H1 ?H2)) means
- -- that during time ?T1, ?H1 and ?H2 are both employed by the same agent, are
- -- of roughly the same job status, and come into contact at least part of the
- -- time at the same work location.
- fun coworker : El Human -> El Human -> Formula ;
-
- -- (birthdate ?PERSON ?DAY) means that ?DAY is the
- -- Day on which the ?PERSON died.
- fun deathdate : El Human -> El Day -> Formula ;
-
- -- (deathplace ?INDIV ?PLACE) means that the Animal ?INDIV died
- -- at the location ?PLACE. The location may be a geographic area or a building,
- -- such as a hospital.
- fun deathplace : El Animal -> El Object -> Formula ;
-
- -- (deceptiveIdentifier ?OBJ ?AGENT)
- -- means that ?AGENT presents ?OBJ as a representation of ?AGENT's `true'
- -- identity, when in fact it is not.
- fun deceptiveIdentifier : El ContentBearingObject -> El Agent -> Formula ;
-
- -- (defendant ?AGENT ?ACTION) means the LegalAction
- -- ?ACTION makes a legal claim against ?AGENT.
- fun defendant : El CognitiveAgent -> El LegalAction -> Formula ;
-
- -- (detainee ?EVENT ?OBJECT) means that in the
- -- Confining ?EVENT, the Object ?OBJECT is restrained by force, threat, or
- -- other form of intimidation.
- fun detainee : El Confining -> El Animal -> Formula ;
-
- -- (deviceState ?DEVICE ?STATE) means that
- -- the Object ?DEVICE is in the DeviceStateAttribute ?STATE.
- fun deviceState : El Object -> El DeviceStateAttribute -> Formula ;
-
- -- (disapproves ?AGENT ?FORMULA) means that
- -- ?AGENT has a feeling of antipathy to the state of affairs represented by
- -- ?FORMULA, i.e. ?AGENT believes that the realization of ?FORMULA will
- -- thwart one of his/her goals. Note that there is no implication that what
- -- is disapproved of by an agent is not already true.
- fun disapproves : El CognitiveAgent -> Formula -> Formula ;
-
- -- (dislikes ?AGENT ?OBJECT) means that ?AGENT has a
- -- feeling of antipathy to ?OBJECT, i.e. ?AGENT believes that ?OBJECT will
- -- thwart one of his/her goals. Note that there is no implication that what
- -- is hated by an agent is not already possessed by the agent.
- fun dislikes : El CognitiveAgent -> El Object -> Formula ;
-
- -- (distanceOnPath ?DIST ?PATH) means that for a given path (which is a pathInSystem) that the
- -- distance of the route is the measurement ?DIST. distanceOnPath (distanceOnPath ?DIST ?PATH)
- -- means that for a given path (which is a pathInSystem) that the distance of the route is
- -- the measurement ?DIST.
- fun distanceOnPath : El ConstantQuantity -> El Transitway -> Formula ;
-
- -- (holdsDuring ?T1 (domesticPartner ?H1 ?H2)) means that during the time ?T1, ?H1
- -- and ?H2 live together and share a common domestic life but are
- -- not joined in a traditional marriage, a common_law marriage, or a
- -- civil union.
- fun domesticPartner : El Human -> El Human -> Formula ;
-
- -- (doubts ?AGENT ?FORMULA) means that ?AGENT is unsure
- -- about the truth of ?FORMULA, in particular ?AGENT does not believe that
- -- ?FORMULA is true.
- fun doubts : El CognitiveAgent -> Formula -> Formula ;
-
- -- Models the effective range of some
- -- device that is able to move by itself (like vehicles, rockets and so
- -- on) or move other things (like weapons).
- fun effectiveRange : El Device -> El LengthMeasure -> Formula ;
-
- -- (electronNumber ?SUBSTANCE ?NUMBER) means that
- -- the PureSubstance ?SUBSTANCE has the number of Electrons ?NUMBER.
- fun electronNumber : El PureSubstance -> El PositiveInteger -> Formula ;
-
- -- (enjoys ?AGENT ?PROCESS) means that the
- -- CognitiveAgent ?AGENT tends to enjoy actions of type ?PROCESS,
- -- i.e. tends to enjoy being the agent or experiencer of such
- -- actions.
- fun enjoys : El CognitiveAgent -> El IntentionalProcess -> Formula ;
-
- -- (equipmentCount ?OBJECT ?TYPE ?QUANTITY) means that ?OBJECT
- -- is equipped with devices of the type ?TYPE, in the number ?QUANTITY.
- -- Equipment associated with an ?OBJECT may be a component of ?OBJECT
- -- (such as the emergency oxygen system built into passenger jets) or it may
- -- be a device simply located on or with ?OBJECT (such as a first aid kit).
- fun equipmentCount : El Object -> Desc Device -> El Quantity -> Formula ;
-
- -- (equipmentType ?THING ?TYPE) means that
- -- the Artifact ?THING has a component or attachment of Device ?TYPE.
- -- See also equipmentTypeCount.
- fun equipmentType : El Artifact -> El Device -> Formula ;
-
- -- Any belief about the future. (expects ?AGENT ?BELIEF) means that
- -- (believes ?AGENT ?BELIEF) and, if ?BELIEF happens, it will
- -- happen in the future, i.e. after the expectation.
- fun expects : El CognitiveAgent -> Formula -> Formula ;
-
- -- (experimentalControl ?EXPERIMENT ?OBJ) means that the Object ?OBJ
- -- serves as a control in the instance of Experimenting ?EXPERIMENT,
- -- i.e. ?OBJ is the standard against which something else in
- -- the experiment can be compared.
- fun experimentalControl : El Experimenting -> El Object -> Formula ;
-
- -- (familyName ?STRING ?HUMAN) means that the SymbolicString ?STRING denotes a non_optional
- -- name that ?HUMAN has inherited by virtue of being born into a
- -- particular family (kin group). surname is another word for this type
- -- of name. Cf. givenName.
- fun familyName : El SymbolicString -> El Human -> Formula ;
-
- -- (fears ?AGENT ?FORMULA) means that ?AGENT fears that
- -- the proposition ?FORMULA will be true, i.e. he/she believes that it will
- -- come to pass in the future and that it will be undesirable for ?AGENT.
- fun fears : El CognitiveAgent -> Formula -> Formula ;
-
- -- A formal banking, brokerage, or business
- -- relationship established to provide for regular services, dealings, and
- -- other financial transactions. (financialAccount ?ACCOUNT ?ORG) means that
- -- ?ACCOUNT is a financial account opened at the FinancialCompany
- -- ?ORG.
- fun financialAccount : El FinancialAccount -> El FinancialCompany -> Formula ;
-
- -- A predicate that relates an Agent to any
- -- item of economic value owned by the Agent. Examples of financial assets
- -- are cash, securities, accounts receivable, inventory, office equipment, a
- -- house, a car, and other property.
- fun financialAsset : El Agent -> El Object -> Formula ;
-
- -- (formerName ?NAME ?THING) means that the
- -- string ?NAME is a name formerly used for ?THING.
- fun formerName : El Entity -> El Entity -> Formula ;
-
- -- (holdsDuring ?T1 (friend ?H1 ?H2)) means that
- -- during time ?T1, ?H1 and ?H2 know each other, share a relationship of
- -- mutual care and concern, and probably also share some common interests.
- fun friend : El Human -> El Human -> Formula ;
-
- -- (gainsControl ?EVENT ?AGENT) means that during ?EVENT, ?AGENT
- -- gains control of the patient (object).
- fun gainsControl : El AchievingControl -> El Agent -> Formula ;
-
- -- (givenName ?STRING ?HUMAN)
- -- means that ?STRING is a name selected for ?HUMAN, usually from among
- -- many options, as opposed to a mandatory name (cf. familyName) that
- -- ?HUMAN has inherited by virtue of being born into a certain kin group,
- -- caste, or occupation.
- fun givenName : El SymbolicString -> El Human -> Formula ;
-
- -- (grammaticalRelation ?PHRASE ?SENTENCE)
- -- means that the Phrase ?PHRASE has a grammatical relation to the Sentence
- -- ?SENTENCE, i.e. it is a subject, object, main verb, etc. of the ?SENTENCE.
- fun grammaticalRelation : El Phrase -> El Sentence -> Formula ;
-
- -- (grandfather ?PERSON ?PARENT) means that
- -- ?PARENT is the grandfather of ?PERSON.
- fun grandfather : El Human -> El Man -> Formula ;
-
- -- (grandmother ?PERSON ?PARENT) means that
- -- ?PARENT is the grandmother of ?PERSON.
- fun grandmother : El Human -> El Woman -> Formula ;
-
- -- (grandparent ?YOUNGER ?OLDER) means that
- -- ?OLDER is a parent of ?YOUNGER's parent.
- fun grandparent : El Human -> El Human -> Formula ;
-
- -- A subrelation of member, groupMember
- -- is used to relate a Human to a GroupOfPeople of which he/she is a
- -- member.
- fun groupMember : El Human -> El GroupOfPeople -> Formula ;
-
- -- (half ?HALF ?WHOLE) means that ?HALF is one half
- -- of ?WHOLE.
- fun half : El Object -> El Object -> Formula ;
-
- -- (hasExpertise ?PERSON ?FIELD) means that ?PERSON has
- -- studied the FieldOfStudy ?FIELD and is regarded as an expert.
- fun hasExpertise : El Human -> El FieldOfStudy -> Formula ;
-
- -- (hasOccupation ?PERSON ?WORK) means that ?PERSON
- -- engages in activities of the class ?WORK as a means of earning a living.
- fun hasOccupation : El Human -> Desc IntentionalProcess -> Formula ;
-
- -- (headquartersOfOrganization ?ORG ?AREA)
- -- means that the Organization ?ORG is headquartered in ?AREA.
- fun headquartersOfOrganization : El Organization -> El GeopoliticalArea -> Formula ;
-
- -- (hopes ?AGENT ?FORMULA) means that ?AGENT hopes that
- -- the proposition ?FORMULA will be true, i.e. he/she believes that it will
- -- come to pass in the future and that it will be desirable for ?AGENT.
- fun hopes : El CognitiveAgent -> Formula -> Formula ;
-
- -- (hostileForces ?UNIT1 ?UNIT2) means that
- -- the MilitaryUnits ?UNIT1 and ?UNIT2 are, respectively, allied with
- -- GeopoliticalAreas that are at war with one another.
- fun hostileForces : El MilitaryUnit -> El MilitaryUnit -> Formula ;
-
- -- (humanCapacity ?CONSTRUCT ?NUMBER) means that the
- -- StationaryArtifact ?CONSTRUCT, e.g. a Building or a Room, can hold a maximum
- -- of ?NUMBER Humans without crowding.
- fun humanCapacity : El StationaryArtifact -> El PositiveInteger -> Formula ;
-
- -- (ideologicalAffiliationOfOrganization ?ORG ?GOV) means that one of the goals
- -- of ?ORG is to realize the FormOfGovernment ?GOV.
- fun ideologicalAffiliationOfOrganization : El Organization -> El FormOfGovernment -> Formula ;
-
- -- Every instance of the first argument is initially
- -- found as part of an instance of the second argument, even though it
- -- might lose that part later in its lifetime. While the part must initially
- -- exist as part of a whole, this does not say that each whole necessarily initially
- -- contains such a part. For example, a thumb must at some time have been
- -- part of a hand, but every hand need not have a thumb, even at birth. This
- -- is a class_level relation roughly corresponding to part.
- fun initialPart : Desc Object -> Desc Object -> Formula ;
-
- -- Every instance of the second argument initially
- -- contains an instance of the first argument, even though it
- -- might lose that part later in its lifetime. Every normal human starts life with an
- -- appendix for example. While the whole must initially
- -- contain such a part, this does not say that each part necessarily initially
- -- exists as part of such a whole. This is a class_level relation roughly
- -- corresponding to part.
- fun initiallyContainsPart : Desc Object -> Desc Object -> Formula;
-
- -- (intelligenceQuotient ?PERSON ?NUMBER) means that ?NUMBER is the I.Q. of ?PERSON.
- -- The I.Q. of a person is the ratio of their mental age (determined by a standardized test)
- -- divided by their chronological age, multiplied by 100.
- fun intelligenceQuotient : El Human -> El RationalNumber -> Formula ;
-
- -- (inventory ?CBO ?COLLECTION) means that
- -- the ContentBearingObject ?CBO contains a list or enumeration of the
- -- members of the Collection ?COLLECTION.
- fun inventory : El ContentBearingObject -> El Collection -> Formula ;
-
- -- (lacks ?AGENT ?OBJECT) means that ?AGENT needs
- -- ?OBJECT and it is not currently the case that ?AGENT possesses ?OBJECT.
- fun lacks : El CognitiveAgent -> El Physical -> Formula ;
-
- -- (landlord ?PERSON ?UNIT) means that ?PERSON is a
- -- landlord of the Residence ?UNIT, i.e. he or she owns ?UNIT and is renting
- -- the unit to someone else.
- fun landlord : El Agent -> El PermanentResidence -> Formula ;
-
- -- (holdsDuring ?T1 (legalGuardian ?H1 ?H2)) means that during the time ?T1,
- -- ?H2 has legal authority over ?H1, and is responsible for looking after ?H1's interests.
- fun legalGuardian : El Human -> El Human -> Formula ;
-
- -- (localLongName ?NAME ?THING) means that the string ?NAME is the long form of the name
- -- used for ?THING in its local area or language.
- fun localLongName : El SymbolicString -> El Entity -> Formula ;
-
- -- (localShortName ?NAME ?THING) means that the string ?NAME is the short form of the name
- -- used for ?THING in its local area or language.
- fun localShortName : El SymbolicString -> El Entity -> Formula ;
-
- -- (locatedAtTime ?OBJ ?TIME ?PLACE) means
- -- that during the time specified by ?TIME, ?OBJ was in the location
- -- specified by ?PLACE.
- fun locatedAtTime : El Object -> El TimePosition -> El Object -> Formula ;
-
- -- (losesControl ?EVENT ?AGENT) means that during ?EVENT, ?AGENT
- -- loses physical control of the controlled object.
- fun losesControl : El ChangeOfControl -> El Agent -> Formula ;
-
- -- The amount by which the cost of an investment or
- -- business operation exceeds its return, i.e. the negative quantity left
- -- after subtracting for all expenses.
- fun loss : El FinancialTransaction -> El CurrencyMeasure -> Formula;
-
- -- (measurementReading ?DEVICE ?QUANTITY)
- -- means that ?QUANTITY is a reading of the MeasuringDevice ?DEVICE, e.g. if
- -- ?THERMOMETER is a Thermometer, (measurementReading ?THERMOMETER
- -- (MeasureFn 42 CelsiusDegree)) would mean that ?THERMOMETER registers 42
- -- degrees Celsius.
- fun measurementReading : El MeasuringDevice -> El ConstantQuantity -> Formula ;
-
- -- (meatOfAnimal ?MEATCLASS ?ANIMALCLASS) states
- -- that ?MEATCLASS was once part of the class of Animal ?ANIMALCLASS)
- fun meatOfAnimal : Desc Meat -> Desc Animal -> Formula ;
-
- -- A relation between a Human and a
- -- CareOrganization that treats the patient.
- fun medicalPatient : El Human -> El CareOrganization -> Formula ;
-
- -- (memberAtTime ?MEMBER ?COLLECTION
- -- ?TIME) means that during the time period denoted by ?TIME,
- -- ?MEMBER is a member of ?COLLECTION.
- fun memberAtTime : El SelfConnectedObject -> El Collection -> El TimePosition -> Formula ;
-
- -- (memberCount ?ORG ?NUMBER) means that there
- -- is a total ?NUMBER of members in the Collection ?ORG.
- fun memberCount : El Collection -> El Integer -> Formula ;
-
- -- (memberType ?GROUP ?TYPE) means that all
- -- the members of the Collection ?GROUP belong to the SetOrClass
- -- ?TYPE.
- fun memberType : El Collection -> El SetOrClass -> Formula ;
-
- -- (memberTypeCount ?GROUP ?TYPE ?NUMBER) means that the
- -- Collection ?GROUP has ?NUMBER members of the kind ?TYPE.
- fun memberTypeCount : El Collection -> El SetOrClass -> El NonnegativeInteger -> Formula ;
-
- -- (middleName ?CHAR ?INDIV) means that the
- -- SymbolicString ?CHAR contains the middle name of the Human ?INDIV.
- fun middleName : El SymbolicString -> El Human -> Formula ;
-
- -- (monetaryWage ?ORG ?PERSON ?TIME ?MONEY) means
- -- that the Organization employs ?PERSON and pays him/her the amount of money
- -- ?MONEY per TimeDuration ?TIME.
- fun monetaryWage : El Organization -> El Human -> El TimeDuration -> El CurrencyMeasure -> Formula ;
-
- -- (most ?MOST ?WHOLE) means that ?MOST is a part
- -- of ?WHOLE that is greater than half of ?WHOLE.
- fun most : El Object -> El Object -> Formula ;
-
- -- (moves ?MOTION ?OBJECT) means that during
- -- the Motion event ?MOTION, ?OBJECT moves. This does not
- -- necessarily imply that the location of ?OBJECT changes during
- -- ?MOTION. See also changesLocation and Translocation.
- fun moves : El Motion -> El Object -> Formula ;
-
- -- (mutualStranger ?H1 ?H2) means that ?H1
- -- and ?H2 have not met each other and do not know each other. Statements
- -- made with this predicate should be temporally specified with
- -- holdsDuring. See also the weaker, non_symmetric version of this
- -- predicate, stranger.
- fun mutualStranger : El Human -> El Human -> Formula ;
-
- -- (neighbor ?PERSON1 ?PERSON2) means that ?PERSON1 is
- -- a neighbor of ?PERSON2, i.e. ?PERSON1 and ?PERSON2 have their homes Near
- -- one another.
- fun neighbor : El Human -> El Human -> Formula ;
-
- -- (nephew ?NEPHEW ?PERSON) means that ?NEPHEW is
- -- the son of a sibling of ?PERSON.
- fun nephew : El Man -> El Human -> Formula ;
-
- -- (niece ?NIECE ?PERSON) means that ?NIECE is
- -- the daughter of a sibling of ?PERSON.
- fun niece : El Woman -> El Human -> Formula ;
-
- -- (occupation ?PERSON ?TYPE) means that the occupation
- -- of ?PERSON is ?TYPE. This predicate is most often used in combination with the
- -- function OccupationFn, e.g. (occupation PoliceOfficerWilkins (OccupationFn
- -- LawEnforcement)).
- fun occupation : El Human -> El FinancialTransaction -> Formula ;
-
- -- (older ?OBJ1 ?OBJ2) means that ?OBJ1 is older than
- -- ?OBJ2, i.e. the age of ?OBJ1 is greaterThan the age of ?OBJ2.
- fun older : El Object -> El Object -> Formula ;
-
- -- (onboard ?OBJ ?VEHICLE) means that the
- -- SelfConnectedObject ?OBJ is inside the Vehicle ?VEHICLE.
- fun onboard : El SelfConnectedObject -> El Vehicle -> Formula ;
-
- -- (operator ?OBJECT ?AGENT) means that ?AGENT
- -- determines how ?OBJECT is used, either by directly or indirectly operating
- -- it.
- fun operator : El Object -> El Agent -> Formula ;
-
- -- (parasite ?ORGANISM1 ?ORGANISM2) means that there
- -- is a parasitic relationship between ?ORGANISM1 and ?ORGANISM2, i.e. ?ORGANISM1
- -- inhabits and obtains nourishment from ?ORGANISM2 in such a way that
- -- ?ORGANISM2 is injured.
- fun parasite : El Organism -> El Organism -> Formula ;
-
- -- (pathInSystem ?PATH ?SYSTEM) means that
- -- the Physical thing ?PATH consists of one or more connected routes in
- -- the PhysicalSystem ?SYSTEM.
- fun pathInSystem : El Transitway -> El TransitSystem -> Formula ;
-
- -- The relation of receiving medical care
- -- from a recognized medical practitioner. (patientMedical ?PATIENT
- -- ?DOCTOR) means that ?PATIENT is the patient of ?DOCTOR. Note that
- -- argument type restriction on the second argument is CognitiveAgent
- -- to allow for cases where someone is the patient of an Organization,
- -- viz. a CareOrganization.
- fun patientMedical : El Human -> El CognitiveAgent -> Formula ;
-
- -- (plaintiff ?ACTION ?AGENT) means that ?AGENT
- -- is responsible for initiating the LegalAction ?ACTION.
- fun plaintiff : El LegalAction -> El CognitiveAgent -> Formula ;
-
- -- (postalBoxNumber ?NUMBER ?ADDRESS) means
- -- that the post office box ?NUMBER is part of the address ?ADDRESS.
- fun postalBoxNumber : El PositiveInteger -> El Address -> Formula ;
-
- -- (postalCode ?NUMBER ?ADDRESS) means that the
- -- the postal code, e.g. zip code, ?NUMBER is part of the address ?ADDRESS.
- fun postalCode : El PositiveInteger -> El Address -> Formula ;
-
- -- (potentialOfHydrogen ?SOLUTION ?NUMBER)
- -- means that the Solution ?SOLUTION has a pH value of ?NUMBER. The ph varies
- -- between 0 and 14, and it is a measure of the acidity or alkalinity of ?SOLUTION.
- -- More precisely, and it is the logarithm of the reciprocal of the quantity of
- -- AtomGrams of Hydrogen ions.
- fun potentialOfHydrogen : El Solution -> El RealNumber -> Formula ;
-
- -- (powerPlant ?GENERATOR ?THING) means that
- -- the Device ?GENERATOR is the power_producing component of the Artifact
- -- ?THING which provides the energy for its operation.
- fun powerPlant : El Device -> El Artifact -> Formula ;
-
- -- (protonNumber ?SUBSTANCE ?NUMBER) means that
- -- the PureSubstance ?SUBSTANCE has the number of Protons ?NUMBER.
- fun protonNumber : El PureSubstance -> El PositiveInteger -> Formula ;
-
- -- (quarter ?QUART ?WHOLE) means that ?QUART is a
- -- quarter of ?WHOLE.
- fun quarter : El Object -> El Object -> Formula ;
-
- -- (reactant ?PROCESS ?SUBSTANCE) means that ?SUBSTANCE
- -- is a chemical reactant in the chemical reaction ?PROCESS, i.e. ?SUBSTANCE is
- -- present at the beginning of the chemical reaction ?PROCESS.
- fun reactant : El ChemicalProcess -> El Substance -> Formula ;
-
- -- (reagent ?PROCESS ?SUBSTANCE) means that ?SUBSTANCE
- -- is a chemical agent in the chemical reaction ?PROCESS.
- fun reagent : El ChemicalProcess -> El Substance -> Formula ;
-
- -- (registeredItem ?DOCUMENT ?ITEM) means
- -- that the Text ?DOCUMENT contains an official record of the Physical
- -- thing ?ITEM. The registered item could be an object or an event, e.g.,
- -- an automobile, a ship, a marriage, an adoption.
- fun registeredItem : El Text -> El Physical -> Formula ;
-
- -- (religiousAffiliationOfOrganization ?ORG ?BELIEF) means
- -- that one of the goals of ?ORG is to advance the religious teachings
- -- of the BeliefGroup ?BELIEF.
- fun religiousAffiliationOfOrganization : El Organization -> El BeliefGroup -> Formula ;
-
- -- (routeInSystem ?PART ?SYSTEM) means that
- -- the Transitway ?PART is an established route of the
- -- TransportationSystem ?SYSTEM.
- fun routeInSystem : El Transitway -> El TransitSystem -> Formula ;
-
- -- (secretesSubstance ?OBJ ?STUFF) means
- -- that the subclass of OrganicObject (either Organism or BodyPart)
- -- ?OBJ produces the subclass of Substance ?STUFF.
- fun secretesSubstance : Desc OrganicObject -> Desc NaturalSubstance -> Formula ;
-
- -- (sententialObject ?OBJECT ?SENTENCE) means that the NounPhrase ?OBJECT is
- -- the object of the Sentence ?SENTENCE.
- fun sententialObject : El NounPhrase -> El Sentence -> Formula ;
-
- -- (sententialSubject ?SUBJECT ?SENTENCE) means that the NounPhrase ?SUBJECT is
- -- the subject of the Sentence ?SENTENCE.
- fun sententialSubject : El NounPhrase -> El Sentence -> Formula ;
-
- -- (serviceProvider ?EVENT ?AGENT)
- -- means that ?AGENT is the supplier of the service provided in ?EVENT.
- fun serviceProvider : El ServiceProcess -> El CognitiveAgent -> Formula ;
-
- -- (serviceRecipient ?EVENT ?AGENT) means that ?AGENT is the
- -- receiver of the service provided in ?EVENT.
- fun serviceRecipient : El ServiceProcess -> El CognitiveAgent -> Formula ;
-
- -- (sideOfFigure ?SIDE ?FIGURE) means that the
- -- OneDimensionalFigure ?POINT is a side of the GeometricFigure ?FIGURE.
- fun sideOfFigure : El OneDimensionalFigure -> El GeometricFigure -> Formula ;
-
- -- (sliceOfFigure ?SLICE ?FIGURE) indicates
- -- that ?SLICE is a 2_d section of the 3_d figure ?FIGURE. Or, more
- -- formally, ?SLICE is 2_d figure formed by the intersection of a plane
- -- with the 3_d figure ?FIGURE.
- fun sliceOfFigure : El TwoDimensionalObject -> El CorpuscularObject -> Formula ;
-
- -- A relation between a Process of
- -- MusicalTone and the fundamental frequency of that tone.
- fun soundFrequency : El MusicalTone -> El FunctionQuantity -> Formula ;
-
- -- (speaksLanguage ?AGENT ?LANGUAGE) means that the SentientAgent ?AGENT is
- -- capable of understanding and/or generating the Language ?LANGUAGE.
- fun speaksLanguage : El SentientAgent -> El Language -> Formula ;
-
- -- (stepfather ?PERSON ?FATHER) means that ?FATHER
- -- is the stepfather of ?PERSON, i.e. ?FATHER is the spouse of the mother
- -- of ?PERSON, without also being the father of ?PERSON.
- fun stepfather : El Human -> El Man -> Formula ;
-
- -- (stepmother ?PERSON ?MOTHER) means that ?MOTHER
- -- is the stepmother of ?PERSON, i.e. ?MOTHER is the spouse of the father
- -- of ?PERSON, without also being the mother of ?PERSON.
- fun stepmother : El Human -> El Woman -> Formula ;
-
- -- (stockHolder ?Stock ?Agent) means that
- -- ?Agent possesses the Stock ?Stock.
- fun stockHolder : El Stock -> El CognitiveAgent -> Formula ;
-
- -- (stranger ?H1 ?H2) means that ?H1 has
- -- not met ?H2, or, in other words, (not (acquaintance ?H1 ?H2)).
- -- Statements made with stranger should be temporally
- -- specified with holdsDuring. Note that stranger is not
- -- symmetric, meaning that ?H2 might know ?H1. For the symmetric
- -- version, see mutualStranger.
- fun stranger : El Human -> El Human -> Formula ;
-
- -- (streetAddress ?STREET ?ADDRESS) means
- -- that the Roadway ?STREET is part of the address ?ADDRESS.
- fun streetAddress : El Roadway -> El Address -> Formula ;
-
- -- (streetNumber ?BUILDING ?ADDRESS) means
- -- that the Building ?BUILDING is part of the address ?ADDRESS.
- fun streetNumber : El Building -> El Address -> Formula ;
-
- -- (student ?ORG ?AGENT) means that ?AGENT is enrolled
- -- in the EducationalOrganization ?ORG.
- fun student : El EducationalOrganization -> El CognitiveAgent -> Formula ;
-
- -- (subField ?FIELD1 ?FIELD2) means that ?FIELD1 is a proper
- -- part of the FieldOfStudy ?FIELD2. For example, Physiology is a subField of
- -- Biology.
- fun subField : El FieldOfStudy -> El FieldOfStudy -> Formula ;
-
- -- (subordinateInOrganization ?ORG ?PERSON1 ?PERSON2) means that
- -- in the Organization ?ORG, ?PERSON1 is subordinate to ?PERSON2.
- fun subordinateInOrganization : El Organization -> El Human -> El Human -> Formula ;
-
- -- (subordinatePosition ?ORG ?SUB ?SUPER) means that in
- -- the Organization ?ORG, the holder of role ?SUB is subordinate to
- -- the holder of role ?SUPER.
- fun subordinatePosition : El Organization -> El Position -> El Position -> Formula ;
-
- -- (tangent ?LINE ?CIRCLE) means that the straight line
- -- ?LINE is tangent to the figure ?CIRCLE, i.e. ?LINE touches ?CIRCLE without
- -- intersecting it.
- fun tangent : El OneDimensionalFigure -> El TwoDimensionalObject -> Formula ;
-
- -- This relation identifies the patient in the event that is the object of the attack.
- fun targetInAttack : El Process -> El Object -> Formula ;
-
- -- (teacher ?ORG ?AGENT) means that ?AGENT is a teacher at the EducationalOrganization ?ORG.
- fun teacher : El EducationalOrganization -> El CognitiveAgent -> Formula ;
-
- -- (telephoneNumber ?NUMBER ?AGENT) means
- -- that ?NUMBER is a telephone number at which ?AGENT can be regularly contacted.
- fun telephoneNumber : El SymbolicString -> El Agent -> Formula ;
-
- -- (tenant ?PERSON ?UNIT) means that ?PERSON is a tenant of the Residence ?UNIT,
- -- i.e. he or she is renting the unit.
- fun tenant : El Agent -> El Residence -> Formula ;
-
- -- (third ?THIRD ?WHOLE) means that ?THIRD is one third of ?WHOLE.
- fun third : El Object -> El Object -> Formula ;
-
- -- A binary predicate used to indicate the title of a ContentBearingPhysical. Note that the
- -- second argument type restriction is a subclass, rather than an
- -- instance, of ContentBearingPhysical. Thus, the title
- -- Murder_on_the_Orient_Express corresponds to a large class of Books,
- -- and not just to a single copy of the book.
- fun titles : El SymbolicString -> El ContentBearingPhysical -> Formula ;
-
- -- (transported ?EVENT ?OBJ) means that ?OBJ is transported
- -- (carried/moved to a different physical location) in the Transportation ?EVENT.
- fun transported : El Transportation -> El Object -> Formula ;
-
- -- An instance of the first argument is typically
- -- found as part of an instance of the second argument. This is a
- -- class_level relation roughly corresponding to part. Note that this does
- -- not imply that such wholes typically have such parts.
- fun typicalPart : Desc Object -> Desc Object -> Formula ;
-
- -- An instance of the second argument typically
- -- contains an instance of the first argument. This is a
- -- class_level relation roughly corresponding to part. Note that this does
- -- not imply that such parts typically have such wholes.
- fun typicallyContainsPart : Desc Object -> Desc Object -> Formula ;
-
- -- (uncle ?UNCLE ?PERSON) means that ?UNCLE is
- -- the brother of a parent of ?PERSON.
- fun uncle : El Man -> El Human -> Formula ;
-
- -- (unitNumber ?UNIT ?ADDRESS) means that the
- -- StationaryArtifact ?UNIT is part of the address ?ADDRESS.
- fun unitNumber : El StationaryArtifact -> El Address -> Formula ;
-
- -- (wavelength ?RADIATION ?MEASURE) means that the
- -- instance of radiation, ?RADIATION, has an average wavelength of ?MEASURE.
- fun wavelength : El Radiating -> El LengthMeasure -> Formula ;
-
- -- (yearOfFounding ?ORG ?NUMBER) means that the Organization ?ORG
- -- was founded in the year expressed in ?NUMBER.
- fun yearOfFounding : El Organization -> El Integer -> Formula ;
-
-}
|
