SUMO   Glossary   Help

 <=> documentation The truth-functional connective of bi-implication has domain1 Formula has domain2 Formula is an instance of SententialOperator => documentation The truth-functional connective of implication has domain1 Formula has domain2 Formula is an instance of SententialOperator above documentation This is a cognitive primitive, derived from the up/down schema and not involving contact. (above ?OBJ1 ?OBJ2) means that ?OBJ1 is above ?OBJ2 has axiom `(=> (above ?OBJ1 ?OBJ2) (not (connected ?OBJ1 ?OBJ2)))` has axiom `(=> (under ?OBJ1 ?OBJ2) (or (on ?OBJ2 ?OBJ1) (above ?OBJ2 ?OBJ1)))` has inverse below is an instance of AsymmetricRelation is an instance of TransitiveRelation AbsoluteValueFn documentation The value of (AbsoluteValueFn ?NUMBER) is the absolute value of the RealNumber ?NUMBER has axiom `(<=> (equal (AbsoluteValueFn ?NUMBER1) ?NUMBER2) (or (and (instance ?NUMBER1 PositiveInteger) (equal ?NUMBER1 ?NUMBER2)) (and (instance ?NUMBER1 NegativeInteger) (equal ?NUMBER2 (SubtractionFn 0 ?NUMBER1)))))` has domain1 RealNumber has range PositiveRealNumber is an instance of UnaryFunction AbsorbedDoseMeasure is a kind of FunctionQuantity Abstract documentation Properties or qualities as distinguished from any particular embodiment of the properties/qualities in a physical medium. Instances of Abstract can be said to exist in the same sense as mathematical objects such as sets and relations, but they cannot exist at a particular place and time without some physical encoding or embodiment has axiom `(<=> (instance ?ABS Abstract) (not (exists (?POINT) (or (located ?ABS ?POINT) (existant ?ABS ?POINT)))))` is a kind of Entity is disjoint from Physical AbstractionFn documentation A UnaryFunction that maps a Class into the instance of Attribute that specifies the condition(s) for membership in the Class has axiom `(<=> (equal (AbstractionFn ?CLASS) ?ATTR) (forall (?INST) (<=> (instance ?INST ?CLASS) (attribute ?INST ?ATTR))))` has domain1 Class has range Attribute is an instance of UnaryFunction ActivityMeasure is a kind of TimeDependentQuantity AdditionFn documentation If ?NUMBER1 and ?NUMBER2 are Numbers, then (AdditionFn ?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers has axiom `(<=> (equal (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER) (equal (AdditionFn (MultiplicationFn (FloorFn (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))` has domain1 Quantity has domain2 Quantity has identityElement 0 has range Quantity is an instance of AssociativeFunction is an instance of CommutativeFunction is an instance of RelationExtendedToQuantities Address documentation A GeographicArea with definite boundaries and of relatively small size. This concept represents the state of 'being at an address' is a kind of GeographicArea adjacent documentation (adjacent ?OBJ1 ?OBJ2) means that ?OBJ1 is close to, near or abutting ?OBJ2 with no other structure of the same kind intervening. This Predicate covers the following relations: adjoins, abuts, is contiguous to, is juxtaposed, and is close to has axiom `(=> (adjacent ?OBJ1 ?OBJ2) (or (near ?OBJ1 ?OBJ2) (connected ?OBJ1 ?OBJ2)))` is an instance of EquivalenceRelation Adjective documentation One of the parts of speech. The Class of Words that conventionally denote Attributes of Objects is a kind of Word Adult documentation The stage of an Animal when it has developed secondary sex characteristics and has reached the end of its growth phase is an instance of DevelopmentalProperty Adverb documentation One of the parts of speech. The Class of Words that conventionally denote Attributes of Processes is a kind of Word AestheticJudgement documentation A Proposition expressing matters of taste, style, beauty, etc is a kind of NormativeProposition age documentation Simply relates an Object to a ConstantQuantity specifying the age of the Object has arg2 valence singleValued has axiom `(=> (instance ?GROUP AgeGroup) (forall (?MEMB1 ?MEMB2 ?AGE1 ?AGE2) (=> (and (member ?MEMB1 ?GROUP) (member ?MEMB2 ?GROUP) (age ?MEMB1 ?AGE1) (age ?MEMB2 ?AGE2)) (equal ?AGE1 ?AGE2)))) ` has domain2 TimeDuration AgeGroup documentation A GroupOfPeople whose members all have the same age has axiom `(=> (instance ?GROUP AgeGroup) (forall (?MEMB1 ?MEMB2 ?AGE1 ?AGE2) (=> (and (member ?MEMB1 ?GROUP) (member ?MEMB2 ?GROUP) (age ?MEMB1 ?AGE1) (age ?MEMB2 ?AGE2)) (equal ?AGE1 ?AGE2)))) ` is a kind of GroupOfPeople agent documentation (agent ?ACTION ?AGENT) means that the Agent ?AGENT voluntarily initiates ?ACTION. For example, Eve is an agent in the following proposition: Eve bit an apple Agent documentation Something or someone that can act on its own and produce changes in the world has axiom `(<=> (instance ?AGENT Agent) (exists (?PROC) (agent ?PROC ?AGENT)))` agent has axiom `(<=> (instance ?AGENT Agent) (exists (?PROC) (agent ?PROC ?AGENT)))` has axiom `(<=> (and (instance ?BUY Buying) (agent ?BUY ?AGENT1) (origin ?BUY ?AGENT2) (patient ?BUY ?OBJECT)) (and (instance ?SELL Selling) (agent ?SELL ?AGENT2) (destination ?SELL ?AGENT1) (patient ?SELL ?OBJECT)))` has axiom `(=> (authors ?AGENT ?TEXT) (exists (?PROCESS) (and (agent ?PROCESS ?AGENT) (result ?PROCESS ?TEXT))))` has axiom `(=> (exploits ?OBJ ?AGENT) (exists (?PROCESS) (and (agent ?PROCESS ?AGENT) (resource ?PROCESS ?OBJ)))) ` has axiom `(=> (uses ?OBJ ?AGENT) (exists (?PROC) (and (agent ?PROC ?AGENT) (instrument ?PROC ?OBJ))))` has axiom `(=> (and (instance ?ACT OrganizationalProcess) (agent ?ACT ?AGENT)) (or (instance ?AGENT Organization) (exists (?ORG) (and (instance ?ORG Organization) (member ?AGENT ?ORG)))))` has axiom `(=> (and (instance ?ACT ReligiousProcess) (agent ?ACT ?AGENT)) (or (instance ?AGENT ReligiousOrganization) (exists (?ORG) (and (member ?AGENT ?ORG) (instance ?ORG ReligiousOrganization)))))` has axiom `(=> (and (instance ?COUNT Counting) (agent ?COUNT ?AGENT) (patient ?COUNT ?ENTITY)) (exists (?NUMBER) (knows ?AGENT (equal (CardinalityFn ?ENTITY)))))` Agent has axiom `(=> (and (instance ?GET Getting) (agent ?GET ?AGENT1) (origin ?GET ?AGENT2) (instance ?AGENT2 Agent) (patient ?GET ?OBJ)) (exists (?GIVE) (and (instance ?GIVE Giving) (agent ?GIVE ?AGENT2) (destination ?GIVE ?AGENT1) (patient ?GIVE ?OBJ))))` agent has axiom `(=> (and (instance ?GET Getting) (agent ?GET ?AGENT1) (origin ?GET ?AGENT2) (instance ?AGENT2 Agent) (patient ?GET ?OBJ)) (exists (?GIVE) (and (instance ?GIVE Giving) (agent ?GIVE ?AGENT2) (destination ?GIVE ?AGENT1) (patient ?GIVE ?OBJ))))` Agent has axiom `(=> (and (instance ?GIVE Giving) (agent ?GIVE ?AGENT1) (destination ?GIVE ?AGENT2) (instance ?AGENT2 Agent) (patient ?GIVE ?OBJ)) (and (holdsDuring (ImmediatePastFn (WhenFn ?GIVE)) (possesses ?AGENT1 ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?GIVE)) (possesses ?AGENT2 ?OBJ))))` agent has axiom `(=> (and (instance ?GIVE Giving) (agent ?GIVE ?AGENT1) (destination ?GIVE ?AGENT2) (instance ?AGENT2 Agent) (patient ?GIVE ?OBJ)) (and (holdsDuring (ImmediatePastFn (WhenFn ?GIVE)) (possesses ?AGENT1 ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?GIVE)) (possesses ?AGENT2 ?OBJ))))` has axiom `(=> (and (instance ?INVESTIGATE Investigating) (agent ?INVESTIGATE ?AGENT) (patient ?INVESTIGATE ?PROP)) (holdsDuring (WhenFn ?INVESTIGATE) (not (knows ?AGENT ?PROP))))` has axiom `(=> (and (instance ?KILL Killing) (agent ?KILL ?AGENT) (patient ?KILL ?PATIENT)) (and (instance ?AGENT Organism) (instance ?PATIENT Organism)))` has axiom `(=> (and (instance ?LEARN Learning) (agent ?LEARN ?AGENT)) (instance ?AGENT CognitiveAgent))` has axiom `(=> (and (instance ?MEAS Measuring) (agent ?MEAS ?AGENT) (patient ?MEAS ?OBJ)) (exists (?QUANT ?UNIT) (holdsDuring (ImmediateFutureFn (WhenFn ?MEAS)) (knows ?AGENT (measure ?OBJ (MeasureFn ?QUANT ?UNIT))))))` has axiom `(=> (and (instance ?ORGANISM Organism) (agent ?PROCESS ?ORGANISM)) (holdsDuring (WhenFn ?PROCESS) (attribute ?ORGANISM Living)))` has axiom `(=> (and (instance ?PERCEPT Perception) (agent ?PERCEPT ?AGENT)) (instance ?AGENT Animal))` has axiom `(=> (and (instance ?POKE Poking) (agent ?POKE ?AGENT) (patient ?POKE ?OBJ) (instrument ?POKE ?INST)) (holdsDuring (WhenFn ?POKE) (connects ?INST ?AGENT ?OBJ)))` has axiom `(=> (and (instance ?PROC IntentionalProcess) (agent ?PROC ?AGENT)) (and (instance ?AGENT CognitiveAgent) (exists (?PURP) (hasPurposeForAgent ?PROC ?PURP ?AGENT))))` has axiom `(=> (and (instance ?PURSUE Pursuing) (agent ?PURSUE ?AGENT) (patient ?PURSUE ?OBJ)) (wants ?AGENT ?OBJ))` has axiom `(=> (and (instance ?SEARCH Searching) (agent ?SEARCH ?AGENT) (patient ?SEARCH ?ENTITY)) (inScopeOfInterest ?AGENT ?ENTITY))` has axiom `(=> (and (instance ?TOUCH Touching) (agent ?TOUCH ?AGENT) (patient ?TOUCH ?OBJ)) (holdsDuring (WhenFn ?TOUCH) (connected ?AGENT ?OBJ)))` has axiom `(=> (and (instance ?TRANSFER Transfer) (agent ?TRANSFER ?AGENT) (patient ?TRANSFER ?PATIENT)) (not (equal ?AGENT ?PATIENT)))` has axiom `(=> (and (instance ?WAR War) (agent ?WAR ?AGENT)) (or (instance ?AGENT Nation) (and (instance ?AGENT Organization) (forall (?MEMBER) (=> (member ?MEMBER ?AGENT) (instance ?MEMBER Nation))))))` has axiom `(=> (holdsDuring ?TIME (exists (?LEARN) (and (instance ?LEARN Learning) (agent ?LEARN ?AGENT) (patient ?LEARN ?PROP)))) (holdsDuring (ImmediateFutureFn ?TIME) (believes ?AGENT ?PROP)))` has axiom `(=> (instance ?ACT OccupationalProcess) (exists (?ORG ?EMP) (and (instance ?ORG Organization) (employs ?ORG ?EMP) (agent ?ACT ?EMP))))` has axiom `(=> (instance ?BUILDING Building) (exists (?HUMAN) (and (instance ?HUMAN Human) (or (inhabits ?HUMAN ?BUILDING) (exists (?ACT) (and (agent ?ACT ?HUMAN) (located ?ACT ?BUILDING)))))))` has axiom `(=> (instance ?CONTEST Contest) (exists (?AGENT1 ?AGENT2 ?PURP1 ?PURP2) (and (agent ?CONTEST ?AGENT1) (agent ?CONTEST ?AGENT2) (hasPurposeForAgent ?CONTEST ?PURP1 ?AGENT1) (hasPurposeForAgent ?CONTEST ?PURP2 ?AGENT2) (not (equal ?AGENT1 ?AGENT2)) (not (equal ?PURP1 ?PURP2)))))` has axiom `(=> (instance ?COOPERATE Cooperation) (exists (?PURP) (forall (?AGENT) (=> (agent ?COOPERATE ?AGENT) (hasPurposeForAgent ?COOPERATE ?PURP ?AGENT)))))` has axiom `(=> (instance ?INTERACTION SocialInteraction) (exists (?AGENT1 ?AGENT2) (and (agent ?INTERACTION ?AGENT1) (agent ?INTERACTION ?AGENT2) (not (equal ?AGENT1 ?AGENT2)))))` has axiom `(=> (instance ?PERSON PersonByOccupationalRole) (exists (?ACT) (and (instance ?ACT OccupationalProcess) (agent ?ACT ?PERSON))))` has axiom `(=> (instance ?PERSON PersonBySocialRole) (exists (?ACT) (and (instance ?ACT OrganizationalProcess) (agent ?ACT ?PERSON))))` has axiom `(=> (instance ?PROC IntentionalProcess) (exists (?AGENT) (and (instance ?AGENT CognitiveAgent) (agent ?PROC ?AGENT))))` has axiom `(=> (instance ?TRANS Transaction) (exists (?AGENT1 ?AGENT2 ?GIVE1 ?GIVE2 ?OBJ1 ?OBJ2) (and (instance ?GIVE1 Giving) (instance ?GIVE2 Giving) (subProcess ?GIVE1 ?TRANS) (subProcess ?GIVE2 ?TRANS) (agent ?GIVE1 ?AGENT1) (agent ?GIVE2 ?AGENT2) (patient ?GIVE1 ?OBJ1) (patient ?GIVE2 ?OBJ2) (destination ?GIVE1 ?AGENT2) (destination ?GIVE2 ?AGENT1) (not (equal ?AGENT1 ?AGENT2)) (not (equal ?OBJ1 ?OBJ2)))))` has domain1 Process has domain2 Agent Agent is a kind of Object is first domain of authors is first domain of believes is first domain of considers is first domain of desires is first domain of inScopeOfInterest is first domain of knows is first domain of needs is first domain of possesses is first domain of PropertyFn is first domain of wants is first domain of WealthFn is second domain of agent is second domain of experiencer is second domain of exploits is second domain of hasSkill is second domain of holdsObligation is second domain of holdsRight is second domain of uses is third domain of hasPurposeForAgent is third domain of representsForAgent Aggressive documentation The Attribute of having an aggressive disposition has contraryProperty Docile is an instance of TraitProperty Alga documentation A chiefly aquatic plant that contains chlorophyll, but does not form embryos during development and lacks vascular tissue has axiom `(=> (instance ?ALGA Alga) (exists (?WATER) (and (inhabits ?ALGA ?WATER) (instance ?WATER Water))))` is a kind of Plant along documentation (along ?OBJ1 ?OBJ2) means that the Object ?OBJ1 shares the area of ?OBJ2 at least as far the extension of one dimension is concerned has axiom `(=> (along ?OBJ1 ?OBJ2) (near ?OBJ1 ?OBJ2))` has axiom `(=> (and (along ?OBJ1 ?OBJ2) (along ?OBJ3 ?OBJ2)) (connects ?OBJ2 ?OBJ1 ?OBJ3))` has relatedInternalConcept traverses is an instance of EquivalenceRelation AmountOfSubstanceMeasure is a kind of ConstantQuantity Ampere documentation SI ElectricCurrentMeasure. Symbol: A. It is one of the base units in SI. It is defined as follows: the Ampere is that constant current which, if maintained in two straight parallel conductors of infinite length, of negligible circular cross-section, and placed 1 Meter apart in a vacuum, would produce between these conductors a force equal to 2*10^(-7) Newton per Meter of length has axiom `(equal (MeasureFn ?NUMBER MilliAmpere) (MeasureFn (MultiplicationFn ?NUMBER .001) Ampere))` has axiom `(equal (MeasureFn ?NUMBER NanoAmpere) (MeasureFn (MultiplicationFn ?NUMBER 1.0E-9) Ampere))` has axiom `(equal (MeasureFn ?NUMBER PicoAmpere) (MeasureFn (MultiplicationFn ?NUMBER 1.0E-12) Ampere))` is an instance of ElectricCurrentMeasure is an instance of SystemeInternationalUnit Amphibian documentation A cold-blooded, smooth-skinned Vertebrate which characteristically hatches as an aquatic larva, breathing by gills. When mature, the Amphibian breathes with Lungs is a kind of ColdBloodedVertebrate is disjoint from Reptile Amu documentation Atomic mass unit. Symbol: u. It is the mass of the twelfth part of an atom of the Carbon 12 isotope has axiom `(equal (MeasureFn ?NUMBER Amu) (MeasureFn (MultiplicationFn ?NUMBER 1.6605402E-27) Kilogram)) ` is an instance of MassMeasure is an instance of UnitOfMeasure AnatomicalStructure documentation A normal or pathological part of the anatomy or structural organization of an Organism has axiom `(=> (instance ?ANAT AnatomicalStructure) (exists (?ORGANISM) (and (instance ?ORGANISM Organism) (part ?ANAT ?ORGANISM))))` has axiom `(=> (instance ?INJ Injuring) (exists (?STRUCT) (and (instance ?STRUCT AnatomicalStructure) (patient ?INJ ?STRUCT))))` has axiom `(=> (instance ?JUNCT BodyJunction) (exists (?STRUCT) (and (instance ?STRUCT AnatomicalStructure) (component ?JUNCT ?STRUCT))))` has axiom `(=> (instance ?JUNCT BodyJunction) (exists (?STRUCT1 ?STRUCT2) (and (connected ?JUNCT ?STRUCT1) (connected ?JUNCT ?STRUCT2) (instance ?STRUCT1 AnatomicalStructure) (instance ?STRUCT2 AnatomicalStructure) (not (equal ?STRUCT1 ?STRUCT2))))) ` has axiom `(=> (instance ?POISON Poisoning) (exists (?THING) (and (patient ?POISON ?THING) (or (instance ?THING Organism) (instance ?THING AnatomicalStructure)))))` has axiom `(=> (instance ?STRUCT EmbryonicStructure) (exists (?THING) (and (developmentalForm ?THING ?STRUCT) (or (instance ?THING Organism) (instance ?THING AnatomicalStructure)))))` is a kind of CorpuscularObject is disjoint from Organism and documentation The truth-functional connective of conjunction has domain1 Formula has domain2 Formula is an instance of SententialOperator Angstrom documentation The Angstrom is a LengthMeasure. 1 Angstrom = 10^(-10) has axiom `(equal (MeasureFn ?NUMBER Angstrom) (MeasureFn (MultiplicationFn ?NUMBER 1.0E-10) Meter))` is an instance of LengthMeasure is an instance of UnitOfMeasure AngularDegree documentation A PlaneAngleMeasure has axiom `(equal (MeasureFn ?NUMBER AngularDegree) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn Pi 180)) Radian))` is an instance of PlaneAngleMeasure is an instance of UnitOfMeasure Anhydrous documentation An Attribute which indicates that the associated Object does not contain any Water has axiom `(=> (and (instance ?DRY Drying) (patient ?DRY ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?DRY)) (or (attribute ?OBJ Anhydrous) (attribute ?OBJ Dry))))` has axiom `(=> (attribute ?OBJ Anhydrous) (not (exists (?WATER) (and (instance ?WATER Water) (part ?WATER ?OBJ)))))` is an instance of SaturationProperty AnimacyProperty documentation Attributes that indicate whether an Organism is alive or not is a kind of BiologicalProperty Animal documentation An Organism with eukaryotic Cells, and lacking stiff cell walls, plastids, and photosynthetic Pigments has axiom `(=> (and (instance ?GROUP Group) (member ?MEMB ?GROUP)) (instance ?MEMB Animal)) ` has axiom `(=> (instance ?ANIMAL Animal) (exists (?CELL ?WALL) (and (component ?CELL ?ANIMAL) (instance ?CELL Cell) (component ?WALL ?CELL) (instance ?WALL CellWallNonRigid))))` has axiom `(=> (instance ?DISEASE MentalOrBehavioralDysfunction) (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (patient ?DISEASE ?ANIMAL))))` has axiom `(=> (instance ?PROCESS MentalProcess) (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (experiencer ?PROCESS ?ANIMAL))))` has axiom `(=> (and (instance ?ACT Surgery) (patient ?ACT ?ANIMAL)) (exists (?SUBACT) (and (instance ?SUBACT Cutting) (instance ?ANIMAL Animal) (patient ?ANIMAL ?CUTTING) (subProcess ?SUBACT ?ACT))))` has axiom `(=> (and (instance ?PERCEPT Perception) (agent ?PERCEPT ?AGENT)) (instance ?AGENT Animal))` is a kind of Organism is first domain of father is first domain of mother AntisymmetricRelation documentation BinaryRelation ?REL is an AntisymmetricRelation if for distinct ?INST1 and ?INST2, (?REL ?INST1 ?INST2) implies not (?REL ?INST2 ?INST1). In other words, for all ?INST1 and ?INST2, (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST1) imply that ?INST1 and ?INST2 are identical. Note that it is possible for an AntisymmetricRelation to be a ReflexiveRelation has axiom `(=> (partialOrderingOn ?RELATION ?CLASS) (and (reflexiveOn ?RELATION ?CLASS) (instance ?RELATION TransitiveRelation) (instance ?RELATION AntisymmetricRelation)))` has axiom `(=> (instance ?REL AntisymmetricRelation) (forall (?INST1 ?INST2) (=> (and (holds ?REL ?INST1 ?INST2) (holds ?REL ?INST2 ?INST1)) (equal ?INST1 ?INST2))))` is a kind of BinaryRelation Arachnid documentation A Class of Arthropods that includes Ticks and Spiders is a kind of Arthropod ArcCosineFn documentation (ArcCosineFn ?NUMBER) returns the arc cosine of the RealNumber ?NUMBER. It is the inverse of CosineFn has domain1 RealNumber has inverse CosineFn has range PlaneAngleMeasure is an instance of UnaryFunction Archaeon documentation Archaea are characterized by: 1. the presence of characteristic tRNAs and ribosomal RNAs, 2. the absence of peptidoglycan cell walls, 3. the presence of ether-linked lipids built from branched-chain subunits, and 4. their occurrence in unusual habitats. While archaea resemble Bacteria in morphology and genomic organization, they resemble eukarya in their method of genomic replication is a kind of Microorganism ArcSineFn documentation (ArcSineFn ?NUMBER) returns the arc sine of the RealNumber ?NUMBER. It is the inverse of SineFn has domain1 RealNumber has inverse SineFn has range PlaneAngleMeasure is an instance of UnaryFunction ArcTangentFn documentation (ArcTangentFn ?NUMBER) returns the arc tangent of the RealNumber ?NUMBER. It is the inverse of TangentFn has domain1 RealNumber has inverse TangentFn has range PlaneAngleMeasure is an instance of UnaryFunction Arranging documentation The Class of IntentionallyCausedProcesses where the order of Objects in a Collection is altered is a kind of Transfer Arthropod documentation A Class of Invertebrate that includes Arachnids and Insects is a kind of Invertebrate Artifact documentation An Object with separable parts that is the product of an IntentionalProcess has axiom `(=> (instance ?ARTIFACT Artifact) (exists (?PROCESS) (and (instance ?PROCESS Process) (result ?PROCESS ?ARTIFACT))))` has axiom `(=> (instance ?MAKE Making) (exists (?ARTIFACT) (and (instance ?ARTIFACT Artifact) (result ?MAKE ?ARTIFACT))))` is a kind of CorpuscularObject is first domain of version is second domain of version AsexualReproduction documentation Asexual Processes of biological reproduction is a kind of Replication Asleep documentation This Attribute applies to Organisms that are sleeping has contraryProperty Awake has contraryProperty Unconscious is a kind of ConsciousnessProperty AssignmentFn documentation If F is a function with a value for the objects denoted by N1,..., NK, then the term (AssignmentFn F N1 ... NK) denotes the value of applying F to the objects denoted by N1,..., NK. Otherwise, the value is undefined has axiom `(<=> (instance ?FUN OneToOneFunction) (forall (?ARG1 ?ARG2) (=> (and (instance ?ARG1 (DomainFn ?FUN)) (instance ?ARG2 (DomainFn ?FUN)) (not (equal ?ARG1 ?ARG2))) (not (equal (AssignmentFn ?FUN ?ARG1) (AssignmentFn ?FUN ?ARG2))))))` has axiom `(<=> (and (holds ?REL ?INST1 ?INST2 ?INST3 ?INST4 ?INST5) (instance ?REL QuaternaryFunction)) (equal (AssignmentFn ?REL ?INST1 ?INST2 ?INST3 ?INST4) ?INST5))` has axiom `(<=> (and (holds ?REL ?INST1 ?INST2 ?INST3 ?INST4) (instance ?REL TernaryFunction)) (equal (AssignmentFn ?REL ?INST1 ?INST2 ?INST3) ?INST4))` has axiom `(<=> (and (holds ?REL ?INST1 ?INST2 ?INST3) (instance ?REL BinaryFunction)) (equal (AssignmentFn ?REL ?INST1 ?INST2) ?INST3))` has axiom `(<=> (and (holds ?REL ?INST1 ?INST2) (instance ?REL UnaryFunction)) (equal (AssignmentFn ?REL ?INST1) ?INST2))` has axiom `(=> (and (closedOn ?FUNCTION ?CLASS) (instance ?FUNCTION BinaryFunction)) (forall (?INST1 ?INST2) (=> (and (instance ?INST1 ?CLASS) (instance ?INST2 ?CLASS)) (instance (AssignmentFn ?FUNCTION ?INST1 ?INST2) ?CLASS))))` has axiom `(=> (and (closedOn ?FUNCTION ?CLASS) (instance ?FUNCTION UnaryFunction)) (forall (?INST) (=> (instance ?INST ?CLASS) (instance (AssignmentFn ?FUNCTION ?INST) ?CLASS))))` has axiom `(=> (and (instance ?FUNCTION BinaryFunction) (equal (AssignmentFn ?FUNCTION ?ARG1 ?ARG2) ?VALUE1) (equal (AssignmentFn ?FUNCTION ?ARG1 ?ARG2) ?VALUE2)) (equal ?VALUE1 ?VALUE2))` has axiom `(=> (and (instance ?FUNCTION RelationExtendedToQuantities) (instance ?FUNCTION BinaryFunction) (instance ?NUMBER1 RealNumber) (instance ?NUMBER2 RealNumber) (equal (AssignmentFn ?FUNCTION ?NUMBER1 ?NUMBER2) ?VALUE)) (forall (?UNIT) (=> (instance ?UNIT UnitOfMeasure) (equal (AssignmentFn ?FUNCTION (MeasureFn ?NUMBER1 ?UNIT) (MeasureFn ?NUMBER2 ?UNIT)) (MeasureFn ?VALUE ?UNIT)))))` has axiom `(=> (and (instance ?FUNCTION TernaryFunction) (equal (AssignmentFn ?FUNCTION ?ARG1 ?ARG2 ?ARG3) ?VALUE1) (equal (AssignmentFn ?FUNCTION ?ARG1 ?ARG2 ?ARG3) ?VALUE2)) (equal ?VALUE1 ?VALUE2))` has axiom `(=> (and (instance ?FUNCTION UnaryFunction) (equal (AssignmentFn ?FUNCTION ?ARG) ?VALUE1) (equal (AssignmentFn ?FUNCTION ?ARG) ?VALUE2)) (equal ?VALUE1 ?VALUE2))` has axiom `(=> (distributes ?FUNCTION1 ?FUNCTION2) (forall (?INST1 ?INST2 ?INST3) (=> (and (instance ?INST1 (DomainFn ?FUNCTION1)) (instance ?INST2 (DomainFn ?FUNCTION1)) (instance ?INST3 (DomainFn ?FUNCTION1)) (instance ?INST1 (DomainFn ?FUNCTION2)) (instance ?INST2 (DomainFn ?FUNCTION2)) (instance ?INST3 (DomainFn ?FUNCTION2))) (equal (AssignmentFn ?FUNCTION1 ?INST1 (AssignmentFn ?FUNCTION2 ?INST2 ?INST3)) (AssignmentFn ?FUNCTION2 (AssignmentFn ?FUNCTION1 ?INST1 ?INST2) (AssignmentFn ?FUNCTION1 ?INST1 ?INST3))))))` has axiom `(=> (identityElement ?FUNCTION ?ID) (forall (?INST) (=> (instance ?INST (DomainFn ?FUNCTION)) (equal (AssignmentFn ?FUNCTION ?ID ?INST) ?INST))))` has axiom `(=> (instance ?FUNCTION AssociativeFunction) (forall (?INST1 ?INST2 ?INST3) (=> (and (instance ?INST1 (DomainFn ?FUNCTION)) (instance ?INST2 (DomainFn ?FUNCTION)) (instance ?INST3 (DomainFn ?FUNCTION))) (equal (AssignmentFn ?FUNCTION ?INST1 (AssignmentFn ?FUNCTION ?INST1 ?INST2)) (AssignmentFn ?FUNCTION (AssignmentFn ?FUNCTION ?INST1 ?INST2) ?INST3)))))` has axiom `(=> (instance ?FUNCTION CommutativeFunction) (forall (?INST1 ?INST2) (=> (and (instance ?INST1 (DomainFn ?FUNCTION)) (instance ?INST2 (DomainFn ?FUNCTION))) (equal (AssignmentFn ?FUNCTION ?INST1 ?INST2) (AssignmentFn ?FUNCTION ?INST2 ?INST1)))))` has domain1 Function has range Entity is an instance of Function is an instance of VariableArityRelation AssociativeFunction documentation A BinaryFunction is associative if bracketing has no effect on the value returned by the Function. More precisely, a Function ?FUNCTION is associative just in case (?FUNCTION ?INST1 (?FUNCTION ?INST2 ?INST3)) is equal to (?FUNCTION (?FUNCTION ?INST1 ?INST2) ?INST3), for all ?INST1, ?INST2, and ?INST3 has axiom `(=> (instance ?FUNCTION AssociativeFunction) (forall (?INST1 ?INST2 ?INST3) (=> (and (instance ?INST1 (DomainFn ?FUNCTION)) (instance ?INST2 (DomainFn ?FUNCTION)) (instance ?INST3 (DomainFn ?FUNCTION))) (equal (AssignmentFn ?FUNCTION ?INST1 (AssignmentFn ?FUNCTION ?INST1 ?INST2)) (AssignmentFn ?FUNCTION (AssignmentFn ?FUNCTION ?INST1 ?INST2) ?INST3)))))` is a kind of BinaryFunction AsymmetricRelation documentation A BinaryRelation is asymmetric only if it is both an AntisymmetricRelation and an IrreflexiveRelation is a kind of AntisymmetricRelation is a kind of IrreflexiveRelation Atom documentation An extremely small unit of matter that retains its identity in Chemical reactions. It consists of an AtomicNucleus and Electrons surrounding the AtomicNucleus has axiom `(=> (instance ?ATOM Atom) (exists (?PROTON ?ELECTRON) (and (component ?PROTON ?ATOM) (component ?ELECTRON ?ATOM) (instance ?PROTON Proton) (instance ?ELECTRON Electron))))` has axiom `(=> (instance ?ATOM Atom) (forall (?NUCLEUS1 ?NUCLEUS2) (=> (and (component ?NUCLEUS1 ?ATOM) (component ?NUCLEUS2 ?ATOM) (instance ?NUCLEUS1 AtomicNucleus) (instance ?NUCLEUS2 AtomicNucleus)) (equal ?NUCLEUS1 ?NUCLEUS2))))` has axiom `(=> (instance ?MOLE Molecule) (exists (?ATOM1 ?ATOM2) (and (instance ?ATOM1 Atom) (instance ?ATOM2 Atom) (part ?ATOM1 ?MOLE) (part ?ATOM2 ?MOLE) (not (equal ?ATOM1 ?ATOM2)))))` is a kind of SubmolecularObject AtomGram documentation MassMeasure that is also known as the gram-atom. Defined as the mass in grams of 1 Mole of pure substance. For example, 1 AtomGram of Carbon 12 will be 12 Grams of pure Carbon 12. 2 AtomGrams of the same substance will be 24 Grams of it. This is an unusual unit in that it is essentially 1 Mole of 'stuff' measured in grams, so that the actual value (i.e. mass) depends on the type of substance is an instance of MassMeasure is an instance of UnitOfMeasure AtomicNucleus documentation The core of the Atom. It is composed of Protons and Neutrons has axiom `(=> (instance ?ATOM Atom) (forall (?NUCLEUS1 ?NUCLEUS2) (=> (and (component ?NUCLEUS1 ?ATOM) (component ?NUCLEUS2 ?ATOM) (instance ?NUCLEUS1 AtomicNucleus) (instance ?NUCLEUS2 AtomicNucleus)) (equal ?NUCLEUS1 ?NUCLEUS2))))` has axiom `(=> (instance ?NUCLEUS AtomicNucleus) (exists (?NEUTRON ?PROTON) (and (component ?NEUTRON ?NUCLEUS) (component ?PROTON ?NUCLEUS) (instance ?NEUTRON Neutron) (instance ?PROTON Proton))))` is a kind of SubatomicParticle Attaching documentation A Process where the agent attaches one thing to something else. Note that this is different from Putting in that two things which are attached may already be in the same location has relatedInternalConcept Putting is a kind of Process is disjoint from Detaching Attack has axiom `(=> (instance ?BATTLE Battle) (exists (?ATTACK) (and (instance ?ATTACK Attack) (subProcess ?ATTACK ?BATTLE))))` attribute documentation (attribute ?OBJECT ?PROPERTY) means that ?PROPERTY is a Attribute of ?OBJECT. For example, (attribute MyLittleRedWagon Red) Attribute documentation Qualities which we cannot or choose not to reify into subclasses of Object attribute has axiom `(<=> (attribute ?HOLE1 Fillable) (exists (?HOLE2) (and (instance ?HOLE2 Hole) (part ?HOLE1 ?HOLE2))))` has axiom `(<=> (manner ?PROC ?ATTR) (not (attribute ?PROC ?ATTR)))` has axiom `(<=> (equal (AbstractionFn ?CLASS) ?ATTR) (forall (?INST) (<=> (instance ?INST ?CLASS) (attribute ?INST ?ATTR))))` has axiom `(<=> (subAttribute ?ATTR1 ?ATTR2) (forall (?OBJ) (=> (attribute ?OBJ ?ATTR1) (attribute ?OBJ ?ATTR2))))` has axiom `(=> (and (fills ?OBJ1 ?HOLE) (attribute ?OBJ2 Fillable)) (not (overlapsSpatially ?OBJ1 ?OBJ2)))` has axiom `(=> (attribute ?OBJ ?ATTR) (not (manner ?OBJ ?ATTR)))` has axiom `(=> (holdsDuring ?TIME (fills ?OBJ ?HOLE)) (attribute ?HOLE Fillable))` has axiom `(=> (and (attribute ?ORG ?ATT) (instance ?ATT BiologicalProperty)) (instance ?ORG Organism))` has axiom `(=> (and (attribute ?OBJ ?ATTR1) (contraryProperty ?ATTR1 ?ATTR2)) (not (attribute ?OBJ ?ATTR2)))` has axiom `(=> (and (attribute ?OBJ Monochromatic) (superficialPart ?PART ?OBJ) (attribute ?PART ?COLOR) (instance ?COLOR PrimaryColor)) (forall (?ELEMENT) (=> (superficialPart ?ELEMENT ?OBJ) (attribute ?ELEMENT ?COLOR))))` has axiom `(=> (and (birthTime ?ORGANISM ?TIME1) (deathTime ?ORGANISM ?TIME2) (instance ?TIME1 TimeInterval) (instance ?TIME2 TimeInterval)) (exists (?INTERVAL) (and (starts ?TIME1 ?INTERVAL) (finishes ?TIME2 ?INTERVAL) (holdsDuring ?INTERVAL (attribute ?ORGANISM Living)))))` has axiom `(=> (and (birthTime ?ORGANISM ?TIME1) (deathTime ?ORGANISM ?TIME2) (instance ?TIME1 TimePoint) (instance ?TIME2 TimePoint)) (exists (?INTERVAL) (and (equal (BeginFn ?INTERVAL) ?TIME1) (equal (EndFn ?INTERVAL) ?TIME2) (holdsDuring ?INTERVAL (attribute ?ORGANISM Living)))))` has axiom `(=> (and (instance ?ACT Drinking) (patient ?ACT ?FOOD)) (attribute ?FOOD Liquid))` has axiom `(=> (and (instance ?ACT Eating) (patient ?ACT ?FOOD)) (attribute ?FOOD Solid))` has axiom `(=> (and (instance ?ALT ShapeAlteration) (patient ?ALT ?OBJ)) (exists (?PROPERTY) (and (instance ?PROPERTY ShapeProperty) (or (and (holdsDuring (ImmediatePastFn (WhenFn ?ALT)) (attribute ?OBJ ?PROPERTY)) (holdsDuring (ImmediateFutureFn (WhenFn ?ALT)) (not (attribute ?OBJ ?PROPERTY)))) (and (holdsDuring (ImmediatePastFn (WhenFn ?ALT)) (not (attribute ?OBJ ?PROPERTY))) (holdsDuring (ImmediateFutureFn (WhenFn ?ALT)) (attribute ?OBJ ?PROPERTY)))))))` has axiom `(=> (and (instance ?ATTRIBUTE TextureProperty) (attribute ?OBJ ?ATTRIBUTE) (surface ?SURFACE ?OBJ)) (attribute ?SURFACE ?ATTRIBUTE))` has axiom `(=> (and (instance ?COLORING Coloring) (patient ?COLORING ?OBJ)) (exists (?PROPERTY) (and (holdsDuring (ImmediatePastFn (WhenFn ?COLORING)) (attribute ?OBJ ?PROPERTY)) (holdsDuring (ImmediateFutureFn (WhenFn ?COLORING)) (not (attribute ?OBJ ?PROPERTY)))))) ` has axiom `(=> (and (instance ?DRY Drying) (patient ?DRY ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?DRY)) (or (attribute ?OBJ Anhydrous) (attribute ?OBJ Dry))))` has axiom `(=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (ImmediatePastFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (ImmediateFutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead))))` has axiom `(=> (and (instance ?ORGANISM Organism) (agent ?PROCESS ?ORGANISM)) (holdsDuring (WhenFn ?PROCESS) (attribute ?ORGANISM Living)))` has axiom `(=> (and (instance ?PROC ShapeAlteration) (patient ?PROC ?OBJ)) (attribute ?OBJ Pliable))` has axiom `(=> (and (instance ?STATE PhysicalState) (part ?PART ?OBJ) (holdsDuring ?TIME (attribute ?OBJ ?STATE))) (not (exists (?OTHERSTATE) (and (instance ?OTHERSTATE PhysicalState) (holdsDuring ?TIME (attribute ?PART ?OTHERSTATE)) (not (equal ?STATE ?OTHERSTATE))))))` has axiom `(=> (and (instance ?WET Wetting) (patient ?WET ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?WET)) (or (attribute ?OBJ Wet) (attribute ?OBJ Damp))))` has axiom `(=> (attribute ?OBJ Anhydrous) (not (exists (?WATER) (and (instance ?WATER Water) (part ?WATER ?OBJ)))))` has axiom `(=> (attribute ?OBJ Polychromatic) (exists (?PART1 ?PART2 ?COLOR1 ?COLOR2) (and (superficialPart ?PART1 ?OBJ) (superficialPart ?PART2 ?OBJ) (attribute ?PART1 ?COLOR1) (attribute ?PART2 ?COLOR2) (instance ?COLOR1 ColorProperty) (instance ?COLOR2 ColorProperty) (not (equal ?COLOR1 ?COLOR2)))))` has axiom `(=> (attribute ?OBJ Wet) (forall (?PART) (=> (part ?PART ?OBJ) (exists (?WATER) (and (instance ?WATER Water) (or (overlapsSpatially ?WATER ?PART) (meetsSpatially ?WATER ?PART))))))) ` has axiom `(=> (birthTime ?ORGANISM ?TIME) (holdsDuring (ImmediateFutureFn ?TIME) (attribute ?ORGANISM Living)))` has axiom `(=> (copy ?OBJ1 ?OBJ2) (forall (?ATTR) (=> (attribute ?OBJ1 ?ATTR) (attribute ?OBJ2 ?ATTR))))` has axiom `(=> (deathTime ?ORGANISM ?TIME) (holdsDuring (FutureFn ?TIME) (attribute ?ORGANISM Dead)))` has axiom `(=> (equal ?THING1 ?THING2) (forall (?ATTR) (<=> (attribute ?THING1 ?ATTR) (attribute ?THING2 ?ATTR))))` has axiom `(=> (father ?FATHER ?CHILD) (attribute ?FATHER Male))` has axiom `(=> (instance ?OBJ Food) (exists (?ATTR) (and (instance ?ATTR TasteProperty) (attribute ?OBJ ?ATTR))))` has axiom `(=> (instance ?PROC DirectionChange) (exists (?ATTR) (and (instance ?ATTR DirectionAttribute) (or (and (holdsDuring (ImmediatePastFn (WhenFn ?PROC)) (attribute ?PROC ?ATTR)) (holdsDuring (ImmediateFutureFn (WhenFn ?PROC)) (not (attribute ?PROC ?ATTR)))) (and (holdsDuring (ImmediateFutureFn (WhenFn ?PROC)) (attribute ?PROC ?ATTR)) (holdsDuring (ImmediatePastFn (WhenFn ?PROC)) (not (attribute ?PROC ?ATTR))))))))` has axiom `(=> (instance ?PROPERTY ConsciousnessProperty) (=> (holdsDuring ?TIME (attribute ?ORGANISM ?PROPERTY)) (holdsDuring ?TIME (attribute ?ORGANISM Living))))` has axiom `(=> (mother ?MOTHER ?CHILD) (attribute ?MOTHER Female))` has domain1 Object has domain2 Attribute Attribute is a kind of Abstract is disjoint from Quantity is first domain of contraryProperty is first domain of ExtensionFn is first domain of subAttribute is first domain of successorAttribute is first domain of successorAttributeClosure is second domain of attribute is second domain of contraryProperty is second domain of manner is second domain of property is second domain of subAttribute is second domain of successorAttribute is second domain of successorAttributeClosure AttributeFn has axiom `(<=> (equal (ExtensionFn ?ATTRIBUTE) ?CLASS) (equal (AttributeFn ?CLASS) ?ATTRIBUTE))` authors documentation (authors ?AGENT ?TEXT) means that ?AGENT is creatively responsible for ?TEXT. For example, Agatha Christie is author of 'Murder on the Orient Express' has axiom `(=> (authors ?AGENT ?TEXT) (exists (?PROCESS) (and (agent ?PROCESS ?AGENT) (result ?PROCESS ?TEXT))))` has domain1 Agent has domain2 Text is an instance of AsymmetricRelation is an instance of BinaryPredicate Awake documentation This Attribute applies to Organisms that are neither Unconscious nor Asleep is a kind of ConsciousnessProperty Bacterium documentation A small, typically one-celled, prokaryotic Microorganism has axiom `(=> (and (instance ?BACTERIUM Bacterium) (inhabits ?BACTERIUM ?OBJ)) (instance ?OBJ Organism))` has axiom `(=> (instance ?BACTERIUM Bacterium) (exists (?CELL1) (and (component ?CELL1 ?BACTERIUM) (instance ?CELL1 Cell) (forall (?CELL2) (=> (and (component ?CELL2 ?BACTERIUM) (instance ?CELL2 Cell)) (equal ?CELL1 ?CELL2))))))` is a kind of Microorganism Battle documentation A ViolentContest between two or more military units within the context of a war. Note that this does not cover the metaphorical sense of 'battle', which simply means a struggle of some sort. This sense should be represented with the more general concept of Competition has axiom `(=> (instance ?BATTLE Battle) (exists (?ATTACK) (and (instance ?ATTACK Attack) (subProcess ?ATTACK ?BATTLE))))` has axiom `(=> (instance ?BATTLE Battle) (exists (?WAR) (and (instance ?WAR War) (subProcess ?BATTLE ?WAR))))` has axiom `(=> (instance ?WAR War) (exists (?BATTLE) (and (instance ?BATTLE Battle) (subProcess ?BATTLE ?WAR))))` is a kind of ViolentContest Becquerel documentation SI ActivityMeasure. Symbol: Bq. It measures the amount of radioactivity contained in a given sample of matter. It is that quantity of a radioactive element in which there is one atomic disintegration per SecondDuration. Becquerel = s^(-1) is an instance of ActivityMeasure is an instance of SystemeInternationalUnit before documentation (before ?POINT1 ?POINT2) means that ?POINT1 precedes ?POINT2 on the universal timeline has domain1 TimePoint has domain2 TimePoint is an instance of IrreflexiveRelation is an instance of TemporalRelation is an instance of TransitiveRelation beforeEq documentation (beforeEq ?POINT1 ?POINT2) means that ?POINT1 is identical with ?POINT2 or occurs before it on the universal timeline has domain1 TimePoint has domain2 TimePoint is an instance of BinaryPredicate is an instance of PartialOrderingRelation BeginFn documentation A UnaryFunction that maps a TimeInterval to the TimePoint at which the interval begins has axiom `(<=> (meetsTemporally ?INTERVAL1 ?INTERVAL2) (equal (EndFn ?INTERVAL1) (BeginFn ?INTERVAL2)))` has axiom `(<=> (starts ?INTERVAL1 ?INTERVAL2) (and (equal (BeginFn ?INTERVAL1) (BeginFn ?INTERVAL2)) (before (EndFn ?INTERVAL1) (EndFn ?INTERVAL2))))` has axiom `(<=> (existant ?PHYS ?TIME) (temporallyBetweenOrEqual (BeginFn (WhenFn ?PHYS)) ?TIME (EndFn (WhenFn ?PHYS))))` has axiom `(<=> (finishes ?INTERVAL1 ?INTERVAL2) (and (before (BeginFn ?INTERVAL2) (BeginFn ?INTERVAL1)) (equal (EndFn ?INTERVAL2) (EndFn ?INTERVAL1))))` has axiom `(=> (during ?INTERVAL1 ?INTERVAL2) (and (before (EndFn ?INTERVAL1) (EndFn ?INTERVAL2)) (before (BeginFn ?INTERVAL2) (BeginFn ?INTERVAL1))))` has axiom `(=> (earlier ?INTERVAL1 ?INTERVAL2) (before (EndFn ?INTERVAL1) (BeginFn ?INTERVAL2)))` has axiom `(=> (and (birthTime ?ORGANISM ?TIME1) (deathTime ?ORGANISM ?TIME2) (instance ?TIME1 TimePoint) (instance ?TIME2 TimePoint)) (exists (?INTERVAL) (and (equal (BeginFn ?INTERVAL) ?TIME1) (equal (EndFn ?INTERVAL) ?TIME2) (holdsDuring ?INTERVAL (attribute ?ORGANISM Living)))))` has axiom `(=> (equal (BeginFn ?INTERVAL) ?POINT) (forall (?OTHERPOINT) (=> (and (temporalPart ?OTHERPOINT ?INTERVAL) (not (equal ?OTHERPOINT ?POINT))) (before ?POINT ?OTHERPOINT))))` has axiom `(=> (origin ?PROCESS ?OBJ) (located (WhereFn ?PROCESS (BeginFn (WhenFn ?PROCESS))) (WhereFn ?OBJ (BeginFn (WhenFn ?OBJ)))))` has axiom `(=> (parent ?PARENT ?CHILD) (before (BeginFn (WhenFn ?PARENT)) (BeginFn (WhenFn ?CHILD))))` has axiom `(=> (result ?PROC ?OBJ) (forall (?TIME) (=> (before ?TIME (BeginFn (WhenFn ?PROC))) (not (existant ?OBJ ?TIME)))))` has axiom `(=> (and (equal (BeginFn ?INTERVAL1) (BeginFn ?INTERVAL2)) (equal (EndFn ?INTERVAL1) (EndFn ?INTERVAL2))) (equal ?INTERVAL1 ?INTERVAL2))` has axiom `(before (BeginFn (WhenFn ?THING)) (EndFn (WhenFn ?THING)))` has axiom `(equal (BeginFn (PastFn ?TIME)) NegativeInfinity)` has domain1 TimeInterval has range TimePoint is an instance of TemporalRelation is an instance of UnaryFunction behind documentation This is a cognitive primitive, derived from the front/back schema. (behind ?OBJ1 ?OBJ2) means that ?OBJ1 is behind ?OBJ2 is an instance of AsymmetricRelation is an instance of TransitiveRelation believes documentation The epistemic predicate of belief. (believes ?AGENT ?FORMULA) means that ?AGENT believes the proposition expressed by ?FORMULA has axiom `(=> (instance ?ORG ReligiousOrganization) (exists (?PROP) (forall (?PERSON) (=> (member ?PERSON ?ORG) (believes ?PERSON ?PROP))))) ` has axiom `(=> (knows ?AGENT ?FORMULA) (believes ?AGENT ?FORMULA))` has axiom `(=> (holdsDuring ?TIME (exists (?LEARN) (and (instance ?LEARN Learning) (agent ?LEARN ?AGENT) (patient ?LEARN ?PROP)))) (holdsDuring (ImmediateFutureFn ?TIME) (believes ?AGENT ?PROP)))` has domain1 Agent has domain2 Formula is an instance of PropositionalAttitude below documentation This is a cognitive primitive, derived from the up/down schema and not involving contact. (below ?OBJ1 ?OBJ2) means that ?OBJ1 is below ?OBJ2 has axiom `(=> (below ?OBJ1 ?OBJ2) (not (connected ?OBJ1 ?OBJ2)))` is an instance of AsymmetricRelation is an instance of TransitiveRelation Betting documentation A FinancialTransaction where an instance of CurrencyMeasure is exchanged for the possibility of winning a larger instance of CurrencyMeasure within the context of some sort of Game is a kind of FinancialTransaction between documentation (between ?OBJ1 ?OBJ2 ?OBJ3) means that ?OBJ2 is spatially located between ?OBJ1 and ?OBJ3 has axiom `(=> (and (path ?PROCESS ?PATH) (origin ?PROCESS ?SOURCE) (destination ?PROCESS ?DEST)) (forall (?OBJ) (=> (part ?OBJ ?PATH) (between ?SOURCE ?OBJ ?DEST))))` has axiom `(=> (between ?OBJ1 ?OBJ2 ?OBJ3) (and (left ?OBJ2 ?OBJ1) (left ?OBJ1 ?OBJ3)))` has domain1 Object has domain2 Object has domain3 Object is an instance of SpatialRelation is an instance of TernaryPredicate BinaryFunction documentation The Class of Functions that require two arguments has axiom `(<=> (and (holds ?REL ?INST1 ?INST2 ?INST3) (instance ?REL BinaryFunction)) (equal (AssignmentFn ?REL ?INST1 ?INST2) ?INST3))` has axiom `(=> (instance ?FUNCTION BinaryFunction) (valence ?FUNCTION 2))` has axiom `(=> (and (closedOn ?FUNCTION ?CLASS) (instance ?FUNCTION BinaryFunction)) (forall (?INST1 ?INST2) (=> (and (instance ?INST1 ?CLASS) (instance ?INST2 ?CLASS)) (instance (AssignmentFn ?FUNCTION ?INST1 ?INST2) ?CLASS))))` has axiom `(=> (and (instance ?FUNCTION BinaryFunction) (equal (AssignmentFn ?FUNCTION ?ARG1 ?ARG2) ?VALUE1) (equal (AssignmentFn ?FUNCTION ?ARG1 ?ARG2) ?VALUE2)) (equal ?VALUE1 ?VALUE2))` has axiom `(=> (and (instance ?FUNCTION RelationExtendedToQuantities) (instance ?FUNCTION BinaryFunction) (instance ?NUMBER1 RealNumber) (instance ?NUMBER2 RealNumber) (equal (AssignmentFn ?FUNCTION ?NUMBER1 ?NUMBER2) ?VALUE)) (forall (?UNIT) (=> (instance ?UNIT UnitOfMeasure) (equal (AssignmentFn ?FUNCTION (MeasureFn ?NUMBER1 ?UNIT) (MeasureFn ?NUMBER2 ?UNIT)) (MeasureFn ?VALUE ?UNIT)))))` is a kind of Function is a kind of TernaryRelation is first domain of distributes is first domain of identityElement is second domain of distributes BinaryNumber documentation Elements from the number system with base 2. Every BinaryNumber is expressed as a sequence of the digits 1 and 0 is a kind of RealNumber BinaryPredicate documentation A Predicate relating two items - its valence is two has axiom `(=> (instance ?REL BinaryPredicate) (valence ?REL 2))` is a kind of BinaryRelation is a kind of Predicate BinaryRelation documentation BinaryRelations map instances of a Class to instances of another Class. BinaryRelations are represented as slots in frame systems has axiom `(=> (and (instance ?REL RelationExtendedToQuantities) (instance ?REL BinaryRelation) (instance ?NUMBER1 RealNumber) (instance ?NUMBER2 RealNumber) (holds ?REL ?NUMBER1 ?NUMBER2)) (forall (?UNIT) (=> (instance ?UNIT UnitOfMeasure) (holds ?REL (MeasureFn ?NUMBER1 ?UNIT) (MeasureFn ?NUMBER2 ?UNIT)))))` has axiom `(=> (and (inverse ?REL1 ?REL2) (instance ?REL1 BinaryRelation) (instance ?REL2 BinaryRelation)) (forall (?INST1 ?INST2) (<=> (holds ?REL1 ?INST1 ?INST2) (holds ?REL2 ?INST2 ?INST1))))` is a kind of Relation is first domain of DomainFn is first domain of equivalenceRelationOn is first domain of inverse is first domain of irreflexiveOn is first domain of partialOrderingOn is first domain of RangeFn is first domain of reflexiveOn is first domain of totalOrderingOn is first domain of trichotomizingOn is second domain of inverse BiologicallyActiveSubstance documentation A Substance that is capable of inducing a change in the structure or functioning of an Organism is a kind of Substance is partitioned into ToxicSubstance, PharmacologicSubstance, Nutrient BiologicalProcess documentation A NonintentionalProcess embodied in an Organism has axiom `(=> (instance ?PROC BiologicalProcess) (exists (?OBJ) (and (instance ?OBJ Organism) (located ?PROC ?OBJ))))` is a kind of NonintentionalProcess BiologicalProperty documentation Attributes that apply specifically to instances of Organism or parts of an Organism has axiom `(=> (and (attribute ?ORG ?ATT) (instance ?ATT BiologicalProperty)) (instance ?ORG Organism))` is a kind of Attribute Bird documentation A Vertebrate having a constant body temperature and characterized by the presence of feathers is a kind of WarmBloodedVertebrate is disjoint from Mammal Birth documentation The Process of being born has axiom `(=> (birthTime ?ORGANISM ?TIME) (holdsDuring ?TIME (exists (?BIRTH) (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?ORGANISM)))))` has axiom `(=> (instance ?ORGANISM Organism) (exists (?BIRTH) (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?ORGANISM))))` is a kind of OrganismProcess birthTime documentation A BinaryPredicate that specifies, at any level of resolution, the TimePosition at which a particular Organism was born has axiom `(=> (and (birthTime ?ORGANISM ?TIME1) (deathTime ?ORGANISM ?TIME2) (instance ?TIME1 TimeInterval) (instance ?TIME2 TimeInterval)) (exists (?INTERVAL) (and (starts ?TIME1 ?INTERVAL) (finishes ?TIME2 ?INTERVAL) (holdsDuring ?INTERVAL (attribute ?ORGANISM Living)))))` has axiom `(=> (and (birthTime ?ORGANISM ?TIME1) (deathTime ?ORGANISM ?TIME2) (instance ?TIME1 TimePoint) (instance ?TIME2 TimePoint)) (exists (?INTERVAL) (and (equal (BeginFn ?INTERVAL) ?TIME1) (equal (EndFn ?INTERVAL) ?TIME2) (holdsDuring ?INTERVAL (attribute ?ORGANISM Living)))))` has axiom `(=> (birthTime ?ORGANISM ?TIME) (holdsDuring (ImmediateFutureFn ?TIME) (attribute ?ORGANISM Living)))` has axiom `(=> (birthTime ?ORGANISM ?TIME) (holdsDuring ?TIME (exists (?BIRTH) (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?ORGANISM)))))` has axiom `(=> (instance ?ORGANISM Organism) (exists (?TIME1 ?TIME2) (and (birthTime ?ORGANISM ?TIME1) (deathTime ?ORGANISM ?TIME2))))` has domain1 Organism has domain2 TimePosition is an instance of AsymmetricRelation is an instance of BinaryPredicate Bit documentation One Bit of information. A one or a zero has axiom `(equal (MeasureFn ?NUMBER Byte) (MeasureFn (MultiplicationFn ?NUMBER 8) Bit))` is an instance of InformationMeasure is an instance of UnitOfMeasure Bitter documentation The Attribute of Objects that are bitter-tasting is an instance of TasteProperty Blood documentation A fluid present in Animals that transports Nutrients to and waste products away from various BodyParts is a kind of BodySubstance Blue documentation The Attribute of being blue in color has contraryProperty Yellow is an instance of PrimaryColor BodyJunction documentation The place where two AnatomicalStructures meet or connect has axiom `(=> (instance ?JUNCT BodyJunction) (exists (?STRUCT) (and (instance ?STRUCT AnatomicalStructure) (component ?JUNCT ?STRUCT))))` has axiom `(=> (instance ?JUNCT BodyJunction) (exists (?STRUCT1 ?STRUCT2) (and (connected ?JUNCT ?STRUCT1) (connected ?JUNCT ?STRUCT2) (instance ?STRUCT1 AnatomicalStructure) (instance ?STRUCT2 AnatomicalStructure) (not (equal ?STRUCT1 ?STRUCT2))))) ` is a kind of BodyPart BodyMotion documentation Any Motion where the patient is a BodyPart has axiom `(=> (instance ?MOTION BodyMotion) (exists (?OBJ) (and (instance ?OBJ BodyPart) (patient ?MOTION ?OBJ))))` is a kind of Motion BodyPart documentation A collection of Cells and Tissues which are localized to a specific area and carry out one or more specialized functions of an Organism. The instances of this Class range from gross structures to small components of complex Organs has axiom `(=> (instance ?PART BodyPart) (exists (?CELL) (and (instance ?CELL Cell) (part ?CELL ?PART))))` has axiom `(=> (instance ?MOTION BodyMotion) (exists (?OBJ) (and (instance ?OBJ BodyPart) (patient ?MOTION ?OBJ))))` is a kind of AnatomicalStructure BodySubstance documentation Extracellular material and mixtures of cells and extracellular material that are produced, excreted or accreted by the body. Included here are Substances such as saliva, dental enamel, sweat, and gastric acid is a kind of Substance Book documentation A Text that has pages and is bound is a kind of Text Borrowing documentation The subclass of Getting Processes where the agent gets something for a limited period of time with the expectation that it will be returned later (perhaps with interest) is a kind of Getting BreakabilityProperty documentation A subclass of Attributes for characterizing the breakability of CorpuscularObjects is a kind of Attribute Breathing documentation The Process of respiration, by which oxygen is made available to an Animal. This covers processes of inhalation, exhalation, and alternations between the two is a kind of OrganismProcess BritishThermalUnit documentation An EnergyMeasure has axiom `(equal (MeasureFn ?NUMBER BritishThermalUnit) (MeasureFn (MultiplicationFn ?NUMBER 1055.05585262) Joule))` is an instance of EnergyMeasure is an instance of UnitOfMeasure Building documentation The Class of StationaryArtifacts which are intended to house Humans and their Activities has axiom `(=> (instance ?BUILDING Building) (exists (?HUMAN) (and (instance ?HUMAN Human) (or (inhabits ?HUMAN ?BUILDING) (exists (?ACT) (and (agent ?ACT ?HUMAN) (located ?ACT ?BUILDING)))))))` is a kind of StationaryArtifact Buying documentation A FinancialTransaction in which an instance of CurrencyMeasure is exchanged for an instance of Physical has axiom `(<=> (and (instance ?BUY Buying) (agent ?BUY ?AGENT1) (origin ?BUY ?AGENT2) (patient ?BUY ?OBJECT)) (and (instance ?SELL Selling) (agent ?SELL ?AGENT2) (destination ?SELL ?AGENT1) (patient ?SELL ?OBJECT)))` has relatedInternalConcept Selling is a kind of FinancialTransaction Byte documentation One Byte of information. A Byte is eight Bits has axiom `(equal (MeasureFn ?NUMBER Byte) (MeasureFn (MultiplicationFn ?NUMBER 8) Bit))` has axiom `(equal (MeasureFn ?NUMBER KiloByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) Byte))` is an instance of InformationMeasure is an instance of UnitOfMeasure Calorie documentation A Calorie is an EnergyMeasure has axiom `(equal (MeasureFn ?NUMBER Calorie) (MeasureFn (MultiplicationFn ?NUMBER 4.1868) Joule))` is an instance of EnergyMeasure is an instance of UnitOfMeasure Candela documentation SI LuminosityIntensityMeasure. Symbol: cd. It is one of the base units in SI, and it is currently defined as follows: the Candela is the luminous intensity, in a given direction, of a source that emits monochromatic radiation of frequency 540*10^12 Hertz and that has a radiant intensity in that direction of 1/683 Watt per Steradian is an instance of LuminosityIntensityMeasure is an instance of SystemeInternationalUnit capability documentation (capability ?PROCESS ?ROLE ?OBJ) means that ?OBJ has the ability to play the role of ?ROLE in Processes of type ?PROCESS has axiom `(=> (holdsObligation ?PROCESS ?AGENT) (capability ?PROCESS agent ?AGENT))` has axiom `(=> (holdsRight ?PROCESS ?AGENT) (capability ?PROCESS agent ?AGENT))` has axiom `(=> (and (instance ?ROLE CaseRole) (holds ?ROLE ?ARG1 ?ARG2) (instance ?ARG1 ?PROC)) (capability ?PROC ?ROLE ?ARG2))` has axiom `(=> (hasSkill ?PROC ?AGENT) (capability ?PROC agent ?AGENT))` has domain1 Process has domain2 CaseRole has domain3 Object is an instance of TernaryPredicate CapacitanceMeasure is a kind of FunctionQuantity CardinalityFn documentation (CardinalityFn ?CLASS) returns the number of instances in the Class or Collection ?CLASS has axiom `(=> (and (instance ?COUNT Counting) (agent ?COUNT ?AGENT) (patient ?COUNT ?ENTITY)) (exists (?NUMBER) (knows ?AGENT (equal (CardinalityFn ?ENTITY)))))` has axiom `(=> (instance ?SET FiniteSet) (exists (?NUMBER) (and (instance ?NUMBER NonnegativeInteger) (equal ?NUMBER (CardinalityFn ?SET)))))` has domain1 (UnionFn Class Collection) has domain2 NonnegativeInteger is an instance of AsymmetricRelation is an instance of UnaryFunction CaseRole documentation The Class of Predicates relating the spatially distinguished parts of a Process. CaseRoles include, for example, the agent, patient or destination of an action, the flammable substance in a burning process, or the water that falls in rain has axiom `(=> (and (instance ?REL CaseRole) (holds ?REL ?PROCESS ?OBJ)) (exists (?TIME) (overlapsSpatially (WhereFn ?PROCESS ?TIME) ?OBJ)))` has axiom `(=> (and (instance ?ROLE CaseRole) (holds ?ROLE ?ARG1 ?ARG2) (instance ?ARG1 ?PROC)) (capability ?PROC ?ROLE ?ARG2))` is a kind of AsymmetricRelation is a kind of BinaryPredicate is second domain of capability causes documentation The causation relation between situations or propositions. (causes ?PROCESS1 ?PROCESS2) means that the state of affairs expressed by ?PROCESS1 brings about the state of affairs expressed by ?PROCESS2 has axiom `(=> (instance ?PROC1 Process) (exists (?PROC2) (causes ?PROC2 ?PROC1))) ` has domain1 Process has domain2 Process is an instance of AsymmetricRelation is an instance of BinaryPredicate CeilingFn documentation (CeilingFn ?NUMBER) returns the smallest Integer greater than or equal to the RealNumber ?NUMBER has axiom `(=> (equal (CeilingFn ?NUMBER) ?INT) (not (exists (?OTHERINT) (and (instance ?OTHERINT Integer) (greaterThanOrEqualTo ?OTHERINT ?NUMBER) (lessThan ?OTHERINT ?INT)))))` has axiom `(=> (equal (RoundFn ?NUMBER1) ?NUMBER2) (or (=> (lessThan (SubtractionFn ?NUMBER1 (FloorFn ?NUMBER1)) .5) (equal ?NUMBER2 (FloorFn ?NUMBER1))) (=> (greaterThanOrEqualTo (SubtractionFn ?NUMBER1 (FloorFn ?NUMBER1)) .5) (equal ?NUMBER2 (CeilingFn ?NUMBER1)))))` has domain1 RealNumber has range Integer is an instance of UnaryFunction Cell documentation The fundamental structural and functional unit of living Organisms has axiom `(=> (and (instance ?VIRUS Virus) (instance ?PROC Replication) (effector ?PROC ?VIRUS)) (exists (?CELL) (and (located ?PROC ?CELL) (instance ?CELL Cell))))` has axiom `(=> (instance ?ANIMAL Animal) (exists (?CELL ?WALL) (and (component ?CELL ?ANIMAL) (instance ?CELL Cell) (component ?WALL ?CELL) (instance ?WALL CellWallNonRigid))))` has axiom `(=> (instance ?CHLAMYD Chlamydia) (exists (?CELL ?ANIMAL) (and (inhabits ?CHLAMYD ?CELL) (instance ?CELL Cell) (component ?CELL ?ANIMAL) (or (instance ?ANIMAL Insect) (instance ?ANIMAL Tick)))))` has axiom `(=> (and (instance ?CELL Cell) (developmentalForm ?CELL ?FORM)) (instance ?FORM Cell))` has axiom `(=> (instance ?PART BodyPart) (exists (?CELL) (and (instance ?CELL Cell) (part ?CELL ?PART))))` has axiom `(=> (instance ?STUFF Tissue) (exists (?PART) (and (instance ?PART Cell) (part ?PART ?STUFF))))` has axiom `(=> (instance ?WALL CellWall) (exists (?CELL) (and (instance ?CELL Cell) (part ?WALL ?CELL))))` has axiom `(=> (instance ?BACTERIUM Bacterium) (exists (?CELL1) (and (component ?CELL1 ?BACTERIUM) (instance ?CELL1 Cell) (forall (?CELL2) (=> (and (component ?CELL2 ?BACTERIUM) (instance ?CELL2 Cell)) (equal ?CELL1 ?CELL2))))))` is a kind of BodyPart CellWall documentation The permeable wall that encloses the Cells of most Organisms has axiom `(=> (instance ?WALL CellWall) (exists (?CELL) (and (instance ?CELL Cell) (part ?WALL ?CELL))))` is a kind of BodyPart CellWallNonRigid documentation A type of CellWall found in Animals has axiom `(=> (instance ?ANIMAL Animal) (exists (?CELL ?WALL) (and (component ?CELL ?ANIMAL) (instance ?CELL Cell) (component ?WALL ?CELL) (instance ?WALL CellWallNonRigid))))` is a kind of CellWall is disjoint from CellWallRigid CellWallRigid documentation A type of CellWall found in Plants has axiom `(=> (instance ?FUNGUS Fungus) (exists (?WALL) (and (component ?WALL ?FUNGUS) (instance ?WALL CellWallRigid))))` is a kind of CellWall Celsius documentation A ThermodynamicTemperatureMeasure. Kelvin differs from the Celsius scale in that the triple point of water is defined to be 273.16 degrees Kelvin while it is 0 degrees Celsius. The boiling point of water is 100 degrees Celsius. The magnitudes of intervals in the two scales are the same. By definition the conversion constant is 273.1 has axiom `(equal (MeasureFn ?NUMBER Celsius) (MeasureFn (SubtractionFn ?NUMBER 273.15) Kelvin))` is an instance of SystemeInternationalUnit is an instance of ThermodynamicTemperatureMeasure Centimeter documentation Submultiple of Meter. Symbol: cm. It is the 100th part of a Mete has axiom `(equal (MeasureFn ?NUMBER Centimeter) (MeasureFn (MultiplicationFn ?NUMBER 0.01) Meter))` is an instance of LengthMeasure is an instance of UnitOfMeasure CentUnitedStates documentation A CurrencyMeasure. 1 US cent = 10^-2 US dollars has axiom `(equal (MeasureFn ?NUMBER CentUnitedStates) (MeasureFn (MultiplicationFn ?NUMBER .01) DollarUnitedStates))` is an instance of CurrencyMeasure is an instance of UnitOfMeasure ChangeOfPossession documentation The Class of Processes where ownership of something is transferred from one Agent to another has axiom `(=> (and (instance ?CHANGE ChangeOfPossession) (patient ?CHANGE ?OBJ) (holdsDuring (ImmediatePastFn (WhenFn ?CHANGE)) (possesses ?AGENT1 ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?CHANGE)) (possesses ?AGENT2 ?OBJ))) (not (equal ?AGENT1 ?AGENT2)))` has relatedInternalConcept possesses is a kind of SocialInteraction Character documentation The smallest unit of a writing system or any other representational system has axiom `(=> (instance ?STRING SymbolicString) (exists (?PART) (and (part ?PART ?STRING) (instance ?PART Character)))) ` is a kind of LinguisticExpression Chlamydia documentation An Organism which is intermediate in size and complexity between a Virus and a Bacterium and which is parasitic within the cells of Insects and Ticks has axiom `(=> (and (instance ?CHLAMYD Chlamydia) (inhabits ?CHLAMYD ?OBJ)) (instance ?OBJ Organism))` has axiom `(=> (instance ?CHLAMYD Chlamydia) (exists (?CELL ?ANIMAL) (and (inhabits ?CHLAMYD ?CELL) (instance ?CELL Cell) (component ?CELL ?ANIMAL) (or (instance ?ANIMAL Insect) (instance ?ANIMAL Tick)))))` is a kind of Microorganism citizen documentation (citizen ?PERSON ?NATION) means that the Human ?PERSON is a citizen of Nation ?NATION has domain1 Human has domain2 Nation is an instance of AsymmetricRelation is an instance of BinaryPredicate Class documentation Class generalizes Set. Classes, like Sets, are collections of things. Accordingly, the notion of membership is generalized as well - a member of a Class is an instance the Class. Classes can differ from Sets in two important respects. First, Classes that are not explicitly identified as Sets are not assumed to be extensional. That is, distinct Classes might well have exactly the same instances. Second, Classes typically have an associated `condition' that determines the instances of the Class. So, for example, the condition `human' determines the Class of Humans. Note that some Classes might satisfy their own condition (e.g., the Class of Abstract things is Abstract) and hence be instances of themselves has axiom `(<=> (instance ?CLASS Class) (subclass ?CLASS Entity))` has axiom `(forall (?INT) (domain disjointDecomposition ?INT Class))` has axiom `(forall (?INT) (domain exhaustiveDecomposition ?INT Class))` is a kind of Abstract is first domain of AbstractionFn is first domain of ComplementFn is first domain of disjoint is first domain of disjointDecomposition is first domain of exhaustiveDecomposition is first domain of GeneralizedIntersectionFn is first domain of GeneralizedUnionFn is first domain of IntersectionFn is first domain of RelativeComplementFn is first domain of subclass is first domain of UnionFn is second domain of closedOn is second domain of disjoint is second domain of equivalenceRelationOn is second domain of instance is second domain of IntersectionFn is second domain of irreflexiveOn is second domain of partialOrderingOn is second domain of range is second domain of rangeSubclass is second domain of reflexiveOn is second domain of RelativeComplementFn is second domain of subclass is second domain of totalOrderingOn is second domain of trichotomizingOn is second domain of UnionFn is third domain of domain is third domain of domainSubclass Cleaning documentation The Class of Processes where undesirable Substances and/or Microorganisms are removed from an Object is a kind of Removing closedOn documentation A BinaryFunction is closed on a Class if it is defined for all instances of the Class and its value is always an instance of the Class has axiom `(=> (and (closedOn ?FUNCTION ?CLASS) (instance ?FUNCTION BinaryFunction)) (forall (?INST1 ?INST2) (=> (and (instance ?INST1 ?CLASS) (instance ?INST2 ?CLASS)) (instance (AssignmentFn ?FUNCTION ?INST1 ?INST2) ?CLASS))))` has axiom `(=> (and (closedOn ?FUNCTION ?CLASS) (instance ?FUNCTION UnaryFunction)) (forall (?INST) (=> (instance ?INST ?CLASS) (instance (AssignmentFn ?FUNCTION ?INST) ?CLASS))))` has domain1 Function has domain2 Class is an instance of AsymmetricRelation is an instance of BinaryPredicate Closing documentation The Class of Processes where an aperture is closed in an Object is a kind of Process CognitiveAgent documentation A SentientAgent with responsibilities and the ability to reason, deliberate, make plans, etc. This is essentially the legal/ethical notion of a person. Note that, although Human is a subclass of CognitiveAgent, there may be instances of CognitiveAgent which are not also instances of Human. For example, chimpanzees, gorillas, dolphins, whales, and some extraterrestrials (if they exist) may be CognitiveAgents has axiom `(=> (and (instance ?LEARN Learning) (agent ?LEARN ?AGENT)) (instance ?AGENT CognitiveAgent))` has axiom `(=> (and (instance ?PROC IntentionalProcess) (agent ?PROC ?AGENT)) (and (instance ?AGENT CognitiveAgent) (exists (?PURP) (hasPurposeForAgent ?PROC ?PURP ?AGENT))))` has axiom `(=> (instance ?PROC IntentionalProcess) (exists (?AGENT) (and (instance ?AGENT CognitiveAgent) (agent ?PROC ?AGENT))))` is a kind of SentientAgent is first domain of occupiesPosition is second domain of employs ColdBloodedVertebrate documentation Vertebrates whose body temperature is not internally regulated is a kind of Vertebrate Collection documentation Collections have members like Classes, but, unlike Classes, they have a position in space-time and members can be added and subtracted without thereby changing the identity of the Collection. Some examples are toolkits, football teams, and flocks of sheep has axiom `(=> (instance ?COLL Collection) (exists (?OBJ) (member ?OBJ ?COLL)))` is a kind of Object is first domain of subCollection is second domain of member is second domain of subCollection Coloring documentation The subclass of SurfaceAlteration where a ColorProperty of the patient is altered has axiom `(=> (and (instance ?COLORING Coloring) (patient ?COLORING ?OBJ)) (exists (?PROPERTY) (and (holdsDuring (ImmediatePastFn (WhenFn ?COLORING)) (attribute ?OBJ ?PROPERTY)) (holdsDuring (ImmediateFutureFn (WhenFn ?COLORING)) (not (attribute ?OBJ ?PROPERTY)))))) ` is a kind of SurfaceAlteration ColorProperty documentation The Class of Attributes relating to the color of Objects has axiom `(=> (attribute ?OBJ Polychromatic) (exists (?PART1 ?PART2 ?COLOR1 ?COLOR2) (and (superficialPart ?PART1 ?OBJ) (superficialPart ?PART2 ?OBJ) (attribute ?PART1 ?COLOR1) (attribute ?PART2 ?COLOR2) (instance ?COLOR1 ColorProperty) (instance ?COLOR2 ColorProperty) (not (equal ?COLOR1 ?COLOR2)))))` is a kind of Attribute Combining documentation A Process where two or more things are combined into a single thing is a kind of Process Committing documentation Instances of this Class commit the sender to some future course. Example: Bob promised Susan that he would be home by 11pm is a kind of Communication Communication documentation A SocialInteraction that involves the transfer of information between two Agents via a ContentBearingObject has axiom `(=> (instance ?ACTION Communication) (exists (?OBJ) (and (instance ?OBJ ContentBearingObject) (patient ?ACTION ?OBJ))))` is a kind of Process is a kind of SocialInteraction CommutativeFunction documentation A BinaryFunction is commutative if the ordering of the arguments of the function has no effect on the value returned by the function. More precisely, a function ?FUNCTION is commutative just in case (?FUNCTION ?INST1 ?INST2) is equal to (?FUNCTION ?INST2 ?INST1), for all ?INST1 and ?INST2 has axiom `(=> (instance ?FUNCTION CommutativeFunction) (forall (?INST1 ?INST2) (=> (and (instance ?INST1 (DomainFn ?FUNCTION)) (instance ?INST2 (DomainFn ?FUNCTION))) (equal (AssignmentFn ?FUNCTION ?INST1 ?INST2) (AssignmentFn ?FUNCTION ?INST2 ?INST1)))))` is a kind of BinaryFunction Comparing documentation The Class of MentalProcesses which involve comparing, relating, contrasting, etc. the properties of two or more Entities is a kind of MentalProcess Competition documentation A Process where the agent and patient are Agents who are trying to defeat one another. The Agents need not be CognitiveAgents. For example, the struggle of plants for space or sunlight, or of bacteria for food resources in some environment would be instances of Competition is a kind of Process CompetitionProperty documentation A Class containing all of the Attributes that are specific to participants in a Competition. Some of these Attributes are winning, losing, won, lost, struggling, etc is a kind of Attribute ComplementFn documentation The complement of a given Class C is the Class of all things that are not instances of C. In other words, an object is an instance of the complement of a Class C just in case it is not an instance of C has axiom `(<=> (instance ?ENTITY (ComplementFn ?CLASS)) (not (instance ?ENTITY ?CLASS)))` has axiom `(equal (RelativeComplementFn ?CLASS1 ?CLASS2) (IntersectionFn ?CLASS1 (ComplementFn ?CLASS2)))` has axiom `(equal NullSet (ComplementFn Entity))` has domain1 Class has range Class is an instance of UnaryFunction completelyFills documentation (completelyFills ?OBJ ?HOLE) means that the Hole ?HOLE fills some part of the Object ?OBJ. Note that if (completelyFills ?OBJ1 ?HOLE) and (part ?OBJ1 ?OBJ2), then (completelyFills ?OBJ2 ?HOLE) has axiom `(=> (and (fills ?OBJ ?HOLE1) (properPart ?HOLE2 ?HOLE1)) (completelyFills ?OBJ ?HOLE2))` has axiom `(=> (completelyFills ?OBJ1 ?HOLE) (exists (?OBJ2) (and (part ?OBJ2 ?OBJ1) (fills ?OBJ2 ?HOLE))))` has axiom `(=> (partiallyFills ?OBJ ?HOLE1) (exists (?HOLE2) (and (part ?HOLE2 ?HOLE1) (completelyFills ?OBJ ?HOLE2))))` has axiom `(=> (completelyFills ?OBJ1 ?HOLE) (forall (?OBJ2) (=> (connected ?OBJ2 ?HOLE) (connected ?OBJ2 ?OBJ1))))` ComplexNumber documentation A Number that consists of two components: a RealNumber and the ImaginaryNumber has axiom `(=> (instance ?NUMBER ComplexNumber) (exists (?PART1 ?PART2) (and (equal ?PART1 (RealNumberFn ?NUMBER)) (equal ?PART2 (ImaginaryPartFn ?NUMBER)))))` is a kind of Number is disjoint from RealNumber is first domain of ImaginaryPartFn component documentation A specialized common sense notion of part for heterogeneous parts of complexes. (component ?COMPONENT ?WHOLE) means that ?COMPONENT is a component of ?WHOLE. Examples of component include the doors and walls of a house, the states or provinces of a country, or the limbs and organs of an animal. Compare material and piece, which are also subrelations of part has axiom `(=> (instance ?ANIMAL Animal) (exists (?CELL ?WALL) (and (component ?CELL ?ANIMAL) (instance ?CELL Cell) (component ?WALL ?CELL) (instance ?WALL CellWallNonRigid))))` has axiom `(=> (instance ?CHLAMYD Chlamydia) (exists (?CELL ?ANIMAL) (and (inhabits ?CHLAMYD ?CELL) (instance ?CELL Cell) (component ?CELL ?ANIMAL) (or (instance ?ANIMAL Insect) (instance ?ANIMAL Tick)))))` has axiom `(=> (instance ?FUNGUS Fungus) (exists (?WALL) (and (component ?WALL ?FUNGUS) (instance ?WALL CellWallRigid))))` has axiom `(=> (instance ?VERT Vertebrate) (exists (?SPINE) (and (component ?SPINE ?VERT) (instance ?SPINE SpinalColumn))))` has axiom `(=> (instance ?JUNCT BodyJunction) (exists (?STRUCT) (and (instance ?STRUCT AnatomicalStructure) (component ?JUNCT ?STRUCT))))` has axiom `(=> (instance ?ATOM Atom) (exists (?PROTON ?ELECTRON) (and (component ?PROTON ?ATOM) (component ?ELECTRON ?ATOM) (instance ?PROTON Proton) (instance ?ELECTRON Electron))))` has axiom `(=> (instance ?ATOM Atom) (forall (?NUCLEUS1 ?NUCLEUS2) (=> (and (component ?NUCLEUS1 ?ATOM) (component ?NUCLEUS2 ?ATOM) (instance ?NUCLEUS1 AtomicNucleus) (instance ?NUCLEUS2 AtomicNucleus)) (equal ?NUCLEUS1 ?NUCLEUS2))))` has axiom `(=> (instance ?BACTERIUM Bacterium) (exists (?CELL1) (and (component ?CELL1 ?BACTERIUM) (instance ?CELL1 Cell) (forall (?CELL2) (=> (and (component ?CELL2 ?BACTERIUM) (instance ?CELL2 Cell)) (equal ?CELL1 ?CELL2))))))` has axiom `(=> (instance ?COMP EngineeringComponent) (exists (?DEVICE) (and (instance ?DEVICE Device) (component ?COMP ?DEVICE))))` has axiom `(=> (instance ?NUCLEUS AtomicNucleus) (exists (?NEUTRON ?PROTON) (and (component ?NEUTRON ?NUCLEUS) (component ?PROTON ?NUCLEUS) (instance ?NEUTRON Neutron) (instance ?PROTON Proton))))` has axiom `(=> (instance ?VIRUS Virus) (exists (?MOL1) (and (component ?MOL1 ?VIRUS) (instance ?MOL1 Molecule) (forall (?MOL2) (=> (and (component ?MOL2 ?VIRUS) (instance ?MOL2 Molecule)) (equal ?MOL1 ?MOL2))))))` has domain1 CorpuscularObject has domain2 CorpuscularObject ComputerProgram documentation A set of instructions in a computer programming language that can be executed by a computer is a kind of Procedure Concealing documentation The Class of Processes where something is moved out of view has axiom `(=> (and (instance ?COVER Covering) (patient ?COVER ?OBJ)) (exists (?CONCEAL ?PART) (and (instance ?CONCEAL Concealing) (subProcess ?CONCEAL ?COVER) (part ?PART ?OBJ) (patient ?CONCEAL ?PART))))` is a kind of IntentionalProcess Confining documentation The Class of Securing Processes where the patient is Human and is kept against his/her will. This covers imprisonment, being jailed, held in custody, etc is a kind of RegulatoryProcess is a kind of Securing connected documentation (connected ?OBJ1 ?OBJ2) means that ?OBJ1 meetsSpatially ?OBJ2 or that ?OBJ1 overlapsSpatially ?OBJ2 has axiom `(<=> (instance ?OBJ SelfConnectedObject) (forall (?PART1 ?PART2) (=> (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2)) (connected ?PART1 ?PART2))))` has axiom `(<=> (connects ?OBJ1 ?OBJ2 ?OBJ3) (and (connected ?OBJ1 ?OBJ2) (connected ?OBJ1 ?OBJ3) (not (connected ?OBJ2 ?OBJ3))))` has axiom `(=> (and (properlyFills ?OBJ1 ?HOLE) (connected ?OBJ2 ?OBJ1)) (connected ?HOLE ?OBJ2))` has axiom `(=> (hole ?HOLE ?OBJ) (connected ?HOLE ?OBJ))` has axiom `(=> (completelyFills ?OBJ1 ?HOLE) (forall (?OBJ2) (=> (connected ?OBJ2 ?HOLE) (connected ?OBJ2 ?OBJ1))))` has axiom `(=> (connected ?OBJ1 ?OBJ2) (or (meetsSpatially ?OBJ1 ?OBJ2) (overlapsSpatially ?OBJ1 ?OBJ2)))` has axiom `(=> (instance ?JUNCT BodyJunction) (exists (?STRUCT1 ?STRUCT2) (and (connected ?JUNCT ?STRUCT1) (connected ?JUNCT ?STRUCT2) (instance ?STRUCT1 AnatomicalStructure) (instance ?STRUCT2 AnatomicalStructure) (not (equal ?STRUCT1 ?STRUCT2))))) ` has axiom `(=> (above ?OBJ1 ?OBJ2) (not (connected ?OBJ1 ?OBJ2)))` has axiom `(=> (adjacent ?OBJ1 ?OBJ2) (or (near ?OBJ1 ?OBJ2) (connected ?OBJ1 ?OBJ2)))` has axiom `(=> (and (instance ?IMPACT Impacting) (instrument ?IMPACT ?INST) (patient ?IMPACT ?PLACE)) (holdsDuring (WhenFn ?IMPACT) (connected ?INST ?PLACE)))` has axiom `(=> (and (instance ?TOUCH Touching) (agent ?TOUCH ?AGENT) (patient ?TOUCH ?OBJ)) (holdsDuring (WhenFn ?TOUCH) (connected ?AGENT ?OBJ)))` has axiom `(=> (below ?OBJ1 ?OBJ2) (not (connected ?OBJ1 ?OBJ2)))` has axiom `(=> (crosses ?OBJ1 ?OBJ2) (not (connected ?OBJ1 ?OBJ2)))` has domain1 Object has domain2 Object is an instance of BinaryPredicate is an instance of ReflexiveRelation is an instance of SpatialRelation is an instance of SymmetricRelation connectedEngineeringComponents documentation This is the most general connection relation between EngineeringComponents. If (connectedEngineeringComponents ?COMP1 ?COMP2), then neither ?COMP1 nor ?COMP2 can be an engineeringSubcomponent of the other. The relation connectedEngineeringComponents is a SymmetricRelation; there is no information in the direction of connection between two components. It is also an IrreflexiveRelation; no EngineeringComponent bears this relation to itself. Note that this relation does not associate a name or type with the connection has axiom `(<=> (connectedEngineeringComponents ?COMP1 ?COMP2) (exists (?CONNECTION) (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2))) ` has axiom `(=> (connectedEngineeringComponents ?COMP1 ?COMP2) (not (or (instance ?COMP1 EngineeringConnection) (instance ?COMP2 EngineeringConnection))))` has axiom `(=> (connectedEngineeringComponents ?COMP1 ?COMP2) (and (not (engineeringSubcomponent ?COMP1 ?COMP2)) (not (engineeringSubcomponent ?COMP2 ?COMP1))))` has domain1 EngineeringComponent has domain2 EngineeringComponent is an instance of IrreflexiveRelation is an instance of SymmetricRelation connects documentation The relationship between three things, when one of the three things connects the other two. More formally, (connects ?OBJ1 ?OBJ2 ?OBJ3) means that (connected ?OBJ1 ?OBJ2) and (connected ?OBJ1 ?OBJ3) and not (connected ?OBJ2 ?OBJ3) has axiom `(<=> (connects ?OBJ1 ?OBJ2 ?OBJ3) (and (connected ?OBJ1 ?OBJ2) (connected ?OBJ1 ?OBJ3) (not (connected ?OBJ2 ?OBJ3))))` has axiom `(=> (and (along ?OBJ1 ?OBJ2) (along ?OBJ3 ?OBJ2)) (connects ?OBJ2 ?OBJ1 ?OBJ3))` has axiom `(=> (and (instance ?POKE Poking) (agent ?POKE ?AGENT) (patient ?POKE ?OBJ) (instrument ?POKE ?INST)) (holdsDuring (WhenFn ?POKE) (connects ?INST ?AGENT ?OBJ)))` has domain1 Object has domain2 Object has domain3 Object is an instance of SpatialRelation is an instance of TernaryPredicate connectsEngineeringComponents documentation connectsEngineeringComponents is a TernaryPredicate that maps from an EngineeringConnection to the EngineeringComponents it connects. Since EngineeringComponents cannot be connected to themselves and there cannot be an EngineeringConnection without a connectedEngineeringComponents Predicate, the second and third arguments of any connectsEngineeringComponents relationship will always be distinct for any given first argument has axiom `(<=> (connectedEngineeringComponents ?COMP1 ?COMP2) (exists (?CONNECTION) (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2))) ` has axiom `(=> (instance ?CONNECTION EngineeringConnection) (exists (?COMP1 ?COMP2) (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))` has domain1 EngineeringConnection has domain2 EngineeringComponent has domain3 EngineeringComponent ConsciousnessProperty documentation Attributes that indicate whether an Organism is conscious has axiom `(=> (instance ?PROPERTY ConsciousnessProperty) (=> (holdsDuring ?TIME (attribute ?ORGANISM ?PROPERTY)) (holdsDuring ?TIME (attribute ?ORGANISM Living))))` is a kind of BiologicalProperty considers documentation (considers ?AGENT ?FORMULA) means that ?AGENT considers or wonders about the truth of the proposition expressed by ?FORMULA has domain1 Agent has domain2 Formula is an instance of PropositionalAttitude ConstantQuantity documentation A ConstantQuantity is a PhysicalQuantity which has a constant value, e.g. 3 meters and 5 hours. The magnitude (see MagnitudeFn) of every ConstantQuantity is a RealNumber. ConstantQuantities are distinguished from FunctionQuantities, which map ConstantQuantities to other ConstantQuantities. All ConstantQuantites are expressed with the BinaryFunction MeasureFn, which takes a Number and a UnitOfMeasure as arguments. For example, 3 Meters can be expressed as (MeasureFn 3 Meter). ConstantQuantities form a partial order (see PartialOrderingRelation) with the lessThan relation, since lessThan is a RelationExtendedToQuantities and lessThan is defined over the RealNumbers. The lessThan relation is not a total order (see TotalOrderingRelation) over the class ConstantQuantity since elements of some subclasses of ConstantQuantity (such as length quantities) are incomparable to elements of other subclasses of ConstantQuantity (such as mass quantities) has axiom `(=> (instance ?FUNCTION UnaryConstantFunctionQuantity) (and (domain ?FUNCTION 1 ConstantQuantity) (range ?FUNCTION ConstantQuantity)))` is a kind of PhysicalQuantity is first domain of MagnitudeFn is second domain of measure Constructing documentation The subclass of Making in which a StationaryArtifact is built has axiom `(<=> (exists (?BUILD) (and (instance ?BUILD Constructing) (result ?BUILD ?ARTIFACT))) (instance ?ARTIFACT StationaryArtifact))` is a kind of Making contains documentation Limits, bounds, confines, encloses or circumscribes - the surrounding relation for Objects. (contains ?OBJ1 ?OBJ2) means that the interior of ?OBJ1 wholly surrounds ?OBJ2 has axiom `(=> (contains ?OBJ1 ?OBJ2) (forall (?PART2) (=> (part ?PART2 ?OBJ2) (exists (?PART1) (and (interiorPart ?PART1 ?OBJ1) (exactlyLocated ?PART2 ?PART1))))))` is an instance of AsymmetricRelation is an instance of TransitiveRelation containsInformation documentation A subrelation of represents. This predicate relates a ContentBearingObject to the Proposition that is expressed by the ContentBearingObject. Examples include the relationships between a physical novel and its story and between a printed score and its musical content has axiom `(<=> (subsumesContentClass ?CLASS1 ?CLASS2) (forall (?INFO ?OBJ1 ?OBJ2) (=> (and (instance ?OBJ1 ?CLASS1) (instance ?OBJ2 ?CLASS2) (containsInformation ?OBJ1 ?INFO)) (containsInformation ?OBJ2 ?INFO))))` has axiom `(<=> (subsumesContentInstance ?OBJ1 ?OBJ2) (forall (?INFO) (=> (containsInformation ?OBJ1 ?INFO) (containsInformation ?OBJ2 ?INFO))))` has axiom `(=> (and (instance ?PLAN Plan) (instance ?OBJ ContentBearingObject) (containsInformation ?OBJ ?PLAN)) (exists (?PLANNING) (and (instance ?PLANNING Planning) (result ?PLANNING ?OBJ))))` has axiom `(=> (instance ?SENTENCE Sentence) (exists (?PROP) (and (instance ?PROP Proposition) (containsInformation ?SENTENCE ?PROP))))` has axiom `(=> (and (instance ?DECODE Decoding) (patient ?DECODE ?DOC1)) (exists (?ENCODE ?DOC2) (and (containsInformation ?DOC2 ?PROP) (containsInformation ?DOC1 ?PROP) (holdsDuring ?TIME (and (temporalPart ?TIME (PastFn (WhenFn ?DECODE))) (instance ?ENCODE Encoding) (patient ?ENCODE ?DOC2))))))` has axiom `(=> (realization ?PROCESS ?PROP) (exists (?OBJ) (and (instance ?OBJ ContentBearingObject) (containsInformation ?OBJ ?PROP))))` has axiom `(=> (subPlan ?PLAN1 ?PLAN2) (forall (?OBJ1 ?OBJ2) (=> (and (containsInformation ?OBJ1 ?PLAN1) (containsInformation ?OBJ2 ?PLAN2)) (subsumesContentInstance ?OBJ2 ?OBJ1))))` has domain1 ContentBearingObject has domain2 Proposition is an instance of AsymmetricRelation is an instance of BinaryPredicate ContentBearingObject documentation Any Object that expresses information has axiom `(=> (and (instance ?PLAN Plan) (instance ?OBJ ContentBearingObject) (containsInformation ?OBJ ?PLAN)) (exists (?PLANNING) (and (instance ?PLANNING Planning) (result ?PLANNING ?OBJ))))` has axiom `(=> (instance ?ACTION Communication) (exists (?OBJ) (and (instance ?OBJ ContentBearingObject) (patient ?ACTION ?OBJ))))` has axiom `(=> (realization ?PROCESS ?PROP) (exists (?OBJ) (and (instance ?OBJ ContentBearingObject) (containsInformation ?OBJ ?PROP))))` has relatedInternalConcept containsInformation is a kind of Object is first domain of containsInformation is first domain of equivalentContentClass is first domain of equivalentContentInstance is first domain of subsumesContentClass is first domain of subsumesContentInstance is second domain of equivalentContentClass is second domain of equivalentContentInstance is second domain of subsumesContentClass is second domain of subsumesContentInstance ContentDevelopment documentation A subclass of IntentionalProcess in which content is transcribed or created anew is a kind of IntentionalProcess Contest documentation A Competition in which the Agents are CognitiveAgents. More specifically, the Agents are aware at some level that there is a prize at stake in the Competition has axiom `(=> (instance ?CONTEST Contest) (exists (?AGENT1 ?AGENT2 ?PURP1 ?PURP2) (and (agent ?CONTEST ?AGENT1) (agent ?CONTEST ?AGENT2) (hasPurposeForAgent ?CONTEST ?PURP1 ?AGENT1) (hasPurposeForAgent ?CONTEST ?PURP2 ?AGENT2) (not (equal ?AGENT1 ?AGENT2)) (not (equal ?PURP1 ?PURP2)))))` has axiom `(=> (instance ?MOVE Maneuver) (exists (?CONTEST) (and (instance ?CONTEST Contest) (subProcess ?MOVE ?CONTEST))))` is a kind of Competition is a kind of SocialInteraction ContinuousFunction documentation Functions which are continuous. This concept is taken as primitive until representations for limits are devised is a kind of Function Contract documentation A Promise where something is promised in return, i.e. a reciprocal promise is a kind of Promise contraryProperty documentation Means that the two arguments are properties that are opposed to one another, e.g. Pliable versus Rigid has axiom `(=> (and (attribute ?OBJ ?ATTR1) (contraryProperty ?ATTR1 ?ATTR2)) (not (attribute ?OBJ ?ATTR2)))` has domain1 Attribute has domain2 Attribute is an instance of BinaryPredicate is an instance of IrreflexiveRelation is an instance of SymmetricRelation is an instance of TransitiveRelation cooccur documentation (cooccur ?THING1 ?THING2) means that the Object or Process ?THING1 occurs at the same time as, together with, or jointly with the Object or Process ?THING2. This covers the following temporal relations: is co-incident with, is concurrent with, is contemporaneous with, and is concomitant with has axiom `(<=> (cooccur ?PHYS1 ?PHYS2) (equal (WhenFn ?PHYS1) (WhenFn ?PHYS2))) ` has domain1 Physical has domain2 Physical is an instance of BinaryPredicate is an instance of EquivalenceRelation is an instance of TemporalRelation Cooking documentation The Making of an instance of Food is a kind of Making Cooperation documentation The subclass of SocialInteraction where the participants involved work together for the achievement of a common goal has axiom `(=> (instance ?COOPERATE Cooperation) (exists (?PURP) (forall (?AGENT) (=> (agent ?COOPERATE ?AGENT) (hasPurposeForAgent ?COOPERATE ?PURP ?AGENT)))))` is a kind of SocialInteraction copy documentation relates an Object to an exact copy of the Object, where an exact copy is indistinguishable from the original with regard to every property except (possibly) spatial and/or temporal location has axiom `(=> (copy ?OBJ1 ?OBJ2) (forall (?ATTR) (=> (attribute ?OBJ1 ?ATTR) (attribute ?OBJ2 ?ATTR))))` has domain1 Object has domain2 Object is an instance of BinaryPredicate is an instance of EquivalenceRelation Corporation documentation An Organization that provides products and/or services for a fee with the aim of making a profit is a kind of Organization CorpuscularObject documentation A SelfConnectedObject whose parts have properties that are not shared by the whole has axiom `(=> (instance ?OBJ CorpuscularObject) (exists (?SUBSTANCETYPE1 ?SUBSTANCETYPE2 ?SUBSTANCE1 ?SUBSTANCE2) (and (subclass ?SUBSTANCETYPE1 Substance) (subclass ?SUBSTANCETYPE2 Substance) (instance ?SUBSTANCE1 ?SUBSTANCETYPE1) (instance ?SUBSTANCE2 ?SUBSTANCETYPE2) (material ?SUBSTANCE1 ?OBJ) (material ?SUBSTANCE2 ?OBJ) (not (equal ?SUBSTANCE1 ?SUBSTANCE2)))))` is a kind of SelfConnectedObject is disjoint from Substance is first domain of component is second domain of component is second domain of material CosineFn documentation (CosineFn ?DEGREE) returns the cosine of the PlaneAngleMeasure ?DEGREE. The cosine of ?DEGREE is the ratio of the side next to ?DEGREE to the hypotenuse in a right-angled triangle has axiom `(equal (TangentFn ?DEGREE) (DivisionFn (SineFn ?DEGREE) (CosineFn ?DEGREE)))` has domain1 PlaneAngleMeasure has range RealNumber is an instance of UnaryFunction CoulombFn documentation SI ElectricChargeMeasure. Symbol: C. It is the quantity of electric charge transported through a cross section of a conductor in an electric circuit during each SecondDuration by a current of 1 Ampere. Coulomb = s*A has domain1 SecondDuration has range Ampere is an instance of ElectricChargeMeasure is an instance of SystemeInternationalUnit Counting documentation The Class of MentalProcesses that involve enumerating the instances of a Class or the members of a Collection has axiom `(=> (and (instance ?COUNT Counting) (agent ?COUNT ?AGENT) (patient ?COUNT ?ENTITY)) (exists (?NUMBER) (knows ?AGENT (equal (CardinalityFn ?ENTITY)))))` is a kind of MentalProcess Covering documentation The Class of Processes where the agent covers the patient, either completely or only partially, with something else has axiom `(=> (and (instance ?COVER Covering) (patient ?COVER ?OBJ)) (exists (?CONCEAL ?PART) (and (instance ?CONCEAL Concealing) (subProcess ?CONCEAL ?COVER) (part ?PART ?OBJ) (patient ?CONCEAL ?PART))))` is a kind of Process Creation documentation The subclass of Process in which something is created. Note that the thing created is specified with the result CaseRole has axiom `(<=> (instance ?PROCESS Creation) (exists (?PATIENT) (and (patient ?PROCESS ?PATIENT) (existant ?PATIENT (ImmediateFutureFn(WhenFn ?PROCESS))) (not (existant ?PATIENT (ImmediatePastFn (WhenFn ?PROCESS)))))))` has axiom `(=> (instance ?ACTION Creation) (exists (?RESULT) (result ?ACTION ?RESULT)))` is a kind of Process crosses documentation (crosses ?OBJ1 ?OBJ2) means that Object ?OBJ1 traverses Object ?OBJ2, without being connected to it has axiom `(=> (crosses ?OBJ1 ?OBJ2) (not (connected ?OBJ1 ?OBJ2)))` has axiom `(=> (traverses ?OBJ1 ?OBJ2) (or (crosses ?OBJ1 ?OBJ2) (penetrates ?OBJ1 ?OBJ2)))` is an instance of AsymmetricRelation is an instance of TransitiveRelation Cup documentation English unit of volume equal to 1/2 of a Pint has axiom `(equal (MeasureFn ?NUMBER Cup) (MeasureFn (DivisionFn ?NUMBER 2) Pint))` has axiom `(equal (MeasureFn ?NUMBER Ounce) (MeasureFn (DivisionFn ?NUMBER 8) Cup)) ` is an instance of UnitOfMeasure is an instance of VolumeMeasure CurrencyMeasure is a kind of ConstantQuantity is second domain of monetaryValue Cutting documentation The subclass of Detaching Processes which involve a relatively sharp instrument has axiom `(=> (and (instance ?ACT Surgery) (patient ?ACT ?ANIMAL)) (exists (?SUBACT) (and (instance ?SUBACT Cutting) (instance ?ANIMAL Animal) (patient ?ANIMAL ?CUTTING) (subProcess ?SUBACT ?ACT))))` is a kind of Detaching Damaging documentation The Class of Processes where the agent brings about a situation where the patient no longer functions normally or as intended has axiom `(<=> (instance ?INJ Injuring) (and (instance ?INJ Damaging) (patient ?INJ Organism)))` is a kind of Process Damp documentation An Attribute which indicates that the associated Object contains a relatively large amount of Water has axiom `(=> (and (instance ?WET Wetting) (patient ?WET ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?WET)) (or (attribute ?OBJ Wet) (attribute ?OBJ Damp))))` is an instance of SaturationProperty Dancing documentation Any BodyMotion of Humans which is deliberately coordinated with music is a kind of BodyMotion date documentation A BinaryPredicate that specifies a TimePosition in absolute calendar time, at the resolution of one day, for a particular Object or Process has arg2 valence singleValued has domain1 Physical has domain2 Day is an instance of AsymmetricRelation is an instance of BinaryPredicate Day documentation The Class of all calendar Days has axiom `(=> (instance (DayFn ?NUMBER ?MONTH) Day) (lessThanOrEqualTo ?NUMBER 31)) ` has axiom `(=> (instance ?DAY Day) (duration ?DAY DayDuration))` has relatedInternalConcept DayDuration has relatedInternalConcept DayFn is a kind of TimeInterval is second domain of date is second domain of HourFn DayDuration documentation Time unit. 1 day = 24 hours has axiom `(=> (instance ?DAY Day) (duration ?DAY DayDuration))` has axiom `(equal (MeasureFn ?NUMBER DayDuration) (MeasureFn (MultiplicationFn ?NUMBER 24) HourDuration))` has axiom `(equal (MeasureFn ?NUMBER YearDuration) (MeasureFn (MultiplicationFn ?NUMBER 365) DayDuration))` is an instance of TimeDuration is an instance of UnitOfMeasure DayFn documentation A BinaryFunction that maps a number and a Month to the corresponding Day of the Month. For example, (DayFn 18 (MonthFn 8 (YearFn 1912))) denotes the 18th day of August 1912 has axiom `(=> (instance (DayFn ?NUMBER ?MONTH) Day) (lessThanOrEqualTo ?NUMBER 31)) ` has domain1 PositiveInteger has domain2 Month has range Day is an instance of BinaryFunction is an instance of TemporalRelation Dead documentation This Attribute applies to Organisms that are not alive has axiom `(=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (ImmediatePastFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (ImmediateFutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead))))` has axiom `(=> (deathTime ?ORGANISM ?TIME) (holdsDuring (FutureFn ?TIME) (attribute ?ORGANISM Dead)))` has contraryProperty Living is an instance of AnimacyProperty Death documentation The Process of dying has axiom `(=> (deathTime ?ORGANISM ?TIME) (holdsDuring ?TIME (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?ORGANISM)))))` has axiom `(=> (instance ?ORGANISM Organism) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?ORGANISM))))` is a kind of OrganismProcess deathTime documentation A BinaryPredicate that specifies, at any level of resolution, the TimePosition at which a particular Organism died has axiom `(=> (and (birthTime ?ORGANISM ?TIME1) (deathTime ?ORGANISM ?TIME2) (instance ?TIME1 TimeInterval) (instance ?TIME2 TimeInterval)) (exists (?INTERVAL) (and (starts ?TIME1 ?INTERVAL) (finishes ?TIME2 ?INTERVAL) (holdsDuring ?INTERVAL (attribute ?ORGANISM Living)))))` has axiom `(=> (and (birthTime ?ORGANISM ?TIME1) (deathTime ?ORGANISM ?TIME2) (instance ?TIME1 TimePoint) (instance ?TIME2 TimePoint)) (exists (?INTERVAL) (and (equal (BeginFn ?INTERVAL) ?TIME1) (equal (EndFn ?INTERVAL) ?TIME2) (holdsDuring ?INTERVAL (attribute ?ORGANISM Living)))))` has axiom `(=> (deathTime ?ORGANISM ?TIME) (holdsDuring (FutureFn ?TIME) (attribute ?ORGANISM Dead)))` has axiom `(=> (deathTime ?ORGANISM ?TIME) (holdsDuring ?TIME (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?ORGANISM)))))` has axiom `(=> (instance ?ORGANISM Organism) (exists (?TIME1 ?TIME2) (and (birthTime ?ORGANISM ?TIME1) (deathTime ?ORGANISM ?TIME2))))` has domain1 Organism has domain2 TimePosition is an instance of AsymmetricRelation is an instance of BinaryPredicate Declaring documentation The Class of Communications that effect an institutional alteration when performed by competent authority. Some examples are nominating, marrying, and excommunicating is a kind of Communication Decoding documentation Converting a document or message that has previously been encoded (see Encoding) into a Language that can be understood by a relatively large number of speakers has axiom `(=> (and (instance ?DECODE Decoding) (patient ?DECODE ?DOC1)) (exists (?ENCODE ?DOC2) (and (containsInformation ?DOC2 ?PROP) (containsInformation ?DOC1 ?PROP) (holdsDuring ?TIME (and (temporalPart ?TIME (PastFn (WhenFn ?DECODE))) (instance ?ENCODE Encoding) (patient ?ENCODE ?DOC2))))))` is a kind of Writing is disjoint from Encoding Decorating documentation The act of modifying or embellishing something with the aim of making it more aesthetically pleasing has relatedInternalConcept SurfaceAlteration is a kind of IntentionalProcess Decreasing has axiom `(=> (and (instance ?DECREASE Decreasing) (patient ?DECREASE ?OBJ)) (exists (?UNIT ?QUANT1 ?QUANT2) (and (holdsDuring (ImmediatePastFn (WhenFn ?DECREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT1)) (holdsDuring (ImmediateFutureFn (WhenFn ?DECREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT2)) (lessThan ?QUANT2 ?QUANT1)))) ` has relatedInternalConcept Removing is a kind of Process Deducing documentation The Class of Learning Processes which involve concluding, on the basis of either deductive or inductive evidence, that a particular Proposition or Sentence is true is a kind of Learning DenominatorFn documentation (DenominatorFn ?NUMBER) returns the denominator of the canonical reduced form of the RealNumber ?NUMBER has domain1 RealNumber has range Integer is an instance of UnaryFunction DensityFn documentation A very general FunctionQuantity. DensityFn maps an instance of MassMeasure and an instance of VolumeMeasure to the density represented by this combination of mass and volume. For example, (DensityFn (MeasureFn 3 Kilogram) (MeasureFn 1 Liter)) represents the density of 3 kilograms per liter has domain1 MassMeasure has domain2 VolumeMeasure has range DensityMeasure is an instance of BinaryFunction is an instance of DensityMeasure DensityMeasure is a kind of FunctionQuantity desires documentation (desires ?AGENT ?FORMULA) means that ?AGENT wants to bring about the state of affairs expressed by ?FORMULA. Note that desires is distinguished from wants only in that the former is a PropositionalAttitude, while wants is an ObjectAttitude has domain1 Agent has domain2 Formula has relatedInternalConcept wants is an instance of PropositionalAttitude destination documentation (destination ?PROCESS ?GOAL) means that ?GOAL is the target or goal of the Process ?PROCESS. For example, Danbury would be the destination in the following proposition: Bob went to Danbury. Note that this is a very general CaseRole and, in particular, that it covers the concepts of 'recipient' and 'beneficiary'. Thus, John would be the destination in the following proposition: Tom gave a book to John has axiom `(<=> (and (instance ?BUY Buying) (agent ?BUY ?AGENT1) (origin ?BUY ?AGENT2) (patient ?BUY ?OBJECT)) (and (instance ?SELL Selling) (agent ?SELL ?AGENT2) (destination ?SELL ?AGENT1) (patient ?SELL ?OBJECT)))` has axiom `(=> (and (instance ?GET Getting) (agent ?GET ?AGENT1) (origin ?GET ?AGENT2) (instance ?AGENT2 Agent) (patient ?GET ?OBJ)) (exists (?GIVE) (and (instance ?GIVE Giving) (agent ?GIVE ?AGENT2) (destination ?GIVE ?AGENT1) (patient ?GIVE ?OBJ))))` has axiom `(=> (and (instance ?GIVE Giving) (agent ?GIVE ?AGENT1) (destination ?GIVE ?AGENT2) (instance ?AGENT2 Agent) (patient ?GIVE ?OBJ)) (and (holdsDuring (ImmediatePastFn (WhenFn ?GIVE)) (possesses ?AGENT1 ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?GIVE)) (possesses ?AGENT2 ?OBJ))))` has axiom `(=> (and (instance ?MOTION Motion) (patient ?MOTION ?OBJ) (destination ?MOTION ?PLACE)) (holdsDuring (ImmediateFutureFn (WhenFn ?MOTION)) (located ?OBJ ?PLACE)))` has axiom `(=> (and (instance ?PUT Putting) (destination ?PUT ?PLACE) (patient ?PUT ?OBJ)) (and (holdsDuring (ImmediatePastFn (WhenFn ?PUT)) (not (located ?OBJ ?PLACE))) (holdsDuring (ImmediateFutureFn (WhenFn ?PUT)) (located ?OBJ ?PLACE))))` has axiom `(=> (and (path ?PROCESS ?PATH) (origin ?PROCESS ?SOURCE) (destination ?PROCESS ?DEST)) (forall (?OBJ) (=> (part ?OBJ ?PATH) (between ?SOURCE ?OBJ ?DEST))))` has axiom `(=> (instance ?SUB Substituting) (exists (?PUT ?REMOVE ?OBJ1 ?OBJ2 ?PLACE) (and (instance ?PUT Putting) (instance ?REMOVE Removing) (subProcess ?PUT ?SUB) (subProcess ?REMOVE ?SUB) (patient ?REMOVE ?OBJ1) (origin ?REMOVE ?PLACE) (patient ?PUT ?OBJ2) (destination ?PUT PLACE) (not (equal ?OBJ1 ?OBJ2)))))` has axiom `(=> (instance ?TRANS Transaction) (exists (?AGENT1 ?AGENT2 ?GIVE1 ?GIVE2 ?OBJ1 ?OBJ2) (and (instance ?GIVE1 Giving) (instance ?GIVE2 Giving) (subProcess ?GIVE1 ?TRANS) (subProcess ?GIVE2 ?TRANS) (agent ?GIVE1 ?AGENT1) (agent ?GIVE2 ?AGENT2) (patient ?GIVE1 ?OBJ1) (patient ?GIVE2 ?OBJ2) (destination ?GIVE1 ?AGENT2) (destination ?GIVE2 ?AGENT1) (not (equal ?AGENT1 ?AGENT2)) (not (equal ?OBJ1 ?OBJ2)))))` has domain1 Process has domain2 Entity is an instance of CaseRole Destruction documentation The subclass of Process in which the patient (or an essential element of the patient) is destroyed has axiom `(<=> (instance ?PROCESS Destruction) (exists (?PATIENT) (and (patient ?PROCESS ?PATIENT) (existant ?PATIENT (ImmediatePastFn(WhenFn ?PROCESS))) (not (existant ?PATIENT (ImmediateFutureFn (WhenFn ?PROCESS)))))))` is a kind of Process Detaching documentation A Process where the agent detaches one thing from something else. Note that this is different from Removing in that neither of the two things which are detached may be removed from the location where it was attached is a kind of Process developmentalForm documentation (developmentalForm ?OBJECT ?FORM) means that ?FORM is an earlier stage in the individual maturation of ?OBJECT. For example, tadpole and caterpillar are developmentalForms of frogs and butterflies, respectively has axiom `(=> (and (instance ?CELL Cell) (developmentalForm ?CELL ?FORM)) (instance ?FORM Cell))` has axiom `(=> (instance ?STRUCT EmbryonicStructure) (exists (?THING) (and (developmentalForm ?THING ?STRUCT) (or (instance ?THING Organism) (instance ?THING AnatomicalStructure)))))` has domain1 Organism has domain2 Organism is an instance of AsymmetricRelation is an instance of BinaryPredicate is an instance of TransitiveRelation DevelopmentalProperty documentation Attributes that indicate the stage of development of an Organism is a kind of BiologicalProperty Device documentation A Device is an Artifact whose purpose is to serve as an instrument in a specific type of task has axiom `(=> (instance ?COMP EngineeringComponent) (exists (?DEVICE) (and (instance ?DEVICE Device) (component ?COMP ?DEVICE))))` has axiom `(=> (instance ?DEVICE Device) (exists (?PROC) (and (instance ?PROC Process) (instrument ?PROC ?DEVICE))))` has axiom `(=> (instance ?ELEMENT EngineeringElement) (exists (?DEVICE) (and (instance ?DEVICE Device) (part ?ELEMENT ?DEVICE))))` is a kind of Artifact DiagnosticProcess documentation A Process that is carried out for the purpose of determining the nature of a DiseaseOrSyndrome is a kind of IntentionalProcess diameter documentation BinaryPredicate that is used to state the measure of a circular Object from side to side Directing documentation Instances of this Class urge some further action among the receivers. Example: The 5th Battalion requested air support from the 3rd Bomber Group is a kind of Communication direction documentation (direction ?PROC ?ATTR) means that the Process ?PROC is moving in the direction ?ATTR. For example, one would use this Predicate to represent the fact that Max is moving North has axiom `(=> (holdsDuring ?TIME (direction ?PROC ?ATTR1)) (forall (?ATTR2) (=> (holdsDuring ?TIME (direction ?PROC ?ATTR2)) (equal ?ATTR2 ?ATTR1))))` has domain1 Process has domain2 DirectionAttribute is an instance of CaseRole DirectionAttribute documentation Attributes characterizing the orientation of an Object, e.g. Vertical versus Horizontal, the compass directions, etc has axiom `(=> (instance ?PROC DirectionChange) (exists (?ATTR) (and (instance ?ATTR DirectionAttribute) (or (and (holdsDuring (ImmediatePastFn (WhenFn ?PROC)) (attribute ?PROC ?ATTR)) (holdsDuring (ImmediateFutureFn (WhenFn ?PROC)) (not (attribute ?PROC ?ATTR)))) (and (holdsDuring (ImmediateFutureFn (WhenFn ?PROC)) (attribute ?PROC ?ATTR)) (holdsDuring (ImmediatePastFn (WhenFn ?PROC)) (not (attribute ?PROC ?ATTR))))))))` is a kind of Attribute is second domain of direction is third domain of orientation DirectionChange documentation The act of changing the direction in which the patient of the act is oriented has axiom `(=> (instance ?PROC DirectionChange) (exists (?ATTR) (and (instance ?ATTR DirectionAttribute) (or (and (holdsDuring (ImmediatePastFn (WhenFn ?PROC)) (attribute ?PROC ?ATTR)) (holdsDuring (ImmediateFutureFn (WhenFn ?PROC)) (not (attribute ?PROC ?ATTR)))) (and (holdsDuring (ImmediateFutureFn (WhenFn ?PROC)) (attribute ?PROC ?ATTR)) (holdsDuring (ImmediatePastFn (WhenFn ?PROC)) (not (attribute ?PROC ?ATTR))))))))` is a kind of Motion DiseaseOrSyndrome documentation A PathologicProcess which alters or interferes with a normal process, state or activity of an Organism. It is usually characterized by the abnormal functioning of one or more of the host's systems, parts, or Organs is a kind of PathologicProcess disjoint documentation Classes are disjoint only if they share no instances, i.e. just in case the result of applying IntersectionFn to them is empty has axiom `(=> (disjoint ?CLASS1 ?CLASS2) (forall (?INST) (not (and (instance ?INST ?CLASS1) (instance ?INST ?CLASS2)))))` has axiom `(=> (disjointDecomposition ?CLASS1 ?CLASS2 ?CLASS3 ?CLASS4 ?CLASS5) (and (subclass ?CLASS2 ?CLASS1) (subclass ?CLASS3 ?CLASS1) (subclass ?CLASS4 ?CLASS1) (subclass ?CLASS5 ?CLASS1) (disjoint ?CLASS2 ?CLASS3) (disjoint ?CLASS3 ?CLASS4) (disjoint ?CLASS2 ?CLASS4) (disjoint ?CLASS5 ?CLASS4) (disjoint ?CLASS5 ?CLASS3) (disjoint ?CLASS5 ?CLASS2)))` has axiom `(=> (disjointDecomposition ?CLASS1 ?CLASS2 ?CLASS3 ?CLASS4) (and (subclass ?CLASS2 ?CLASS1) (subclass ?CLASS3 ?CLASS1) (subclass ?CLASS4 ?CLASS1) (disjoint ?CLASS2 ?CLASS3) (disjoint ?CLASS3 ?CLASS4) (disjoint ?CLASS2 ?CLASS4)))` has axiom `(=> (disjointDecomposition ?CLASS1 ?CLASS2 ?CLASS3) (and (subclass ?CLASS2 ?CLASS1) (subclass ?CLASS3 ?CLASS1) (disjoint ?CLASS2 ?CLASS3)))` has axiom `(=> (instance ?SUPERCLASS PairwiseDisjointClass) (forall (?CLASS1 ?CLASS2) (=> (and (instance ?CLASS1 ?SUPERCLASS) (instance ?CLASS2 ?SUPERCLASS)) (or (equal ?CLASS1 ?CLASS2) (disjoint ?CLASS1 ?CLASS2)))))` has domain1 Class has domain2 Class is an instance of BinaryPredicate is an instance of SymmetricRelation disjointDecomposition documentation A disjointDecomposition of a Class C is a set of subclasses of C that are mutually disjoint has axiom `(=> (disjointDecomposition ?CLASS1 ?CLASS2 ?CLASS3 ?CLASS4 ?CLASS5) (and (subclass ?CLASS2 ?CLASS1) (subclass ?CLASS3 ?CLASS1) (subclass ?CLASS4 ?CLASS1) (subclass ?CLASS5 ?CLASS1) (disjoint ?CLASS2 ?CLASS3) (disjoint ?CLASS3 ?CLASS4) (disjoint ?CLASS2 ?CLASS4) (disjoint ?CLASS5 ?CLASS4) (disjoint ?CLASS5 ?CLASS3) (disjoint ?CLASS5 ?CLASS2)))` has axiom `(=> (disjointDecomposition ?CLASS1 ?CLASS2 ?CLASS3 ?CLASS4) (and (subclass ?CLASS2 ?CLASS1) (subclass ?CLASS3 ?CLASS1) (subclass ?CLASS4 ?CLASS1) (disjoint ?CLASS2 ?CLASS3) (disjoint ?CLASS3 ?CLASS4) (disjoint ?CLASS2 ?CLASS4)))` has axiom `(=> (disjointDecomposition ?CLASS1 ?CLASS2 ?CLASS3) (and (subclass ?CLASS2 ?CLASS1) (subclass ?CLASS3 ?CLASS1) (disjoint ?CLASS2 ?CLASS3)))` has axiom `(forall (?INT) (domain disjointDecomposition ?INT Class))` has domain1 Class has relatedInternalConcept disjoint has relatedInternalConcept exhaustiveDecomposition is an instance of Predicate is an instance of VariableArityRelation distance documentation (distance ?OBJ1 ?OBJ2 ?QUANT) means that the shortest distance between the two objects ?OBJ1 and ?OBJ2 is ?QUANT has arg3 valence singleValued has domain1 Physical has domain2 Physical has domain3 LengthMeasure is an instance of SpatialRelation is an instance of TernaryPredicate distributes documentation A BinaryFunction ?FUNCTION1 is distributive over another BinaryFunction ?FUNCTION2 just in case (?FUNCTION1 ?INST1 (?FUNCTION2 ?INST2 ?INST3)) is equal to (?FUNCTION2 (?FUNCTION1 ?INST1 ?INST2) (?FUNCTION1 ?INST1 ?INST3)), for all ?INST1, ?INST2, and ?INST3 has axiom `(=> (distributes ?FUNCTION1 ?FUNCTION2) (forall (?INST1 ?INST2 ?INST3) (=> (and (instance ?INST1 (DomainFn ?FUNCTION1)) (instance ?INST2 (DomainFn ?FUNCTION1)) (instance ?INST3 (DomainFn ?FUNCTION1)) (instance ?INST1 (DomainFn ?FUNCTION2)) (instance ?INST2 (DomainFn ?FUNCTION2)) (instance ?INST3 (DomainFn ?FUNCTION2))) (equal (AssignmentFn ?FUNCTION1 ?INST1 (AssignmentFn ?FUNCTION2 ?INST2 ?INST3)) (AssignmentFn ?FUNCTION2 (AssignmentFn ?FUNCTION1 ?INST1 ?INST2) (AssignmentFn ?FUNCTION1 ?INST1 ?INST3))))))` has domain1 BinaryFunction has domain2 BinaryFunction is an instance of BinaryPredicate is an instance of BinaryRelation DivisionFn documentation If ?NUMBER1 and ?NUMBER2 are Numbers, then (DivisionFn ?NUMBER1 ?NUMBER2) is the result of dividing ?NUMBER1 by ?NUMBER2. An exception occurs when ?NUMBER1 = 1, in which case (DivisionFn ?NUMBER1 ?NUMBER2) is the reciprocal of ?NUMBER2 has axiom `(<=> (equal (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER) (equal (AdditionFn (MultiplicationFn (FloorFn (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))` has axiom `(=> (instance ?NUMBER RationalNumber) (exists (?INT1 ?INT2) (and (instance ?INT1 Integer) (instance ?INT2 Integer) (equal ?NUMBER (DivisionFn ?INT1 ?INT2)))))` has axiom `(equal (TangentFn ?DEGREE) (DivisionFn (SineFn ?DEGREE) (CosineFn ?DEGREE)))` has axiom `(equal (MeasureFn ?NUMBER AngularDegree) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn Pi 180)) Radian))` has axiom `(equal (MeasureFn ?NUMBER Cup) (MeasureFn (DivisionFn ?NUMBER 2) Pint))` has axiom `(equal (MeasureFn ?NUMBER Ounce) (MeasureFn (DivisionFn ?NUMBER 8) Cup)) ` has axiom `(equal (MeasureFn ?NUMBER Pint) (MeasureFn (DivisionFn ?NUMBER 2) Quart)) ` has axiom `(equal (MeasureFn ?NUMBER Quart) (MeasureFn (DivisionFn ?NUMBER 4) UnitedStatesGallon)) ` has domain1 Quantity has domain2 Quantity has identityElement 1 has range Quantity is an instance of AssociativeFunction is an instance of RelationExtendedToQuantities Docile documentation The Attribute of having a docile disposition is an instance of TraitProperty documentation documentation A relation between objects in the domain of discourse and strings of natural language text. The domain of documentation is not constants (names), but the objects themselves. This means that one does not quote the names when associating them with their documentation has domain1 Entity has domain2 SymbolicString is an instance of AsymmetricRelation is an instance of BinaryPredicate DollarUnitedStates documentation A CurrencyMeasure has axiom `(equal (MeasureFn ?NUMBER CentUnitedStates) (MeasureFn (MultiplicationFn ?NUMBER .01) DollarUnitedStates))` is an instance of CurrencyMeasure is an instance of UnitOfMeasure domain documentation Provides a computationally and heuristically convenient mechanism for declaring the argument types of a given relation. The formula (domain ?REL 3 ?CLASS) says that the 3rd element of each tuple in the relation ?REL is an instance of ?CLASS. Specifying argument types is very helpful in maintaining ontologies. Representation systems can use these specifications to classify terms and check integrity constraints. If the restriction on the argument type of a Relation is not captured by a Class already defined in the ontology, one can specify a Class compositionally with the functions UnionFn, IntersectionFn, etc has axiom `(=> (domain ?REL 1 ?CLASS) (forall (?INST1 ?INST2 ?INST3) (=> (holds ?REL ?INST1 ?INST2 ?INST3) (instance ?INST1 ?CLASS))))` has axiom `(=> (domain ?REL 1 ?CLASS) (forall (?INST1 ?INST2) (=> (holds ?REL ?INST1 ?INST2) (instance ?INST1 ?CLASS))))` has axiom `(=> (domain ?REL 2 ?CLASS) (forall (?INST1 ?INST2 ?INST3) (=> (holds ?REL ?INST1 ?INST2 ?INST3) (instance ?INST2 ?CLASS))))` has axiom `(=> (domain ?REL 2 ?CLASS) (forall (?INST1 ?INST2) (=> (holds ?REL ?INST1 ?INST2) (instance ?INST2 ?CLASS))))` has axiom `(=> (domain ?REL 3 ?CLASS) (forall (?INST1 ?INST2 ?INST3) (=> (holds ?REL ?INST1 ?INST2 ?INST3) (instance ?INST3 ?CLASS))))` has axiom `(=> (and (subrelation ?PRED1 ?PRED2) (domain ?PRED2 ?NUMBER ?CLASS2) (domain ?PRED1 ?NUMBER ?CLASS1)) (subclass ?CLASS1 ?CLASS2))` has axiom `(=> (instance ?FUNCTION TimeDependentQuantity) (domain ?FUNCTION 1 TimeMeasure))` has axiom `(=> (instance ?FUNCTION UnaryConstantFunctionQuantity) (and (domain ?FUNCTION 1 ConstantQuantity) (range ?FUNCTION ConstantQuantity)))` has axiom `(forall (?INT) (domain disjointDecomposition ?INT Class))` has axiom `(forall (?INT) (domain exhaustiveDecomposition ?INT Class))` has domain1 Relation has domain2 PositiveInteger has domain3 Class is an instance of TernaryPredicate DomainFn documentation The domain of a BinaryRelation ?REL is the Class of all things that bear ?REL to something has axiom `(<=> (instance ?FUN OneToOneFunction) (forall (?ARG1 ?ARG2) (=> (and (instance ?ARG1 (DomainFn ?FUN)) (instance ?ARG2 (DomainFn ?FUN)) (not (equal ?ARG1 ?ARG2))) (not (equal (AssignmentFn ?FUN ?ARG1) (AssignmentFn ?FUN ?ARG2))))))` has axiom `(<=> (instance ?INST1 (DomainFn ?REL)) (exists (?INST2) (holds ?REL ?INST1 ?INST2)))` has axiom `(=> (distributes ?FUNCTION1 ?FUNCTION2) (forall (?INST1 ?INST2 ?INST3) (=> (and (instance ?INST1 (DomainFn ?FUNCTION1)) (instance ?INST2 (DomainFn ?FUNCTION1)) (instance ?INST3 (DomainFn ?FUNCTION1)) (instance ?INST1 (DomainFn ?FUNCTION2)) (instance ?INST2 (DomainFn ?FUNCTION2)) (instance ?INST3 (DomainFn ?FUNCTION2))) (equal (AssignmentFn ?FUNCTION1 ?INST1 (AssignmentFn ?FUNCTION2 ?INST2 ?INST3)) (AssignmentFn ?FUNCTION2 (AssignmentFn ?FUNCTION1 ?INST1 ?INST2) (AssignmentFn ?FUNCTION1 ?INST1 ?INST3))))))` has axiom `(=> (identityElement ?FUNCTION ?ID) (forall (?INST) (=> (instance ?INST (DomainFn ?FUNCTION)) (equal (AssignmentFn ?FUNCTION ?ID ?INST) ?INST))))` has axiom `(=> (instance ?FUNCTION AssociativeFunction) (forall (?INST1 ?INST2 ?INST3) (=> (and (instance ?INST1 (DomainFn ?FUNCTION)) (instance ?INST2 (DomainFn ?FUNCTION)) (instance ?INST3 (DomainFn ?FUNCTION))) (equal (AssignmentFn ?FUNCTION ?INST1 (AssignmentFn ?FUNCTION ?INST1 ?INST2)) (AssignmentFn ?FUNCTION (AssignmentFn ?FUNCTION ?INST1 ?INST2) ?INST3)))))` has axiom `(=> (instance ?FUNCTION CommutativeFunction) (forall (?INST1 ?INST2) (=> (and (instance ?INST1 (DomainFn ?FUNCTION)) (instance ?INST2 (DomainFn ?FUNCTION))) (equal (AssignmentFn ?FUNCTION ?INST1 ?INST2) (AssignmentFn ?FUNCTION ?INST2 ?INST1)))))` has domain1 BinaryRelation has range Class is an instance of UnaryFunction domainSubclass documentation Predicate used to specify argument type restrictions of Predicates. The formula (domainSubclass ?REL 3 ?CLASS) says that the 3rd element of each tuple in the relation ?REL is a subclass of ?CLASS has axiom `(=> (domainSubclass ?REL 1 ?CLASS) (forall (?INST1 ?INST2 ?INST3) (=> (holds ?REL ?INST1 ?INST2 ?INST3) (subclass ?INST1 ?CLASS))))` has axiom `(=> (domainSubclass ?REL 1 ?CLASS) (forall (?INST1 ?INST2) (=> (holds ?REL ?INST1 ?INST2) (subclass ?INST1 ?CLASS))))` has axiom `(=> (domainSubclass ?REL 2 ?CLASS) (forall (?INST1 ?INST2 ?INST3) (=> (holds ?REL ?INST1 ?INST2 ?INST3) (subclass ?INST2 ?CLASS))))` has axiom `(=> (domainSubclass ?REL 2 ?CLASS) (forall (?INST1 ?INST2) (=> (holds ?REL ?INST1 ?INST2) (subclass ?INST2 ?CLASS))))` has axiom `(=> (domainSubclass ?REL 3 ?CLASS) (forall (?INST1 ?INST2 ?INST3) (=> (holds ?REL ?INST1 ?INST2 ?INST3) (subclass ?INST3 ?CLASS))))` has domain1 Relation has domain2 PositiveInteger has domain3 Class is an instance of TernaryPredicate DoseEquivalentMeasure is a kind of FunctionQuantity Dressing documentation The act of putting clothing on an Animal is a kind of Process Drinking documentation The Process by which liquid Food is incorporated into an Animal has axiom `(=> (and (instance ?ACT Drinking) (patient ?ACT ?FOOD)) (attribute ?FOOD Liquid))` is a kind of Ingesting Dry documentation An Attribute which indicates that the associated Object contains a relatively small amount of Water has axiom `(=> (and (instance ?DRY Drying) (patient ?DRY ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?DRY)) (or (attribute ?OBJ Anhydrous) (attribute ?OBJ Dry))))` has contraryProperty Damp is an instance of SaturationProperty Drying documentation The Class of Processes where water is removed from an Object has axiom `(=> (and (instance ?DRY Drying) (patient ?DRY ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?DRY)) (or (attribute ?OBJ Anhydrous) (attribute ?OBJ Dry))))` is a kind of Process duration documentation (duration ?POS ?TIME) means that the duration of the TimePosition ?POS is ?TIME. Note that this Predicate can be used in conjunction with the Function WhenFn to specify the duration of any instance of Physical has axiom `(=> (frequency ?PROC ?TIME1) (forall (?TIME2) (=> (duration ?TIME2 ?TIME1) (exists (?POINT) (and (temporalPart ?POINT ?TIME2) (holdsDuring ?POINT (exists (?INST) (instance ?INST ?PROC))))))))` has axiom `(=> (instance ?DAY Day) (duration ?DAY DayDuration))` has axiom `(=> (instance ?HOUR Hour) (duration ?HOUR HourDuration))` has axiom `(=> (instance ?INTERVAL TimeInterval) (exists (?DURATION) (duration ?INTERVAL ?DURATION)))` has axiom `(=> (instance ?MINUTE Minute) (duration ?MINUTE MinuteDuration))` has axiom `(=> (instance ?MONTH Month) (duration ?MONTH MonthDuration))` has axiom `(=> (instance ?POINT TimePoint) (not (exists (?DURATION) (duration ?POINT ?DURATION))))` has axiom `(=> (instance ?SECOND Second) (duration ?SECOND SecondDuration))` has axiom `(=> (instance ?YEAR Year) (duration ?YEAR YearDuration))` has domain1 TimePosition has domain2 TimeDuration is an instance of AsymmetricRelation is an instance of BinaryPredicate during documentation (during ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 starts after and ends before ?INTERVAL2 has axiom `(<=> (overlapsTemporally ?INTERVAL1 ?INTERVAL2) (or (equal ?INTERVAL1 ?INTERVAL2) (during ?INTERVAL1 ?INTERVAL2) (starts ?INTERVAL1 ?INTERVAL2) (finishes ?INTERVAL1 ?INTERVAL2)))` has axiom `(=> (during ?INTERVAL1 ?INTERVAL2) (and (before (EndFn ?INTERVAL1) (EndFn ?INTERVAL2)) (before (BeginFn ?INTERVAL2) (BeginFn ?INTERVAL1))))` has axiom `(=> (subProcess ?SUBPROC ?PROC) (or (equal (WhenFn ?SUBPROC) (WhenFn ?PROC)) (during (WhenFn ?SUBPROC) (WhenFn ?PROC))))` has domain1 TimeInterval has domain2 TimeInterval is an instance of IrreflexiveRelation is an instance of TemporalRelation is an instance of TransitiveRelation earlier documentation (earlier INTERVAL1 INTERVAL2) means that INTERVAL1 ends before INTERVAL2 begins has axiom `(=> (earlier ?INTERVAL1 ?INTERVAL2) (before (EndFn ?INTERVAL1) (BeginFn ?INTERVAL2)))` has domain1 TimeInterval has domain2 TimeInterval is an instance of BinaryPredicate is an instance of IrreflexiveRelation is an instance of TemporalRelation is an instance of TransitiveRelation East documentation The compass direction of East is an instance of DirectionAttribute Eating documentation The Process by which solid Food is incorporated into an Animal has axiom `(=> (and (instance ?ACT Eating) (patient ?ACT ?FOOD)) (attribute ?FOOD Solid))` is a kind of Ingesting EducationalOrganization documentation A EducationalOrganization is an institution of learning. Some examples are public and private K-12 schools, and colleges and universities is a kind of Organization EducationalProcess documentation A Process related to the organization and provision of education has axiom `(=> (instance ?ACT EducationalProcess) (exists (?PROC) (and (instance ?PROC Learning) (subProcess ?PROC ?ACT))))` is a kind of IntentionalProcess effector documentation (effector ?ACTION ?ENTITY) means that ?ENTITY is an active determinant, either animate or inanimate, of the Process ?ACTION, with or without voluntary intention. For example, water is the effector of erosion in the following proposition: the water eroded the coastline has axiom `(=> (and (instance ?VIRUS Virus) (instance ?PROC Replication) (effector ?PROC ?VIRUS)) (exists (?CELL) (and (located ?PROC ?CELL) (instance ?CELL Cell))))` has axiom `(=> (instance ?PROCESS Process) (exists (?CAUSE) (effector ?PROCESS ?CAUSE)))` has domain1 Process has domain2 Object is an instance of CaseRole ElectricChargeMeasure is a kind of TimeDependentQuantity ElectricConductanceMeasure is a kind of FunctionQuantity ElectricCurrentMeasure is a kind of FunctionQuantity ElectricPotentialMeasure is a kind of FunctionQuantity ElectricResistanceMeasure is a kind of FunctionQuantity Electron documentation SubatomicParticles that surround the AtomicNucleus. They have a negative charge has axiom `(=> (instance ?ATOM Atom) (exists (?PROTON ?ELECTRON) (and (component ?PROTON ?ATOM) (component ?ELECTRON ?ATOM) (instance ?PROTON Proton) (instance ?ELECTRON Electron))))` is a kind of SubatomicParticle ElectronVolt documentation The ElectronVolt is an EnergyMeasure. Symbol: eV. It is the kinetic energy acquired by an electron in passing through a potential difference of 1 Volt in a vacuum has axiom `(equal (MeasureFn ?NUMBER ElectronVolt) (MeasureFn (MultiplicationFn ?NUMBER 1.60217733E-19) Joule))` is an instance of EnergyMeasure is an instance of UnitOfMeasure element documentation (element ?ENTITY ?SET) is true just in case ?ENTITY is contained in the Set ?SET. An Entity can be an element of another Entity only if the latter is a Set has axiom `(=> (subset ?SUBSET ?SET) (forall (?ELEMENT) (=> (element ?ELEMENT ?SUBSET) (element ?ELEMENT ?SET))))` has axiom `(=> (forall (?ELEMENT) (<=> (element ?ELEMENT ?SET1) (element ?ELEMENT ?SET2))) (equal ?SET1 ?SET2))` has domain1 Entity has domain2 Set is an instance of AsymmetricRelation is an instance of BinaryPredicate is an instance of IntransitiveRelation EmbryonicStructure documentation An AnatomicalStructure that exists only before the Organism is fully formed. In Mammals, for example, a structure that exists only prior to the birth of the organism. This structure may be normal or abnormal has axiom `(=> (instance ?STRUCT EmbryonicStructure) (exists (?THING) (and (developmentalForm ?THING ?STRUCT) (or (instance ?THING Organism) (instance ?THING AnatomicalStructure)))))` is a kind of AnatomicalStructure Emitting documentation Processes in which something is given off by something else is a kind of Process EmittingLight documentation The subclass of Emitting in which light is given off. Some examples include blinking, flashing, and glittering is a kind of Emitting EmittingSmell documentation The subclass of Emitting in which smells are given off. Some examples include reeking, smelling, and stinking is a kind of Emitting EmittingSound documentation The subclass of Emitting in which sound is given off. Some examples include creaking, roaring, and whistling is a kind of Emitting EmotionalState documentation The Class of Attributes that denote emotional states of Organisms (and perhaps other Agents). Note that EmotionalState is distinguished from TraitProperty in part by the fact that instances of the former are relatively transient while instances of the latter are persistent features of a creature's behavioral/psychological make-up is a kind of PsychologicalProperty is disjoint from TraitProperty employs documentation (employs ?ORG ?PERSON) means that ?ORG has hired ?PERSON and currently retains ?PERSON, on a salaried or contractual basis, to provide services in exchange for monetary compensation has axiom `(=> (occupiesPosition ?PERSON ?POSITION ?ORG) (employs ?ORG ?PERSON)) ` has axiom `(=> (employs ?ORG ?PERSON) (member ?PERSON ?ORG))` has axiom `(=> (instance ?ACT OccupationalProcess) (exists (?ORG ?EMP) (and (instance ?ORG Organization) (employs ?ORG ?EMP) (agent ?ACT ?EMP))))` has axiom `(=> (instance ?PERSON UnemployedPerson) (not (exists (?ORG) (employs ?ORG ?PERSON))))` has domain1 Organization has domain2 CognitiveAgent Encoding documentation Converting a document or message into a formal language or into a code that can be understood only by a relatively small body of Agents. Generally speaking, this hinders wide dissemination of the content in the original document or message has axiom `(=> (and (instance ?DECODE Decoding) (patient ?DECODE ?DOC1)) (exists (?ENCODE ?DOC2) (and (containsInformation ?DOC2 ?PROP) (containsInformation ?DOC1 ?PROP) (holdsDuring ?TIME (and (temporalPart ?TIME (PastFn (WhenFn ?DECODE))) (instance ?ENCODE Encoding) (patient ?ENCODE ?DOC2))))))` is a kind of Writing EndFn documentation A UnaryFunction that maps a TimeInterval to the TimePoint at which the interval ends has axiom `(<=> (meetsTemporally ?INTERVAL1 ?INTERVAL2) (equal (EndFn ?INTERVAL1) (BeginFn ?INTERVAL2)))` has axiom `(<=> (starts ?INTERVAL1 ?INTERVAL2) (and (equal (BeginFn ?INTERVAL1) (BeginFn ?INTERVAL2)) (before (EndFn ?INTERVAL1) (EndFn ?INTERVAL2))))` has axiom `(<=> (existant ?PHYS ?TIME) (temporallyBetweenOrEqual (BeginFn (WhenFn ?PHYS)) ?TIME (EndFn (WhenFn ?PHYS))))` has axiom `(<=> (finishes ?INTERVAL1 ?INTERVAL2) (and (before (BeginFn ?INTERVAL2) (BeginFn ?INTERVAL1)) (equal (EndFn ?INTERVAL2) (EndFn ?INTERVAL1))))` has axiom `(=> (during ?INTERVAL1 ?INTERVAL2) (and (before (EndFn ?INTERVAL1) (EndFn ?INTERVAL2)) (before (BeginFn ?INTERVAL2) (BeginFn ?INTERVAL1))))` has axiom `(=> (earlier ?INTERVAL1 ?INTERVAL2) (before (EndFn ?INTERVAL1) (BeginFn ?INTERVAL2)))` has axiom `(=> (and (birthTime ?ORGANISM ?TIME1) (deathTime ?ORGANISM ?TIME2) (instance ?TIME1 TimePoint) (instance ?TIME2 TimePoint)) (exists (?INTERVAL) (and (equal (BeginFn ?INTERVAL) ?TIME1) (equal (EndFn ?INTERVAL) ?TIME2) (holdsDuring ?INTERVAL (attribute ?ORGANISM Living)))))` has axiom `(=> (equal (EndFn ?INTERVAL) ?POINT) (forall (?OTHERPOINT) (=> (and (temporalPart ?OTHERPOINT ?INTERVAL) (not (equal ?OTHERPOINT ?POINT))) (before ?OTHERPOINT ?POINT))))` has axiom `(=> (and (equal (BeginFn ?INTERVAL1) (BeginFn ?INTERVAL2)) (equal (EndFn ?INTERVAL1) (EndFn ?INTERVAL2))) (equal ?INTERVAL1 ?INTERVAL2))` has axiom `(before (BeginFn (WhenFn ?THING)) (EndFn (WhenFn ?THING)))` has axiom `(equal (EndFn (FutureFn ?TIME)) PositiveInfinity)` has domain1 TimeInterval has range TimePoint is an instance of TemporalRelation is an instance of UnaryFunction EnergyMeasure is a kind of FunctionQuantity EngineeringComponent documentation A fundamental concept that applies in many engineering domains. An EngineeringComponent is an EngineeringElement that is a physically whole object, such as one might see listed as standard parts in a catalog. The main difference betweeen EngineeringComponents and arbitrary globs of matter is that EngineeringComponents are object-like in a modeling sense. Thus, an EngineeringComponent is not an arbtrary subregion, but a part of a system with a stable identity has axiom `(=> (instance ?COMP EngineeringComponent) (exists (?DEVICE) (and (instance ?DEVICE Device) (component ?COMP ?DEVICE))))` is a kind of EngineeringElement is first domain of connectedEngineeringComponents is first domain of engineeringSubcomponent is first domain of TerminalFn is second domain of connectedEngineeringComponents is second domain of connectsEngineeringComponents is second domain of engineeringSubcomponent is third domain of connectsEngineeringComponents EngineeringComponentFn documentation A UnaryFunction that maps a Terminal to its corresponding EngineeringComponent has domain1 Terminal has inverse TerminalFn has range EngineeringComponent is an instance of UnaryFunction EngineeringConnection documentation An EngineeringConnection is an EngineeringComponent that represents a connection relationship between two other EngineeringComponents. It is a reification of the Predicate connectedEngineeringComponents. That means that whenever this Predicate holds between two EngineeringComponents, there exists an EngineeringConnection. The practical reason for reifying a relationship is to be able to attach other information about it. For example, one might want to say that a particular connection is associated with some shared parameters, or that it is of a particular type. EngineeringConnections are EngineeringComponents and can therefore be an engineeringSubcomponent of other EngineeringComponents. However, to provide for modular regularity in component systems, EngineeringConnections cannot be connected. For each pair of EngineeringComponents related by connectedEngineeringComponents, there exists at least one EngineeringConnection. However, that object may not be unique, and the same EngineeringConnection may be associated with several pairs of EngineeringComponents has axiom `(=> (connectedEngineeringComponents ?COMP1 ?COMP2) (not (or (instance ?COMP1 EngineeringConnection) (instance ?COMP2 EngineeringConnection))))` has axiom `(=> (instance ?CONNECTION EngineeringConnection) (exists (?COMP1 ?COMP2) (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2)))` is a kind of EngineeringComponent is first domain of connectsEngineeringComponents EngineeringElement documentation An EngineeringElement is any element that is used in the construction of a Device has axiom `(=> (instance ?ELEMENT EngineeringElement) (exists (?DEVICE) (and (instance ?DEVICE Device) (part ?ELEMENT ?DEVICE))))` is a kind of Artifact engineeringSubcomponent documentation (engineeringSubcomponent ?SUB ?SUPER) means that the EngineeringComponent ?SUB is structurally a properPart ?SUPER. This relation is an AsymmetricRelation, since two EngineeringComponents cannot be subcomponents of each other has axiom `(=> (connectedEngineeringComponents ?COMP1 ?COMP2) (and (not (engineeringSubcomponent ?COMP1 ?COMP2)) (not (engineeringSubcomponent ?COMP2 ?COMP1))))` has domain1 EngineeringComponent has domain2 EngineeringComponent entails documentation The operator of logical entailment. (entails ?FORMULA1 ?FORMULA2) means that ?FORMULA2 can be derived from ?FORMULA1 by means of the proof theory of SUO-KIF has axiom `(=> (and (holdsDuring ?TIME ?SITUATION1) (entails ?SITUATION1 ?SITUATION2)) (holdsDuring ?TIME ?SITUATION2))` has domain1 Formula has domain2 Formula is an instance of SententialOperator Entity documentation The universal class of individuals. This is the root node of the ontology has axiom `(<=> (instance ?CLASS Class) (subclass ?CLASS Entity))` has axiom `(equal NullSet (ComplementFn Entity))` has axiom `(exists (?THING) (instance ?THING Entity))` has axiom `(forall (?THING) (instance ?THING Entity))` is a kind of kbTop is first domain of documentation is first domain of element is first domain of equal is first domain of IdentityFn is first domain of instance is first domain of relatedExternalConcept is first domain of relatedInternalConcept is second domain of destination is second domain of equal is second domain of identityElement is second domain of inScopeOfInterest is second domain of patient is second domain of refers is second domain of relatedInternalConcept is second domain of represents is second domain of representsForAgent is second domain of representsInLanguage Enzyme documentation A complex Protein that is produced by living cells and which catalyzes specific biochemical reactions. There are six main types of enzymes: oxidoreductases, transferases, hydrolases, lyases, isomerases, and ligases is a kind of Protein equal documentation (equal ?ENTITY1 ?ENTITY2) is true just in case ?ENTITY1 is identical with ?ENTITY2 has domain1 Entity has domain2 Entity is an instance of BinaryPredicate is an instance of EquivalenceRelation is an instance of RelationExtendedToQuantities EquivalenceRelation documentation A BinaryRelation is an equivalence relation if it is a ReflexiveRelation, a SymmetricRelation, and a TransitiveRelation is a kind of ReflexiveRelation is a kind of SymmetricRelation is a kind of TransitiveRelation equivalenceRelationOn documentation A BinaryRelation is an equivalenceRelationOn a Class only if the relation is reflexiveOn the Class and it is both a TransitiveRelation and a SymmetricRelation has axiom `(=> (equivalenceRelationOn ?RELATION ?CLASS) (and (instance ?RELATION TransitiveRelation) (instance ?RELATION SymmetricRelation) (reflexiveOn ?RELATION ?CLASS))) ` has domain1 BinaryRelation has domain2 Class is an instance of AsymmetricRelation is an instance of BinaryPredicate equivalentContentClass documentation A BinaryPredicate that relates two subclasses of ContentBearingObject. (equivalentContentClass ?CLASS1 ?CLASS2) means that the content expressed by each instance of ?CLASS1 is also expressed by each instance of ?CLASS2, and vice versa. An example would be the relationship between English and Russian editions of Agatha Christie's 'Murder on the Orient Express'. Note that (equivalentContentClass ?CLASS1 ?CLASS2) implies (subsumesContentClass ?CLASS1 ?CLASS2) and (subsumesContentClass ?CLASS2 ?CLASS1) has axiom `(<=> (and (subsumesContentClass ?CLASS1 ?CLASS2) (subsumesContentClass ?CLASS2 ?CLASS1)) (equivalentContentClass ?CLASS1 ?CLASS2))` has domain1 ContentBearingObject has domain2 ContentBearingObject is an instance of EquivalenceRelation equivalentContentInstance documentation A BinaryPredicate relating two instances of ContentBearingObject. (equivalentContentInstance ?OBJ1 ?OBJ2) means that the content expressed by ?OBJ1 is identical to the content expressed by ?OBJ2. An example would be the relationship between a handwritten draft of a letter to one's lawyer and a typed copy of the same letter. Note that (equivalentContentInstance ?OBJ1 ?OBJ2) implies (subsumesContentInstance ?OBJ1 ?OBJ2) and (subsumesContentInstance ?OBJ2 ?OBJ2) has axiom `(<=> (and (subsumesContentInstance ?OBJ1 ?OBJ2) (subsumesContentInstance ?OBJ2 ?OBJ1)) (equivalentContentInstance ?OBJ1 ?OBJ2))` has axiom `(=> (and (equivalentContentInstance ?SENT1 ?SENT2) (instance ?SENT1 Sentence) (instance ?SENT2 Sentence)) (<=> ?SENT1 ?SENT2))` has domain1 ContentBearingObject has domain2 ContentBearingObject has relatedInternalConcept equivalentContentClass is an instance of EquivalenceRelation EthnicGroup documentation A GroupOfPeople whose members originate from the same Region or share the same Language and/or cultural practices is a kind of GroupOfPeople EvenInteger documentation An Integer that is evenly divisible by 2 has axiom `(=> (instance ?NUMBER EvenInteger) (equal (RemainderFn ?NUMBER 2) 0))` is a kind of Integer exactlyLocated documentation The actual, minimal location of an Object. This is a subrelation of the more general Predicate located has axiom `(=> (contains ?OBJ1 ?OBJ2) (forall (?PART2) (=> (part ?PART2 ?OBJ2) (exists (?PART1) (and (interiorPart ?PART1 ?OBJ1) (exactlyLocated ?PART2 ?PART1))))))` has axiom `(=> (equal (WhereFn ?THING ?TIME) ?REGION) (holdsDuring ?TIME (exactlyLocated ?THING ?REGION)))` has axiom `(=> (exactlyLocated ?OBJ ?REGION) (not (exists (?OTHEROBJ) (and (exactlyLocated ?OTHEROBJ ?REGION) (not (equal ?OTHEROBJ ?OBJ))))))` has axiom `(=> (partlyLocated ?OBJ ?REGION) (exists (?SUBOBJ) (and (part ?SUBOBJ ?OBJ) (exactlyLocated ?SUBOBJ ?REGION))))` ExerciseProcess documentation A Process that is carried out for the purpose of exercise is a kind of IntentionalProcess exhaustiveDecomposition documentation An exhaustiveDecomposition of a Class C is a set of subclasses of C such that every subclass of C either is an element of the set or is a subclass of an element of the set. Note: this does not necessarily mean that the elements of the set are disjoint (see partition - a partition is a disjoint exhaustive decomposition. has axiom `(=> (exhaustiveDecomposition ?CLASS1 ?CLASS2 ?CLASS3 ?CLASS4 ?CLASS5) (forall (?OBJ) (=> (instance ?OBJ ?CLASS1) (or (instance ?OBJ ?CLASS2) (instance ?OBJ ?CLASS3) (instance ?OBJ ?CLASS4) (instance ?OBJ ?CLASS5)))))` has axiom `(=> (exhaustiveDecomposition ?CLASS1 ?CLASS2 ?CLASS3 ?CLASS4) (forall (?OBJ) (=> (instance ?OBJ ?CLASS1) (or (instance ?OBJ ?CLASS2) (instance ?OBJ ?CLASS3) (instance ?OBJ ?CLASS4)))))` has axiom `(=> (exhaustiveDecomposition ?CLASS1 ?CLASS2 ?CLASS3) (forall (?OBJ) (=> (instance ?OBJ ?CLASS1) (or (instance ?OBJ ?CLASS2) (instance ?OBJ ?CLASS3)))))` has axiom `(forall (?INT) (domain exhaustiveDecomposition ?INT Class))` has domain1 Class has relatedInternalConcept partition is an instance of Predicate is an instance of VariableArityRelation existant documentation This relation holds between an instance of Physical and an instance of TimePosition just in case the temporal lifespan of the former includes the latter. The constants located and existant are the basic spatial and temporal predicates, respectively has axiom `(<=> (instance ?ABS Abstract) (not (exists (?POINT) (or (located ?ABS ?POINT) (existant ?ABS ?POINT)))))` has axiom `(<=> (instance ?PHYS Physical) (exists (?LOC ?TIME) (and (located ?PHYS ?LOC) (existant ?PHYS ?TIME))))` has axiom `(<=> (existant ?PHYS ?TIME) (temporallyBetweenOrEqual (BeginFn (WhenFn ?PHYS)) ?TIME (EndFn (WhenFn ?PHYS))))` has axiom `(<=> (instance ?PROCESS Creation) (exists (?PATIENT) (and (patient ?PROCESS ?PATIENT) (existant ?PATIENT (ImmediateFutureFn(WhenFn ?PROCESS))) (not (existant ?PATIENT (ImmediatePastFn (WhenFn ?PROCESS)))))))` has axiom `(<=> (instance ?PROCESS Destruction) (exists (?PATIENT) (and (patient ?PROCESS ?PATIENT) (existant ?PATIENT (ImmediatePastFn(WhenFn ?PROCESS))) (not (existant ?PATIENT (ImmediateFutureFn (WhenFn ?PROCESS)))))))` has axiom `(<=> (temporalPart ?POINT (WhenFn ?THING)) (existant ?THING ?POINT))` has axiom `(=> (and (instance ?PROC Process) (subProcess ?SUBPROC ?PROC)) (exists (?TIME) (existant ?SUBPROC ?TIME)))` has axiom `(=> (instance ?OBJ Object) (exists (?TIME1 ?TIME2) (and (instance ?TIME1 TimePoint) (instance ?TIME2 TimePoint) (before ?TIME1 ?TIME2) (forall (?TIME) (=> (and (beforeEq ?TIME1 ?TIME) (beforeEq ?TIME ?TIME2)) (existant ?OBJ ?TIME))))))` has axiom `(=> (and (holdsDuring ?INTERVAL (holds ?REL ?INST1 ?INST2)) (temporalPart ?POINT ?INTERVAL) (instance ?INST1 Physical) (instance ?INST2 Physical)) (and (existant ?INST1 ?POINT) (existant ?INST2 ?POINT)))` has axiom `(=> (result ?PROC ?OBJ) (forall (?TIME) (=> (before ?TIME (BeginFn (WhenFn ?PROC))) (not (existant ?OBJ ?TIME)))))` has domain1 Physical has domain2 TimePosition is an instance of AsymmetricRelation is an instance of BinaryPredicate is an instance of TemporalRelation experiencer documentation (experiencer ?PROCESS ?AGENT) means that ?AGENT experiences the Process ?PROCESS. For example, Yojo is the experiencer of seeing in the following proposition: Yojo sees the fish. Note that experiencer, unlike effector, does not entail a causal relation between its arguments has axiom `(=> (instance ?PROCESS MentalProcess) (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (experiencer ?PROCESS ?ANIMAL))))` has axiom `(=> (birthTime ?ORGANISM ?TIME) (holdsDuring ?TIME (exists (?BIRTH) (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?ORGANISM)))))` has axiom `(=> (deathTime ?ORGANISM ?TIME) (holdsDuring ?TIME (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?ORGANISM)))))` has axiom `(=> (instance ?ORGANISM Organism) (exists (?BIRTH) (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?ORGANISM))))` has axiom `(=> (instance ?ORGANISM Organism) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?ORGANISM))))` has domain1 Process has domain2 Agent is an instance of CaseRole exploits documentation (exploits ?OBJ ?AGENT) means that ?OBJ is used by ?AGENT as a resource in an unspecified instance of Process. This Predicate, as its corresponding axiom indicates, is a composition of the relations agent and resource has axiom `(=> (exploits ?OBJ ?AGENT) (exists (?PROCESS) (and (agent ?PROCESS ?AGENT) (resource ?PROCESS ?OBJ)))) ` has domain1 Object has domain2 Agent is an instance of AsymmetricRelation is an instance of BinaryPredicate ExponentiationFn documentation (ExponentiationFn ?NUMBER ?INT) returns the RealNumber ?NUMBER raised to the power of the Integer ?INT has axiom `(equal (ReciprocalFn ?NUMBER) (ExponentiationFn ?NUMBER -1))` has domain1 Quantity has domain2 Integer has range Quantity is an instance of BinaryFunction is an instance of RelationExtendedToQuantities Expressing documentation Instances of this Class express a state of the sender. Example: Jane thanked Barbara for the present she had given her is a kind of Communication ExtensionFn documentation A UnaryFunction that maps an Attribute into the Class whose condition for membership is the Attribute has axiom `(<=> (equal (ExtensionFn ?ATTRIBUTE) ?CLASS) (equal (AttributeFn ?CLASS) ?ATTRIBUTE))` has domain1 Attribute has range Class is an instance of UnaryFunction False documentation The TruthValue of being false has contraryProperty True is an instance of TruthValue FamilyGroup documentation A GroupOfPeople whose members bear familyRelations to one another has axiom `(=> (instance ?GROUP FamilyGroup) (forall (?MEMB1 ?MEMB2) (=> (and (member ?MEMB1 ?GROUP) (member ?MEMB2 ?GROUP)) (familyRelation ?MEMB1 ?MEMB2)))) ` is a kind of GroupOfPeople familyRelation documentation A very general Predicate for biological relationships. (familyRelation ?ORGANISM1 ?ORGANISM2) means that ?ORGANISM1 and ?ORGANISM2 are biologically derived from a common ancestor has axiom `(=> (familyRelation ?ORGANISM1 ?ORGANISM2) (exists (?ORGANISM3) (and (familyRelation ?ORGANISM3 ?ORGANISM1) (familyRelation ?ORGANISM3 ?ORGANISM2)))) ` has axiom `(=> (instance ?GROUP FamilyGroup) (forall (?MEMB1 ?MEMB2) (=> (and (member ?MEMB1 ?GROUP) (member ?MEMB2 ?GROUP)) (familyRelation ?MEMB1 ?MEMB2)))) ` has domain1 Organism has domain2 Organism is an instance of BinaryPredicate is an instance of EquivalenceRelation Farad documentation SI CapacitanceMeasure. Symbol: F. It is the capacitance of a capacitator between the plates of which there appears a difference of potential of 1 Volt when it is charged by a quantity of electricity equal to 1 Coulomb. Farad = C/V = m^(-2)*kg(-1)*s^4*A^2 is an instance of CapacitanceMeasure is an instance of SystemeInternationalUnit father documentation The general relationship of fatherhood. (father ?FATHER ?CHILD) means that ?FATHER is the biological father of ?CHILD has arg1 valence singleValued has axiom `(=> (father ?FATHER ?CHILD) (attribute ?FATHER Male))` has axiom `(=> (parent ?PARENT ?CHILD) (or (mother ?PARENT ?CHILD) (father ?PARENT ?CHILD)))` has domain1 Animal Female documentation An Attribute indicating that an Organism is female in nature has axiom `(=> (mother ?MOTHER ?CHILD) (attribute ?MOTHER Female))` is an instance of SexProperty Few documentation Useful for contextual assessment of number. Note that a formula containing this Class cannot be converted into a precise numeric range. For example, compare 'few books on the table' (perhaps there are three books) and 'few eritrocytes in your blood' (this might mean there are 3 million per part) is an instance of NonspecificNumber FieldOfStudy documentation An academic or applied discipline with recognized experts and with a core of accepted theory or practice. Note that FieldOfStudy is a subclass of Proposition, because a FieldOfStudy is understood to be a body of abstract, informational content, with varying degrees of certainty attached to each element of this content is a kind of Proposition Fillable documentation Something is Fillable if it can be filled by something else. Note that 'filled' here means perfectly filled has axiom `(<=> (attribute ?HOLE1 Fillable) (exists (?HOLE2) (and (instance ?HOLE2 Hole) (part ?HOLE1 ?HOLE2))))` has axiom `(=> (and (fills ?OBJ1 ?HOLE) (attribute ?OBJ2 Fillable)) (not (overlapsSpatially ?OBJ1 ?OBJ2)))` has axiom `(=> (holdsDuring ?TIME (fills ?OBJ ?HOLE)) (attribute ?HOLE Fillable))` is an instance of ShapeProperty fills documentation Holes can be filled. (fills ?OBJ ?HOLE) means that the Object ?OBJ fills the Hole ?HOLE. Note that fills here means perfectly filled has axiom `(=> (and (fills ?OBJ ?HOLE1) (properPart ?HOLE2 ?HOLE1)) (completelyFills ?OBJ ?HOLE2))` has axiom `(=> (and (fills ?OBJ1 ?HOLE) (attribute ?OBJ2 Fillable)) (not (overlapsSpatially ?OBJ1 ?OBJ2)))` has axiom `(=> (and (fills ?OBJ1 ?HOLE) (properPart ?OBJ2 ?OBJ1)) (properlyFills ?OBJ2 ?HOLE))` has axiom `(=> (completelyFills ?OBJ1 ?HOLE) (exists (?OBJ2) (and (part ?OBJ2 ?OBJ1) (fills ?OBJ2 ?HOLE))))` has axiom `(=> (properlyFills ?OBJ ?HOLE1) (exists (?HOLE2) (and (part ?HOLE2 ?HOLE1) (fills ?OBJ ?HOLE2))))` has axiom `(=> (holdsDuring ?TIME (fills ?OBJ ?HOLE)) (attribute ?HOLE Fillable))` has domain1 Object has domain2 Hole has relatedInternalConcept Fillable is an instance of AsymmetricRelation is an instance of BinaryPredicate is an instance of SpatialRelation FinancialTransaction documentation A Transaction where an instance of CurrencyMeasure is exchanged for something else is a kind of Transaction finishes documentation (finishes ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 and ?INTERVAL2 are both TimeIntervals that have the same ending TimePoint and that ?INTERVAL2 begins before ?INTERVAL1 has domain1 TimeInterval has domain2 TimeInterval is an instance of BinaryPredicate is an instance of IrreflexiveRelation is an instance of TemporalRelation is an instance of TransitiveRelation FiniteSet documentation A Set containing a finite number of elements has axiom `(=> (instance ?SET FiniteSet) (exists (?NUMBER) (and (instance ?NUMBER NonnegativeInteger) (equal ?NUMBER (CardinalityFn ?SET)))))` is a kind of Set Fish documentation A cold-blooded aquatic Vertebrate characterized by fins and breathing by gills. Included here are Fish having either a bony skeleton, such as a perch, or a cartilaginous skeleton, such as a shark. Also included are those Fish lacking a jaw, such as a lamprey or hagfish has axiom `(=> (instance ?FISH Fish) (exists (?WATER) (and (inhabits ?FISH ?WATER) (instance ?WATER Water))))` is a kind of ColdBloodedVertebrate is disjoint from Reptile FloorFn documentation (FloorFn ?NUMBER) returns the largest Integer less than or equal to the RealNumber ?NUMBER has axiom `(<=> (equal (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER) (equal (AdditionFn (MultiplicationFn (FloorFn (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))` has axiom `(=> (equal (FloorFn ?NUMBER) ?INT) (not (exists (?OTHERINT) (and (instance ?OTHERINT Integer) (lessThanOrEqualTo ?OTHERINT ?NUMBER) (greaterThan ?OTHERINT ?INT)))))` has axiom `(=> (equal (RoundFn ?NUMBER1) ?NUMBER2) (or (=> (lessThan (SubtractionFn ?NUMBER1 (FloorFn ?NUMBER1)) .5) (equal ?NUMBER2 (FloorFn ?NUMBER1))) (=> (greaterThanOrEqualTo (SubtractionFn ?NUMBER1 (FloorFn ?NUMBER1)) .5) (equal ?NUMBER2 (CeilingFn ?NUMBER1)))))` has domain1 RealNumber has range Integer is an instance of UnaryFunction Food documentation Any Object containing Nutrients, such as carbohydrates, proteins, and fats, that can be ingested by a living Organism and metabolized into energy and body tissue has axiom `(=> (instance ?FOOD Food) (exists (?NUTRIENT) (and (instance ?NUTRIENT Nutrient) (part ?NUTRIENT ?FOOD))))` has axiom `(=> (and (instance ?ACT Ingesting) (patient ?ACT ?FOOD)) (instance ?FOOD Food))` has axiom `(=> (instance ?FOOD Food) (forall (?PART1) (=> (part ?PART1 ?FOOD) (exists (?PART2 ?ORGANISM) (and (part ?PART1 ?PART2) (part ?PART2 ?ORGANISM) (instance ?ORGANISM Organism))))))` has axiom `(=> (instance ?OBJ Food) (exists (?ATTR) (and (instance ?ATTR TasteProperty) (attribute ?OBJ ?ATTR))))` is a kind of Object Foot documentation English length unit of feet has axiom `(equal (MeasureFn ?NUMBER Foot) (MeasureFn (MultiplicationFn ?NUMBER 0.3048) Meter))` is an instance of LengthMeasure is an instance of UnitOfMeasure ForceMeasure is a kind of FunctionQuantity Formula documentation A syntactically well-formed formula in the SUO-KIF knowledge representation language has axiom `(=> (and (instance ?INVESTIGATE Investigating) (patient ?INVESTIGATE ?PROP)) (instance ?PROP Formula))` is a kind of Sentence is first domain of <=> is first domain of => is first domain of and is first domain of entails is first domain of not is first domain of or is second domain of <=> is second domain of => is second domain of and is second domain of believes is second domain of considers is second domain of desires is second domain of entails is second domain of hasPurpose is second domain of hasPurposeForAgent is second domain of holdsDuring is second domain of KappaFn is second domain of knows is second domain of or Fragile documentation An Attribute which indicates that the associated Object is very breakable is an instance of BreakabilityProperty frequency documentation (frequency ?PROC ?TIME) means that the Process type of ?PROC recurs after every interval of ?TIME has axiom `(=> (frequency ?PROC ?TIME1) (forall (?TIME2) (=> (duration ?TIME2 ?TIME1) (exists (?POINT) (and (temporalPart ?POINT ?TIME2) (holdsDuring ?POINT (exists (?INST) (instance ?INST ?PROC))))))))` has domain1 Process has domain2 TimeDuration is an instance of AsymmetricRelation is an instance of BinaryPredicate FrequencyMeasure is a kind of TimeDependentQuantity front documentation This is a cognitive primitive, derived from the front/back schema. (front ?OBJ1 ?OBJ2) means that ?OBJ1 is in front of ?OBJ2 has inverse behind is an instance of AsymmetricRelation is an instance of TransitiveRelation FullyFormedAnatomicalStructure documentation An AnatomicalStructure in a fully formed Organism. In Mammals, for example, it would be a structure in the body after the birth of the Organism is a kind of AnatomicalStructure is disjoint from EmbryonicStructure Function documentation A Function is a term-forming Relation that maps from a n-tuple of arguments to a range and that associates this n-tuple with exactly one range element. Note that the range is a Class, and each element of the range is an instance of the Class is a kind of Relation is first domain of AssignmentFn is first domain of closedOn is first domain of range is first domain of rangeSubclass FunctionQuantity documentation A FunctionQuantity is a Function that maps from one or more instances of ConstantQuantity to another instance of ConstantQuantity. For example, the velocity of a particle would be represented by a FunctionQuantity mapping values of time (which are ConstantQuantities) to values of distance (also ConstantQuantities). Note that all instances of FunctionQuantity are Functions with a fixed arity. Note too that all elements of the range of a FunctionQuantity have the same physical dimension as the FunctionQuantity itself is a kind of Function is a kind of PhysicalQuantity Fungus documentation A eukaryotic Organism characterized by the absence of chlorophyll and the presence of a CellWallRigid. Included here are both slime molds and true fungi such as yeasts, molds, mildews, and mushrooms has axiom `(=> (and (instance ?FUNGUS Fungus) (inhabits ?FUNGUS ?OBJ)) (instance ?OBJ Organism))` has axiom `(=> (instance ?FUNGUS Fungus) (exists (?WALL) (and (component ?WALL ?FUNGUS) (instance ?WALL CellWallRigid))))` is a kind of Plant FutureFn documentation A UnaryFunction that maps a TimePosition to the TimeInterval which it meets and which ends at PositiveInfinity has axiom `(=> (deathTime ?ORGANISM ?TIME) (holdsDuring (FutureFn ?TIME) (attribute ?ORGANISM Dead)))` has axiom `(equal (EndFn (FutureFn ?TIME)) PositiveInfinity)` has axiom `(meetsTemporally (WhenFn ?THING) (FutureFn (WhenFn ?THING)))` has axiom `(starts (ImmediateFutureFn (WhenFn ?THING)) (FutureFn (WhenFn ?THING)))` has domain1 TimePosition has range TimeInterval is an instance of TemporalRelation is an instance of UnaryFunction Game documentation A Contest whose purpose is the enjoyment/stimulation of the participants or spectators of the Game is a kind of Contest is a kind of RecreationalProcess Gas documentation An Object has the Attribute of Gas if it has neither a fixed volume nor a fixed shape is an instance of PhysicalState GeneralizedIntersectionFn documentation A UnaryFunction that takes a Class of Classes as its single argument and returns a Class which is the intersection of all of the Classes in the original Class, i.e. the Class containing just those instances which are instances of all instances of the original Class has axiom `(<=> (instance ?ENTITY (GeneralizedIntersectionFn ?SUPERCLASS)) (forall (?CLASS) (=> (instance ?CLASS ?SUPERCLASS) (instance ?ENTITY ?CLASS))))` has axiom `(=> (instance ?CLASS MutuallyDisjointClass) (equal (GeneralizedIntersectionFn ?CLASS) NullSet))` has domain1 Class has range Class is an instance of UnaryFunction GeneralizedUnionFn documentation A UnaryFunction that takes a Class of Classes as its single argument and returns a Class which is the merge of all of the Classes in the original Class, i.e. the Class containing just those instances which are instances of an instance of the original Class has axiom `(<=> (instance ?ENTITY (GeneralizedUnionFn ?SUPERCLASS)) (exists (?CLASS) (and (instance ?CLASS ?SUPERCLASS) (instance ?ENTITY ?CLASS))))` has domain1 Class has range Class is an instance of UnaryFunction GeographicArea documentation A geographic location, generally having definite boundaries. Note that this differs from its immediate superclass Region in that a GeographicArea is a Region of land of significant size is a kind of Region Getting documentation The subclass of ChangeOfPossession where the agent gets something. Note that the source from which something is obtained is specified with the origin CaseRole has axiom `(=> (and (instance ?GET Getting) (agent ?GET ?AGENT1) (origin ?GET ?AGENT2) (instance ?AGENT2 Agent) (patient ?GET ?OBJ)) (exists (?GIVE) (and (instance ?GIVE Giving) (agent ?GIVE ?AGENT2) (destination ?GIVE ?AGENT1) (patient ?GIVE ?OBJ))))` is a kind of ChangeOfPossession GigaHertz documentation Multiple of Hertz. Symbol: GHz. A FrequencyMeasure equal to one billion times per SeconDuration. 1 GigaHertz = 10^9 Hertz has axiom `(equal (MeasureFn ?NUMBER GigaHertz) (MeasureFn (MultiplicationFn ?NUMBER 1.0E9) Hertz))` is an instance of FrequencyMeasure is an instance of UnitOfMeasure Giving documentation The subclass of ChangeOfPossession where the agent gives the destination something has axiom `(=> (and (instance ?GET Getting) (agent ?GET ?AGENT1) (origin ?GET ?AGENT2) (instance ?AGENT2 Agent) (patient ?GET ?OBJ)) (exists (?GIVE) (and (instance ?GIVE Giving) (agent ?GIVE ?AGENT2) (destination ?GIVE ?AGENT1) (patient ?GIVE ?OBJ))))` has axiom `(=> (and (instance ?GIVE Giving) (agent ?GIVE ?AGENT1) (destination ?GIVE ?AGENT2) (instance ?AGENT2 Agent) (patient ?GIVE ?OBJ)) (and (holdsDuring (ImmediatePastFn (WhenFn ?GIVE)) (possesses ?AGENT1 ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?GIVE)) (possesses ?AGENT2 ?OBJ))))` has axiom `(=> (instance ?TRANS Transaction) (exists (?AGENT1 ?AGENT2 ?GIVE1 ?GIVE2 ?OBJ1 ?OBJ2) (and (instance ?GIVE1 Giving) (instance ?GIVE2 Giving) (subProcess ?GIVE1 ?TRANS) (subProcess ?GIVE2 ?TRANS) (agent ?GIVE1 ?AGENT1) (agent ?GIVE2 ?AGENT2) (patient ?GIVE1 ?OBJ1) (patient ?GIVE2 ?OBJ2) (destination ?GIVE1 ?AGENT2) (destination ?GIVE2 ?AGENT1) (not (equal ?AGENT1 ?AGENT2)) (not (equal ?OBJ1 ?OBJ2)))))` is a kind of ChangeOfPossession Gland documentation An Organ that removes Substances from the Blood, alters them in some way, and then releases them is a kind of Organ Government documentation The ruling body of a Nation or one of the subOrganizations of a Nation has axiom `(=> (instance ?NATION Nation) (exists (?GOV) (and (instance ?GOV Government) (subOrganizations ?GOV ?NATION))))` is a kind of Organization Graduation documentation The IntentionalProcess of graduating from an EducationalOrganization is a kind of OrganizationalProcess Gram documentation Submultiple of Kilogram. Symbol: g. 1 Kilogram = 1000 Grams has axiom `(equal (MeasureFn ?NUMBER Gram) (MeasureFn (MultiplicationFn ?NUMBER 0.001) Kilogram))` has axiom `(equal (MeasureFn ?NUMBER Kilogram) (MeasureFn (MultiplicationFn ?NUMBER 1000) Gram))` is an instance of MassMeasure is an instance of UnitOfMeasure Gray documentation SI AbsorbedDoseMeasure. Symbol: Gy. It measures the dose of radiation absorbed in living tissue. It is equal approximately to the absorbed dose delivered when the energy per unit mass imparted to matter by ionizing radiation is 1 Joule per Kilogram. Gray = J/kg = m^2*s^(-2) is an instance of AbsorbedDoseMeasure is an instance of SystemeInternationalUnit greaterThan documentation (greaterThan ?NUMBER1 ?NUMBER2) is true just in case the Quantity ?NUMBER1 is greater than the Quantity ?NUMBER2 has axiom `(<=> (greaterThanOrEqualTo ?NUMBER1 ?NUMBER2) (or (equal ?NUMBER1 ?NUMBER2) (greaterThan ?NUMBER1 ?NUMBER2)))` has axiom `(=> (and (resource ?PROC ?OBJ) (holdsDuring (ImmediatePastFn (WhenFn ?PROC)) (measure ?OBJ ?QUANT1)) (holdsDuring (ImmediateFutureFn (WhenFn ?PROC)) (measure ?OBJ ?QUANT2))) (greaterThan ?QUANT1 ?QUANT2)) ` has axiom `(=> (and (instance ?INCREASE Increasing) (patient ?INCREASE ?OBJ)) (exists (?UNIT ?QUANT1 ?QUANT2) (and (holdsDuring (ImmediatePastFn (WhenFn ?INCREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT1)) (holdsDuring (ImmediateFutureFn (WhenFn ?INCREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT2)) (greaterThan ?QUANT2 ?QUANT1)))) ` has axiom `(=> (equal (FloorFn ?NUMBER) ?INT) (not (exists (?OTHERINT) (and (instance ?OTHERINT Integer) (lessThanOrEqualTo ?OTHERINT ?NUMBER) (greaterThan ?OTHERINT ?INT)))))` has axiom `(=> (equal (MaxFn ?NUMBER1 ?NUMBER2) ?NUMBER) (or (and (equal ?NUMBER ?NUMBER1) (greaterThan ?NUMBER1 ?NUMBER2)) (and (equal ?NUMBER ?NUMBER2) (greaterThan ?NUMBER2 ?NUMBER1)) (and (equal ?NUMBER ?NUMBER1) (equal ?NUMBER ?NUMBER2))))` has axiom `(=> (instance ?INT Integer) (greaterThan ?INT (PredecessorFn ?INT)))` has axiom `(=> (instance ?NUMBER PositiveRealNumber) (greaterThan ?NUMBER 0))` has axiom `(=> (larger ?OBJ1 ?OBJ2) (forall (?QUANT1 ?QUANT2) (=> (and (measure ?OBJ1 (MeasureFn ?QUANT1 LengthMeasure)) (measure ?OBJ2 (MeasureFn ?QUANT2 LengthMeasure))) (greaterThan ?QUANT1 ?QUANT2))))` has domain1 Quantity has domain2 Quantity has inverse lessThan is an instance of BinaryPredicate is an instance of IrreflexiveRelation is an instance of RelationExtendedToQuantities is an instance of TransitiveRelation greaterThanOrEqualTo documentation (greaterThanOrEqualTo ?NUMBER1 ?NUMBER2) is true just in case the Quantity ?NUMBER1 is greater than the Quantity ?NUMBER2 has axiom `(<=> (greaterThanOrEqualTo ?NUMBER1 ?NUMBER2) (or (equal ?NUMBER1 ?NUMBER2) (greaterThan ?NUMBER1 ?NUMBER2)))` has axiom `(=> (equal (CeilingFn ?NUMBER) ?INT) (not (exists (?OTHERINT) (and (instance ?OTHERINT Integer) (greaterThanOrEqualTo ?OTHERINT ?NUMBER) (lessThan ?OTHERINT ?INT)))))` has axiom `(=> (equal (RoundFn ?NUMBER1) ?NUMBER2) (or (=> (lessThan (SubtractionFn ?NUMBER1 (FloorFn ?NUMBER1)) .5) (equal ?NUMBER2 (FloorFn ?NUMBER1))) (=> (greaterThanOrEqualTo (SubtractionFn ?NUMBER1 (FloorFn ?NUMBER1)) .5) (equal ?NUMBER2 (CeilingFn ?NUMBER1)))))` has axiom `(=> (instance ?NUMBER NonnegativeRealNumber) (greaterThanOrEqualTo ?NUMBER 0))` has domain1 Quantity has domain2 Quantity has inverse lessThanOrEqualTo is an instance of BinaryPredicate is an instance of PartialOrderingRelation is an instance of RelationExtendedToQuantities GreatestCommonDivisorFn documentation (GreatestCommonDivisorFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) returns the greatest common divisor of ?NUMBER1 through ?NUMBER has range Integer is an instance of Function is an instance of VariableArityRelation Grooming documentation The subclass of Process where parts of an Organism are arranged in a socially pleasing manner. Some examples are shaving, brushing, combing, etc is a kind of IntentionalProcess Group documentation A Collection of Animals or Humans, e.g. a flock of sheep, a herd of goats, or the local Boy Scout troop has axiom `(=> (and (instance ?GROUP Group) (member ?MEMB ?GROUP)) (instance ?MEMB Animal)) ` is a kind of Agent is a kind of Collection GroupOfPeople documentation A Group consisting exclusively of Humans has axiom `(=> (and (instance ?GROUP GroupOfPeople) (member ?MEMB ?GROUP)) (instance ?MEMB Human))` is a kind of Group Growth documentation The Process of biological development in which an Organism changes its form or its size is a kind of PhysiologicProcess Guiding documentation Controlling the direction and/or speed of a CorpuscularObject. This includes aiming a gun or arrow, navigating a ship, driving a car or truck, operating a train, etc is a kind of IntentionalProcess hasPurpose documentation This Predicate expresses the concept of a conventional goal, i.e. a goal with a neutralized agent's intention. Accordingly, (hasPurpose ?THING ?FORMULA) means that the instance of Physical ?THING has, as its purpose, the Proposition expressed by ?FORMULA. Note that there is an important difference in meaning between the Predicates hasPurpose and result. Although the second argument of the latter can satisfy the second argument of the former, a conventional goal is an expected and desired outcome, while a result may be neither expected nor desired. For example, a machine process may have outcomes but no goals, aimless wandering may have an outcome but no goal; a learning process may have goals with no outcomes, and so on has axiom `(=> (instance ?PLAN Plan) (exists (?PURP) (hasPurpose ?PLAN ?PURP)))` has axiom `(=> (hasPurpose ?THING ?PURPOSE) (exists (?AGENT) (hasPurposeForAgent ?THING ?PURPOSE ?AGENT)))` has axiom `(=> (instance ?ORGAN Organ) (exists (?PURP) (hasPurpose ?ORGAN ?PURP)))` has domain1 Physical has domain2 Formula is an instance of AsymmetricRelation is an instance of BinaryPredicate hasPurposeForAgent documentation Expresses a cognitive attitude of an agent with respect to a particular instance of Physical. More precisely, (hasPurposeForAgent ?THING ?FORMULA ?AGENT) means that the purpose of ?THING for ?AGENT is the proposition expressed by ?FORMULA. Very complex issues are involved here. In particular, the rules of inference of the first order predicate calculus are not truth-preserving for the second argument position of this Predicate has axiom `(=> (and (instance ?PROC IntentionalProcess) (agent ?PROC ?AGENT)) (and (instance ?AGENT CognitiveAgent) (exists (?PURP) (hasPurposeForAgent ?PROC ?PURP ?AGENT))))` has axiom `(=> (hasPurpose ?THING ?PURPOSE) (exists (?AGENT) (hasPurposeForAgent ?THING ?PURPOSE ?AGENT)))` has axiom `(=> (instance ?CONTEST Contest) (exists (?AGENT1 ?AGENT2 ?PURP1 ?PURP2) (and (agent ?CONTEST ?AGENT1) (agent ?CONTEST ?AGENT2) (hasPurposeForAgent ?CONTEST ?PURP1 ?AGENT1) (hasPurposeForAgent ?CONTEST ?PURP2 ?AGENT2) (not (equal ?AGENT1 ?AGENT2)) (not (equal ?PURP1 ?PURP2)))))` has axiom `(=> (instance ?COOPERATE Cooperation) (exists (?PURP) (forall (?AGENT) (=> (agent ?COOPERATE ?AGENT) (hasPurposeForAgent ?COOPERATE ?PURP ?AGENT)))))` has axiom `(=> (wants ?AGENT ?OBJ) (exists (?PURP) (hasPurposeForAgent ?OBJ ?PURP ?AGENT)))` has domain1 Physical has domain2 Formula has domain3 Agent is an instance of TernaryPredicate hasSkill documentation Similar to the capability Predicate with the additional restriction that the ability be practised/ demonstrated to some measurable degree has axiom `(=> (hasSkill ?PROC ?AGENT) (capability ?PROC agent ?AGENT))` has domain1 Process has domain2 Agent is an instance of AsymmetricRelation is an instance of BinaryPredicate Hearing documentation The subclass of Perception in which the sensing is done by an auditory Organ is a kind of Perception height documentation BinaryPredicate that is used to state the measure of an Object from its lowest point to its highest point has arg2 valence singleValued Henry documentation SI InductanceMeasure. Symbol: H. One Henry is equivalent to one Volt divided by one Ampere per SecondDuration. If a current changing at the rate of one Ampere per SecondDuration induces an electromotive force of one Volt, the circuit has an inductance of one Henry. Henry = Wb/A = m^2*kg*s^(-2)*A^(-2) is an instance of InductanceMeasure is an instance of SystemeInternationalUnit Hertz documentation SI FrequencyMeasure. Symbol: Hz. It is the number of cycles per second. Hertz = s^(-1) has axiom `(equal (MeasureFn ?NUMBER GigaHertz) (MeasureFn (MultiplicationFn ?NUMBER 1.0E9) Hertz))` has axiom `(equal (MeasureFn ?NUMBER KiloHertz) (MeasureFn (MultiplicationFn ?NUMBER 1000) Hertz))` has axiom `(equal (MeasureFn ?NUMBER MegaHertz) (MeasureFn (MultiplicationFn ?NUMBER 1.0E6) Hertz))` is an instance of FrequencyMeasure is an instance of SystemeInternationalUnit Holding documentation The Class of Processes where the agent maintains physical contact with something for an extended period of time is a kind of Touching holds documentation (holds P N1 ... NK) is true just in case the tuple of objects denoted by N1,..., NK is an element of the Relation P has domain1 Relation is an instance of Predicate is an instance of VariableArityRelation holdsDuring documentation (holdsDuring ?TIME ?FORMULA) means that the proposition denoted by ?FORMULA is true in the time frame ?TIME. Note that this implies that ?FORMULA is true at every TimePoint which is a temporalPart of ?TIME has domain1 TimePosition has domain2 Formula is an instance of AsymmetricRelation is an instance of BinaryPredicate holdsObligation documentation Expresses a relationship between a subclass of Process and an Agent whereby the Agent has the obligation to perform exactly one instance of the Process type specified, i.e. to be an agent of just one instance of the Process type has domain1 Process has domain2 Agent has relatedInternalConcept holdsRight is an instance of AsymmetricRelation is an instance of BinaryPredicate holdsRight documentation Expresses a relationship between a subclass of Process and an Agent whereby the Agent has the right to perform at least one instance of the Process type specified, i.e. to be an agent of at least one instance of the Process type has domain1 Process has domain2 Agent is an instance of AsymmetricRelation is an instance of BinaryPredicate hole documentation (hole ?HOLE ?OBJ) means that ?HOLE is a Hole in ?OBJ. A Hole is an fillable body located at the surface an Object Hole documentation A hole is an immaterial body located at the surface of an Object. Since every Hole is ontologically dependent on its host (i.e., the object in which it is a hole), being a Hole is defined as being a hole in something. Note that two Holes may occupy the same region, or part of the same region, without sharing any parts has axiom `(<=> (attribute ?HOLE1 Fillable) (exists (?HOLE2) (and (instance ?HOLE2 Hole) (part ?HOLE1 ?HOLE2))))` has axiom `(<=> (instance ?HOLE Hole) (exists (?OBJ) (hole ?HOLE ?OBJ)))` hole has axiom `(<=> (instance ?HOLE Hole) (exists (?OBJ) (hole ?HOLE ?OBJ)))` has axiom `(=> (and (hole ?HOLE ?OBJ1) (hole ?HOLE ?OBJ2)) (exists (?OBJ3) (and (properPart ?OBJ3 (MereologicalProductFn ?OBJ1 ?OBJ2)) (hole ?HOLE ?OBJ3))))` has axiom `(=> (and (hole ?HOLE ?OBJ1) (part ?OBJ1 ?OBJ2)) (or (overlapsSpatially ?HOLE ?OBJ2) (hole ?HOLE ?OBJ2)))` has axiom `(=> (and (hole ?HOLE1 ?OBJ) (hole ?HOLE2 ?OBJ)) (forall (?HOLE3) (=> (part ?HOLE3 (MereologicalSumFn ?HOLE1 ?HOLE2)) (hole ?HOLE3 ?OBJ))))` has axiom `(=> (and (hole ?HOLE1 ?OBJ1) (hole ?HOLE2 ?OBJ2) (overlapsSpatially ?HOLE1 ?HOLE2)) (overlapsSpatially ?OBJ1 ?OBJ2))` Hole has axiom `(=> (and (instance ?HOLE1 Hole) (properPart ?HOLE2 ?HOLE1)) (exists (?OBJ) (and (meetsSpatially ?HOLE1 ?OBJ) (not (meetsSpatially ?HOLE2 ?OBJ)))))` hole has axiom `(=> (hole ?HOLE ?OBJ) (not (overlapsSpatially ?HOLE ?OBJ)))` has axiom `(=> (hole ?HOLE ?OBJ) (connected ?HOLE ?OBJ))` Hole has axiom `(=> (hole ?HOLE ?OBJ) (not (instance ?OBJ Hole)))` hole has axiom `(=> (hole ?HOLE ?OBJ) (not (instance ?OBJ Hole)))` Hole has axiom `(=> (instance ?HOLE Hole) (exists (?OBJ) (and (hole ?HOLE ?OBJ) (instance ?OBJ SelfConnectedObject))))` hole has axiom `(=> (instance ?HOLE Hole) (exists (?OBJ) (and (hole ?HOLE ?OBJ) (instance ?OBJ SelfConnectedObject))))` Hole has axiom `(=> (instance ?HOLE Hole) (instance ?HOLE SelfConnectedObject))` has axiom `(=> (instance ?HOLE1 Hole) (exists (?HOLE2) (properPart ?HOLE2 ?HOLE1)))` hole has axiom `(=> (equal ?OBJ1 (PrincipalHostFn ?HOLE)) (forall (?OBJ2) (<=> (overlapsSpatially ?OBJ2 ?OBJ1) (exists (?OBJ3) (and (hole ?HOLE ?OBJ3) (instance ?OBJ3 SelfConnectedObject) (overlapsSpatially ?OBJ2 ?OBJ3))))))` has domain1 Hole has domain2 Object Hole has relatedInternalConcept hole is a kind of Region hole is an instance of AsymmetricRelation is an instance of BinaryPredicate is an instance of SpatialRelation Hole is first domain of hole is first domain of PrincipalHostFn is first domain of SkinFn is second domain of fills is second domain of partiallyFills is second domain of properlyFills Horizontal documentation Attribute used to indicate that an Object is positioned width-wise with respect to another Object has contraryProperty Vertical is an instance of DirectionAttribute Hormone documentation In Animals, a chemical secreted by an endocrine gland whose products are released into the circulating fluid. Plant hormones or synthetic hormones which are used only to alter or control various physiologic processes, e.g., reproductive control agents, are assigned to the Class PharmacologicSubstance. Hormones act as chemical messengers and regulate various physiologic processes such as growth, reproduction, metabolism, etc. They usually fall into two broad categories, viz. steroid hormones and peptide hormones is a kind of BodySubstance Hour documentation The Class of all clock Hours has axiom `(=> (instance (HourFn ?NUMBER ?DAY) Hour) (lessThan ?NUMBER 24))` has axiom `(=> (instance ?HOUR Hour) (duration ?HOUR HourDuration))` has relatedInternalConcept HourDuration has relatedInternalConcept HourFn is a kind of TimeInterval is second domain of MinuteFn HourDuration documentation Time unit. 1 hour = 60 minutes has axiom `(=> (instance ?HOUR Hour) (duration ?HOUR HourDuration))` has axiom `(equal (MeasureFn ?NUMBER DayDuration) (MeasureFn (MultiplicationFn ?NUMBER 24) HourDuration))` has axiom `(equal (MeasureFn ?NUMBER HourDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration))` is an instance of TimeDuration is an instance of UnitOfMeasure HourFn documentation A BinaryFunction that maps a number and a Day to the corresponding Hour of the Day. For example, (HourFn 14 (DayFn 18 (MonthFn 8 (YearFn 1912)))) denotes the 14th hour, i.e. 2 PM, on the 18th day of August 1912 has axiom `(=> (instance (HourFn ?NUMBER ?DAY) Hour) (lessThan ?NUMBER 24))` has domain1 PositiveRealNumber has domain2 Day has range Hour is an instance of BinaryFunction is an instance of TemporalRelation HourIntervalFn documentation A BinaryFunction that maps two numbers to the Class of TimeIntervals that begin at the hour corresponding to the first number and that end at the hour corresponding to the second number. For example, (HourIntervalFn 6 12) returns the set of TimeIntervals that begin at 6 AM every day and that end at 12 noon every day. If necessary, we will define other interval functions for seconds, minutes, days, and/or months has axiom `(=> (instance ?INTERVAL (HourIntervalFn ?NUMBER1 ?NUMBER2)) (and (lessThan ?NUMBER1 24) (lessThan ?NUMBER2 24) (lessThan ?NUMBER1 ?NUMBER2)))` has domain1 PositiveRealNumber has domain2 PositiveRealNumber has range TimeInterval is an instance of BinaryFunction is an instance of TemporalRelation Human documentation Modern man, the only remaining species of the Homo genus has axiom `(=> (and (instance ?GROUP GroupOfPeople) (member ?MEMB ?GROUP)) (instance ?MEMB Human))` has axiom `(=> (instance ?BUILDING Building) (exists (?HUMAN) (and (instance ?HUMAN Human) (or (inhabits ?HUMAN ?BUILDING) (exists (?ACT) (and (agent ?ACT ?HUMAN) (located ?ACT ?BUILDING)))))))` is a kind of CognitiveAgent is a kind of Primate is first domain of citizen Icon documentation This is the subclass of ContentBearingObjects which are not part of a Language and which have some sort of similarity with the Objects that they represent. This Class would include symbolic roadway signs, 'icons' in a graphical computer operating system, etc is a kind of ContentBearingObject Identifying documentation The Class of Learning Processes which involve attaching a name or category to a thing or set of things. Note that Identifying is distinguished from Learning by the fact that the latter covers the acquisition by a CognitiveAgent of any Proposition, while the former covers only those cases involving the assignment of a label or category is a kind of Learning identityElement documentation An object ?ID is the identity element for BinaryFunction ?FUNCTION just in case, for every instance ?INST, applying ?FUNCTION to ?INST and ?ID results in ?INST has axiom `(=> (identityElement ?FUNCTION ?ID) (forall (?INST) (=> (instance ?INST (DomainFn ?FUNCTION)) (equal (AssignmentFn ?FUNCTION ?ID ?INST) ?INST))))` has domain1 BinaryFunction has domain2 Entity is an instance of AsymmetricRelation is an instance of BinaryPredicate IdentityFn documentation The value of the identity function is just its argument has axiom `(equal (IdentityFn ?INST) ?INST)` has domain1 Entity has range Entity is an instance of UnaryFunction IlluminanceMeasure is a kind of FunctionQuantity ImaginaryNumber documentation The square root of -1 has axiom `(=> (instance ?NUMBER ImaginaryNumber) (instance ?NUMBER (RelativeComplementFn Number RealNumber)))` is an instance of Number ImaginaryPartFn documentation (ImaginaryPartFn ?NUMBER) returns the imaginary part of ?NUMBER has axiom `(=> (instance ?NUMBER ComplexNumber) (exists (?PART1 ?PART2) (and (equal ?PART1 (RealNumberFn ?NUMBER)) (equal ?PART2 (ImaginaryPartFn ?NUMBER)))))` has domain1 ComplexNumber has range ImaginaryNumber is an instance of UnaryFunction ImmediateFutureFn documentation A UnaryFunction that maps a TimePosition to a short, indeterminate TimeInterval that immediately follows the TimePosition has axiom `(<=> (instance ?PROCESS Destruction) (exists (?PATIENT) (and (patient ?PROCESS ?PATIENT) (existant ?PATIENT (ImmediatePastFn(WhenFn ?PROCESS))) (not (existant ?PATIENT (ImmediateFutureFn (WhenFn ?PROCESS)))))))` has axiom `(=> (and (resource ?PROC ?OBJ) (holdsDuring (ImmediatePastFn (WhenFn ?PROC)) (measure ?OBJ ?QUANT1)) (holdsDuring (ImmediateFutureFn (WhenFn ?PROC)) (measure ?OBJ ?QUANT2))) (greaterThan ?QUANT1 ?QUANT2)) ` has axiom `(=> (and (instance ?ALT ShapeAlteration) (patient ?ALT ?OBJ)) (exists (?PROPERTY) (and (instance ?PROPERTY ShapeProperty) (or (and (holdsDuring (ImmediatePastFn (WhenFn ?ALT)) (attribute ?OBJ ?PROPERTY)) (holdsDuring (ImmediateFutureFn (WhenFn ?ALT)) (not (attribute ?OBJ ?PROPERTY)))) (and (holdsDuring (ImmediatePastFn (WhenFn ?ALT)) (not (attribute ?OBJ ?PROPERTY))) (holdsDuring (ImmediateFutureFn (WhenFn ?ALT)) (attribute ?OBJ ?PROPERTY)))))))` has axiom `(=> (and (instance ?CHANGE ChangeOfPossession) (patient ?CHANGE ?OBJ) (holdsDuring (ImmediatePastFn (WhenFn ?CHANGE)) (possesses ?AGENT1 ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?CHANGE)) (possesses ?AGENT2 ?OBJ))) (not (equal ?AGENT1 ?AGENT2)))` has axiom `(=> (and (instance ?COLORING Coloring) (patient ?COLORING ?OBJ)) (exists (?PROPERTY) (and (holdsDuring (ImmediatePastFn (WhenFn ?COLORING)) (attribute ?OBJ ?PROPERTY)) (holdsDuring (ImmediateFutureFn (WhenFn ?COLORING)) (not (attribute ?OBJ ?PROPERTY)))))) ` has axiom `(=> (and (instance ?DECREASE Decreasing) (patient ?DECREASE ?OBJ)) (exists (?UNIT ?QUANT1 ?QUANT2) (and (holdsDuring (ImmediatePastFn (WhenFn ?DECREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT1)) (holdsDuring (ImmediateFutureFn (WhenFn ?DECREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT2)) (lessThan ?QUANT2 ?QUANT1)))) ` has axiom `(=> (and (instance ?DRY Drying) (patient ?DRY ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?DRY)) (or (attribute ?OBJ Anhydrous) (attribute ?OBJ Dry))))` has axiom `(=> (and (instance ?GIVE Giving) (agent ?GIVE ?AGENT1) (destination ?GIVE ?AGENT2) (instance ?AGENT2 Agent) (patient ?GIVE ?OBJ)) (and (holdsDuring (ImmediatePastFn (WhenFn ?GIVE)) (possesses ?AGENT1 ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?GIVE)) (possesses ?AGENT2 ?OBJ))))` has axiom `(=> (and (instance ?INCREASE Increasing) (patient ?INCREASE ?OBJ)) (exists (?UNIT ?QUANT1 ?QUANT2) (and (holdsDuring (ImmediatePastFn (WhenFn ?INCREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT1)) (holdsDuring (ImmediateFutureFn (WhenFn ?INCREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT2)) (greaterThan ?QUANT2 ?QUANT1)))) ` has axiom `(=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (ImmediatePastFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (ImmediateFutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead))))` has axiom `(=> (and (instance ?MEAS Measuring) (agent ?MEAS ?AGENT) (patient ?MEAS ?OBJ)) (exists (?QUANT ?UNIT) (holdsDuring (ImmediateFutureFn (WhenFn ?MEAS)) (knows ?AGENT (measure ?OBJ (MeasureFn ?QUANT ?UNIT))))))` has axiom `(=> (and (instance ?MOTION Motion) (patient ?MOTION ?OBJ) (destination ?MOTION ?PLACE)) (holdsDuring (ImmediateFutureFn (WhenFn ?MOTION)) (located ?OBJ ?PLACE)))` has axiom `(=> (and (instance ?PUT Putting) (destination ?PUT ?PLACE) (patient ?PUT ?OBJ)) (and (holdsDuring (ImmediatePastFn (WhenFn ?PUT)) (not (located ?OBJ ?PLACE))) (holdsDuring (ImmediateFutureFn (WhenFn ?PUT)) (located ?OBJ ?PLACE))))` has axiom `(=> (and (instance ?REMOVE Removing) (origin ?REMOVE ?PLACE) (patient ?REMOVE ?OBJ)) (and (holdsDuring (ImmediatePastFn (WhenFn ?REMOVE)) (located ?OBJ ?PLACE)) (holdsDuring (ImmediateFutureFn (WhenFn ?REMOVE)) (not (located ?OBJ ?PLACE)))))` has axiom `(=> (and (instance ?WET Wetting) (patient ?WET ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?WET)) (or (attribute ?OBJ Wet) (attribute ?OBJ Damp))))` has axiom `(=> (birthTime ?ORGANISM ?TIME) (holdsDuring (ImmediateFutureFn ?TIME) (attribute ?ORGANISM Living)))` has axiom `(=> (holdsDuring ?TIME (exists (?LEARN) (and (instance ?LEARN Learning) (agent ?LEARN ?AGENT) (patient ?LEARN ?PROP)))) (holdsDuring (ImmediateFutureFn ?TIME) (believes ?AGENT ?PROP)))` has axiom `(=> (instance ?PROC DirectionChange) (exists (?ATTR) (and (instance ?ATTR DirectionAttribute) (or (and (holdsDuring (ImmediatePastFn (WhenFn ?PROC)) (attribute ?PROC ?ATTR)) (holdsDuring (ImmediateFutureFn (WhenFn ?PROC)) (not (attribute ?PROC ?ATTR)))) (and (holdsDuring (ImmediateFutureFn (WhenFn ?PROC)) (attribute ?PROC ?ATTR)) (holdsDuring (ImmediatePastFn (WhenFn ?PROC)) (not (attribute ?PROC ?ATTR))))))))` has axiom `(starts (ImmediateFutureFn (WhenFn ?THING)) (FutureFn (WhenFn ?THING)))` has domain1 TimePosition has range TimeInterval is an instance of TemporalRelation is an instance of UnaryFunction ImmediateFutureFn(WhenFn has axiom `(<=> (instance ?PROCESS Creation) (exists (?PATIENT) (and (patient ?PROCESS ?PATIENT) (existant ?PATIENT (ImmediateFutureFn(WhenFn ?PROCESS))) (not (existant ?PATIENT (ImmediatePastFn (WhenFn ?PROCESS)))))))` ImmediatePastFn documentation A UnaryFunction that maps a TimePosition to a short, indeterminate TimeInterval that immediately precedes the TimePosition has axiom `(<=> (instance ?PROCESS Creation) (exists (?PATIENT) (and (patient ?PROCESS ?PATIENT) (existant ?PATIENT (ImmediateFutureFn(WhenFn ?PROCESS))) (not (existant ?PATIENT (ImmediatePastFn (WhenFn ?PROCESS)))))))` has axiom `(=> (and (resource ?PROC ?OBJ) (holdsDuring (ImmediatePastFn (WhenFn ?PROC)) (measure ?OBJ ?QUANT1)) (holdsDuring (ImmediateFutureFn (WhenFn ?PROC)) (measure ?OBJ ?QUANT2))) (greaterThan ?QUANT1 ?QUANT2)) ` has axiom `(=> (and (instance ?ALT ShapeAlteration) (patient ?ALT ?OBJ)) (exists (?PROPERTY) (and (instance ?PROPERTY ShapeProperty) (or (and (holdsDuring (ImmediatePastFn (WhenFn ?ALT)) (attribute ?OBJ ?PROPERTY)) (holdsDuring (ImmediateFutureFn (WhenFn ?ALT)) (not (attribute ?OBJ ?PROPERTY)))) (and (holdsDuring (ImmediatePastFn (WhenFn ?ALT)) (not (attribute ?OBJ ?PROPERTY))) (holdsDuring (ImmediateFutureFn (WhenFn ?ALT)) (attribute ?OBJ ?PROPERTY)))))))` has axiom `(=> (and (instance ?CHANGE ChangeOfPossession) (patient ?CHANGE ?OBJ) (holdsDuring (ImmediatePastFn (WhenFn ?CHANGE)) (possesses ?AGENT1 ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?CHANGE)) (possesses ?AGENT2 ?OBJ))) (not (equal ?AGENT1 ?AGENT2)))` has axiom `(=> (and (instance ?COLORING Coloring) (patient ?COLORING ?OBJ)) (exists (?PROPERTY) (and (holdsDuring (ImmediatePastFn (WhenFn ?COLORING)) (attribute ?OBJ ?PROPERTY)) (holdsDuring (ImmediateFutureFn (WhenFn ?COLORING)) (not (attribute ?OBJ ?PROPERTY)))))) ` has axiom `(=> (and (instance ?DECREASE Decreasing) (patient ?DECREASE ?OBJ)) (exists (?UNIT ?QUANT1 ?QUANT2) (and (holdsDuring (ImmediatePastFn (WhenFn ?DECREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT1)) (holdsDuring (ImmediateFutureFn (WhenFn ?DECREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT2)) (lessThan ?QUANT2 ?QUANT1)))) ` has axiom `(=> (and (instance ?GIVE Giving) (agent ?GIVE ?AGENT1) (destination ?GIVE ?AGENT2) (instance ?AGENT2 Agent) (patient ?GIVE ?OBJ)) (and (holdsDuring (ImmediatePastFn (WhenFn ?GIVE)) (possesses ?AGENT1 ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?GIVE)) (possesses ?AGENT2 ?OBJ))))` has axiom `(=> (and (instance ?INCREASE Increasing) (patient ?INCREASE ?OBJ)) (exists (?UNIT ?QUANT1 ?QUANT2) (and (holdsDuring (ImmediatePastFn (WhenFn ?INCREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT1)) (holdsDuring (ImmediateFutureFn (WhenFn ?INCREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT2)) (greaterThan ?QUANT2 ?QUANT1)))) ` has axiom `(=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (ImmediatePastFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (ImmediateFutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead))))` has axiom `(=> (and (instance ?MOTION Motion) (patient ?MOTION ?OBJ) (origin ?MOTION ?PLACE)) (holdsDuring (ImmediatePastFn (WhenFn ?MOTION)) (located ?OBJ ?PLACE)))` has axiom `(=> (and (instance ?PUT Putting) (destination ?PUT ?PLACE) (patient ?PUT ?OBJ)) (and (holdsDuring (ImmediatePastFn (WhenFn ?PUT)) (not (located ?OBJ ?PLACE))) (holdsDuring (ImmediateFutureFn (WhenFn ?PUT)) (located ?OBJ ?PLACE))))` has axiom `(=> (and (instance ?REMOVE Removing) (origin ?REMOVE ?PLACE) (patient ?REMOVE ?OBJ)) (and (holdsDuring (ImmediatePastFn (WhenFn ?REMOVE)) (located ?OBJ ?PLACE)) (holdsDuring (ImmediateFutureFn (WhenFn ?REMOVE)) (not (located ?OBJ ?PLACE)))))` has axiom `(=> (instance ?PROC DirectionChange) (exists (?ATTR) (and (instance ?ATTR DirectionAttribute) (or (and (holdsDuring (ImmediatePastFn (WhenFn ?PROC)) (attribute ?PROC ?ATTR)) (holdsDuring (ImmediateFutureFn (WhenFn ?PROC)) (not (attribute ?PROC ?ATTR)))) (and (holdsDuring (ImmediateFutureFn (WhenFn ?PROC)) (attribute ?PROC ?ATTR)) (holdsDuring (ImmediatePastFn (WhenFn ?PROC)) (not (attribute ?PROC ?ATTR))))))))` has axiom `(finishes (ImmediatePastFn (WhenFn ?THING)) (PastFn (WhenFn ?THING)))` has domain1 TimePosition has range TimeInterval is an instance of TemporalRelation is an instance of UnaryFunction ImmediatePastFn(WhenFn has axiom `(<=> (instance ?PROCESS Destruction) (exists (?PATIENT) (and (patient ?PROCESS ?PATIENT) (existant ?PATIENT (ImmediatePastFn(WhenFn ?PROCESS))) (not (existant ?PATIENT (ImmediateFutureFn (WhenFn ?PROCESS)))))))` Impacting documentation The Class of Processes where something comes into sudden, forceful, physical contact with something else. Some examples would be striking, knocking, whipping etc has axiom `(=> (and (instance ?IMPACT Impacting) (instrument ?IMPACT ?INST) (patient ?IMPACT ?PLACE)) (holdsDuring (WhenFn ?IMPACT) (connected ?INST ?PLACE)))` is a kind of Process Impelling documentation The subclass of Transfer where the patient travels through space by means of a sudden, forceful event. Some examples would be shooting, throwing, tossing, etc is a kind of Transfer Inch documentation English length unit of inches has axiom `(equal (MeasureFn ?NUMBER Inch) (MeasureFn (MultiplicationFn ?NUMBER 0.0254) Meter))` is an instance of LengthMeasure is an instance of UnitOfMeasure Increasing documentation Any Process where a PhysicalQuantity associated with the patient is decreased documentation Any Process where a PhysicalQuantity associated with the patient is increased has axiom `(=> (and (instance ?INCREASE Increasing) (patient ?INCREASE ?OBJ)) (exists (?UNIT ?QUANT1 ?QUANT2) (and (holdsDuring (ImmediatePastFn (WhenFn ?INCREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT1)) (holdsDuring (ImmediateFutureFn (WhenFn ?INCREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT2)) (greaterThan ?QUANT2 ?QUANT1)))) ` has relatedInternalConcept Putting is a kind of Process is disjoint from Decreasing InductanceMeasure is a kind of FunctionQuantity InformationMeasure is a kind of ConstantQuantity Ingesting documentation The Process by which Food is incorporated into an Animal has axiom `(=> (and (instance ?ACT Ingesting) (patient ?ACT ?FOOD)) (instance ?FOOD Food))` is a kind of OrganismProcess inhabits documentation A very basic notion of living within something else. (inhabits ?ORGANISM ?OBJECT) means that ?OBJECT is the residence, nest, home, etc. of ?ORGANISM has axiom `(=> (and (instance ?BACTERIUM Bacterium) (inhabits ?BACTERIUM ?OBJ)) (instance ?OBJ Organism))` has axiom `(=> (and (instance ?CHLAMYD Chlamydia) (inhabits ?CHLAMYD ?OBJ)) (instance ?OBJ Organism))` has axiom `(=> (and (instance ?FUNGUS Fungus) (inhabits ?FUNGUS ?OBJ)) (instance ?OBJ Organism))` has axiom `(=> (and (instance ?VIRUS Virus) (inhabits ?VIRUS ?OBJ)) (instance ?OBJ Organism))` has axiom `(=> (instance ?ALGA Alga) (exists (?WATER) (and (inhabits ?ALGA ?WATER) (instance ?WATER Water))))` has axiom `(=> (instance ?CHLAMYD Chlamydia) (exists (?CELL ?ANIMAL) (and (inhabits ?CHLAMYD ?CELL) (instance ?CELL Cell) (component ?CELL ?ANIMAL) (or (instance ?ANIMAL Insect) (instance ?ANIMAL Tick)))))` has axiom `(=> (instance ?FISH Fish) (exists (?WATER) (and (inhabits ?FISH ?WATER) (instance ?WATER Water))))` has axiom `(=> (instance ?BUILDING Building) (exists (?HUMAN) (and (instance ?HUMAN Human) (or (inhabits ?HUMAN ?BUILDING) (exists (?ACT) (and (agent ?ACT ?HUMAN) (located ?ACT ?BUILDING)))))))` has domain1 Organism has domain2 Object is an instance of AsymmetricRelation is an instance of BinaryPredicate inhibits documentation A very general Predicate. (inhibits ?PROC1 ?PROC2) means that the Process ?PROC1 inhibits or hinders the occurrence of the Process ?PROC2. For example, obstructing an object inhibits moving it. Note that this is a relation between types of Processes, not between instances has domain1 Process has domain2 Process is an instance of BinaryPredicate is an instance of IrreflexiveRelation Injuring documentation A traumatic wound or injury caused by an external agent or force. Since no injury is possible without some biologic function which affects the organism being injured, it is a subclass of BiologicalProcess has axiom `(<=> (instance ?INJ Injuring) (and (instance ?INJ Damaging) (patient ?INJ Organism)))` has axiom `(=> (instance ?INJ Injuring) (exists (?STRUCT) (and (instance ?STRUCT AnatomicalStructure) (patient ?INJ ?STRUCT))))` is a kind of PathologicProcess inScopeOfInterest documentation A very general Predicate. (inScopeOfInterest ?AGENT ?ENTITY) means that ?ENTITY is within the scope of interest of ?AGENT. Note that the interest indicated can be either positive or negative, i.e. the ?AGENT can have an interest in avoiding or promoting ?ENTITY has axiom `(=> (and (instance ?SEARCH Searching) (agent ?SEARCH ?AGENT) (patient ?SEARCH ?ENTITY)) (inScopeOfInterest ?AGENT ?ENTITY))` has domain1 Agent has domain2 Entity is an instance of AsymmetricRelation is an instance of BinaryPredicate is an instance of IntentionalRelation Insect documentation A Class of Arthropods that is distinguished by its body appearance has axiom `(=> (instance ?CHLAMYD Chlamydia) (exists (?CELL ?ANIMAL) (and (inhabits ?CHLAMYD ?CELL) (instance ?CELL Cell) (component ?CELL ?ANIMAL) (or (instance ?ANIMAL Insect) (instance ?ANIMAL Tick)))))` is a kind of Arthropod instance documentation An object is an instance a Class if it is a member of that Class. An individual may be an instance of many classes, some of which may be subclasses of others. Thus, there is no assumption in the meaning of instance about specificity or uniqueness has domain1 Entity has domain2 Class is an instance of AntisymmetricRelation is an instance of BinaryPredicate instrument documentation (instrument ?EVENT ?TOOL) means that ?TOOL is used by an agent in bringing about ?EVENT and that ?TOOL is not changed by ?EVENT. For example, the key is an instrument in the following proposition: The key opened the door. Note that instrument and resource cannot be satisfied by the same ordered pair has axiom `(<=> (resource ?PROC ?OBJ) (not (instrument ?PROC ?OBJ)))` has axiom `(=> (uses ?OBJ ?AGENT) (exists (?PROC) (and (agent ?PROC ?AGENT) (instrument ?PROC ?OBJ))))` has axiom `(=> (instance ?POISON Poisoning) (exists (?SUBSTANCE) (and (instance ?SUBSTANCE ToxicSubstance) (instrument ?POISON ?SUBSTANCE))))` has axiom `(=> (and (instance ?IMPACT Impacting) (instrument ?IMPACT ?INST) (patient ?IMPACT ?PLACE)) (holdsDuring (WhenFn ?IMPACT) (connected ?INST ?PLACE)))` has axiom `(=> (and (instance ?POKE Poking) (agent ?POKE ?AGENT) (patient ?POKE ?OBJ) (instrument ?POKE ?INST)) (holdsDuring (WhenFn ?POKE) (connects ?INST ?AGENT ?OBJ)))` has axiom `(=> (instance ?DEVICE Device) (exists (?PROC) (and (instance ?PROC Process) (instrument ?PROC ?DEVICE))))` has axiom `(=> (instance ?TRANS Transportation) (exists (?DEVICE) (and (instance ?DEVICE TransportationDevice) (instrument ?TRANS ?DEVICE))))` has domain1 Process has domain2 Object Integer documentation A negative or nonnegative whole number has axiom `(=> (instance ?SEQ SequenceFunction) (subclass (RangeFn ?SEQ) Integer))` has axiom `(=> (and (instance ?INT1 Integer) (instance ?INT2 Integer)) (not (and (lessThan ?INT1 ?INT2) (lessThan ?INT2 (SuccessorFn ?INT1)))))` has axiom `(=> (and (instance ?INT1 Integer) (instance ?INT2 Integer)) (not (and (lessThan ?INT2 ?INT1) (lessThan (PredecessorFn ?INT1) ?INT2))))` has axiom `(=> (equal (CeilingFn ?NUMBER) ?INT) (not (exists (?OTHERINT) (and (instance ?OTHERINT Integer) (greaterThanOrEqualTo ?OTHERINT ?NUMBER) (lessThan ?OTHERINT ?INT)))))` has axiom `(=> (equal (FloorFn ?NUMBER) ?INT) (not (exists (?OTHERINT) (and (instance ?OTHERINT Integer) (lessThanOrEqualTo ?OTHERINT ?NUMBER) (greaterThan ?OTHERINT ?INT)))))` has axiom `(=> (instance ?INT Integer) (equal ?INT (PredecessorFn (SuccessorFn ?INT))))` has axiom `(=> (instance ?INT Integer) (equal ?INT (SuccessorFn (PredecessorFn ?INT))))` has axiom `(=> (instance ?INT Integer) (greaterThan ?INT (PredecessorFn ?INT)))` has axiom `(=> (instance ?INT Integer) (lessThan ?INT (SuccessorFn ?INT)))` has axiom `(=> (instance ?NUMBER RationalNumber) (exists (?INT1 ?INT2) (and (instance ?INT1 Integer) (instance ?INT2 Integer) (equal ?NUMBER (DivisionFn ?INT1 ?INT2)))))` is a kind of RationalNumber is first domain of PredecessorFn is first domain of SuccessorFn is first domain of YearFn is partitioned into NegativeInteger, NonnegativeInteger is partitioned into OddInteger, EvenInteger is second domain of ExponentiationFn is second domain of singleValued IntegerSquareRootFn documentation (IntegerSquareRootFn ?NUMBER) returns the integer square root of ?NUMBER has domain1 RealNumber has range NonnegativeInteger is an instance of UnaryFunction IntentionalProcess documentation A Process that is deliberately set in motion by a CognitiveAgent has axiom `(=> (and (instance ?PROC IntentionalProcess) (agent ?PROC ?AGENT)) (and (instance ?AGENT CognitiveAgent) (exists (?PURP) (hasPurposeForAgent ?PROC ?PURP ?AGENT))))` has axiom `(=> (instance ?PROC IntentionalProcess) (exists (?AGENT) (and (instance ?AGENT CognitiveAgent) (agent ?PROC ?AGENT))))` is a kind of Process is disjoint from NonintentionalProcess IntentionalRelation documentation The Class of Relations between an Agent and an Entity, where the Relation requires that the Agent have awareness of the Entity is a kind of AsymmetricRelation interiorPart documentation (interiorPart ?OBJ1 ?OBJ2) means that ?OBJ1 is part ?OBJ2 and there is no overlap between ?OBJ1 and any superficialPart ?OBJ2 has axiom `(=> (superficialPart ?OBJ1 ?OBJ2) (and (not (interiorPart ?OBJ1 ?OBJ2)) (not (exists (?OBJ3) (interiorPart ?OBJ3 ?OBJ1)))))` has axiom `(=> (interiorPart ?OBJ1 ?OBJ2) (forall (?PART) (=> (superficialPart ?PART ?OBJ2) (not (overlapsSpatially ?OBJ1 ?PART)))))` has axiom `(=> (contains ?OBJ1 ?OBJ2) (forall (?PART2) (=> (part ?PART2 ?OBJ2) (exists (?PART1) (and (interiorPart ?PART1 ?OBJ1) (exactlyLocated ?PART2 ?PART1))))))` IntersectionFn documentation A BinaryFunction that maps two %Classes to the intersection of these Classes. An object is an instance of the intersection of two Classes just in case it is an instance of both of those Classes has axiom `(<=> (instance ?ENTITY (IntersectionFn ?CLASS1 ?CLASS2)) (and (instance ?ENTITY ?CLASS1) (instance ?ENTITY ?CLASS2)))` has axiom `(equal (RelativeComplementFn ?CLASS1 ?CLASS2) (IntersectionFn ?CLASS1 (ComplementFn ?CLASS2)))` has domain1 Class has domain2 Class has range Class is an instance of BinaryFunction IntransitiveRelation documentation A BinaryRelation ?REL is intransitive only if (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST3) imply not (?REL ?INST1 ?INST3), for all ?INST1, ?INST2, and ?INST3 has axiom `(=> (instance ?REL IntransitiveRelation) (forall (?INST1 ?INST2 ?INST3) (=> (and (holds ?REL ?INST1 ?INST2) (holds ?REL ?INST2 ?INST3)) (not (holds ?REL ?INST1 ?INST3)))))` is a kind of BinaryRelation inverse documentation The inverse of a BinaryRelation is a relation in which all the tuples of the original relation are reversed. In other words, one BinaryRelation is the inverse of another if they are equivalent when their arguments are swapped has axiom `(=> (and (inverse ?REL1 ?REL2) (instance ?REL1 BinaryRelation) (instance ?REL2 BinaryRelation)) (forall (?INST1 ?INST2) (<=> (holds ?REL1 ?INST1 ?INST2) (holds ?REL2 ?INST2 ?INST1))))` has domain1 BinaryRelation has domain2 BinaryRelation is an instance of BinaryPredicate is an instance of SymmetricRelation Invertebrate documentation An Animal which has no SpinalColumn is a kind of Animal is disjoint from Vertebrate Investigating documentation The subclass of Searching where the thing sought is a piece of information (i.e. a Proposition denoted by a Formula) has axiom `(=> (and (instance ?INVESTIGATE Investigating) (agent ?INVESTIGATE ?AGENT) (patient ?INVESTIGATE ?PROP)) (holdsDuring (WhenFn ?INVESTIGATE) (not (knows ?AGENT ?PROP))))` has axiom `(=> (and (instance ?INVESTIGATE Investigating) (patient ?INVESTIGATE ?PROP)) (instance ?PROP Formula))` is a kind of Searching irreflexiveOn documentation A BinaryRelation is irreflexive on a Class only if no instance of the Class bears the relation to itself has axiom `(=> (irreflexiveOn ?RELATION ?CLASS) (forall (?INST) (=> (instance ?INST ?CLASS) (not (holds ?RELATION ?INST ?INST)))))` has domain1 BinaryRelation has domain2 Class is an instance of AsymmetricRelation is an instance of BinaryPredicate IrreflexiveRelation documentation Relation ?REL is irreflexive if (?REL ?INST ?INST) holds for no value of ?INST has axiom `(=> (instance ?REL IrreflexiveRelation) (forall (?INST) (not (holds ?REL ?INST ?INST))))` is a kind of BinaryRelation Joule documentation SI EnergyMeasure. Symbol: J. It is the work done when the point of application of 1 Newton is displaced a distance of 1 Meter in the direction of the force. Joule = N*m = m^2*kg*s^(-2) has axiom `(equal (MeasureFn ?NUMBER BritishThermalUnit) (MeasureFn (MultiplicationFn ?NUMBER 1055.05585262) Joule))` has axiom `(equal (MeasureFn ?NUMBER Calorie) (MeasureFn (MultiplicationFn ?NUMBER 4.1868) Joule))` has axiom `(equal (MeasureFn ?NUMBER ElectronVolt) (MeasureFn (MultiplicationFn ?NUMBER 1.60217733E-19) Joule))` is an instance of EnergyMeasure is an instance of SystemeInternationalUnit JudgementOfEtiquette documentation A Proposition expressing the proper manner of doing something is a kind of NormativeProposition Junction documentation An interface between two EngineeringElements that have different electrical characteristics is a kind of EngineeringElement JunctionFn documentation A UnaryFunction that maps a Terminal to its corresponding Junction has domain1 Terminal has range Junction is an instance of UnaryFunction KappaFn documentation A class-forming operator that takes two arguments: a variable and a formula containing at least one unbound occurrence of the variable. The result of applying KappaFn to a variable and a formula is the Class of things that satisfy the formula. For example, we can denote the Class of prime numbers that are less than 100 with the following expression: (KappaFn ?NUMBER (and (instance ?NUMBER PrimeNumber) (lessThan ?NUMBER 100))). Note that the use of this function is discouraged, since there is currently no axiomatic support for it has domain1 SymbolicString has domain2 Formula has range Class is an instance of BinaryFunction Keeping documentation The Class of Processes where the agent keeps something in a particular location for an extended period of time is a kind of IntentionalProcess Kelvin documentation SI ThermodynamicTemperatureMeasure. Symbol: K. It is one of the base units in SI (it is also a unit in the ITS system). It is defined as follows: the Kelvin is the fraction 1/273.16 of the thermodynamic temperature of the triple point of water has axiom `(equal (MeasureFn ?NUMBER Celsius) (MeasureFn (SubtractionFn ?NUMBER 273.15) Kelvin))` has axiom `(equal (MeasureFn ?NUMBER Rankine) (MeasureFn (MultiplicationFn ?NUMBER 1.8) Kelvin))` is an instance of SystemeInternationalUnit is an instance of ThermodynamicTemperatureMeasure Killing documentation The subclass of Destruction in which the death of an Organism is caused by an Organism. Note that in cases of suicide the Organism would be the same in both cases has axiom `(=> (and (instance ?KILL Killing) (agent ?KILL ?AGENT) (patient ?KILL ?PATIENT)) (and (instance ?AGENT Organism) (instance ?PATIENT Organism)))` has axiom `(=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (ImmediatePastFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (ImmediateFutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead))))` is a kind of Destruction KiloByte documentation One KiloByte (K) of information. One KiloByte is 1024 Bytes. Note that this sense of 'kilo' is different from the one accepted in the SI system has axiom `(equal (MeasureFn ?NUMBER KiloByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) Byte))` has axiom `(equal (MeasureFn ?NUMBER MegaByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) KiloByte))` is an instance of InformationMeasure is an instance of UnitOfMeasure Kilogram documentation SI MassMeasure. Symbol: kg. It is one of the base units in SI (it is also the basic unit of mass in the MKS system), and it is equal to the mass of the international prototype of the Kilogram has axiom `(equal (MeasureFn ?NUMBER Gram) (MeasureFn (MultiplicationFn ?NUMBER 0.001) Kilogram))` has axiom `(equal (MeasureFn ?NUMBER Kilogram) (MeasureFn (MultiplicationFn ?NUMBER 1000) Gram))` has axiom `(equal (MeasureFn ?NUMBER Amu) (MeasureFn (MultiplicationFn ?NUMBER 1.6605402E-27) Kilogram)) ` has axiom `(equal (MeasureFn ?NUMBER Pound) (MeasureFn (MultiplicationFn ?NUMBER 0.45359237) Kilogram))` has axiom `(equal (MeasureFn ?NUMBER Slug) (MeasureFn (MultiplicationFn ?NUMBER 14.59390) Kilogram))` is an instance of MassMeasure is an instance of SystemeInternationalUnit KiloHertz documentation Multiple of Hertz. Symbol: kHz. A FrequencyMeasure equal to one thousand times per SecondDuration. 1 KiloHertz = 10^3 Hertz has axiom `(equal (MeasureFn ?NUMBER KiloHertz) (MeasureFn (MultiplicationFn ?NUMBER 1000) Hertz))` is an instance of FrequencyMeasure is an instance of UnitOfMeasure Kilometer documentation Multiple of Meter. Symbol: km. 1 Kilometer = 1000 Meters has axiom `(equal (MeasureFn ?NUMBER Kilometer) (MeasureFn (MultiplicationFn ?NUMBER 1000) Meter))` is an instance of LengthMeasure is an instance of UnitOfMeasure KiloWatt documentation Multiple of Watt. Symbol: kW. A UnitOfMeasure that measures power, i.e. energy produced or expended divided by TimeDuration. 1 KiloWatt = 1000 Watts has axiom `(equal (MeasureFn ?NUMBER KiloWatt) (MeasureFn (MultiplicationFn ?NUMBER 1000) Watt))` is an instance of PowerMeasure knows documentation The epistemic predicate of knowing. (knows ?AGENT ?FORMULA) means that ?AGENT knows the proposition expressed by ?FORMULA. Note that knows entails conscious awareness, so this Predicate cannot be used to express tacit or subconscious or unconscious knowledge has axiom `(=> (knows ?AGENT ?FORMULA) (believes ?AGENT ?FORMULA))` has axiom `(=> (and (instance ?COUNT Counting) (agent ?COUNT ?AGENT) (patient ?COUNT ?ENTITY)) (exists (?NUMBER) (knows ?AGENT (equal (CardinalityFn ?ENTITY)))))` has axiom `(=> (and (instance ?INVESTIGATE Investigating) (agent ?INVESTIGATE ?AGENT) (patient ?INVESTIGATE ?PROP)) (holdsDuring (WhenFn ?INVESTIGATE) (not (knows ?AGENT ?PROP))))` has axiom `(=> (and (instance ?MEAS Measuring) (agent ?MEAS ?AGENT) (patient ?MEAS ?OBJ)) (exists (?QUANT ?UNIT) (holdsDuring (ImmediateFutureFn (WhenFn ?MEAS)) (knows ?AGENT (measure ?OBJ (MeasureFn ?QUANT ?UNIT))))))` has axiom `(=> (knows ?AGENT ?FORMULA) (true ?FORMULA True))` has domain1 Agent has domain2 Formula is an instance of PropositionalAttitude Land documentation A Land is the GeographicArea associated with a nation. For example, the Land of Australia is the Region making up the continent of Oceania is a kind of GeographicArea Language documentation A system of signs for expressing thought. The system can be either natural or artificial, i.e. something that emerges gradually as a cultural artifact or something that is intentionally created by a person or group of people is a kind of LinguisticExpression is second domain of sentenceOfLanguage is third domain of relatedExternalConcept is third domain of representsInLanguage larger documentation (larger ?OBJ1 ?OBJ2) simply means that ?OBJ1 is larger, with respect to all LengthMeasures, than ?OBJ2 has axiom `(=> (larger ?OBJ1 ?OBJ2) (forall (?QUANT1 ?QUANT2) (=> (and (measure ?OBJ1 (MeasureFn ?QUANT1 LengthMeasure)) (measure ?OBJ2 (MeasureFn ?QUANT2 LengthMeasure))) (greaterThan ?QUANT1 ?QUANT2))))` has domain1 Object has domain2 Object is an instance of BinaryPredicate is an instance of IrreflexiveRelation is an instance of SpatialRelation is an instance of TransitiveRelation Law documentation A codified Obligation that is imposed by a government of some sort and that is enforced with penalties for noncompliance is a kind of Obligation Learning documentation The Class of Processes which relate to the acquisition of information has axiom `(=> (and (instance ?LEARN Learning) (agent ?LEARN ?AGENT)) (instance ?AGENT CognitiveAgent))` has axiom `(=> (holdsDuring ?TIME (exists (?LEARN) (and (instance ?LEARN Learning) (agent ?LEARN ?AGENT) (patient ?LEARN ?PROP)))) (holdsDuring (ImmediateFutureFn ?TIME) (believes ?AGENT ?PROP)))` has axiom `(=> (instance ?ACT EducationalProcess) (exists (?PROC) (and (instance ?PROC Learning) (subProcess ?PROC ?ACT))))` is a kind of MentalProcess LeastCommonMultipleFn documentation (LeastCommonMultipleFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) returns the least common multiple of ?NUMBER1 through ?NUMBER has range Integer is an instance of Function is an instance of VariableArityRelation left documentation This is a cognitive primitive, derived from the left/right schema. (left ?OBJ1 ?OBJ2) means that ?OBJ1 is to the left ?OBJ2 has axiom `(=> (between ?OBJ1 ?OBJ2 ?OBJ3) (and (left ?OBJ2 ?OBJ1) (left ?OBJ1 ?OBJ3)))` is an instance of AsymmetricRelation is an instance of TransitiveRelation LegalAction documentation Any Process where a CognitiveAgent seeks to obtain something from another CognitiveAgent through a court of law is a kind of Contest Lending documentation The subclass of Giving Processes where the agent gives the destination something for a limited period of time with the expectation that it will be returned later (perhaps with interest) is a kind of Giving length documentation BinaryPredicate that is used to state the measure of an Object from one point to another point along its surface has domain2 LengthMeasure LengthMeasure documentation The Class of ConstantQuantities relating to length has axiom `(=> (larger ?OBJ1 ?OBJ2) (forall (?QUANT1 ?QUANT2) (=> (and (measure ?OBJ1 (MeasureFn ?QUANT1 LengthMeasure)) (measure ?OBJ2 (MeasureFn ?QUANT2 LengthMeasure))) (greaterThan ?QUANT1 ?QUANT2))))` is a kind of ConstantQuantity is second domain of length is third domain of distance lessThan documentation (lessThan ?NUMBER1 ?NUMBER2) is true just in case the Quantity ?NUMBER1 is less than the Quantity ?NUMBER2 has axiom `(<=> (lessThanOrEqualTo ?NUMBER1 ?NUMBER2) (or (equal ?NUMBER1 ?NUMBER2) (lessThan ?NUMBER1 ?NUMBER2)))` has axiom `(=> (and (instance ?DECREASE Decreasing) (patient ?DECREASE ?OBJ)) (exists (?UNIT ?QUANT1 ?QUANT2) (and (holdsDuring (ImmediatePastFn (WhenFn ?DECREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT1)) (holdsDuring (ImmediateFutureFn (WhenFn ?DECREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT2)) (lessThan ?QUANT2 ?QUANT1)))) ` has axiom `(=> (and (instance ?INT1 Integer) (instance ?INT2 Integer)) (not (and (lessThan ?INT1 ?INT2) (lessThan ?INT2 (SuccessorFn ?INT1)))))` has axiom `(=> (and (instance ?INT1 Integer) (instance ?INT2 Integer)) (not (and (lessThan ?INT2 ?INT1) (lessThan (PredecessorFn ?INT1) ?INT2))))` has axiom `(=> (equal (CeilingFn ?NUMBER) ?INT) (not (exists (?OTHERINT) (and (instance ?OTHERINT Integer) (greaterThanOrEqualTo ?OTHERINT ?NUMBER) (lessThan ?OTHERINT ?INT)))))` has axiom `(=> (equal (MinFn ?NUMBER1 ?NUMBER2) ?NUMBER) (or (and (equal ?NUMBER ?NUMBER1) (lessThan ?NUMBER1 ?NUMBER2)) (and (equal ?NUMBER ?NUMBER2) (lessThan ?NUMBER2 ?NUMBER1)) (and (equal ?NUMBER ?NUMBER1) (equal ?NUMBER ?NUMBER2))))` has axiom `(=> (equal (RoundFn ?NUMBER1) ?NUMBER2) (or (=> (lessThan (SubtractionFn ?NUMBER1 (FloorFn ?NUMBER1)) .5) (equal ?NUMBER2 (FloorFn ?NUMBER1))) (=> (greaterThanOrEqualTo (SubtractionFn ?NUMBER1 (FloorFn ?NUMBER1)) .5) (equal ?NUMBER2 (CeilingFn ?NUMBER1)))))` has axiom `(=> (instance (HourFn ?NUMBER ?DAY) Hour) (lessThan ?NUMBER 24))` has axiom `(=> (instance (MinuteFn ?NUMBER ?HOUR) Minute) (lessThan ?NUMBER 60)) ` has axiom `(=> (instance (SecondFn ?NUMBER ?MINUTE) Second) (lessThan ?NUMBER 60)) ` has axiom `(=> (instance ?INT Integer) (lessThan ?INT (SuccessorFn ?INT)))` has axiom `(=> (instance ?INTERVAL (HourIntervalFn ?NUMBER1 ?NUMBER2)) (and (lessThan ?NUMBER1 24) (lessThan ?NUMBER2 24) (lessThan ?NUMBER1 ?NUMBER2)))` has axiom `(=> (instance ?NUMBER NegativeRealNumber) (lessThan ?NUMBER 0))` has domain1 Quantity has domain2 Quantity is an instance of BinaryPredicate is an instance of IrreflexiveRelation is an instance of RelationExtendedToQuantities is an instance of TransitiveRelation lessThanOrEqualTo documentation (lessThanOrEqualTo ?NUMBER1 ?NUMBER2) is true just in case the Quantity ?NUMBER1 is less than or equal to the Quantity ?NUMBER2 has axiom `(<=> (lessThanOrEqualTo ?NUMBER1 ?NUMBER2) (or (equal ?NUMBER1 ?NUMBER2) (lessThan ?NUMBER1 ?NUMBER2)))` has axiom `(=> (equal (FloorFn ?NUMBER) ?INT) (not (exists (?OTHERINT) (and (instance ?OTHERINT Integer) (lessThanOrEqualTo ?OTHERINT ?NUMBER) (greaterThan ?OTHERINT ?INT)))))` has axiom `(=> (instance (DayFn ?NUMBER ?MONTH) Day) (lessThanOrEqualTo ?NUMBER 31)) ` has axiom `(=> (instance (MonthFn ?NUMBER ?YEAR) Month) (lessThanOrEqualTo ?NUMBER 12))` has domain1 Quantity has domain2 Quantity is an instance of BinaryPredicate is an instance of PartialOrderingRelation is an instance of RelationExtendedToQuantities LinguisticExpression documentation This is the subclass of ContentBearingObjectss which are language-related. Note that this Class encompasses both Language and the the elements of Languages, e.g. Words is a kind of ContentBearingObject is disjoint from Icon Liquid documentation An Object has the Attribute of Liquid if it has a fixed volume but not a fixed shape has axiom `(=> (and (instance ?ACT Drinking) (patient ?ACT ?FOOD)) (attribute ?FOOD Liquid))` is an instance of PhysicalState Liter documentation Unit of volume in the metric system. It is currently defined to be equal to one cubic decimeter (0.001 cubic meter). Symbol: l has axiom `(equal (MeasureFn ?NUMBER UnitedKingdomGallon) (MeasureFn (MultiplicationFn ?NUMBER 4.54609) Liter)) ` has axiom `(equal (MeasureFn ?NUMBER UnitedStatesGallon) (MeasureFn (MultiplicationFn ?NUMBER 3.785411784) Liter)) ` is an instance of UnitOfMeasure is an instance of VolumeMeasure Living documentation This Attribute applies to Organisms that are alive has axiom `(=> (and (birthTime ?ORGANISM ?TIME1) (deathTime ?ORGANISM ?TIME2) (instance ?TIME1 TimeInterval) (instance ?TIME2 TimeInterval)) (exists (?INTERVAL) (and (starts ?TIME1 ?INTERVAL) (finishes ?TIME2 ?INTERVAL) (holdsDuring ?INTERVAL (attribute ?ORGANISM Living)))))` has axiom `(=> (and (birthTime ?ORGANISM ?TIME1) (deathTime ?ORGANISM ?TIME2) (instance ?TIME1 TimePoint) (instance ?TIME2 TimePoint)) (exists (?INTERVAL) (and (equal (BeginFn ?INTERVAL) ?TIME1) (equal (EndFn ?INTERVAL) ?TIME2) (holdsDuring ?INTERVAL (attribute ?ORGANISM Living)))))` has axiom `(=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (ImmediatePastFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (ImmediateFutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead))))` has axiom `(=> (and (instance ?ORGANISM Organism) (agent ?PROCESS ?ORGANISM)) (holdsDuring (WhenFn ?PROCESS) (attribute ?ORGANISM Living)))` has axiom `(=> (birthTime ?ORGANISM ?TIME) (holdsDuring (ImmediateFutureFn ?TIME) (attribute ?ORGANISM Living)))` has axiom `(=> (instance ?PROPERTY ConsciousnessProperty) (=> (holdsDuring ?TIME (attribute ?ORGANISM ?PROPERTY)) (holdsDuring ?TIME (attribute ?ORGANISM Living))))` is an instance of AnimacyProperty located documentation A very general predicate. (located ?PHYS ?OBJ) means that ?PHYS is situated at ?OBJ, in some sense. The Predicates located and existant are spatial and temporal predicates, respectively has axiom `(<=> (instance ?ABS Abstract) (not (exists (?POINT) (or (located ?ABS ?POINT) (existant ?ABS ?POINT)))))` has axiom `(<=> (instance ?PHYS Physical) (exists (?LOC ?TIME) (and (located ?PHYS ?LOC) (existant ?PHYS ?TIME))))` has axiom `(=> (and (instance ?VIRUS Virus) (instance ?PROC Replication) (effector ?PROC ?VIRUS)) (exists (?CELL) (and (located ?PROC ?CELL) (instance ?CELL Cell))))` has axiom `(=> (instance ?PROC ?OrganOrTissueProcess) (exists (?THING) (and (located ?PROC ?THING) (or (instance ?THING Organ) (instance ?THING Tissue)))))` has axiom `(=> (and (instance ?MOTION Motion) (patient ?MOTION ?OBJ) (destination ?MOTION ?PLACE)) (holdsDuring (ImmediateFutureFn (WhenFn ?MOTION)) (located ?OBJ ?PLACE)))` has axiom `(=> (and (instance ?MOTION Motion) (patient ?MOTION ?OBJ) (origin ?MOTION ?PLACE)) (holdsDuring (ImmediatePastFn (WhenFn ?MOTION)) (located ?OBJ ?PLACE)))` has axiom `(=> (and (instance ?PUT Putting) (destination ?PUT ?PLACE) (patient ?PUT ?OBJ)) (and (holdsDuring (ImmediatePastFn (WhenFn ?PUT)) (not (located ?OBJ ?PLACE))) (holdsDuring (ImmediateFutureFn (WhenFn ?PUT)) (located ?OBJ ?PLACE))))` has axiom `(=> (and (instance ?REMOVE Removing) (origin ?REMOVE ?PLACE) (patient ?REMOVE ?OBJ)) (and (holdsDuring (ImmediatePastFn (WhenFn ?REMOVE)) (located ?OBJ ?PLACE)) (holdsDuring (ImmediateFutureFn (WhenFn ?REMOVE)) (not (located ?OBJ ?PLACE)))))` has axiom `(=> (instance ?BUILDING Building) (exists (?HUMAN) (and (instance ?HUMAN Human) (or (inhabits ?HUMAN ?BUILDING) (exists (?ACT) (and (agent ?ACT ?HUMAN) (located ?ACT ?BUILDING)))))))` has axiom `(=> (instance ?PROC BiologicalProcess) (exists (?OBJ) (and (instance ?OBJ Organism) (located ?PROC ?OBJ))))` has axiom `(=> (located ?OBJ ?REGION) (forall (?SUBOBJ) (=> (part ?SUBOBJ ?OBJ) (located ?SUBOBJ ?REGION))))` has axiom `(=> (origin ?PROCESS ?OBJ) (located (WhereFn ?PROCESS (BeginFn (WhenFn ?PROCESS))) (WhereFn ?OBJ (BeginFn (WhenFn ?OBJ)))))` has axiom `(=> (subProcess ?SUBPROC ?PROC) (forall (?REGION) (=> (located ?PROC ?REGION) (located ?SUBPROC ?REGION))))` has domain1 Physical has domain2 Object has relatedInternalConcept existant is an instance of PartialOrderingRelation LogFn documentation (LogFn ?NUMBER ?INT) returns the logarithm of the RealNumber ?NUMBER in the base denoted by the Integer ?INT has domain1 RealNumber has domain2 PositiveInteger has range RealNumber is an instance of BinaryFunction Lumen documentation SI LuminousFluxMeasure. Symbol: lm. It is the amount streaming outward through one solid angle of 1 Steradian from a uniform point source having an intensity of one Candela. Lumen = cd*sr = cd * 1 is an instance of LuminousFluxMeasure is an instance of SystemeInternationalUnit LuminosityIntensityMeasure is a kind of FunctionQuantity LuminousFluxMeasure is a kind of FunctionQuantity Lux documentation SI IlluminanceMeasure. Symbol: lx. It is the amount of illumination provided when one Lumen is evenly distributed over an area of 1 square Meter. This is also equivalent to the illumination that would exist on a surface all points of which are one Meter from a point source of one Candela. Lux = lm/m^2 = m^(-2)*cd is an instance of IlluminanceMeasure is an instance of SystemeInternationalUnit Machine documentation Machines are Devices which are self-powered, i.e. their energy does not come from the exercion of Humans or Animals is a kind of Device MagneticFluxDensityMeasure is a kind of FunctionQuantity MagneticFluxMeasure is a kind of FunctionQuantity MagnitudeFn documentation The magnitude of a ConstantQuantity is the numeric value for the quantity. In other words, MagnitudeFn converts a ConstantQuantity with an associated UnitOfMeasure into an ordinary RealNumber. For example, the magnitude of the ConstantQuantity 2 Kilometers is the RealNumber 2. Note that the magnitude of a quantity in a given unit times that unit is equal to the original quantity has axiom `(equal (MagnitudeFn (MeasureFn ?NUMBER ?UNIT)) ?NUMBER)` has domain1 ConstantQuantity