SUMO Glossary Help |

<=> | The truth-functional connective of bi-implicationdocumentation | |

has domain1 Formula | ||

has domain2 Formula | ||

is an SententialOperatorinstance of | ||

=> | The truth-functional connective of implicationdocumentation | |

has domain1 Formula | ||

has domain2 Formula | ||

is an SententialOperatorinstance of | ||

above | This is a cognitive primitive, derived from the up/down schema documentationand not involving contact. (above ?OBJ1 ?OBJ2) means that ?OBJ1 is above ?OBJ2 | |

has axiom (=> | ||

has axiom (=> | ||

has inversebelow | ||

is an AsymmetricRelationinstance of | ||

is an TransitiveRelationinstance of | ||

AbsoluteValueFn | The value of (documentationAbsoluteValueFn ?NUMBER) is the absolute value of the RealNumber ?NUMBER | |

has axiom ( | ||

has domain1 RealNumber | ||

has PositiveRealNumberrange | ||

is an UnaryFunctioninstance of | ||

AbsorbedDoseMeasure | is a kind of FunctionQuantity | |

Abstract | 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 documentationand relations, but they cannot exist at a particular place and time without some physical encoding or embodiment | |

has axiom ( | ||

is a kind of Entity | ||

is Physicaldisjoint from | ||

AbstractionFn | A UnaryFunction that maps a Class into the documentationinstance of Attribute that specifies the condition(s) for membership in the Class | |

has axiom ( | ||

has domain1 Class | ||

has Attributerange | ||

is an UnaryFunctioninstance of | ||

ActivityMeasure | is a kind of TimeDependentQuantity | |

AdditionFn | If ?NUMBER1 documentationand ?NUMBER2 are Numbers, then (AdditionFn ?NUMBER1 ?NUMBER2) is the arithmetical sum of these numbers | |

has axiom ( | ||

has domain1 Quantity | ||

has domain2 Quantity | ||

has 0identityElement | ||

has Quantityrange | ||

is an AssociativeFunctioninstance of | ||

is an CommutativeFunctioninstance of | ||

is an RelationExtendedToQuantitiesinstance of | ||

Address | A GeographicArea with definite boundaries documentationand of relatively small size. This concept represents the state of 'being at an address' | |

is a kind of GeographicArea | ||

adjacent | (documentationadjacent ?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 (=> | ||

is an EquivalenceRelationinstance of | ||

Adjective | One of the parts of speech. The Class of Words that conventionally denote Attributes of Objectsdocumentation | |

is a kind of Word | ||

Adult | The stage of an Animal when it has developed secondary sex characteristics documentationand has reached the end of its growth phase | |

is an DevelopmentalPropertyinstance of | ||

Adverb | One of the parts of speech. The Class of Words that conventionally denote Attributes of Processesdocumentation | |

is a kind of Word | ||

AestheticJudgement | A Proposition expressing matters of taste, style, beauty, etcdocumentation | |

is a kind of NormativeProposition | ||

age | Simply relates an Object to a ConstantQuantity specifying the age of the Objectdocumentation | |

has arg2 valencesingleValued | ||

has axiom (=> | ||

has domain2 TimeDuration | ||

AgeGroup | A GroupOfPeople whose members all have the same agedocumentation | |

has axiom (=> | ||

is a kind of GroupOfPeople | ||

agent | (agent ?ACTION ?AGENT) means that the Agent ?AGENT voluntarily initiates ?ACTION. For example, Eve is an agent in the following proposition: Eve documentationbit an apple | |

Agent | Something or someone that can act on its own documentationand produce changes in the world | |

has axiom ( | ||

agent | has axiom ( | |

has axiom ( | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

Agent | has axiom (=> | |

agent | has axiom (=> | |

Agent | has axiom (=> | |

agent | has axiom (=> | |

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 Process | ||

has domain2 Agent | ||

Agent | is a kind of Object | |

is first domain ofauthors | ||

is first domain ofbelieves | ||

is first domain ofconsiders | ||

is first domain ofdesires | ||

is first domain ofinScopeOfInterest | ||

is first domain ofknows | ||

is first domain ofneeds | ||

is first domain ofpossesses | ||

is first domain ofPropertyFn | ||

is first domain ofwants | ||

is first domain ofWealthFn | ||

is second agentdomain of | ||

is second domain ofexperiencer | ||

is second domain ofexploits | ||

is second domain ofhasSkill | ||

is second domain ofholdsObligation | ||

is second domain ofholdsRight | ||

is second domain ofuses | ||

is third domain ofhasPurposeForAgent | ||

is third domain ofrepresentsForAgent | ||

Aggressive | The Attribute of having an documentationaggressive disposition | |

has contraryPropertyDocile | ||

is an TraitPropertyinstance of | ||

Alga | A chiefly aquatic plant that documentationcontains chlorophyll, but does not form embryos during development and lacks vascular tissue | |

has axiom (=> | ||

is a kind of Plant | ||

along | (documentationalong ?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 (=> | ||

has axiom (=> | ||

has traversesrelatedInternalConcept | ||

is an EquivalenceRelationinstance of | ||

AmountOfSubstanceMeasure | is a kind of ConstantQuantity | |

Ampere | SI ElectricCurrentMeasure. Symbol: A. It is one of the base units in SI. It is defined as follows: the documentationAmpere 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 ( | ||

has axiom ( | ||

has axiom ( | ||

is an ElectricCurrentMeasureinstance of | ||

is an SystemeInternationalUnitinstance of | ||

Amphibian | A cold-blooded, smooth-skinned Vertebrate which characteristically hatches as an aquatic larva, breathing by gills. When mature, the Amphibian breathes with Lungsdocumentation | |

is a kind of ColdBloodedVertebrate | ||

is Reptiledisjoint from | ||

Amu | Atomic mass unit. Symbol: u. It is the mass of the twelfth documentationpart of an atom of the Carbon 12 isotope | |

has axiom ( | ||

is an MassMeasureinstance of | ||

is an UnitOfMeasureinstance of | ||

AnatomicalStructure | A normal or pathological documentationpart of the anatomy or structural organization of an Organism | |

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

is a kind of CorpuscularObject | ||

is Organismdisjoint from | ||

and | The truth-functional connective of conjunctiondocumentation | |

has domain1 Formula | ||

has domain2 Formula | ||

is an SententialOperatorinstance of | ||

Angstrom | The documentationAngstrom is a LengthMeasure. 1 Angstrom = 10^(-10) | |

has axiom ( | ||

is an LengthMeasureinstance of | ||

is an UnitOfMeasureinstance of | ||

AngularDegree | A PlaneAngleMeasuredocumentation | |

has axiom ( | ||

is an PlaneAngleMeasureinstance of | ||

is an UnitOfMeasureinstance of | ||

Anhydrous | An Attribute which indicates that the associated Object does documentationnot contain any Water | |

has axiom (=> | ||

has axiom (=> | ||

is an SaturationPropertyinstance of | ||

AnimacyProperty | Attributes that indicate whether an Organism is alive or documentationnot | |

is a kind of BiologicalProperty | ||

Animal | An Organism with eukaryotic Cells, documentationand lacking stiff cell walls, plastids, and photosynthetic Pigments | |

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

is a kind of Organism | ||

is first fatherdomain of | ||

is first motherdomain of | ||

AntisymmetricRelation | BinaryRelation ?REL is an AntisymmetricRelation if for distinct ?INST1 documentationand ?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 (=> | ||

has axiom (=> | ||

is a kind of BinaryRelation | ||

Arachnid | A Class of Arthropods that includes Ticks documentationand Spiders | |

is a kind of Arthropod | ||

ArcCosineFn | (documentationArcCosineFn ?NUMBER) returns the arc cosine of the RealNumber ?NUMBER. It is the inverse of CosineFn | |

has domain1 RealNumber | ||

has inverseCosineFn | ||

has PlaneAngleMeasurerange | ||

is an UnaryFunctioninstance of | ||

Archaeon | Archaea are characterized by: 1. the presence of characteristic tRNAs documentationand 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 | (documentationArcSineFn ?NUMBER) returns the arc sine of the RealNumber ?NUMBER. It is the inverse of SineFn | |

has domain1 RealNumber | ||

has inverseSineFn | ||

has PlaneAngleMeasurerange | ||

is an UnaryFunctioninstance of | ||

ArcTangentFn | (documentationArcTangentFn ?NUMBER) returns the arc tangent of the RealNumber ?NUMBER. It is the inverse of TangentFn | |

has domain1 RealNumber | ||

has inverseTangentFn | ||

has PlaneAngleMeasurerange | ||

is an UnaryFunctioninstance of | ||

Arranging | The Class of IntentionallyCausedProcesses where the order of Objects in a Collection is altereddocumentation | |

is a kind of Transfer | ||

Arthropod | A Class of Invertebrate that includes Arachnids documentationand Insects | |

is a kind of Invertebrate | ||

Artifact | An Object with separable parts that is the product of an IntentionalProcessdocumentation | |

has axiom (=> | ||

has axiom (=> | ||

is a kind of CorpuscularObject | ||

is first domain ofversion | ||

is second domain ofversion | ||

AsexualReproduction | Asexual Processes of biological reproductiondocumentation | |

is a kind of Replication | ||

Asleep | This Attribute applies to Organisms that are sleepingdocumentation | |

has AwakecontraryProperty | ||

has UnconsciouscontraryProperty | ||

is a kind of ConsciousnessProperty | ||

AssignmentFn | If F is a function with a value for the objects denoted by N1,..., NK, then the term (documentationAssignmentFn F N1 ... NK) denotes the value of applying F to the objects denoted by N1,..., NK. Otherwise, the value is undefined | |

has axiom ( | ||

has axiom ( | ||

has axiom ( | ||

has axiom ( | ||

has axiom ( | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 Function | ||

has Entityrange | ||

is an Functioninstance of | ||

is an VariableArityRelationinstance of | ||

AssociativeFunction | 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 documentationequal to (?FUNCTION (?FUNCTION ?INST1 ?INST2) ?INST3), for all ?INST1, ?INST2, and ?INST3 | |

has axiom (=> | ||

is a kind of BinaryFunction | ||

AsymmetricRelation | A BinaryRelation is asymmetric only if it is both an AntisymmetricRelation documentationand an IrreflexiveRelation | |

is a kind of AntisymmetricRelation | ||

is a kind of IrreflexiveRelation | ||

Atom | An extremely small unit of matter that retains its identity in Chemical reactions. It consists of an AtomicNucleus documentationand Electrons surrounding the AtomicNucleus | |

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

is a kind of SubmolecularObject | ||

AtomGram | MassMeasure that is also known as the gram-atom. Defined as the mass in grams of 1 documentationMole 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 MassMeasureinstance of | ||

is an UnitOfMeasureinstance of | ||

AtomicNucleus | The core of the Atom. It is composed of Protons documentationand Neutrons | |

has axiom (=> | ||

has axiom (=> | ||

is a kind of SubatomicParticle | ||

Attaching | 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 locationdocumentation | |

has PuttingrelatedInternalConcept | ||

is a kind of Process | ||

is Detachingdisjoint from | ||

Attack | has axiom (=> | |

attribute | (attribute ?OBJECT ?PROPERTY) means that ?PROPERTY is a Attribute of ?OBJECT. For example, (attribute MyLittleRedWagon Red)documentation | |

Attribute | Qualities which we cannot or choose not to reify into subclasses of Objectdocumentation | |

attribute | has axiom ( | |

has axiom (<=> | ||

has axiom ( | ||

has axiom ( | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 Object | ||

has domain2 Attribute | ||

Attribute | is a kind of Abstract | |

is Quantitydisjoint from | ||

is first domain ofcontraryProperty | ||

is first domain ofExtensionFn | ||

is first domain ofsubAttribute | ||

is first domain ofsuccessorAttribute | ||

is first domain ofsuccessorAttributeClosure | ||

is second attributedomain of | ||

is second domain ofcontraryProperty | ||

is second mannerdomain of | ||

is second domain ofproperty | ||

is second domain ofsubAttribute | ||

is second domain ofsuccessorAttribute | ||

is second domain ofsuccessorAttributeClosure | ||

AttributeFn | has axiom ( | |

authors | (documentationauthors ?AGENT ?TEXT) means that ?AGENT is creatively responsible for ?TEXT. For example, Agatha Christie is author of 'Murder on the Orient Express' | |

has axiom (=> | ||

has domain1 Agent | ||

has domain2 Text | ||

is an AsymmetricRelationinstance of | ||

is an BinaryPredicateinstance of | ||

Awake | This Attribute applies to Organisms that are neither Unconscious nor Asleepdocumentation | |

is a kind of ConsciousnessProperty | ||

Bacterium | A small, typically one-celled, prokaryotic Microorganismdocumentation | |

has axiom (=> | ||

has axiom (=> | ||

is a kind of Microorganism | ||

Battle | A ViolentContest documentationbetween 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 (=> | ||

has axiom (=> | ||

has axiom (=> | ||

is a kind of ViolentContest | ||

Becquerel | SI ActivityMeasure. Symbol: Bq. It measures the amount of radioactivity contained in a given sample of matter. It is that quantity of a radioactive documentationelement in which there is one atomic disintegration per SecondDuration. Becquerel = s^(-1) | |

is an ActivityMeasureinstance of | ||

is an SystemeInternationalUnitinstance of | ||

before | (documentationbefore ?POINT1 ?POINT2) means that ?POINT1 precedes ?POINT2 on the universal timeline | |

has domain1 TimePoint | ||

has domain2 TimePoint | ||

is an IrreflexiveRelationinstance of | ||

is an TemporalRelationinstance of | ||

is an TransitiveRelationinstance of | ||

beforeEq | (documentationbeforeEq ?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 BinaryPredicateinstance of | ||

is an PartialOrderingRelationinstance of | ||

BeginFn | A UnaryFunction that maps a TimeInterval to the TimePoint at which the interval beginsdocumentation | |

has axiom ( | ||

has axiom ( | ||

has axiom ( | ||

has axiom ( | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom ( | ||

has axiom ( | ||

has domain1 TimeInterval | ||

has TimePointrange | ||

is an TemporalRelationinstance of | ||

is an UnaryFunctioninstance of | ||

behind | This is a cognitive primitive, derived from the documentationfront/back schema. (behind ?OBJ1 ?OBJ2) means that ?OBJ1 is behind ?OBJ2 | |

is an AsymmetricRelationinstance of | ||

is an TransitiveRelationinstance of | ||

believes | The epistemic predicate of belief. (documentationbelieves ?AGENT ?FORMULA) means that ?AGENT believes the proposition expressed by ?FORMULA | |

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 Agent | ||

has domain2 Formula | ||

is an PropositionalAttitudeinstance of | ||

below | This is a cognitive primitive, derived from the up/down schema documentationand not involving contact. (below ?OBJ1 ?OBJ2) means that ?OBJ1 is below ?OBJ2 | |

has axiom (=> | ||

is an AsymmetricRelationinstance of | ||

is an TransitiveRelationinstance of | ||

Betting | A FinancialTransaction where an documentationinstance 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 | (documentationbetween ?OBJ1 ?OBJ2 ?OBJ3) means that ?OBJ2 is spatially located between ?OBJ1 and ?OBJ3 | |

has axiom (=> | ||

has axiom (=> | ||

has domain1 Object | ||

has domain2 Object | ||

has domain3 Object | ||

is an SpatialRelationinstance of | ||

is an TernaryPredicateinstance of | ||

BinaryFunction | The Class of Functions that require two argumentsdocumentation | |

has axiom ( | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

is a kind of Function | ||

is a kind of TernaryRelation | ||

is first domain ofdistributes | ||

is first domain ofidentityElement | ||

is second domain ofdistributes | ||

BinaryNumber | Elements from the number system with base 2. Every BinaryNumber is expressed as a sequence of the digits 1 documentationand 0 | |

is a kind of RealNumber | ||

BinaryPredicate | A Predicate relating two items - its documentationvalence is two | |

has axiom (=> | ||

is a kind of BinaryRelation | ||

is a kind of Predicate | ||

BinaryRelation | BinaryRelations map instances of a Class to instances of another Class. BinaryRelations are represented as slots in frame systemsdocumentation | |

has axiom (=> | ||

has axiom (=> | ||

is a kind of Relation | ||

is first domain ofDomainFn | ||

is first domain ofequivalenceRelationOn | ||

is first domain ofinverse | ||

is first domain ofirreflexiveOn | ||

is first domain ofpartialOrderingOn | ||

is first domain ofRangeFn | ||

is first domain ofreflexiveOn | ||

is first domain oftotalOrderingOn | ||

is first domain oftrichotomizingOn | ||

is second domain ofinverse | ||

BiologicallyActiveSubstance | A Substance that is capable of inducing a change in the structure or functioning of an Organismdocumentation | |

is a kind of Substance | ||

is partitioned into ToxicSubstance, PharmacologicSubstance, Nutrient | ||

BiologicalProcess | A NonintentionalProcess embodied in an Organismdocumentation | |

has axiom (=> | ||

is a kind of NonintentionalProcess | ||

BiologicalProperty | Attributes that apply specifically to instances of Organism or parts of an Organismdocumentation | |

has axiom (=> | ||

is a kind of Attribute | ||

Bird | A Vertebrate having a constant body temperature documentationand characterized by the presence of feathers | |

is a kind of WarmBloodedVertebrate | ||

is Mammaldisjoint from | ||

Birth | The Process of being borndocumentation | |

has axiom (=> | ||

has axiom (=> | ||

is a kind of OrganismProcess | ||

birthTime | A BinaryPredicate that specifies, at any level of resolution, the TimePosition at which a particular Organism was borndocumentation | |

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 Organism | ||

has domain2 TimePosition | ||

is an AsymmetricRelationinstance of | ||

is an BinaryPredicateinstance of | ||

Bit | One documentationBit of information. A one or a zero | |

has axiom ( | ||

is an InformationMeasureinstance of | ||

is an UnitOfMeasureinstance of | ||

Bitter | The Attribute of Objects that are bitter-tastingdocumentation | |

is an TastePropertyinstance of | ||

Blood | A fluid present in Animals that transports Nutrients to documentationand waste products away from various BodyParts | |

is a kind of BodySubstance | ||

Blue | The Attribute of being documentationblue in color | |

has contraryPropertyYellow | ||

is an PrimaryColorinstance of | ||

BodyJunction | The place where two AnatomicalStructures meet or connectdocumentation | |

has axiom (=> | ||

has axiom (=> | ||

is a kind of BodyPart | ||

BodyMotion | Any Motion where the documentationpatient is a BodyPart | |

has axiom (=> | ||

is a kind of Motion | ||

BodyPart | A collection of Cells documentationand 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 (=> | ||

has axiom (=> | ||

is a kind of AnatomicalStructure | ||

BodySubstance | Extracellular material documentationand 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 | A Text that has pages documentationand is bound | |

is a kind of Text | ||

Borrowing | The documentationsubclass 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 | A documentationsubclass of Attributes for characterizing the breakability of CorpuscularObjects | |

is a kind of Attribute | ||

Breathing | The Process of respiration, by which oxygen is made available to an Animal. This covers processes of inhalation, exhalation, documentationand alternations between the two | |

is a kind of OrganismProcess | ||

BritishThermalUnit | An EnergyMeasuredocumentation | |

has axiom ( | ||

is an EnergyMeasureinstance of | ||

is an UnitOfMeasureinstance of | ||

Building | The Class of StationaryArtifacts which are intended to house Humans documentationand their Activities | |

has axiom (=> | ||

is a kind of StationaryArtifact | ||

Buying | A FinancialTransaction in which an documentationinstance of CurrencyMeasure is exchanged for an instance of Physical | |

has axiom ( | ||

has SellingrelatedInternalConcept | ||

is a kind of FinancialTransaction | ||

Byte | One documentationByte of information. A Byte is eight Bits | |

has axiom ( | ||

has axiom ( | ||

is an InformationMeasureinstance of | ||

is an UnitOfMeasureinstance of | ||

Calorie | A documentationCalorie is an EnergyMeasure | |

has axiom ( | ||

is an EnergyMeasureinstance of | ||

is an UnitOfMeasureinstance of | ||

Candela | SI LuminosityIntensityMeasure. Symbol: cd. It is one of the base units in SI, documentationand 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 LuminosityIntensityMeasureinstance of | ||

is an SystemeInternationalUnitinstance of | ||

capability | (documentationcapability ?PROCESS ?ROLE ?OBJ) means that ?OBJ has the ability to play the role of ?ROLE in Processes of type ?PROCESS | |

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 Process | ||

has domain2 CaseRole | ||

has domain3 Object | ||

is an TernaryPredicateinstance of | ||

CapacitanceMeasure | is a kind of FunctionQuantity | |

CardinalityFn | (documentationCardinalityFn ?CLASS) returns the number of instances in the Class or Collection ?CLASS | |

has axiom (=> | ||

has axiom (=> | ||

has domain1 (UnionFn Class Collection) | ||

has domain2 NonnegativeInteger | ||

is an AsymmetricRelationinstance of | ||

is an UnaryFunctioninstance of | ||

CaseRole | The Class of Predicates relating the spatially distinguished parts of a Process. CaseRoles include, for example, the agent, documentationpatient or destination of an action, the flammable substance in a burning process, or the water that falls in rain | |

has axiom (=> | ||

has axiom (=> | ||

is a kind of AsymmetricRelation | ||

is a kind of BinaryPredicate | ||

is second domain ofcapability | ||

causes | The causation relation documentationbetween 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 (=> | ||

has domain1 Process | ||

has domain2 Process | ||

is an AsymmetricRelationinstance of | ||

is an BinaryPredicateinstance of | ||

CeilingFn | (documentationCeilingFn ?NUMBER) returns the smallest Integer greater than or equal to the RealNumber ?NUMBER | |

has axiom (=> | ||

has axiom (=> | ||

has domain1 RealNumber | ||

has Integerrange | ||

is an UnaryFunctioninstance of | ||

Cell | The fundamental structural documentationand functional unit of living Organisms | |

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

is a kind of BodyPart | ||

CellWall | The permeable wall that encloses the Cells of most Organismsdocumentation | |

has axiom (=> | ||

is a kind of BodyPart | ||

CellWallNonRigid | A type of CellWall found in Animalsdocumentation | |

has axiom (=> | ||

is a kind of CellWall | ||

is CellWallRigiddisjoint from | ||

CellWallRigid | A type of CellWall found in Plantsdocumentation | |

has axiom (=> | ||

is a kind of CellWall | ||

Celsius | A ThermodynamicTemperatureMeasure. documentationKelvin 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 ( | ||

is an SystemeInternationalUnitinstance of | ||

is an ThermodynamicTemperatureMeasureinstance of | ||

Centimeter | Submultiple of documentationMeter. Symbol: cm. It is the 100th part of a Mete | |

has axiom ( | ||

is an LengthMeasureinstance of | ||

is an UnitOfMeasureinstance of | ||

CentUnitedStates | A CurrencyMeasure. 1 US cent = 10^-2 US dollarsdocumentation | |

has axiom ( | ||

is an CurrencyMeasureinstance of | ||

is an UnitOfMeasureinstance of | ||

ChangeOfPossession | The Class of Processes where ownership of something is transferred from one Agent to anotherdocumentation | |

has axiom (=> | ||

has relatedInternalConceptpossesses | ||

is a kind of SocialInteraction | ||

Character | The smallest unit of a writing system or any other representational systemdocumentation | |

has axiom (=> | ||

is a kind of LinguisticExpression | ||

Chlamydia | An Organism which is intermediate in size documentationand complexity between a Virus and a Bacterium and which is parasitic within the cells of Insects and Ticks | |

has axiom (=> | ||

has axiom (=> | ||

is a kind of Microorganism | ||

citizen | (documentationcitizen ?PERSON ?NATION) means that the Human ?PERSON is a citizen of Nation ?NATION | |

has domain1 Human | ||

has domain2 Nation | ||

is an AsymmetricRelationinstance of | ||

is an BinaryPredicateinstance of | ||

Class | 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 documentationinstance 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 (<=> | ||

has axiom (forall (?INT) ( | ||

has axiom (forall (?INT) ( | ||

is a kind of Abstract | ||

is first domain ofAbstractionFn | ||

is first domain ofComplementFn | ||

is first domain ofdisjoint | ||

is first domain ofdisjointDecomposition | ||

is first domain ofexhaustiveDecomposition | ||

is first domain ofGeneralizedIntersectionFn | ||

is first domain ofGeneralizedUnionFn | ||

is first domain ofIntersectionFn | ||

is first domain ofRelativeComplementFn | ||

is first domain ofsubclass | ||

is first domain ofUnionFn | ||

is second domain ofclosedOn | ||

is second domain ofdisjoint | ||

is second domain ofequivalenceRelationOn | ||

is second domain ofinstance | ||

is second domain ofIntersectionFn | ||

is second domain ofirreflexiveOn | ||

is second domain ofpartialOrderingOn | ||

is second domain ofrange | ||

is second domain ofrangeSubclass | ||

is second domain ofreflexiveOn | ||

is second domain ofRelativeComplementFn | ||

is second domain ofsubclass | ||

is second domain oftotalOrderingOn | ||

is second domain oftrichotomizingOn | ||

is second domain ofUnionFn | ||

is third domain ofdomain | ||

is third domain ofdomainSubclass | ||

Cleaning | The Class of Processes where undesirable Substances documentationand/or Microorganisms are removed from an Object | |

is a kind of Removing | ||

closedOn | A BinaryFunction is closed on a Class if it is defined for all instances of the Class documentationand its value is always an instance of the Class | |

has axiom (=> | ||

has axiom (=> | ||

has domain1 Function | ||

has domain2 Class | ||

is an AsymmetricRelationinstance of | ||

is an BinaryPredicateinstance of | ||

Closing | The Class of Processes where an aperture is closed in an Objectdocumentation | |

is a kind of Process | ||

CognitiveAgent | A SentientAgent with responsibilities documentationand 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 (=> | ||

has axiom (=> | ||

has axiom (=> | ||

is a kind of SentientAgent | ||

is first domain ofoccupiesPosition | ||

is second employsdomain of | ||

ColdBloodedVertebrate | Vertebrates whose body temperature is documentationnot internally regulated | |

is a kind of Vertebrate | ||

Collection | Collections have members like Classes, but, unlike Classes, they have a position in space-time documentationand 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 (=> | ||

is a kind of Object | ||

is first domain ofsubCollection | ||

is second domain ofmember | ||

is second domain ofsubCollection | ||

Coloring | The documentationsubclass of SurfaceAlteration where a ColorProperty of the patient is altered | |

has axiom (=> | ||

is a kind of SurfaceAlteration | ||

ColorProperty | The Class of Attributes relating to the color of Objectsdocumentation | |

has axiom (=> | ||

is a kind of Attribute | ||

Combining | A Process where two or more things are combined into a single thingdocumentation | |

is a kind of Process | ||

Committing | Instances of this Class commit the sender to some future course. Example: Bob promised Susan that he would be home by 11pmdocumentation | |

is a kind of Communication | ||

Communication | A SocialInteraction that involves the transfer of information documentationbetween two Agents via a ContentBearingObject | |

has axiom (=> | ||

is a kind of Process | ||

is a kind of SocialInteraction | ||

CommutativeFunction | 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 documentationequal to (?FUNCTION ?INST2 ?INST1), for all ?INST1 and ?INST2 | |

has axiom (=> | ||

is a kind of BinaryFunction | ||

Comparing | The Class of MentalProcesses which involve comparing, relating, contrasting, etc. the properties of two or more Entitiesdocumentation | |

is a kind of MentalProcess | ||

Competition | A Process where the agent documentationand 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 | 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, etcdocumentation | |

is a kind of Attribute | ||

ComplementFn | The complement of a given Class C is the Class of all things that are documentationnot 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 ( | ||

has axiom ( | ||

has axiom (equal NullSet (ComplementFn Entity)) | ||

has domain1 Class | ||

has Classrange | ||

is an UnaryFunctioninstance of | ||

completelyFills | (completelyFills ?OBJ ?HOLE) means that the Hole ?HOLE documentationfills some part of the Object ?OBJ. Note that if (completelyFills ?OBJ1 ?HOLE) and (part ?OBJ1 ?OBJ2), then (completelyFills ?OBJ2 ?HOLE) | |

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

ComplexNumber | A Number that consists of two components: a RealNumber documentationand the ImaginaryNumber | |

has axiom (=> | ||

is a kind of Number | ||

is RealNumberdisjoint from | ||

is first domain ofImaginaryPartFn | ||

component | A specialized common sense notion of documentationpart 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
| ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 CorpuscularObject | ||

has domain2 CorpuscularObject | ||

ComputerProgram | A set of instructions in a computer programming language that can be executed by a computerdocumentation | |

is a kind of Procedure | ||

Concealing | The Class of Processes where something is moved out of viewdocumentation | |

has axiom (=> | ||

is a kind of IntentionalProcess | ||

Confining | The Class of Securing Processes where the documentationpatient 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 | (documentationconnected ?OBJ1 ?OBJ2) means that ?OBJ1 meetsSpatially ?OBJ2 or that ?OBJ1 overlapsSpatially ?OBJ2 | |

has axiom ( | ||

has axiom ( | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 Object | ||

has domain2 Object | ||

is an BinaryPredicateinstance of | ||

is an ReflexiveRelationinstance of | ||

is an SpatialRelationinstance of | ||

is an SymmetricRelationinstance of | ||

connectedEngineeringComponents | This is the most general connection relation documentationbetween 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 ( | ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 EngineeringComponent | ||

has domain2 EngineeringComponent | ||

is an IrreflexiveRelationinstance of | ||

is an SymmetricRelationinstance of | ||

connects | The relationship documentationbetween 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 ( | ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 Object | ||

has domain2 Object | ||

has domain3 Object | ||

is an SpatialRelationinstance of | ||

is an TernaryPredicateinstance of | ||

connectsEngineeringComponents | connectsEngineeringComponents is a TernaryPredicate that maps from an EngineeringConnection to the EngineeringComponents it documentationconnects. 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 ( | ||

has axiom (=> | ||

has domain1 EngineeringConnection | ||

has domain2 EngineeringComponent | ||

has domain3 EngineeringComponent | ||

ConsciousnessProperty | Attributes that indicate whether an Organism is consciousdocumentation | |

has axiom (=> | ||

is a kind of BiologicalProperty | ||

considers | (documentationconsiders ?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 PropositionalAttitudeinstance of | ||

ConstantQuantity | A ConstantQuantity is a PhysicalQuantity which has a constant value, e.g. 3 meters documentationand 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 (=> | ||

is a kind of PhysicalQuantity | ||

is first domain ofMagnitudeFn | ||

is second domain ofmeasure | ||

Constructing | The documentationsubclass of Making in which a StationaryArtifact is built | |

has axiom ( | ||

is a kind of Making | ||

contains | Limits, bounds, confines, encloses or circumscribes - the surrounding relation for Objects. (documentationcontains ?OBJ1 ?OBJ2) means that the interior of ?OBJ1 wholly surrounds ?OBJ2 | |

has axiom (=> | ||

is an AsymmetricRelationinstance of | ||

is an TransitiveRelationinstance of | ||

containsInformation | A documentationsubrelation 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 ( | ||

has axiom ( | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 ContentBearingObject | ||

has domain2 Proposition | ||

is an AsymmetricRelationinstance of | ||

is an BinaryPredicateinstance of | ||

ContentBearingObject | Any Object that expresses informationdocumentation | |

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has relatedInternalConceptcontainsInformation | ||

is a kind of Object | ||

is first domain ofcontainsInformation | ||

is first domain ofequivalentContentClass | ||

is first domain ofequivalentContentInstance | ||

is first domain ofsubsumesContentClass | ||

is first domain ofsubsumesContentInstance | ||

is second domain ofequivalentContentClass | ||

is second domain ofequivalentContentInstance | ||

is second domain ofsubsumesContentClass | ||

is second domain ofsubsumesContentInstance | ||

ContentDevelopment | A documentationsubclass of IntentionalProcess in which content is transcribed or created anew | |

is a kind of IntentionalProcess | ||

Contest | 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 Competitiondocumentation | |

has axiom (=> | ||

has axiom (=> | ||

is a kind of Competition | ||

is a kind of SocialInteraction | ||

ContinuousFunction | Functions which are continuous. This concept is taken as primitive until representations for limits are deviseddocumentation | |

is a kind of Function | ||

Contract | A Promise where something is promised in return, i.e. a reciprocal promisedocumentation | |

is a kind of Promise | ||

contraryProperty | Means that the two arguments are properties that are opposed to one another, e.g. documentationPliable versus Rigid | |

has axiom (=> | ||

has domain1 Attribute | ||

has domain2 Attribute | ||

is an BinaryPredicateinstance of | ||

is an IrreflexiveRelationinstance of | ||

is an SymmetricRelationinstance of | ||

is an TransitiveRelationinstance of | ||

cooccur | (documentationcooccur ?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 ( | ||

has domain1 Physical | ||

has domain2 Physical | ||

is an BinaryPredicateinstance of | ||

is an EquivalenceRelationinstance of | ||

is an TemporalRelationinstance of | ||

Cooking | The Making of an documentationinstance of Food | |

is a kind of Making | ||

Cooperation | The documentationsubclass of SocialInteraction where the participants involved work together for the achievement of a common goal | |

has axiom (=> | ||

is a kind of SocialInteraction | ||

copy | relates an Object to an exact documentationcopy 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 (=> | ||

has domain1 Object | ||

has domain2 Object | ||

is an BinaryPredicateinstance of | ||

is an EquivalenceRelationinstance of | ||

Corporation | An Organization that provides products documentationand/or services for a fee with the aim of making a profit | |

is a kind of Organization | ||

CorpuscularObject | A SelfConnectedObject whose parts have properties that are documentationnot shared by the whole | |

has axiom (=> | ||

is a kind of SelfConnectedObject | ||

is Substancedisjoint from | ||

is first componentdomain of | ||

is second componentdomain of | ||

is second materialdomain of | ||

CosineFn | (documentationCosineFn ?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 ( | ||

has domain1 PlaneAngleMeasure | ||

has RealNumberrange | ||

is an UnaryFunctioninstance of | ||

CoulombFn | SI ElectricChargeMeasure. Symbol: C. It is the quantity of electric charge transported through a cross section of a conductor in an electric circuit documentationduring each SecondDuration by a current of 1 Ampere. Coulomb = s*A | |

has domain1 SecondDuration | ||

has rangeAmpere | ||

is an ElectricChargeMeasureinstance of | ||

is an SystemeInternationalUnitinstance of | ||

Counting | The Class of MentalProcesses that involve enumerating the instances of a Class or the members of a Collectiondocumentation | |

has axiom (=> | ||

is a kind of MentalProcess | ||

Covering | The Class of Processes where the agent covers the documentationpatient, either completely or only partially, with something else | |

has axiom (=> | ||

is a kind of Process | ||

Creation | The documentationsubclass of Process in which something is created. Note that the thing created is specified with the result CaseRole | |

has axiom ( | ||

has axiom (=> | ||

is a kind of Process | ||

crosses | (documentationcrosses ?OBJ1 ?OBJ2) means that Object ?OBJ1 traverses Object ?OBJ2, without being connected to it | |

has axiom (=> | ||

has axiom (=> | ||

is an AsymmetricRelationinstance of | ||

is an TransitiveRelationinstance of | ||

Cup | English unit of volume documentationequal to 1/2 of a Pint | |

has axiom ( | ||

has axiom ( | ||

is an UnitOfMeasureinstance of | ||

is an VolumeMeasureinstance of | ||

CurrencyMeasure | is a kind of ConstantQuantity | |

is second monetaryValuedomain of | ||

Cutting | The documentationsubclass of Detaching Processes which involve a relatively sharp instrument | |

has axiom (=> | ||

is a kind of Detaching | ||

Damaging | The Class of Processes where the agent brings about a situation where the documentationpatient no longer functions normally or as intended | |

has axiom ( | ||

is a kind of Process | ||

Damp | An Attribute which indicates that the associated Object documentationcontains a relatively large amount of Water | |

has axiom (=> | ||

is an SaturationPropertyinstance of | ||

Dancing | Any BodyMotion of Humans which is deliberately coordinated with musicdocumentation | |

is a kind of BodyMotion | ||

date | A BinaryPredicate that specifies a TimePosition in absolute calendar documentationtime, at the resolution of one day, for a particular Object or Process | |

has arg2 valencesingleValued | ||

has domain1 Physical | ||

has domain2 Day | ||

is an AsymmetricRelationinstance of | ||

is an BinaryPredicateinstance of | ||

Day | The Class of all calendar Daysdocumentation | |

has axiom (=> | ||

has axiom (=> | ||

has relatedInternalConceptDayDuration | ||

has relatedInternalConceptDayFn | ||

is a kind of TimeInterval | ||

is second domain ofdate | ||

is second domain ofHourFn | ||

DayDuration | documentationTime unit. 1 day = 24 hours | |

has axiom (=> | ||

has axiom ( | ||

has axiom ( | ||

is an TimeDurationinstance of | ||

is an UnitOfMeasureinstance of | ||

DayFn | A BinaryFunction that maps a number documentationand 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 (=> | ||

has domain1 PositiveInteger | ||

has domain2 Month | ||

has Dayrange | ||

is an BinaryFunctioninstance of | ||

is an TemporalRelationinstance of | ||

Dead | This Attribute applies to Organisms that are documentationnot alive | |

has axiom (=> | ||

has axiom (=> | ||

has contraryPropertyLiving | ||

is an AnimacyPropertyinstance of | ||

Death | The Process of dyingdocumentation | |

has axiom (=> | ||

has axiom (=> | ||

is a kind of OrganismProcess | ||

deathTime | A BinaryPredicate that specifies, at any level of resolution, the TimePosition at which a particular Organism dieddocumentation | |

has axiom (=> | ||

has axiom
| ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 Organism | ||

has domain2 TimePosition | ||

is an AsymmetricRelationinstance of | ||

is an BinaryPredicateinstance of | ||

Declaring | The Class of Communications that effect an institutional alteration when performed by competent authority. Some examples are nominating, marrying, documentationand excommunicating | |

is a kind of Communication | ||

Decoding | 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 speakersdocumentation | |

has axiom (=> | ||

is a kind of Writing | ||

is Encodingdisjoint from | ||

Decorating | The act of modifying or embellishing something with the aim of making it more aesthetically pleasingdocumentation | |

has SurfaceAlterationrelatedInternalConcept | ||

is a kind of IntentionalProcess | ||

Decreasing | has axiom (=> | |

has RemovingrelatedInternalConcept | ||

is a kind of Process | ||

Deducing | The Class of Learning Processes which involve concluding, on the basis of either deductive or inductive evidence, that a particular Proposition or Sentence is documentationtrue | |

is a kind of Learning | ||

DenominatorFn | (documentationDenominatorFn ?NUMBER) returns the denominator of the canonical reduced form of the RealNumber ?NUMBER | |

has domain1 RealNumber | ||

has Integerrange | ||

is an UnaryFunctioninstance of | ||

DensityFn | A very general FunctionQuantity. documentationDensityFn 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 DensityMeasurerange | ||

is an BinaryFunctioninstance of | ||

is an DensityMeasureinstance of | ||

DensityMeasure | is a kind of FunctionQuantity | |

desires | (documentationdesires ?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 relatedInternalConceptwants | ||

is an PropositionalAttitudeinstance of | ||

destination | (documentationdestination ?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 ( | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 Process | ||

has domain2 Entity | ||

is an CaseRoleinstance of | ||

Destruction | The documentationsubclass of Process in which the patient (or an essential element of the patient) is destroyed | |

has axiom ( | ||

is a kind of Process | ||

Detaching | 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 attacheddocumentation | |

is a kind of Process | ||

developmentalForm | (documentationdevelopmentalForm ?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 (=> | ||

has axiom (=> | ||

has domain1 Organism | ||

has domain2 Organism | ||

is an AsymmetricRelationinstance of | ||

is an BinaryPredicateinstance of | ||

is an TransitiveRelationinstance of | ||

DevelopmentalProperty | Attributes that indicate the stage of development of an Organismdocumentation | |

is a kind of BiologicalProperty | ||

Device | A Device is an Artifact whose purpose is to serve as an instrument in a specific type of taskdocumentation | |

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

is a kind of Artifact | ||

DiagnosticProcess | A Process that is carried out for the purpose of determining the nature of a DiseaseOrSyndromedocumentation | |

is a kind of IntentionalProcess | ||

diameter | BinaryPredicate that is used to state the documentationmeasure of a circular Object from side to side | |

Directing | Instances of this Class urge some further action among the receivers. Example: The 5th Battalion requested air support from the 3rd Bomber Groupdocumentation | |

is a kind of Communication | ||

direction | (documentationdirection ?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 (=> | ||

has domain1 Process | ||

has domain2 DirectionAttribute | ||

is an CaseRoleinstance of | ||

DirectionAttribute | Attributes characterizing the documentationorientation of an Object, e.g. Vertical versus Horizontal, the compass directions, etc | |

has axiom (=> | ||

is a kind of Attribute | ||

is second domain ofdirection | ||

is third domain oforientation | ||

DirectionChange | The act of changing the documentationdirection in which the patient of the act is oriented | |

has axiom (=> | ||

is a kind of Motion | ||

DiseaseOrSyndrome | 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 Organsdocumentation | |

is a kind of PathologicProcess | ||

disjoint | Classes are documentationdisjoint only if they share no instances, i.e. just in case the result of applying IntersectionFn to them is empty | |

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 Class | ||

has domain2 Class | ||

is an BinaryPredicateinstance of | ||

is an SymmetricRelationinstance of | ||

disjointDecomposition | A documentationdisjointDecomposition of a Class C is a set of subclasses of C that are mutually disjoint | |

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (forall (?INT) ( | ||

has domain1 Class | ||

has relatedInternalConceptdisjoint | ||

has relatedInternalConceptexhaustiveDecomposition | ||

is an Predicateinstance of | ||

is an VariableArityRelationinstance of | ||

distance | (documentationdistance ?OBJ1 ?OBJ2 ?QUANT) means that the shortest distance between the two objects ?OBJ1 and ?OBJ2 is ?QUANT | |

has arg3 valencesingleValued | ||

has domain1 Physical | ||

has domain2 Physical | ||

has domain3 LengthMeasure | ||

is an SpatialRelationinstance of | ||

is an TernaryPredicateinstance of | ||

distributes | A BinaryFunction ?FUNCTION1 is distributive over another BinaryFunction ?FUNCTION2 just in case (?FUNCTION1 ?INST1 (?FUNCTION2 ?INST2 ?INST3)) is documentationequal to (?FUNCTION2 (?FUNCTION1 ?INST1 ?INST2) (?FUNCTION1 ?INST1 ?INST3)), for all ?INST1, ?INST2, and ?INST3 | |

has axiom (=> | ||

has domain1 BinaryFunction | ||

has domain2 BinaryFunction | ||

is an BinaryPredicateinstance of | ||

is an BinaryRelationinstance of | ||

DivisionFn | If ?NUMBER1 documentationand ?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 ( | ||

has axiom (=> | ||

has axiom ( | ||

has axiom ( | ||

has axiom ( | ||

has axiom ( | ||

has axiom ( | ||

has axiom ( | ||

has domain1 Quantity | ||

has domain2 Quantity | ||

has 1identityElement | ||

has Quantityrange | ||

is an AssociativeFunctioninstance of | ||

is an RelationExtendedToQuantitiesinstance of | ||

Docile | The Attribute of having a documentationdocile disposition | |

is an TraitPropertyinstance of | ||

documentation | A relation documentationbetween 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 AsymmetricRelationinstance of | ||

is an BinaryPredicateinstance of | ||

DollarUnitedStates | A CurrencyMeasuredocumentation | |

has axiom ( | ||

is an CurrencyMeasureinstance of | ||

is an UnitOfMeasureinstance of | ||

domain | Provides a computationally documentationand 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 (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (forall (?INT) ( | ||

has axiom (forall (?INT) ( | ||

has domain1 Relation | ||

has domain2 PositiveInteger | ||

has domain3 Class | ||

is an TernaryPredicateinstance of | ||

DomainFn | The documentationdomain of a BinaryRelation ?REL is the Class of all things that bear ?REL to something | |

has axiom ( | ||

has axiom ( | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 BinaryRelation | ||

has Classrange | ||

is an UnaryFunctioninstance of | ||

domainSubclass | Predicate used to specify argument type restrictions of Predicates. The formula (documentationdomainSubclass ?REL 3 ?CLASS) says that the 3rd element of each tuple in the relation ?REL is a subclass of ?CLASS | |

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 Relation | ||

has domain2 PositiveInteger | ||

has domain3 Class | ||

is an TernaryPredicateinstance of | ||

DoseEquivalentMeasure | is a kind of FunctionQuantity | |

Dressing | The act of putting clothing on an Animaldocumentation | |

is a kind of Process | ||

Drinking | The Process by which documentationliquid Food is incorporated into an Animal | |

has axiom (=> | ||

is a kind of Ingesting | ||

Dry | An Attribute which indicates that the associated Object documentationcontains a relatively small amount of Water | |

has axiom (=> | ||

has contraryPropertyDamp | ||

is an SaturationPropertyinstance of | ||

Drying | The Class of Processes where water is removed from an Objectdocumentation | |

has axiom
| ||

is a kind of Process | ||

duration | (documentationduration ?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 (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 TimePosition | ||

has domain2 TimeDuration | ||

is an AsymmetricRelationinstance of | ||

is an BinaryPredicateinstance of | ||

during | (documentationduring ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 starts after and ends before ?INTERVAL2 | |

has axiom ( | ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 TimeInterval | ||

has domain2 TimeInterval | ||

is an IrreflexiveRelationinstance of | ||

is an TemporalRelationinstance of | ||

is an TransitiveRelationinstance of | ||

earlier | (documentationearlier INTERVAL1 INTERVAL2) means that INTERVAL1 ends before INTERVAL2 begins | |

has axiom (=> | ||

has domain1 TimeInterval | ||

has domain2 TimeInterval | ||

is an BinaryPredicateinstance of | ||

is an IrreflexiveRelationinstance of | ||

is an TemporalRelationinstance of | ||

is an TransitiveRelationinstance of | ||

East | The compass documentationdirection of East | |

is an DirectionAttributeinstance of | ||

Eating | The Process by which documentationsolid Food is incorporated into an Animal | |

has axiom (=> | ||

is a kind of Ingesting | ||

EducationalOrganization | A EducationalOrganization is an institution of learning. Some examples are public documentationand private K-12 schools, and colleges and universities | |

is a kind of Organization | ||

EducationalProcess | A Process related to the organization documentationand provision of education | |

has axiom (=> | ||

is a kind of IntentionalProcess | ||

effector | (documentationeffector ?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 (=> | ||

has axiom (=> | ||

has domain1 Process | ||

has domain2 Object | ||

is an CaseRoleinstance of | ||

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 | SubatomicParticles that surround the AtomicNucleus. They have a negative chargedocumentation | |

has axiom (=> | ||

is a kind of SubatomicParticle | ||

ElectronVolt | The documentationElectronVolt 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 ( | ||

is an EnergyMeasureinstance of | ||

is an UnitOfMeasureinstance of | ||

element | (documentationelement ?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 (=> | ||

has axiom (=> | ||

has domain1 Entity | ||

has domain2 Set | ||

is an AsymmetricRelationinstance of | ||

is an BinaryPredicateinstance of | ||

is an IntransitiveRelationinstance of | ||

EmbryonicStructure | An AnatomicalStructure that exists only documentationbefore 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 (=> | ||

is a kind of AnatomicalStructure | ||

Emitting | Processes in which something is given off by something elsedocumentation | |

is a kind of Process | ||

EmittingLight | The documentationsubclass of Emitting in which light is given off. Some examples include blinking, flashing, and glittering | |

is a kind of Emitting | ||

EmittingSmell | The documentationsubclass of Emitting in which smells are given off. Some examples include reeking, smelling, and stinking | |

is a kind of Emitting | ||

EmittingSound | The documentationsubclass of Emitting in which sound is given off. Some examples include creaking, roaring, and whistling | |

is a kind of Emitting | ||

EmotionalState | The Class of Attributes that denote emotional states of Organisms (documentationand 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 TraitPropertydisjoint from | ||

employs | (employs ?ORG ?PERSON) means that ?ORG has hired ?PERSON documentationand currently retains ?PERSON, on a salaried or contractual basis, to provide services in exchange for monetary compensation | |

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 Organization | ||

has domain2 CognitiveAgent | ||

Encoding | 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 messagedocumentation | |

has axiom (=> | ||

is a kind of Writing | ||

EndFn | A UnaryFunction that maps a TimeInterval to the TimePoint at which the interval endsdocumentation | |

has axiom ( | ||

has axiom ( | ||

has axiom ( | ||

has axiom ( | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom
| ||

has axiom (=> | ||

has axiom (=> | ||

has axiom ( | ||

has axiom ( | ||

has domain1 TimeInterval | ||

has TimePointrange | ||

is an TemporalRelationinstance of | ||

is an UnaryFunctioninstance of | ||

EnergyMeasure | is a kind of FunctionQuantity | |

EngineeringComponent | A fundamental concept that applies in documentationmany 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 (=> | ||

is a kind of EngineeringElement | ||

is first domain ofconnectedEngineeringComponents | ||

is first engineeringSubcomponentdomain of | ||

is first domain ofTerminalFn | ||

is second domain ofconnectedEngineeringComponents | ||

is second connectsEngineeringComponentsdomain of | ||

is second engineeringSubcomponentdomain of | ||

is third connectsEngineeringComponentsdomain of | ||

EngineeringComponentFn | A UnaryFunction that maps a Terminal to its corresponding EngineeringComponentdocumentation | |

has domain1 Terminal | ||

has inverseTerminalFn | ||

has EngineeringComponentrange | ||

is an UnaryFunctioninstance of | ||

EngineeringConnection | An EngineeringConnection is an EngineeringComponent that documentationrepresents 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 (=> | ||

has axiom (=> | ||

is a kind of EngineeringComponent | ||

is first connectsEngineeringComponentsdomain of | ||

EngineeringElement | An EngineeringElement is any documentationelement that is used in the construction of a Device | |

has axiom (=> | ||

is a kind of Artifact | ||

engineeringSubcomponent | (engineeringSubcomponent ?SUB ?SUPER) means that the EngineeringComponent ?SUB is structurally a documentationproperPart ?SUPER. This relation is an AsymmetricRelation, since two EngineeringComponents cannot be subcomponents of each other | |

has axiom (=> | ||

has domain1 EngineeringComponent | ||

has domain2 EngineeringComponent | ||

entails | The operator of logical entailment. (documentationentails ?FORMULA1 ?FORMULA2) means that ?FORMULA2 can be derived from ?FORMULA1 by means of the proof theory of SUO-KIF | |

has axiom (=> | ||

has domain1 Formula | ||

has domain2 Formula | ||

is an SententialOperatorinstance of | ||

Entity | The universal class of individuals. This is the root node of the ontologydocumentation | |

has axiom (<=> | ||

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 ofdocumentation | ||

is first domain ofelement | ||

is first domain ofequal | ||

is first domain ofIdentityFn | ||

is first domain ofinstance | ||

is first domain ofrelatedExternalConcept | ||

is first domain ofrelatedInternalConcept | ||

is second domain ofdestination | ||

is second domain ofequal | ||

is second domain ofidentityElement | ||

is second domain ofinScopeOfInterest | ||

is second domain ofpatient | ||

is second domain ofrefers | ||

is second domain ofrelatedInternalConcept | ||

is second domain ofrepresents | ||

is second domain ofrepresentsForAgent | ||

is second domain ofrepresentsInLanguage | ||

Enzyme | A complex Protein that is produced by documentationliving 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 | (documentationequal ?ENTITY1 ?ENTITY2) is true just in case ?ENTITY1 is identical with ?ENTITY2 | |

has domain1 Entity | ||

has domain2 Entity | ||

is an BinaryPredicateinstance of | ||

is an EquivalenceRelationinstance of | ||

is an RelationExtendedToQuantitiesinstance of | ||

EquivalenceRelation | A BinaryRelation is an equivalence relation if it is a ReflexiveRelation, a SymmetricRelation, documentationand a TransitiveRelation | |

is a kind of ReflexiveRelation | ||

is a kind of SymmetricRelation | ||

is a kind of TransitiveRelation | ||

equivalenceRelationOn | A BinaryRelation is an documentationequivalenceRelationOn a Class only if the relation is reflexiveOn the Class and it is both a TransitiveRelation and a SymmetricRelation | |

has axiom (=> | ||

has domain1 BinaryRelation | ||

has domain2 Class | ||

is an AsymmetricRelationinstance of | ||

is an BinaryPredicateinstance of | ||

equivalentContentClass | A BinaryPredicate that relates two subclasses of ContentBearingObject. (documentationequivalentContentClass ?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 ( | ||

has domain1 ContentBearingObject | ||

has domain2 ContentBearingObject | ||

is an EquivalenceRelationinstance of | ||

equivalentContentInstance | A BinaryPredicate relating two instances of ContentBearingObject. (documentationequivalentContentInstance ?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 ( | ||

has axiom (=> | ||

has domain1 ContentBearingObject | ||

has domain2 ContentBearingObject | ||

has relatedInternalConceptequivalentContentClass | ||

is an EquivalenceRelationinstance of | ||

EthnicGroup | A GroupOfPeople whose members originate from the same Region or share the same Language documentationand/or cultural practices | |

is a kind of GroupOfPeople | ||

EvenInteger | An Integer that is evenly divisible by 2documentation | |

has axiom (=> | ||

is a kind of Integer | ||

exactlyLocated | The actual, minimal location of an Object. This is a documentationsubrelation of the more general Predicate located | |

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

ExerciseProcess | A Process that is carried out for the purpose of exercisedocumentation | |

is a kind of IntentionalProcess | ||

exhaustiveDecomposition | An documentationexhaustiveDecomposition 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 (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (forall (?INT) ( | ||

has domain1 Class | ||

has partitionrelatedInternalConcept | ||

is an Predicateinstance of | ||

is an VariableArityRelationinstance of | ||

existant | This relation documentationholds 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 ( | ||

has axiom ( | ||

has axiom ( | ||

has axiom ( | ||

has axiom ( | ||

has axiom ( | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 Physical | ||

has domain2 TimePosition | ||

is an AsymmetricRelationinstance of | ||

is an BinaryPredicateinstance of | ||

is an TemporalRelationinstance of | ||

experiencer | (documentationexperiencer ?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 (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 Process | ||

has domain2 Agent | ||

is an CaseRoleinstance of | ||

exploits | (documentationexploits ?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 (=> | ||

has domain1 Object | ||

has domain2 Agent | ||

is an AsymmetricRelationinstance of | ||

is an BinaryPredicateinstance of | ||

ExponentiationFn | (documentationExponentiationFn ?NUMBER ?INT) returns the RealNumber ?NUMBER raised to the power of the Integer ?INT | |

has axiom ( | ||

has domain1 Quantity | ||

has domain2 Integer | ||

has Quantityrange | ||

is an BinaryFunctioninstance of | ||

is an RelationExtendedToQuantitiesinstance of | ||

Expressing | Instances of this Class express a state of the sender. Example: Jane thanked Barbara for the present she had given herdocumentation | |

is a kind of Communication | ||

ExtensionFn | A UnaryFunction that maps an Attribute into the Class whose condition for membership is the Attributedocumentation | |

has axiom ( | ||

has domain1 Attribute | ||

has Classrange | ||

is an UnaryFunctioninstance of | ||

False | The TruthValue of being documentationfalse | |

has contraryPropertyTrue | ||

is an TruthValueinstance of | ||

FamilyGroup | A GroupOfPeople whose members bear familyRelations to one anotherdocumentation | |

has axiom (=> | ||

is a kind of GroupOfPeople | ||

familyRelation | A very general Predicate for biological relationships. (documentationfamilyRelation ?ORGANISM1 ?ORGANISM2) means that ?ORGANISM1 and ?ORGANISM2 are biologically derived from a common ancestor | |

has axiom (=> | ||

has axiom (=> | ||

has domain1 Organism | ||

has domain2 Organism | ||

is an BinaryPredicateinstance of | ||

is an EquivalenceRelationinstance of | ||

Farad | SI CapacitanceMeasure. Symbol: F. It is the capacitance of a capacitator documentationbetween 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 CapacitanceMeasureinstance of | ||

is an SystemeInternationalUnitinstance of | ||

father | The general relationship of fatherhood. (father ?FATHER ?CHILD) means that ?FATHER is the biological father of ?CHILDdocumentation | |

has arg1 valencesingleValued | ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 Animal | ||

Female | An Attribute indicating that an Organism is documentationfemale in nature | |

has axiom (=> | ||

is an SexPropertyinstance of | ||

Few | Useful for contextual assessment of number. Note that a formula containing this Class cannot be converted into a precise numeric documentationrange. 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 NonspecificNumberinstance of | ||

FieldOfStudy | An academic or applied discipline with recognized experts documentationand 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 | Something is documentationFillable if it can be filled by something else. Note that 'filled' here means perfectly filled | |

has axiom ( | ||

has axiom (=> | ||

has axiom (=> | ||

is an ShapePropertyinstance of | ||

fills | Holes can be filled. (documentationfills ?OBJ ?HOLE) means that the Object ?OBJ fills the Hole ?HOLE. Note that fills here means perfectly filled | |

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 Object | ||

has domain2 Hole | ||

has relatedInternalConceptFillable | ||

is an AsymmetricRelationinstance of | ||

is an BinaryPredicateinstance of | ||

is an SpatialRelationinstance of | ||

FinancialTransaction | A Transaction where an documentationinstance of CurrencyMeasure is exchanged for something else | |

is a kind of Transaction | ||

finishes | (documentationfinishes ?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 BinaryPredicateinstance of | ||

is an IrreflexiveRelationinstance of | ||

is an TemporalRelationinstance of | ||

is an TransitiveRelationinstance of | ||

FiniteSet | A Set containing a finite number of elementsdocumentation | |

has axiom (=> | ||

is a kind of Set | ||

Fish | A cold-blooded aquatic Vertebrate characterized by fins documentationand 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 (=> | ||

is a kind of ColdBloodedVertebrate | ||

is Reptiledisjoint from | ||

FloorFn | (documentationFloorFn ?NUMBER) returns the largest Integer less than or equal to the RealNumber ?NUMBER | |

has axiom ( | ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 RealNumber | ||

has Integerrange | ||

is an UnaryFunctioninstance of | ||

Food | Any Object containing Nutrients, such as carbohydrates, proteins, documentationand fats, that can be ingested by a living Organism and metabolized into energy and body tissue | |

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

is a kind of Object | ||

Foot | English length unit of feetdocumentation | |

has axiom ( | ||

is an LengthMeasureinstance of | ||

is an UnitOfMeasureinstance of | ||

ForceMeasure | is a kind of FunctionQuantity | |

Formula | A syntactically well-formed formula in the SUO-KIF knowledge representation languagedocumentation | |

has axiom (=> | ||

is a kind of Sentence | ||

is first domain of<=> | ||

is first =>domain of | ||

is first domain ofand | ||

is first domain ofentails | ||

is first domain ofnot | ||

is first ordomain of | ||

is second domain of<=> | ||

is second =>domain of | ||

is second domain ofand | ||

is second domain ofbelieves | ||

is second domain ofconsiders | ||

is second domain ofdesires | ||

is second domain ofentails | ||

is second domain ofhasPurpose | ||

is second domain ofhasPurposeForAgent | ||

is second domain ofholdsDuring | ||

is second domain ofKappaFn | ||

is second domain ofknows | ||

is second ordomain of | ||

Fragile | An Attribute which indicates that the associated Object is very breakabledocumentation | |

is an BreakabilityPropertyinstance of | ||

frequency | (documentationfrequency ?PROC ?TIME) means that the Process type of ?PROC recurs after every interval of ?TIME | |

has axiom (=> | ||

has domain1 Process | ||

has domain2 TimeDuration | ||

is an AsymmetricRelationinstance of | ||

is an BinaryPredicateinstance of | ||

FrequencyMeasure | is a kind of TimeDependentQuantity | |

front | This is a cognitive primitive, derived from the documentationfront/back schema. (front ?OBJ1 ?OBJ2) means that ?OBJ1 is in front of ?OBJ2 | |

has inversebehind | ||

is an AsymmetricRelationinstance of | ||

is an TransitiveRelationinstance of | ||

FullyFormedAnatomicalStructure | An AnatomicalStructure in a fully formed Organism. In Mammals, for example, it would be a structure in the body after the birth of the Organismdocumentation | |

is a kind of AnatomicalStructure | ||

is EmbryonicStructuredisjoint from | ||

Function | A Function is a term-forming Relation that maps from a n-tuple of arguments to a documentationrange 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 ofAssignmentFn | ||

is first domain ofclosedOn | ||

is first domain ofrange | ||

is first domain ofrangeSubclass | ||

FunctionQuantity | A FunctionQuantity is a Function that maps from one or more instances of ConstantQuantity to another documentationinstance 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 | A eukaryotic Organism characterized by the absence of chlorophyll documentationand the presence of a CellWallRigid. Included here are both slime molds and true fungi such as yeasts, molds, mildews, and mushrooms | |

has axiom (=> | ||

has axiom (=> | ||

is a kind of Plant | ||

FutureFn | A UnaryFunction that maps a TimePosition to the TimeInterval which it meets documentationand which ends at PositiveInfinity | |

has axiom (=> | ||

has axiom ( | ||

has axiom ( | ||

has axiom ( | ||

has domain1 TimePosition | ||

has TimeIntervalrange | ||

is an TemporalRelationinstance of | ||

is an UnaryFunctioninstance of | ||

Game | A Contest whose purpose is the enjoyment/stimulation of the participants or spectators of the Gamedocumentation | |

is a kind of Contest | ||

is a kind of RecreationalProcess | ||

Gas | An Object has the Attribute of documentationGas if it has neither a fixed volume nor a fixed shape | |

is an PhysicalStateinstance of | ||

GeneralizedIntersectionFn | A UnaryFunction that takes a Class of Classes as its single argument documentationand 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 ( | ||

has axiom (=> | ||

has domain1 Class | ||

has Classrange | ||

is an UnaryFunctioninstance of | ||

GeneralizedUnionFn | A UnaryFunction that takes a Class of Classes as its single argument documentationand 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 ( | ||

has domain1 Class | ||

has Classrange | ||

is an UnaryFunctioninstance of | ||

GeographicArea | 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 sizedocumentation | |

is a kind of Region | ||

Getting | The documentationsubclass of ChangeOfPossession where the agent gets something. Note that the source from which something is obtained is specified with the origin CaseRole | |

has axiom
| ||

is a kind of ChangeOfPossession | ||

GigaHertz | Multiple of documentationHertz. Symbol: GHz. A FrequencyMeasure equal to one billion times per SeconDuration. 1 GigaHertz = 10^9 Hertz | |

has axiom ( | ||

is an FrequencyMeasureinstance of | ||

is an UnitOfMeasureinstance of | ||

Giving | The documentationsubclass of ChangeOfPossession where the agent gives the destination something | |

has axiom
| ||

has axiom
| ||

has axiom (=> | ||

is a kind of ChangeOfPossession | ||

Gland | An Organ that removes Substances from the Blood, alters them in some way, documentationand then releases them | |

is a kind of Organ | ||

Government | The ruling body of a Nation or one of the subOrganizations of a Nationdocumentation | |

has axiom (=> | ||

is a kind of Organization | ||

Graduation | The IntentionalProcess of graduating from an EducationalOrganizationdocumentation | |

is a kind of OrganizationalProcess | ||

Gram | Submultiple of documentationKilogram. Symbol: g. 1 Kilogram = 1000 Grams | |

has axiom ( | ||

has axiom ( | ||

is an MassMeasureinstance of | ||

is an UnitOfMeasureinstance of | ||

Gray | SI AbsorbedDoseMeasure. Symbol: Gy. It measures the dose of radiation absorbed in documentationliving 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 AbsorbedDoseMeasureinstance of | ||

is an SystemeInternationalUnitinstance of | ||

greaterThan | (documentationgreaterThan ?NUMBER1 ?NUMBER2) is true just in case the Quantity ?NUMBER1 is greater than the Quantity ?NUMBER2 | |

has axiom ( | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 Quantity | ||

has domain2 Quantity | ||

has inverselessThan | ||

is an BinaryPredicateinstance of | ||

is an IrreflexiveRelationinstance of | ||

is an RelationExtendedToQuantitiesinstance of | ||

is an TransitiveRelationinstance of | ||

greaterThanOrEqualTo | (documentationgreaterThanOrEqualTo ?NUMBER1 ?NUMBER2) is true just in case the Quantity ?NUMBER1 is greater than the Quantity ?NUMBER2 | |

has axiom ( | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 Quantity | ||

has domain2 Quantity | ||

has inverselessThanOrEqualTo | ||

is an BinaryPredicateinstance of | ||

is an PartialOrderingRelationinstance of | ||

is an RelationExtendedToQuantitiesinstance of | ||

GreatestCommonDivisorFn | (documentationGreatestCommonDivisorFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) returns the greatest common divisor of ?NUMBER1 through ?NUMBER | |

has Integerrange | ||

is an Functioninstance of | ||

is an VariableArityRelationinstance of | ||

Grooming | The documentationsubclass 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 | A Collection of Animals or Humans, e.g. a flock of sheep, a herd of goats, or the local Boy Scout troopdocumentation | |

has axiom (=> | ||

is a kind of Agent | ||

is a kind of Collection | ||

GroupOfPeople | A Group consisting exclusively of Humansdocumentation | |

has axiom (=> | ||

is a kind of Group | ||

Growth | The Process of biological development in which an Organism changes its form or its sizedocumentation | |

is a kind of PhysiologicProcess | ||

Guiding | Controlling the documentationdirection 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 | This Predicate expresses the concept of a conventional goal, i.e. a goal with a neutralized agent's intention. Accordingly, (documentationhasPurpose ?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 (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 Physical | ||

has domain2 Formula | ||

is an AsymmetricRelationinstance of | ||

is an BinaryPredicateinstance of | ||

hasPurposeForAgent | Expresses a cognitive attitude of an agent with respect to a particular documentationinstance 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 (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 Physical | ||

has domain2 Formula | ||

has domain3 Agent | ||

is an TernaryPredicateinstance of | ||

hasSkill | Similar to the documentationcapability Predicate with the additional restriction that the ability be practised/ demonstrated to some measurable degree | |

has axiom (=> | ||

has domain1 Process | ||

has domain2 Agent | ||

is an AsymmetricRelationinstance of | ||

is an BinaryPredicateinstance of | ||

Hearing | The documentationsubclass of Perception in which the sensing is done by an auditory Organ | |

is a kind of Perception | ||

height | BinaryPredicate that is used to state the documentationmeasure of an Object from its lowest point to its highest point | |

has arg2 valencesingleValued | ||

Henry | SI InductanceMeasure. Symbol: H. One documentationHenry 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 InductanceMeasureinstance of | ||

is an SystemeInternationalUnitinstance of | ||

Hertz | SI FrequencyMeasure. Symbol: Hz. It is the number of cycles per second. documentationHertz = s^(-1) | |

has axiom ( | ||

has axiom ( | ||

has axiom ( | ||

is an FrequencyMeasureinstance of | ||

is an SystemeInternationalUnitinstance of | ||

Holding | The Class of Processes where the agent maintains physical contact with something for an extended period of documentationtime | |

is a kind of Touching | ||

holds | (documentationholds 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 Predicateinstance of | ||

is an VariableArityRelationinstance of | ||

holdsDuring | (documentationholdsDuring ?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 AsymmetricRelationinstance of | ||

is an BinaryPredicateinstance of | ||

holdsObligation | Expresses a relationship documentationbetween 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 relatedInternalConceptholdsRight | ||

is an AsymmetricRelationinstance of | ||

is an BinaryPredicateinstance of | ||

holdsRight | Expresses a relationship documentationbetween 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 AsymmetricRelationinstance of | ||

is an BinaryPredicateinstance of | ||

hole | (hole ?HOLE ?OBJ) means that ?HOLE is a Hole in ?OBJ. A Hole is an documentationfillable body located at the surface an Object | |

Hole | A hole is an immaterial body documentationlocated 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 ( | ||

has axiom ( | ||

hole | has axiom ( | |

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

Hole | has axiom (=> | |

hole | has axiom (=> | |

has axiom (=> | ||

Hole | has axiom (=> | |

hole | has axiom (=> | |

Hole | has axiom (=> | |

hole | has axiom (=> | |

Hole | has axiom (=> | |

has axiom (=> | ||

hole | has axiom (=> | |

has domain1 Hole | ||

has domain2 Object | ||

Hole | has holerelatedInternalConcept | |

is a kind of Region | ||

hole | is an AsymmetricRelationinstance of | |

is an BinaryPredicateinstance of | ||

is an SpatialRelationinstance of | ||

Hole | is first holedomain of | |

is first domain ofPrincipalHostFn | ||

is first domain ofSkinFn | ||

is second domain offills | ||

is second domain ofpartiallyFills | ||

is second domain ofproperlyFills | ||

Horizontal | Attribute used to indicate that an Object is positioned width-wise with respect to another Objectdocumentation | |

has contraryPropertyVertical | ||

is an DirectionAttributeinstance of | ||

Hormone | 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 documentationand 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 | The Class of all clock Hoursdocumentation | |

has axiom (=> | ||

has axiom (=> | ||

has relatedInternalConceptHourDuration | ||

has relatedInternalConceptHourFn | ||

is a kind of TimeInterval | ||

is second domain ofMinuteFn | ||

HourDuration | documentationTime unit. 1 hour = 60 minutes | |

has axiom (=> | ||

has axiom ( | ||

has axiom ( | ||

is an TimeDurationinstance of | ||

is an UnitOfMeasureinstance of | ||

HourFn | A BinaryFunction that maps a number documentationand 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 (=> | ||

has domain1 PositiveRealNumber | ||

has domain2 Day | ||

has Hourrange | ||

is an BinaryFunctioninstance of | ||

is an TemporalRelationinstance of | ||

HourIntervalFn | A BinaryFunction that maps two numbers to the Class of TimeIntervals that begin at the hour corresponding to the first number documentationand 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 (=> | ||

has domain1 PositiveRealNumber | ||

has domain2 PositiveRealNumber | ||

has TimeIntervalrange | ||

is an BinaryFunctioninstance of | ||

is an TemporalRelationinstance of | ||

Human | Modern man, the only remaining species of the Homo genusdocumentation | |

has axiom (=> | ||

has axiom (=> | ||

is a kind of CognitiveAgent | ||

is a kind of Primate | ||

is first domain ofcitizen | ||

Icon | This is the documentationsubclass 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 | 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 categorydocumentation | |

is a kind of Learning | ||

identityElement | An object ?ID is the identity documentationelement for BinaryFunction ?FUNCTION just in case, for every instance ?INST, applying ?FUNCTION to ?INST and ?ID results in ?INST | |

has axiom (=> | ||

has domain1 BinaryFunction | ||

has domain2 Entity | ||

is an AsymmetricRelationinstance of | ||

is an BinaryPredicateinstance of | ||

IdentityFn | The value of the identity function is just its argumentdocumentation | |

has axiom ( | ||

has domain1 Entity | ||

has Entityrange | ||

is an UnaryFunctioninstance of | ||

IlluminanceMeasure | is a kind of FunctionQuantity | |

ImaginaryNumber | The square root of -1documentation | |

has axiom (=> | ||

is an Numberinstance of | ||

ImaginaryPartFn | (documentationImaginaryPartFn ?NUMBER) returns the imaginary part of ?NUMBER | |

has axiom (=> | ||

has domain1 ComplexNumber | ||

has rangeImaginaryNumber | ||

is an UnaryFunctioninstance of | ||

ImmediateFutureFn | A UnaryFunction that maps a TimePosition to a short, indeterminate TimeInterval that immediately follows the TimePositiondocumentation | |

has axiom ( | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom
| ||

has axiom
| ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom
| ||

has axiom ( | ||

has domain1 TimePosition | ||

has TimeIntervalrange | ||

is an TemporalRelationinstance of | ||

is an UnaryFunctioninstance of | ||

ImmediateFutureFn(WhenFn | has axiom ( | |

ImmediatePastFn | A UnaryFunction that maps a TimePosition to a short, indeterminate TimeInterval that immediately precedes the TimePositiondocumentation | |

has axiom
| ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom
| ||

has axiom (=> | ||

has axiom
| ||

has axiom (=> | ||

has axiom
| ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom
| ||

has axiom ( | ||

has domain1 TimePosition | ||

has TimeIntervalrange | ||

is an TemporalRelationinstance of | ||

is an UnaryFunctioninstance of | ||

ImmediatePastFn(WhenFn | has axiom
| |

Impacting | The Class of Processes where something comes into sudden, forceful, physical contact with something else. Some examples would be striking, knocking, whipping etcdocumentation | |

has axiom (=> | ||

is a kind of Process | ||

Impelling | The documentationsubclass 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 | English length unit of inchesdocumentation | |

has axiom ( | ||

is an LengthMeasureinstance of | ||

is an UnitOfMeasureinstance of | ||

Increasing | Any Process where a PhysicalQuantity associated with the documentationpatient is decreased | |

Any Process where a PhysicalQuantity associated with the documentationpatient is increased | ||

has axiom
| ||

has PuttingrelatedInternalConcept | ||

is a kind of Process | ||

is Decreasingdisjoint from | ||

InductanceMeasure | is a kind of FunctionQuantity | |

InformationMeasure | is a kind of ConstantQuantity | |

Ingesting | The Process by which Food is incorporated into an Animaldocumentation | |

has axiom (=> | ||

is a kind of OrganismProcess | ||

inhabits | A very basic notion of documentationliving within something else. (inhabits ?ORGANISM ?OBJECT) means that ?OBJECT is the residence, nest, home, etc. of ?ORGANISM | |

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom
| ||

has axiom (=> | ||

has axiom
| ||

has domain1 Organism | ||

has domain2 Object | ||

is an AsymmetricRelationinstance of | ||

is an BinaryPredicateinstance of | ||

inhibits | A very general Predicate. (documentationinhibits ?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 BinaryPredicateinstance of | ||

is an IrreflexiveRelationinstance of | ||

Injuring | 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 documentationsubclass of BiologicalProcess | |

has axiom ( | ||

has axiom (=> | ||

is a kind of PathologicProcess | ||

inScopeOfInterest | A very general Predicate. (documentationinScopeOfInterest ?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 (=> | ||

has domain1 Agent | ||

has domain2 Entity | ||

is an AsymmetricRelationinstance of | ||

is an BinaryPredicateinstance of | ||

is an IntentionalRelationinstance of | ||

Insect | A Class of Arthropods that is distinguished by its body appearancedocumentation | |

has axiom
| ||

is a kind of Arthropod | ||

instance | An object is an documentationinstance 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 AntisymmetricRelationinstance of | ||

is an BinaryPredicateinstance of | ||

instrument | (instrument ?EVENT ?TOOL) means that ?TOOL is used by an agent in bringing about ?EVENT documentationand 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 (<=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 Process | ||

has domain2 Object | ||

Integer | A negative or nonnegative whole numberdocumentation | |

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

is a kind of RationalNumber | ||

is first domain ofPredecessorFn | ||

is first domain ofSuccessorFn | ||

is first domain ofYearFn | ||

is partitioned into NegativeInteger, NonnegativeInteger | ||

is partitioned into OddInteger, EvenInteger | ||

is second domain ofExponentiationFn | ||

is second domain ofsingleValued | ||

IntegerSquareRootFn | (documentationIntegerSquareRootFn ?NUMBER) returns the integer square root of ?NUMBER | |

has domain1 RealNumber | ||

has NonnegativeIntegerrange | ||

is an UnaryFunctioninstance of | ||

IntentionalProcess | A Process that is deliberately set in motion by a CognitiveAgentdocumentation | |

has axiom
| ||

has axiom (=> | ||

is a kind of Process | ||

is NonintentionalProcessdisjoint from | ||

IntentionalRelation | The Class of Relations documentationbetween an Agent and an Entity, where the Relation requires that the Agent have awareness of the Entity | |

is a kind of AsymmetricRelation | ||

interiorPart | (interiorPart ?OBJ1 ?OBJ2) means that ?OBJ1 is documentationpart ?OBJ2 and there is no overlap between ?OBJ1 and any superficialPart ?OBJ2 | |

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

IntersectionFn | A BinaryFunction that maps two %Classes to the intersection of these Classes. An object is an documentationinstance of the intersection of two Classes just in case it is an instance of both of those Classes | |

has axiom ( | ||

has axiom ( | ||

has domain1 Class | ||

has domain2 Class | ||

has Classrange | ||

is an BinaryFunctioninstance of | ||

IntransitiveRelation | A BinaryRelation ?REL is intransitive only if (?REL ?INST1 ?INST2) documentationand (?REL ?INST2 ?INST3) imply not (?REL ?INST1 ?INST3), for all ?INST1, ?INST2, and ?INST3 | |

has axiom (=> | ||

is a kind of BinaryRelation | ||

inverse | The documentationinverse 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 (=> | ||

has domain1 BinaryRelation | ||

has domain2 BinaryRelation | ||

is an BinaryPredicateinstance of | ||

is an SymmetricRelationinstance of | ||

Invertebrate | An Animal which has no SpinalColumndocumentation | |

is a kind of Animal | ||

is Vertebratedisjoint from | ||

Investigating | The documentationsubclass of Searching where the thing sought is a piece of information (i.e. a Proposition denoted by a Formula) | |

has axiom (=> | ||

has axiom (=> | ||

is a kind of Searching | ||

irreflexiveOn | A BinaryRelation is irreflexive on a Class only if no documentationinstance of the Class bears the relation to itself | |

has axiom (=> | ||

has domain1 BinaryRelation | ||

has domain2 Class | ||

is an AsymmetricRelationinstance of | ||

is an BinaryPredicateinstance of | ||

IrreflexiveRelation | Relation ?REL is irreflexive if (?REL ?INST ?INST) documentationholds for no value of ?INST | |

has axiom (=> | ||

is a kind of BinaryRelation | ||

Joule | SI EnergyMeasure. Symbol: J. It is the work done when the point of application of 1 documentationNewton is displaced a distance of 1 Meter in the direction of the force. Joule = N*m = m^2*kg*s^(-2) | |

has axiom ( | ||

has axiom ( | ||

has axiom ( | ||

is an EnergyMeasureinstance of | ||

is an SystemeInternationalUnitinstance of | ||

JudgementOfEtiquette | A Proposition expressing the proper manner of doing somethingdocumentation | |

is a kind of NormativeProposition | ||

Junction | An interface documentationbetween two EngineeringElements that have different electrical characteristics | |

is a kind of EngineeringElement | ||

JunctionFn | A UnaryFunction that maps a Terminal to its corresponding Junctiondocumentation | |

has domain1 Terminal | ||

has Junctionrange | ||

is an UnaryFunctioninstance of | ||

KappaFn | A class-forming operator that takes two arguments: a variable documentationand 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 Classrange | ||

is an BinaryFunctioninstance of | ||

Keeping | The Class of Processes where the agent keeps something in a particular location for an extended period of documentationtime | |

is a kind of IntentionalProcess | ||

Kelvin | 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 documentationKelvin is the fraction 1/273.16 of the thermodynamic temperature of the triple point of water | |

has axiom ( | ||

has axiom ( | ||

is an SystemeInternationalUnitinstance of | ||

is an ThermodynamicTemperatureMeasureinstance of | ||

Killing | The documentationsubclass 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 (=> | ||

has axiom
| ||

is a kind of Destruction | ||

KiloByte | One documentationKiloByte (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 ( | ||

has axiom ( | ||

is an InformationMeasureinstance of | ||

is an UnitOfMeasureinstance of | ||

Kilogram | 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), documentationand it is equal to the mass of the international prototype of the Kilogram | |

has axiom ( | ||

has axiom ( | ||

has axiom ( | ||

has axiom ( | ||

has axiom ( | ||

is an MassMeasureinstance of | ||

is an SystemeInternationalUnitinstance of | ||

KiloHertz | Multiple of documentationHertz. Symbol: kHz. A FrequencyMeasure equal to one thousand times per SecondDuration. 1 KiloHertz = 10^3 Hertz | |

has axiom ( | ||

is an FrequencyMeasureinstance of | ||

is an UnitOfMeasureinstance of | ||

Kilometer | Multiple of documentationMeter. Symbol: km. 1 Kilometer = 1000 Meters | |

has axiom ( | ||

is an LengthMeasureinstance of | ||

is an UnitOfMeasureinstance of | ||

KiloWatt | Multiple of documentationWatt. Symbol: kW. A UnitOfMeasure that measures power, i.e. energy produced or expended divided by TimeDuration. 1 KiloWatt = 1000 Watts | |

has axiom ( | ||

is an PowerMeasureinstance of | ||

knows | The epistemic predicate of knowing. (documentationknows ?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 (=> | ||

has axiom
| ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 Agent | ||

has domain2 Formula | ||

is an PropositionalAttitudeinstance of | ||

Land | A Land is the GeographicArea associated with a nation. For example, the Land of Australia is the Region making up the continent of Oceaniadocumentation | |

is a kind of GeographicArea | ||

Language | 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 peopledocumentation | |

is a kind of LinguisticExpression | ||

is second domain ofsentenceOfLanguage | ||

is third domain ofrelatedExternalConcept | ||

is third domain ofrepresentsInLanguage | ||

larger | (documentationlarger ?OBJ1 ?OBJ2) simply means that ?OBJ1 is larger, with respect to all LengthMeasures, than ?OBJ2 | |

has axiom (=> | ||

has domain1 Object | ||

has domain2 Object | ||

is an BinaryPredicateinstance of | ||

is an IrreflexiveRelationinstance of | ||

is an SpatialRelationinstance of | ||

is an TransitiveRelationinstance of | ||

Law | A codified Obligation that is imposed by a government of some sort documentationand that is enforced with penalties for noncompliance | |

is a kind of Obligation | ||

Learning | The Class of Processes which relate to the acquisition of informationdocumentation | |

has axiom (=> | ||

has axiom
| ||

has axiom (=> | ||

is a kind of MentalProcess | ||

LeastCommonMultipleFn | (documentationLeastCommonMultipleFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) returns the least common multiple of ?NUMBER1 through ?NUMBER | |

has Integerrange | ||

is an Functioninstance of | ||

is an VariableArityRelationinstance of | ||

left | This is a cognitive primitive, derived from the documentationleft/right schema. (left ?OBJ1 ?OBJ2) means that ?OBJ1 is to the left ?OBJ2 | |

has axiom (=> | ||

is an AsymmetricRelationinstance of | ||

is an TransitiveRelationinstance of | ||

LegalAction | Any Process where a CognitiveAgent seeks to obtain something from another CognitiveAgent through a court of lawdocumentation | |

is a kind of Contest | ||

Lending | The documentationsubclass 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 | BinaryPredicate that is used to state the documentationmeasure of an Object from one point to another point along its surface | |

has domain2 LengthMeasure | ||

LengthMeasure | The Class of ConstantQuantities relating to lengthdocumentation | |

has axiom (=> | ||

is a kind of ConstantQuantity | ||

is second lengthdomain of | ||

is third domain ofdistance | ||

lessThan | (documentationlessThan ?NUMBER1 ?NUMBER2) is true just in case the Quantity ?NUMBER1 is less than the Quantity ?NUMBER2 | |

has axiom ( | ||

has axiom
| ||

has axiom (=> | ||

has axiom (=> | ||

has axiom
| ||

has axiom (=> | ||

has axiom
| ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 Quantity | ||

has domain2 Quantity | ||

is an BinaryPredicateinstance of | ||

is an IrreflexiveRelationinstance of | ||

is an RelationExtendedToQuantitiesinstance of | ||

is an TransitiveRelationinstance of | ||

lessThanOrEqualTo | (documentationlessThanOrEqualTo ?NUMBER1 ?NUMBER2) is true just in case the Quantity ?NUMBER1 is less than or equal to the Quantity ?NUMBER2 | |

has axiom ( | ||

has axiom
| ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 Quantity | ||

has domain2 Quantity | ||

is an BinaryPredicateinstance of | ||

is an PartialOrderingRelationinstance of | ||

is an RelationExtendedToQuantitiesinstance of | ||

LinguisticExpression | This is the documentationsubclass 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 Icondisjoint from | ||

Liquid | An Object has the Attribute of documentationLiquid if it has a fixed volume but not a fixed shape | |

has axiom (=> | ||

is an PhysicalStateinstance of | ||

Liter | Unit of volume in the metric system. It is currently defined to be documentationequal to one cubic decimeter (0.001 cubic meter). Symbol: l | |

has axiom ( | ||

has axiom ( | ||

is an UnitOfMeasureinstance of | ||

is an VolumeMeasureinstance of | ||

Living | This Attribute applies to Organisms that are alivedocumentation | |

has axiom
| ||

has axiom
| ||

has axiom
| ||

has axiom (=> | ||

has axiom
| ||

has axiom (=> | ||

is an AnimacyPropertyinstance of | ||

located | A very general predicate. (documentationlocated ?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 ( | ||

has axiom ( | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom
| ||

has axiom (=> | ||

has axiom
| ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has axiom (=> | ||

has domain1 Physical | ||

has domain2 Object | ||

has relatedInternalConceptexistant | ||

is an PartialOrderingRelationinstance of | ||

LogFn | (documentationLogFn ?NUMBER ?INT) returns the logarithm of the RealNumber ?NUMBER in the base denoted by the Integer ?INT | |

has domain1 RealNumber | ||

has domain2 PositiveInteger | ||

has RealNumberrange | ||

is an BinaryFunctioninstance of | ||

Lumen | SI LuminousFluxMeasure. Symbol: lm. It is the amount streaming outward through one documentationsolid angle of 1 Steradian from a uniform point source having an intensity of one Candela. Lumen = cd*sr = cd * 1 | |

is an LuminousFluxMeasureinstance of | ||

is an SystemeInternationalUnitinstance of | ||

LuminosityIntensityMeasure | is a kind of FunctionQuantity | |

LuminousFluxMeasure | is a kind of FunctionQuantity | |

Lux | SI IlluminanceMeasure. Symbol: lx. It is the amount of illumination provided when one documentationLumen 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 IlluminanceMeasureinstance of | ||

is an SystemeInternationalUnitinstance of | ||

Machine | Machines are Devices which are self-powered, i.e. their energy does documentationnot 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 | The magnitude of a ConstantQuantity is the numeric value for the quantity. In other words, documentationMagnitudeFn 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 ( | ||

has domain1 ConstantQuantity |