SUMOmini.owl
type: Ontology
comment: This is SUMOmini, created by Maria Keet. I mainly deleted the instances and domain concept directly subsumed by owl:Thing and some weird proeprties, like the 'absolute height of an aircraft'.
comment: A provisional and necessarily lossy translation to OWL. Please see www.ontologyportal.org for the original KIF, which is the authoritative source. This software is released under the GNU Public License www.gnu.org. YAGO mapping thanks to http://www.mpi-inf.mpg.de/~gdemelo/yagosumo/ . WordNet content thanks to http://wordnet.cogsci.edu
comment: Produced on date: Sun May 09 18:37:01 PDT 2010

constitution
type: AnnotationProperty
comment: (ConstitutionFn ?AREA) denotes a class containing all Constitutions adopted by the government of the GeopoliticalArea ?AREA. For example, (ConstitutionFn UnitedStates) contains the ConstitutionOfTheUnitedStates.
domain: GeopoliticalArea

absolute value
type: ObjectProperty
type: FunctionalProperty
comment: The value of (AbsoluteValueFn ?NUMBER) is the absolute value of the RealNumber ?NUMBER.

abstraction
type: ObjectProperty
type: FunctionalProperty
domain: class
range: attribute
comment: A UnaryFunction that maps a Class into the instance of Attribute that specifies the condition(s) for membership in the Class.

begin
type: ObjectProperty
type: FunctionalProperty
domain: time interval
range: time point
comment: A UnaryFunction that maps a TimeInterval to the TimePoint at which the interval begins.

begin node
type: ObjectProperty
type: FunctionalProperty
comment: A UnaryFunction that maps a GraphPath to the GraphNode that is the beginning of the GraphPath. Note that, unlike InitialNodeFn (which relates a GraphArc to a GraphNode), BeginNodeFn is a total function - every GraphPath has a beginning.

cardinality
type: ObjectProperty
type: FunctionalProperty
range: number
comment: (CardinalityFn ?CLASS) returns the number of instances in the SetOrClass ?CLASS or the number of members in the ?CLASS Collection.

complement
type: ObjectProperty
type: FunctionalProperty
domain: set or class
range: set or class
comment: The complement of a given SetOrClass C is the SetOrClass of all things that are not instances of C. In other words, an object is an instance of the complement of a SetOrClass C just in case it is not an instance of C.

end
type: ObjectProperty
type: FunctionalProperty
domain: time interval
range: time point
comment: A UnaryFunction that maps a TimeInterval to the TimePoint at which the interval ends.

extension
type: ObjectProperty
type: FunctionalProperty
domain: attribute
range: class
comment: A UnaryFunction that maps an Attribute into the Class whose condition for membership is the Attribute.

first
type: ObjectProperty
type: FunctionalProperty
range: Entity
comment: (FirstFn ?LIST) returns the first item in the List ?LIST. For example, (FirstFn (ListFn Monday Tuesday Wednesday)) would return the value of Monday.

floor
type: ObjectProperty
type: FunctionalProperty
comment: (FloorFn ?NUMBER) returns the largest Integer less than or equal to the RealNumber ?NUMBER.

flow
type: ObjectProperty
type: FunctionalProperty
domain: flow region
range: motion
comment: (FlowFn ?FLUID) denotes the Motion process associated with the constitutive pieces of the FlowRegion ?FLUID.

front
type: ObjectProperty
type: FunctionalProperty
domain: self connected object
range: self connected object
comment: A Function that maps an Object to the side that generally receives the most attention or that typically faces the direction in which the Object moves. Note that this is a partial function, since some Objects do not have sides, e.g. apples and spheres. Note too that the range of this Function is indefinite in much the way that ImmediateFutureFn and ImmediatePastFn are indefinite. Although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases.

future
type: ObjectProperty
type: FunctionalProperty
domain: time position
range: time interval
comment: A UnaryFunction that maps a TimePosition to the TimeInterval which it meets and which ends at PositiveInfinity.

geographic center
type: ObjectProperty
type: FunctionalProperty
domain: geographic area
range: geographic area
comment: (GeographicCenterFn ?REGION) denotes the geographical center of the GeographicArea ?REGION.

imaginary part
type: ObjectProperty
type: FunctionalProperty
comment: (ImaginaryPartFn ?NUMBER) returns the part of ?NUMBER that has the square root of -1 as its factor.

inner boundary
type: ObjectProperty
type: FunctionalProperty
domain: region
range: region
comment: (InnerBoundaryFn ?REGION) denotes the inner boundary of the Region ?REGION, where ?REGION has an inner and outer orientation with respect to another object.

outer boundary
type: ObjectProperty
type: FunctionalProperty
domain: region
range: region
comment: (OuterBoundaryFn ?REGION) denotes the outer boundary of the Region ?REGION, where ?REGION has an inner and outer orientation with respect to another object.

past
type: ObjectProperty
type: FunctionalProperty
domain: time position
range: time interval
comment: A UnaryFunction that maps a TimePosition to the TimeInterval that meets it and that begins at NegativeInfinity.

predecessor
type: ObjectProperty
type: FunctionalProperty
comment: A UnaryFunction that maps an Integer to its predecessor, e.g. the predecessor of 5 is 4.

premises
type: ObjectProperty
type: FunctionalProperty
domain: argument
range: proposition
comment: (PremisesFn ?ARGUMENT) returns the complete set of premises of the Argument ?ARGUMENT.

when
type: ObjectProperty
type: FunctionalProperty
domain: physical
range: time interval
comment: A UnaryFunction that maps an Object or Process to the exact TimeInterval during which it exists. Note that, for every TimePoint ?TIME outside of the TimeInterval (WhenFn ?THING), (time ?THING ?TIME) does not hold.

abbreviation
type: ObjectProperty
range: Entity
comment: (abbreviation ?STRING ?THING) means that ?STRING is an abbreviation used to refer to ?THING. Abbreviations include acronyms and other abbreviated forms.

abstractCounterpart
type: ObjectProperty
domain: abstract
range: physical
comment: (abstractCounterpart ?AB ?PHYS relates a Physical entity to an Abstract one which is an idealized model in some dimension of the Physical entity. For example, an Abstract GraphNode could be stated to be the counterpart of an actual Computer in a ComputerNetwork.

abstract part
type: ObjectProperty
type: TransitiveProperty
domain: abstract
range: abstract
label: part
comment: A meronymy relation similar to part, but for abstract rather than physical things.

address
type: ObjectProperty
domain: agent
comment: (address ?AGENT ?ADDRESS) means that ?ADDRESS is an address or part of an address for the Agent ?AGENT.

agent
type: ObjectProperty
domain: process
range: agent
comment: (agent ?PROCESS ?AGENT) means that ?AGENT is an active determinant, either animate or inanimate, of the Process ?PROCESS, with or without voluntary intention. For example, Eve is an agent in the following proposition: Eve bit an apple.

ancestor
type: ObjectProperty
type: TransitiveProperty
domain: organism
range: organism
comment: The transitive closure of the parent predicate. (ancestor ?DESCENDANT ?ANCESTOR) means that ?ANCESTOR is either the parent of ?DESCENDANT or the parent of the parent of DESCENDANT or etc.

attribute
type: ObjectProperty
domain: object
comment: (attribute ?OBJECT ?PROPERTY) means that ?PROPERTY is a Attribute of ?OBJECT. For example, (attribute MyLittleRedWagon Red).

before
type: ObjectProperty
type: TransitiveProperty
domain: time point
range: time point
comment: (before ?POINT1 ?POINT2) means that ?POINT1 precedes ?POINT2 on the universal timeline.

before or equal
type: ObjectProperty
type: TransitiveProperty
domain: time point
range: time point
comment: (beforeOrEqual ?POINT1 ?POINT2) means that ?POINT1 is identical with ?POINT2 or occurs before it on the universal timeline.

capacity
type: ObjectProperty
domain: self connected object
range: constant quantity
comment: (capacity ?OBJ ?QUANTITY) means that ?OBJ can contain something that has the measure of ?QUANTITY. This predicate denotes maximal capacity, i.e. ?OBJ can hold no more than ?QUANTITY. Note, however, that this does not mean that capacity is a SingleValuedRelation, since an object may have various maximal capacities across different dimensions, e.g. a particular box may have a capacity of 3 pounds and a capacity of 1 liter.

cardinality
type: ObjectProperty
domain: set or class
comment: (cardinality ?SET ?NUMBER) means that there are ?NUMBER of elements in the SetOrClass ?SET.

catalyst
type: ObjectProperty
comment: A relation between a ChemicalProcess and a Substance that acts to acelerate or enable the ChemicalProcess.

causes
type: ObjectProperty
domain: process
range: process
comment: The causation relation between instances of Process. (causes ?PROCESS1 ?PROCESS2) means that the instance of Process ?PROCESS1 brings about the instance of Process ?PROCESS2.

causes proposition
type: ObjectProperty
comment: (causesProposition ?FORMULA1 ?FORMULA2) means that the state of affairs described by ?FORMULA1 causes, or mechanistically brings about, the state of affairs described by ?FORMULA2. Note that unlike entails, the time during which ?FORMULA2 holds cannot precede the time during which ?FORMULA1 holds, although ?FORMULA1 and ?FORMULA2 can hold simultaneously. Note, also, that causesProposition is a predicate, not a truth function. The following rule (contraposition) does not hold: (=> (causesProp ?FORMULA1 ?FORMULA2) (causesProp (not ?FORMULA2) (not ?FORMULA1))).

causes subclass
type: ObjectProperty
comment: The causation relation between subclasses of Process. (causesSubclass ?PROCESS1 ?PROCESS2) means that the subclass of Process ?PROCESS1 brings about the subclass of Process ?PROCESS2, e.g. (causesSubclass Killing Death).

conclusion
type: ObjectProperty
domain: argument
range: proposition
comment: (conclusion ?ARGUMENT ?PROPOSITION) means that the Proposition ?PROPOSITION is the conclusion explicitly drawn from the Argument ?ARGUMENT. Note that it may or may not be the case that ?ARGUMENT entails ?PROPOSITION.

conjugate
type: ObjectProperty
type: SymmetricProperty
comment: (conjugate ?COMPOUND1 ?COMPOUND2) means that ?COMPOUND1 and ?COMPOUND2 are identical CompoundSubstances except that one has one more Proton than the other.

connected
type: ObjectProperty
type: SymmetricProperty
domain: object
range: object
comment: (connected ?OBJ1 ?OBJ2) means that ?OBJ1 meetsSpatially ?OBJ2 or that ?OBJ1 overlapsSpatially ?OBJ2.

connected downstream
type: ObjectProperty
domain: object
range: object
comment: (connectedDownstream ?OBJ1 ?OBJ2) means that ?OBJ1 is connected, remotely or immediately, with ?OBJ2 along a directed system such as a RiverSystem.

consistent
type: ObjectProperty
type: SymmetricProperty
domain: proposition
range: proposition
comment: (consistent ?PROP1 ?PROP2) means that the two Propositions ?PROP1 and ?PROP2 are consistent with one another, i.e. it is possible for both of them to be true at the same time.

contains
type: ObjectProperty
domain: self connected object
range: object
comment: The relation of spatial containment for two separable objects. When the two objects are not separable (e.g. an automobile and one of its seats), the relation of part should be used. (contains ?OBJ1 ?OBJ2) means that the SelfConnectedObject ?OBJ1 has a space (i.e. a Hole) which is at least partially filled by ?OBJ2.

controlled
type: ObjectProperty
range: object
comment: (controlled ?EVENT ?OBJECT) means that during the AchievingControl denoted by ?EVENT, ?OBJECT comes to be physically controlled by an Agent.

cooccur
type: ObjectProperty
type: SymmetricProperty
domain: physical
range: physical
comment: (cooccur ?THING1 ?THING2) means that the Object or Process ?THING1 occurs at the same time as, together with, or jointly with the Object or Process ?THING2. This covers the following temporal relations: is co-incident with, is concurrent with, is contemporaneous with, and is concomitant with.

crosses
type: ObjectProperty
type: TransitiveProperty
comment: (crosses ?OBJ1 ?OBJ2) means that Object ?OBJ1 traverses Object ?OBJ2, without being connected to it.

date
type: ObjectProperty
domain: physical
comment: A BinaryPredicate that specifies a TimePosition in absolute calendar time, at the resolution of one day, for a particular Object or Process.

desires
type: ObjectProperty
domain: cognitive agent
comment: (desires ?AGENT ?FORMULA) means that ?AGENT wants to bring about the state of affairs expressed by ?FORMULA. Note that there is no implication that what is desired by the agent is not already true. Note too that desires is distinguished from wants only in that the former is a PropositionalAttitude, while wants is an ObjectAttitude.

direction
type: ObjectProperty
domain: process
comment: (direction ?PROC ?ATTR) means that the Process ?PROC is moving in the direction ?ATTR. For example, one would use this Predicate to represent the fact that Max is moving North.

disjoint
type: ObjectProperty
type: SymmetricProperty
domain: set or class
range: set or class
comment: Classes are disjoint only if they share no instances, i.e. just in case the result of applying IntersectionFn to them is empty.

disjoint relation
type: ObjectProperty
domain: relation
range: relation
comment: This predicate relates two Relations. (disjointRelation ?REL1 ?REL2) means that the two relations have no tuples in common.

distributes
type: ObjectProperty
comment: A BinaryFunction ?FUNCTION1 is distributive over another BinaryFunction ?FUNCTION2 just in case (?FUNCTION1 ?INST1 (?FUNCTION2 ?INST2 ?INST3)) is equal to (?FUNCTION2 (?FUNCTION1 ?INST1 ?INST2) (?FUNCTION1 ?INST1 ?INST3)), for all ?INST1, ?INST2, and ?INST3.

duration
type: ObjectProperty
domain: time interval
range: time duration
comment: (duration ?POS ?TIME) means that the duration of the TimePosition ?POS is ?TIME. Note that this Predicate can be used in conjunction with the Function WhenFn to specify the duration of any instance of Physical.

during
type: ObjectProperty
type: TransitiveProperty
domain: time interval
range: time interval
comment: (during ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 starts after and ends before ?INTERVAL2.

earlier
type: ObjectProperty
type: TransitiveProperty
domain: time interval
range: time interval
comment: (earlier ?INTERVAL1 ?INTERVAL2) means that the TimeInterval ?INTERVAL1 ends before the TimeInterval ?INTERVAL2 begins.

element
type: ObjectProperty
domain: Entity
range: set
comment: (element ?ENTITY ?SET) is true just in case ?ENTITY is contained in the Set ?SET. An Entity can be an element of another Entity only if the latter is a Set.

elevation
type: ObjectProperty
domain: object
range: length measure
comment: (elevation ?OBJECT ?HEIGHT) means that the physical Object ?OBJECT is located on the surface of PlanetEarth at the vertical distance ?HEIGHT above (or below, for a negative quantity) SeaLevel. ?OBJECT may be a superficialPart of Earth's surface, such as a GeographicArea. Elevation is measured from SeaLevel to the vertical top of the object.

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

equal
type: ObjectProperty
type: SymmetricProperty
domain: Entity
range: Entity
comment: (equal ?ENTITY1 ?ENTITY2) is true just in case ?ENTITY1 is identical with ?ENTITY2.

equivalence relation on
type: ObjectProperty
range: set or class
comment: A BinaryPredicate is an equivalenceRelationOn a SetOrClass only if the relation is reflexiveOn the SetOrClass and it is both a TransitiveRelation and a SymmetricRelation.

equivalent content class
type: ObjectProperty
type: SymmetricProperty
comment: A BinaryPredicate that relates two subclasses of ContentBearingPhysical. (equivalentContentClass ?CLASS1 ?CLASS2) means that the content expressed by each instance of ?CLASS1 is also expressed by each instance of ?CLASS2, and vice versa. An example would be the relationship between English and Russian editions of Agatha Christie's 'Murder on the Orient Express'. Note that (equivalentContentClass ?CLASS1 ?CLASS2) implies (subsumesContentClass ?CLASS1 ?CLASS2) and (subsumesContentClass ?CLASS2 ?CLASS1).

equivalent content instance
type: ObjectProperty
type: SymmetricProperty
domain: content bearing physical
range: content bearing physical
comment: A BinaryPredicate relating two instances of ContentBearingPhysical. (equivalentContentInstance ?OBJ1 ?OBJ2) means that the content expressed by ?OBJ1 is identical to the content expressed by ?OBJ2. An example would be the relationship between a handwritten draft of a letter to one's lawyer and a typed copy of the same letter. Note that (equivalentContentInstance ?OBJ1 ?OBJ2) implies (subsumesContentInstance ?OBJ1 ?OBJ2) and (subsumesContentInstance ?OBJ2 ?OBJ2).

fills
type: ObjectProperty
domain: object
range: hole
comment: Holes can be filled. (fills ?OBJ ?HOLE) means that the Object ?OBJ fills the Hole ?HOLE. Note that fills here means perfectly filled. Perfect fillers and fillable entities have no parts in common (rather, they may occupy the same spatial region).

finishes
type: ObjectProperty
type: TransitiveProperty
domain: time interval
range: time interval
comment: (finishes ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 and ?INTERVAL2 are both TimeIntervals that have the same ending TimePoint and that ?INTERVAL2 begins before ?INTERVAL1.

flows
type: ObjectProperty
type: TransitiveProperty
domain: physical
range: physical
comment: (flows ?FLUID1 ?FLUID2) means that the Physical ?FLUID1 moves towards the Physical ?FLUID2, to which it is connected.

frequency
type: ObjectProperty
range: time duration
comment: (frequency ?PROC ?TIME) means that the Process type of ?PROC recurs after every interval of ?TIME.

geographic subregion
type: ObjectProperty
type: TransitiveProperty
domain: geographic area
range: geographic area
comment: (geographicSubregion ?PART ?WHOLE) means that the GeographicArea ?PART is part of the GeographicArea ?WHOLE.

geometric part
type: ObjectProperty
type: TransitiveProperty
comment: (geometricPart ?PART ?WHOLE) means that the GeometricFigure ?PART is part of the GeometricFigure ?WHOLE.

geopolitical subdivision
type: ObjectProperty
type: TransitiveProperty
comment: (geopoliticalSubdivision ?AREA1 ?AREA2) means that ?AREA1 is any geopolitical part of ?AREA2, that is, ?AREA1 is an integral geographicSubregion of ?AREA2 (not a DependencyOrSpecialSovereigntyArea), having its own associated GovernmentOrganization which is subordinated to or constrained by the government of ?AREA2. Cf. dependentGeopoliticalArea.

granularity
type: ObjectProperty
range: time duration
comment: Granularity is a sub-property of the timing requirements property of real-time systems. Granularity is defined by how a timing requirement is specified in units of time.

graph part
type: ObjectProperty
range: graph
comment: A basic relation for Graphs and their parts. (graphPart ?PART ?GRAPH) means that ?PART is a GraphArc or GraphNode of the Graph ?GRAPH.

has purpose
type: ObjectProperty
domain: physical
comment: This Predicate expresses the concept of a conventional goal, i.e. a goal with a neutralized agent's intention. Accordingly, (hasPurpose ?THING ?FORMULA) means that the instance of Physical ?THING has, as its purpose, the Proposition expressed by ?FORMULA. Note that there is an important difference in meaning between the Predicates hasPurpose and result. Although the second argument of the latter can satisfy the second argument of the former, a conventional goal is an expected and desired outcome, while a result may be neither expected nor desired. For example, a machine process may have outcomes but no goals, aimless wandering may have an outcome but no goal, a learning process may have goals with no outcomes, and so on.

hole
type: ObjectProperty
domain: hole
range: self connected object
comment: (hole ?HOLE ?OBJ) means that ?HOLE is a Hole in ?OBJ. A Hole is a fillable body located at the surface an Object.

inhabits
type: ObjectProperty
domain: organism
range: object
comment: A very basic notion of living within something else. (inhabits ?ORGANISM ?OBJECT) means that ?OBJECT is the residence (either permanent or temporary), nest, etc. of ?ORGANISM.

inhibits
type: ObjectProperty
comment: A very general Predicate. (inhibits ?PROC1 ?PROC2) means that the Process ?PROC1 inhibits or hinders the occurrence of the Process ?PROC2. For example, obstructing an object inhibits moving it. Note that this is a relation between types of Processes, not between instances.

initially contains part
type: ObjectProperty
comment: Every instance of the second argument initially contains an instance of the first argument, even though it might lose that part later in its lifetime. Every normal human starts life with an appendix for example. While the whole must initially contain such a part, this does not say that each part necessarily initially exists as part of such a whole. This is a class-level relation roughly corresponding to part.

instance
type: ObjectProperty
domain: Entity
range: set or class
comment: An object is an instance of a SetOrClass if it is included in that SetOrClass. 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.

interior part
type: ObjectProperty
type: TransitiveProperty
comment: (interiorPart ?OBJ1 ?OBJ2) means that ?OBJ1 is part ?OBJ2 and there is no overlap between ?OBJ1 and any superficialPart ?OBJ2.

involved in event
type: ObjectProperty
domain: process
range: Entity
comment: (involvedInEvent ?EVENT ?THING) means that in the Process ?EVENT, the Entity ?THING plays some CaseRole.

located
type: ObjectProperty
type: TransitiveProperty
comment: (located ?PHYS ?OBJ) means that ?PHYS is partlyLocated at ?OBJ, and there is no part or subProcess of ?PHYS that is not located at ?OBJ.

material
type: ObjectProperty
range: corpuscular object
comment: (material ?SUBSTANCE ?OBJECT) means that ?OBJECT is structurally made up in part of ?SUBSTANCE. This relation encompasses the concepts of 'composed of', 'made of', and 'formed of'. For example, plastic is a material of my computer monitor. Compare part and its subrelations, viz component and piece.

measure
type: ObjectProperty
domain: object
range: physical quantity
comment: A very general Predicate for asserting that a particular Object is measured by a particular PhysicalQuantity. In general, the second argument of this Predicate will be a term produced with the Function MeasureFn.

member
type: ObjectProperty
domain: self connected object
range: collection
comment: A specialized common sense notion of part for uniform parts of Collections. For example, each sheep in a flock of sheep would have the relationship of member to the flock.

member type
type: ObjectProperty
domain: collection
range: set or class
comment: (memberType ?GROUP ?TYPE) means that all the members of the Collection ?GROUP belong to the SetOrClass ?TYPE.

meronym
type: ObjectProperty
type: TransitiveProperty
comment: A relation similar to WordNet meronymy relation. If class A is a meronym of class B, it means that instances of A typically are parts of instances of B.

modal attribute
type: ObjectProperty
comment: A BinaryRelation that is used to state the normative force of a Proposition. (modalAttribute ?FORMULA ?PROP) means that the Proposition expressed by ?FORMULA has the NormativeAttribute ?PROP. For example, (modalAttribute (exists (?ACT ?OBJ) (and (instance ?ACT Giving) (agent ?ACT John) (patient ?ACT ?OBJ) (destination ?ACT Tom))) Obligation) means that John is obligated to give Tom something.

models
type: ObjectProperty
domain: model
comment: A relation signaling that certain model is convenient for modeling of certain class of devices.

moves
type: ObjectProperty
domain: motion
range: object
comment: (moves ?MOTION ?OBJECT) means that during the Motion event ?MOTION, ?OBJECT moves. This does not necessarily imply that the location of ?OBJECT changes during ?MOTION. See also changesLocation and Translocation.

older
type: ObjectProperty
domain: object
range: object
comment: (older ?OBJ1 ?OBJ2) means that ?OBJ1 is older than ?OBJ2, i.e. the age of ?OBJ1 is greaterThan the age of ?OBJ2.

operator
type: ObjectProperty
domain: object
range: agent
comment: (operator ?OBJECT ?AGENT) means that ?AGENT determines how ?OBJECT is used, either by directly or indirectly operating it.

origin
type: ObjectProperty
domain: process
range: object
comment: (origin ?PROCESS ?SOURCE) means that ?SOURCE indicates where the ?Process began. Note that this relation implies that ?SOURCE is present at the beginning of the process, but need not participate throughout the process. For example, the submarine is the origin in the following proposition: the missile was launched from a submarine.

overlaps partially
type: ObjectProperty
type: SymmetricProperty
comment: (overlapsPartially ?OBJ1 ?OBJ2) means that ?OBJ1 and ?OBJ2 have part(s) in common, but neither ?OBJ1 nor ?OBJ2 is a part of the other.

overlaps spatially
type: ObjectProperty
type: SymmetricProperty
comment: (overlapsSpatially ?OBJ1 ?OBJ2) means that the Objects ?OBJ1 and ?OBJ2 have some parts in common. This is a reflexive and symmetric (but not transitive) relation.

overlaps temporally
type: ObjectProperty
type: SymmetricProperty
domain: time interval
range: time interval
comment: (overlapsTemporally ?INTERVAL1 ?INTERVAL2) means that the TimeIntervals ?INTERVAL1 and ?INTERVAL2 have a TimeInterval as a common part.

parent
type: ObjectProperty
domain: organism
range: organism
comment: The general relationship of parenthood. (parent ?CHILD ?PARENT) means that ?PARENT is a biological parent of ?CHILD.

part
type: ObjectProperty
type: TransitiveProperty
domain: object
range: object
comment: The basic mereological relation. All other mereological relations are defined in terms of this one. (part ?PART ?WHOLE) simply means that the Object ?PART is part of the Object ?WHOLE. Note that, since part is a ReflexiveRelation, every Object is a part of itself.

partial ordering on
type: ObjectProperty
range: set or class
comment: A BinaryPredicate is a partial ordering on a SetOrClass only if the relation is reflexiveOn the SetOrClass, and it is both an AntisymmetricRelation, and a TransitiveRelation.

partially fills
type: ObjectProperty
domain: object
range: hole
comment: (partiallyFills ?OBJ ?HOLE) means that ?OBJ completelyFills some part of ?HOLE. Note that if (partiallyFills ?OBJ1 ?HOLE) and (part ?OBJ1 ?OBJ2), then (partiallyFills ?OBJ2 ?HOLE). Note too that a partial filler need not be wholly inside a hole (it may stick out), which means that every complete filler also qualifies as (is a limit case of) a partial one.

partly located
type: ObjectProperty
domain: physical
range: object
comment: (partlyLocated ?THING ?OBJ) means that the instance of Physical ?THING is at least partially located at ?OBJ. For example, Istanbul is partly located in Asia and partly located in Europe. Note that partlyLocated is the most basic localization relation: located is an immediate subrelation of partlyLocated and exactlyLocated is an immediate subrelation of located.

path
type: ObjectProperty
domain: motion
range: object
comment: (path ?MOTION ?PATH) means that ?PATH is a route along which ?MOTION occurs. For example, Highway 101 is the path in the following proposition: the car drove up Highway 101.

penetrates
type: ObjectProperty
comment: (penetrates ?OBJ1 ?OBJ2) means that ?OBJ1 is connected to ?OBJ2 along at least one whole dimension (length, width or depth).

possesses
type: ObjectProperty
domain: agent
range: object
comment: Relation that holds between an Agent and an Object when the Agent has ownership of the Object.

precondition
type: ObjectProperty
type: TransitiveProperty
comment: A very general Predicate. (precondition ?PROC1 ?PROC2) means that an instance of ?PROC2 can exist only if an instance of ?PROC1 also exists.

premise
type: ObjectProperty
domain: argument
range: proposition
comment: (premise ?ARGUMENT ?PROPOSITION) means that the Proposition ?PROPOSITION is an explicit assumption of the Argument ?ARGUMENT.

prevents
type: ObjectProperty
comment: A very general Predicate. (prevents ?PROC1 ?PROC2) means that ?PROC1 prevents the occurrence of ?PROC2. In other words, if ?PROC1 is occurring in a particular time and place, ?PROC2 cannot occur at the same time and place. For example, innoculating prevents contracting disease. Note that this is a relation between types of Processes, not between instances.

proper part
type: ObjectProperty
type: TransitiveProperty
comment: (properPart ?OBJ1 ?OBJ2) means that ?OBJ1 is a part of ?OBJ2 other than ?OBJ2 itself. This is a TransitiveRelation and AsymmetricRelation (hence an IrreflexiveRelation).

properly fills
type: ObjectProperty
domain: object
range: hole
comment: (properlyFills ?OBJ ?HOLE) means that ?HOLE is properly (though perhaps incompletely) filled by ?OBJ, i.e. some part of ?HOLE is perfectly filled by ?OBJ. Note that properlyFills is the dual of completelyFills, and is so related to partiallyFills that ?OBJ properlyFills ?HOLE just in case ?OBJ partiallyFills every part of ?HOLE. (Thus, every perfect filler is both complete and proper in this sense). Every hole is connected with everything with which a proper filler of the hole is connected. Every proper part of a perfect filler of (a part of) a hole properly fills (that part of) that hole.

realization
type: ObjectProperty
domain: process
range: proposition
comment: A subrelation of represents. (realization ?PROCESS ?PROP) means that ?PROCESS is a Process which expresses the content of ?PROP. Examples include a particular musical performance, which realizes the content of a musical score, or the reading of a poem.

slice of figure
type: ObjectProperty
domain: two dimensional object
range: corpuscular object
comment: (sliceOfFigure ?SLICE ?FIGURE) indicates that ?SLICE is a 2-d section of the 3-d figure ?FIGURE. Or, more formally, ?SLICE is 2-d figure formed by the intersection of a plane with the 3-d figure ?FIGURE.

starts
type: ObjectProperty
type: TransitiveProperty
domain: time interval
range: time interval
comment: (starts ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 and ?INTERVAL2 are both TimeIntervals that have the same initial TimePoint and that ?INTERVAL1 ends before ?INTERVAL2.

states
type: ObjectProperty
domain: cognitive agent
comment: (holdsDuring ?T1 (states ?AGENT ?SENTENCE)) means that at time ?T1, ?AGENT is the agent of a LinguisticCommunication in which the patient is ?SENTENCE. Note that ?SENTENCE could be a Formula.

sub attribute
type: ObjectProperty
type: TransitiveProperty
domain: attribute
range: attribute
comment: Means that the second argument can be ascribed to everything which has the first argument ascribed to it.

sub collection
type: ObjectProperty
type: TransitiveProperty
domain: collection
range: collection
comment: (subCollection ?COLL1 ?COLL2) means that the Collection ?COLL1 is a proper part of the Collection ?COLL2.

sub graph
type: ObjectProperty
type: TransitiveProperty
domain: graph
range: graph
comment: The relation between two Graphs when one Graph is a part of the other. (subGraph ?GRAPH1 ?GRAPH2) means that ?GRAPH1 is a part of ?GRAPH2.

subLanguage
type: ObjectProperty
type: TransitiveProperty
comment: (subLanguage ?Language-1 ?Language-2) means that ?Language-1 is included in, or subsumed by, ?Language-2. Since subLanguage is a ReflexiveRelation, every Language is a subLanguage of itself.

sub list
type: ObjectProperty
type: TransitiveProperty
comment: (subList ?LIST1 ?LIST2) means that ?LIST1 is a sublist of ?LIST2, i.e. every element of ?LIST1 is an element of ?LIST2 and the elements that are common to both Lists have the same order in both Lists. Elements that are common to both Lists and are consecutive in one list must also be consecutive in the other list. (Therefore - the list of prime numbers smaller than 10 [1 2 3 5 7] is not a subList of the natural numbers smaller than 10 [1 2 3 4 5 6 7 8 9]).

sub plan
type: ObjectProperty
type: TransitiveProperty
domain: plan
range: plan
comment: (subPlan ?PLAN1 ?PLAN2) means that ?PLAN1 is a Plan which is a proper part of ?PLAN2. This relation is generally used to relate a supporting Plan to the overall Plan in a particular context.

sub process
type: ObjectProperty
type: TransitiveProperty
domain: process
range: process
comment: (subProcess ?SUBPROC ?PROC) means that ?SUBPROC is a subprocess of ?PROC. A subprocess is here understood as a temporally distinguished part (proper or not) of a Process.

sub proposition
type: ObjectProperty
type: TransitiveProperty
domain: proposition
range: proposition
comment: (subProposition ?PROP1 ?PROP2) means that ?PROP1 is a Proposition which is a proper part of the Proposition ?PROP2. In other words, subProposition is the analogue of properPart for chunks of abstract content.

subString
type: ObjectProperty
comment: (subString ?SymbolicString-1 ?SymbolicString-2) means that ?SymbolicString-1 is part of ?SymbolicString-2. ?SymbolicString-2 includes all the same Characters as ?SymbolicString-1 and in the same order, but ?SymbolicString-2 may include more Characters than ?SymbolicString-1. See also inString.

sub system
type: ObjectProperty
domain: physical system
range: physical system
comment: (subSystem ?SUB ?SYSTEM) means that the PhysicalSystem ?SUB is a part of the PhysicalSystem ?SYSTEM.

subrelation
type: ObjectProperty
type: TransitiveProperty
domain: relation
range: relation
comment: (subrelation ?REL1 ?REL2) means that every tuple of ?REL1 is also a tuple of ?REL2. In other words, if the Relation ?REL1 holds for some arguments arg_1, arg_2, ... arg_n, then the Relation ?REL2 holds for the same arguments. A consequence of this is that a Relation and its subrelations must have the same valence.

successor attribute
type: ObjectProperty
domain: attribute
range: attribute
comment: (successorAttribute ?ATTR1 ?ATTR2) means that ?ATTR2 is the Attribute that comes immediately after ?ATTR1 on the scale that they share.

successor attribute closure
type: ObjectProperty
type: TransitiveProperty
domain: attribute
range: attribute
comment: The transitive closure of successorAttribute. (successorAttributeClosure ?ATTR1 ?ATTR2) means that there is a chain of successorAttribute assertions connecting ?ATTR1 and ?ATTR2.

superficial part
type: ObjectProperty
type: TransitiveProperty
comment: (superficialPart ?OBJ1 ?OBJ2) means that ?OBJ1 is a part of ?OBJ2 that has no interior parts of its own (or, intuitively, that only overlaps those parts of ?OBJ2 that are externally connected with the mereological complement of ?OBJ2). This too is a transitive relation closed under MereologicalSumFn and MereologicalProductFn.

surface
type: ObjectProperty
domain: self connected object
range: self connected object
comment: (surface ?OBJ1 ?OBJ2) means that ?OBJ1 is a maximally connected superficialPart of ?OBJ2. Note that some SelfConnectedObjects have more than one surface, e.g. a hollow object like a tennis ball has both an inner and an outer surface.

system part
type: ObjectProperty
domain: physical
range: physical system
comment: (systemPart ?PART ?SYSTEM) means that the Physical thing ?PART is a SystemElement in the PhysicalSystem ?SYSTEM.

task
type: ObjectProperty
range: process task
comment: (task ?Process ?Task) means that ?Task is a function to be performed by the ComputerProcess ?Process.

temporal part
type: ObjectProperty
type: TransitiveProperty
domain: time position
range: time position
comment: The temporal analogue of the spatial part predicate. (temporalPart ?POS1 ?POS2) means that TimePosition ?POS1 is part of TimePosition ?POS2. Note that since temporalPart is a ReflexiveRelation every TimePostion is a temporalPart of itself.

time
type: ObjectProperty
domain: physical
range: time position
comment: This relation holds between an instance of Physical and an instance of TimePosition just in case the temporal lifespan of the former includes the latter. In other words, (time ?THING ?TIME) means that ?THING existed or occurred at ?TIME. Note that time does for instances of Physical what holdsDuring does for instances of Formula. The constants located and time are the basic spatial and temporal predicates, respectively.

transported
type: ObjectProperty
domain: transportation
range: object
comment: (transported ?EVENT ?OBJ) means that ?OBJ is transported (carried/moved to a different physical location) in the Transportation ?EVENT.

traverses
type: ObjectProperty
domain: object
range: object
comment: (traverses ?OBJ1 ?OBJ2) means that ?OBJ1 crosses or extends across ?OBJ2. Note that crosses and penetrates are subrelations of traverses.

typical part
type: ObjectProperty
comment: An instance of the first argument is typically found as part of an instance of the second argument. This is a class-level relation roughly corresponding to part. Note that this does not imply that such wholes typically have such parts.

typically contains part
type: ObjectProperty
comment: An instance of the second argument typically contains an instance of the first argument. This is a class-level relation roughly corresponding to part. Note that this does not imply that such parts typically have such wholes.

uses
type: ObjectProperty
domain: object
range: agent
comment: (uses ?OBJECT AGENT) means that ?OBJECT is used by ?AGENT as an instrument in an unspecified Process. This Predicate, as its corresponding axiom indicates, is a composition of the CaseRoles agent and instrument.

wants
type: ObjectProperty
domain: cognitive agent
range: physical
comment: (wants ?AGENT ?OBJECT) means that ?OBJECT is desired by ?AGENT, i.e. ?AGENT believes that ?OBJECT will satisfy one of its goals. Note that there is no implication that what is wanted by an agent is not already possessed by the agent.

width
type: ObjectProperty
comment: BinaryPredicate that is used to state the measure of an Object from side to side at its widest span.

abstract
type: Class
subclass of: Entity
comment: Properties or qualities as distinguished from any particular embodiment of the properties/qualities in a physical medium. Instances of Abstract can be said to exist in the same sense as mathematical objects such as sets and relations, but they cannot exist at a particular place and time without some physical encoding or embodiment.

agent
type: Class
subclass of: object
comment: Something or someone that can act on its own and produce changes in the world.

AgentPatientProcess
type: Class
subclass of: process
comment: Instances of AgentPatientProcess have at least one agent and at least one patient. Unlike instances of IntentionalProcess, the agent need not be a CognitiveAgent. Cf. other high-level subclasses of Process, such as DualObjectProcess, InternalChange, and Motion.

agreement
type: Class
subclass of: proposition
comment: Agreement is the class of Propositions that express the contents of agreements entered into by CognitiveAgents. Agreement includes treaties, contracts, purchase orders, pledges, marriage vows, etc. An Agreement may be written down in a document or other ContentBearingObject.

angle measure
type: Class
subclass of: constant quantity
comment: The value of an angle in a plane or in a solid.

area measure
type: Class
subclass of: function quantity
comment: Measures of the amount of space in two dimensions.

argument
type: Class
subclass of: proposition
comment: Any proposition which has the form of a deductive or inductive argument, i.e. a set of premises which, it is claimed, imply a conclusion.

artifact
type: Class
subclass of: object
disjoint with: organism
comment: An Object that is the product of a Making.

attribute
type: Class
subclass of: abstract
comment: Qualities which we cannot or choose not to reify into subclasses of Object.

biologically active substance
type: Class
subclass of: substance
comment: A Substance that is capable of inducing a change in the structure or functioning of an Organism. This Class includes Substances used in the treatment, diagnosis, prevention or analysis of normal and abnormal body function. This Class also includes Substances that occur naturally in the body and are administered therapeutically. Finally, BiologicallyActiveSubstance includes Nutrients, most drugs of abuse, and agents that require special handling because of their toxicity.

body motion
type: Class
subclass of: motion
comment: Any Motion where the agent is an Organism and the patient is a BodyPart.

body substance
type: Class
subclass of: substance
comment: Extracellular material and mixtures of cells and extracellular material that are produced, excreted or accreted by an Organism. Included here are Substances such as saliva, dental enamel, sweat, hormones, and gastric acid.

bubble
type: Class
subclass of: corpuscular object
comment: A globe which has a Liquid surface and which contains a Gas.

class
type: Class
subclass of: set or class
comment: Classes differ from Sets in three important respects. First, Classes 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. Third, the instances of a class may occur only once within the class, i.e. a class cannot contain duplicate instances.

ClassificationScheme
type: Class
subclass of: proposition
comment: A ClassificationScheme is a conceptual structure, an abstract arrangement of concepts and the relations that link them.

cognitive agent
type: Class
subclass of: sentient agent
comment: A SentientAgent with responsibilities and the ability to reason, deliberate, make plans, etc. This is essentially the legal/ethical notion of a person. Note that, although Human is a subclass of CognitiveAgent, there may be instances of CognitiveAgent which are not also instances of Human. For example, chimpanzees, gorillas, dolphins, whales, and some extraterrestrials (if they exist) may be CognitiveAgents.

collection
type: Class
subclass of: object
disjoint with: self connected object
comment: Collections have members like Classes, but, unlike Classes, they have a position in space-time and members can be added and subtracted without thereby changing the identity of the Collection. Some examples are toolkits, football teams, and flocks of sheep.

conductor substance
type: Class
subclass of: substance
comment: A Substance that readily conducts electricity.

constant quantity
type: Class
subclass of: physical quantity
comment: A ConstantQuantity is a PhysicalQuantity that has a constant value, e.g. 3 Meters and 5 HourDurations. The magnitude (see MagnitudeFn) of every ConstantQuantity is a RealNumber. ConstantQuantity is distinguished from FunctionQuantity, in that each instance of the latter is formed through the mapping of one PhysicalQuantity to another PhysicalQuantity. Each instance of ConstantQuantity is expressed with the BinaryFunction MeasureFn, which takes a Number and a UnitOfMeasure as arguments. For example, 3 Meters is expressed as (MeasureFn 3 Meter). Instances of ConstantQuantity 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).

constitution
type: Class
subclass of: proposition
comment: The class Constitution includes the bodies of abstract principles formulated to guide the laws, institutions and practices of various Governments. Also see ConstitutionDocument.

content bearing object
type: Class
subclass of: content bearing physical
subclass of: corpuscular object
comment: Any SelfConnectedObject that expresses content. This content may be a Proposition, e.g. when the ContentBearingObject is a Sentence or Text, or it may be a representation of an abstract or physical object, as with an Icon, a Word or a Phrase.

content bearing physical
type: Class
subclass of: physical
comment: Any Object or Process that expresses content. This covers Objects that contain a Proposition, such as a book, as well as ManualSignLanguage, which may similarly contain a Proposition.

content bearing process
type: Class
subclass of: content bearing physical
comment: Any Process, for example ManualHumanLanguage, which may contain a Proposition.

corpuscular object
type: Class
subclass of: self connected object
disjoint with: substance
comment: A SelfConnectedObject whose parts have properties that are not shared by the whole.

dual object process
type: Class
subclass of: process
comment: Any Process that requires two, nonidentical patients.

electrical process
type: Class
subclass of: natural process
comment: A Process in which electrical interactions take place

electricity
type: Class
subclass of: substance
comment: While electricity is typically thought of as just a difference in electrical potential, one way of modeling electricity is as a substance that can be moved from one point to another or consumed. One could make the claim that subatomic physics also supports the classification as a substance since electrons are objects.

epoch
type: Class
subclass of: time point
comment: An instant in time that is arbitrarily selected as a point of reference.

equation
type: Class
subclass of: proposition
comment: a mathematical statement that two expressions are equal.

flow region
type: Class
subclass of: region
comment: FlowRegion is a class of things whose boundaries are relatively stable but whose constitutive material is continuously moving through the region itself and being replaced by other, similar material. Each FlowRegion is constituted by a stream of matter moving as a whole. A FlowRegion may be liquid or gaseous. A wind may be considered as a Process or as a FlowRegion, similarly an OceanCurrent or a WaterWave. The motion process associated with a FlowRegion F is denoted by (FlowFn F). Note that certain properties belong to the FlowRegion itself (e.g., mass, length, volume, temperature, and speed or velocity of the region moving as a whole), while other properties of interest belong to the Motion of its constitutive stuff (e.g., velocity, direction). The motion of a FlowRegion as a whole (e.g., JetStream moves within the atmosphere) is distinguished from the motion of the pieces of stuff constituting the FlowRegion. See FlowFn and FlowRegionFn.

FrequencyMeasure
type: Class
subclass of: time dependent quantity
comment: A subclass of TimeDependentQuantity, instances of which are measures of the frequency with which some Process occurs.

function quantity
type: Class
subclass of: physical quantity
comment: A FunctionQuantity is a PhysicalQuantity that is returned by a Function that maps from one or more instances of ConstantQuantity to another instance of ConstantQuantity. For example, the velocity of a particle would be represented by a FunctionQuantity relating values of time (which are instances of ConstantQuantity) to values of distance (also instances of ConstantQuantity). Note that all elements of the range of the Function corresponding to a FunctionQuantity have the same physical dimension as the FunctionQuantity itself.

geographic area
type: Class
subclass of: region
disjoint with: space region
comment: A geographic location, generally having definite boundaries. Note that this differs from its immediate superclass Region in that a GeographicArea is a three-dimensional Region of the earth. Accordingly, all astronomical objects other than earth and all one-dimensional and two-dimensional Regions are not classed under GeographicArea.

graph
type: Class
subclass of: abstract
comment: The Class of graphs, where a graph is understood to be a set of GraphNodes connected by GraphArcs. Note that this Class includes only connected graphs, i.e. graphs in which there is a GraphPath between any two GraphNodes. Note too that every Graph is required to contain at least two GraphArcs and three GraphNodes.

group
type: Class
subclass of: agent
subclass of: collection
comment: A Collection of Agents, e.g. a flock of sheep, a herd of goats, or the local Boy Scout troop.

hole
type: Class
subclass of: region
comment: A hole is an immaterial body located at the surface of an Object. Since every Hole is ontologically dependent on its host (i.e., the object in which it is a hole), being a Hole is defined as being a hole in something. Note that two Holes may occupy the same region, or part of the same region, without sharing any parts. Any two hosts of a hole have a common proper part that entirely hosts the hole. A common host of two holes hosts all parts of the sum of those holes. Any object that includes the host of a hole is a host of that hole, unless its parts also include parts of that very hole. Overlapping holes have overlapping hosts. No hole is atomic. Holes are connected with their hosts. No hole can have a proper part that is externally connected with exactly the same things as the hole itself.

information measure
type: Class
subclass of: constant quantity
comment: Measures of the amount of information. Includes Bit, Byte, and multiples of these, e.g. KiloByte and MegaByte.

intentional process
type: Class
subclass of: process
disjoint with: natural process
comment: A Process that has a specific purpose for the CognitiveAgent who performs it.

internal attribute
type: Class
subclass of: attribute
comment: Any Attribute of an Entity that is an internal property of the Entity, e.g. its shape, its color, its fragility, etc.

internal change
type: Class
subclass of: process
comment: Processes which involve altering an internal property of an Object, e.g. the shape of the Object, its coloring, its structure, etc. Processes that are not instances of this class include changes that only affect the relationship to other objects, e.g. changes in spatial or temporal location.

latitude
type: Class
subclass of: region
comment: Latitude is the class of Regions, associated with areas on the Earth's surface, which are parallels measured in PlaneAngleDegrees from the Equator.

length measure
type: Class
subclass of: constant quantity
comment: A subclass of ConstantQuantity, instances of which are measures of length.

linguistic expression
type: Class
subclass of: content bearing physical
comment: This is the subclass of ContentBearingPhysical which are language-related. Note that this Class encompasses both Language and the the elements of Languages, e.g. Words.

longitude
type: Class
subclass of: region
comment: Longitude is the class of Regions, associated with areas on the Earth's surface, which are meridians measured in PlaneAngleDegrees from the PrimeMeridian through GreenwichEnglandUK.

mass measure
type: Class
subclass of: constant quantity
comment: A subclass of ConstantQuantity, instances of which are measures of the amount of matter in an Object.

mechanical process
type: Class
subclass of: natural process
comment: A Process in which mechanical interactions take place

method
type: Class
subclass of: procedure
comment: a way of doing something, esp. a systematic one; implies an orderly logical arrangement (usually in steps).

mineral
type: Class
subclass of: substance
comment: Any of various naturally occurring homogeneous substances (such as stone, coal, salt, sulfur, sand, petroleum), or synthetic substances having the chemical composition and crystalline form and properties of a naturally occurring mineral.

mixture
type: Class
subclass of: substance
comment: A Mixture is two or more PureSubstances, combined in varying proportions - each retaining its own specific properties. The components of a Mixture can be separated by physical means, i.e. without the making and breaking of chemical bonds. Examples: Air, table salt thoroughly dissolved in water, milk, wood, and concrete.

model
type: Class
subclass of: abstract
comment: An abstract object that models certain aspect of a physical object, is subject to abstraction and idealization.

motion
type: Class
subclass of: process
comment: Any Process of movement.

natural process
type: Class
subclass of: process
comment: A Process that take place in nature spontanously.

natural substance
type: Class
subclass of: substance
comment: Any Substance that is not the result of an IntentionalProcess, i.e. any substance that occurs naturally.

nest
type: Class
subclass of: corpuscular object
comment: Any structure which is created by nonhuman Animals for the purpose of giving birth to their offspring.

noxious substance
type: Class
subclass of: substance
comment: NoxiousSubstance is the class of Substances that are harmful to Humans.

number
type: Class
subclass of: quantity
comment: A measure of how many things there are, or how much there is, of a certain kind. Numbers are subclassed into RealNumber, ComplexNumber, and ImaginaryNumber.

object
type: Class
subclass of: physical
comment: Corresponds roughly to the class of ordinary objects. Examples include normal physical objects, geographical regions, and locations of Processes, the complement of Objects in the Physical class. In a 4D ontology, an Object is something whose spatiotemporal extent is thought of as dividing into spatial parts roughly parallel to the time-axis.

organic object
type: Class
subclass of: corpuscular object
subclass of: OrganicThing
comment: This class encompasses Organisms, CorpuscularObjects that are parts of Organisms, i.e. BodyParts, and CorpuscularObjects that are nonintentionally produced by Organisms, e.g. ReproductiveBodies.

OrganicThing
type: Class
subclass of: self connected object
comment: A SelfConnectedObject that is produced by a non-intentional process from an Organism. Note that this refers only to the primary cause. That is, a PlantAgriculturalProduct is firstly produced by a Plant, and only secondarily by a Human that is tending the plant.

organism
type: Class
subclass of: agent
subclass of: organic object
comment: Generally, a living individual, including all Plants and Animals.

perimeter area
type: Class
subclass of: region
comment: A PerimeterArea is a region that extends outward from a boundary with another region, surrounding or partially surrounding it, but which is not part of that other region. See BorderFn and PerimeterAreaFn.

physical
type: Class
subclass of: Entity
comment: An entity that has a location in space-time. Note that locations are themselves understood to have a location in space-time.

physical dimension
type: Class
subclass of: quantity
comment: A physical dimension such as length, mass, force etc.

physical quantity
type: Class
subclass of: quantity
comment: A PhysicalQuantity is a measure of some quantifiable aspect of the modeled world, such as 'the earth's diameter' (a constant length) and 'the stress in a loaded deformable solid' (a measure of stress, which is a function of three spatial coordinates). Every PhysicalQuantity is either a ConstantQuantity or FunctionQuantity. Instances of ConstantQuantity are dependent on a UnitOfMeasure, while instances of FunctionQuantity are Functions that map instances of ConstantQuantity to other instances of ConstantQuantity (e.g., a TimeDependentQuantity is a FunctionQuantity). Although the name and definition of PhysicalQuantity is borrowed from physics, a PhysicalQuantity need not be material. Aside from the dimensions of length, time, velocity, etc., nonphysical dimensions such as currency are also possible. Accordingly, amounts of money would be instances of PhysicalQuantity. A PhysicalQuantity is distinguished from a pure Number by the fact that the former is associated with a dimension of measurement.

physical system
type: Class
subclass of: physical
comment: PhysicalSystem is the class of complex Physical things. A PhysicalSystem may have one or more corresponding abstract Graph representations.

plan
type: Class
subclass of: procedure
comment: A specification of a sequence of Processes which is intended to satisfy a specified purpose at some future time.

plane angle measure
type: Class
subclass of: angle measure
disjoint with: solid angle measure
comment: The value of an angle in a plane.

plant agricultural product
type: Class
subclass of: OrganicThing
comment: PlantAgriculturalProduct is the class of AgriculturalProducts that are vegetable in nature, in the widest sense, e.g., fruits, grains, green vegetables, cotton, linen, flowers, wine, and hops.

procedure
type: Class
subclass of: proposition
comment: A sequence-dependent specification. Some examples are ComputerPrograms, finite-state machines, cooking recipes, musical scores, conference schedules, driving directions, and the scripts of plays and movies.

process
type: Class
subclass of: physical
comment: The class of things that happen and have temporal parts or stages. Examples include extended events like a football match or a race, actions like Pursuing and Reading, and biological processes. The formal definition is: anything that occurs in time but is not an Object. Note that a Process may have participants 'inside' it which are Objects, such as the players in a football match. In a 4D ontology, a Process is something whose spatiotemporal extent is thought of as dividing into temporal stages roughly perpendicular to the time-axis.

process task
type: Class
subclass of: abstract
comment: A function to be performed.

product
type: Class
subclass of: artifact
comment: An Artifact that is produced by Manufacture.

proposition
type: Class
subclass of: abstract
comment: Propositions are Abstract entities that express a complete thought or a set of such thoughts. As an example, the formula '(instance Yojo Cat)' expresses the Proposition that the entity named Yojo is an element of the Class of Cats. Note that propositions are not restricted to the content expressed by individual sentences of a Language. They may encompass the content expressed by theories, books, and even whole libraries. It is important to distinguish Propositions from the ContentBearingObjects that express them. A Proposition is a piece of information, e.g. that the cat is on the mat, but a ContentBearingObject is an Object that represents this information. A Proposition is an abstraction that may have multiple representations: strings, sounds, icons, etc. For example, the Proposition that the cat is on the mat is represented here as a string of graphical characters displayed on a monitor and/or printed on paper, but it can be represented by a sequence of sounds or by some non-latin alphabet or by some cryptographic form

pure substance
type: Class
subclass of: substance
comment: The Class of Substances with constant composition. A PureSubstance can be either an element (ElementalSubstance) or a compound of elements (CompoundSubstance). Examples: Table salt (sodium chloride, NaCl), sugar (sucrose, C_{12}H_{22}O_{11}), water (H_2O), iron (Fe), copper (Cu), and oxygen (O_2).

quantity
type: Class
subclass of: abstract
comment: Any specification of how many or how much of something there is. Accordingly, there are two subclasses of Quantity: Number (how many) and PhysicalQuantity (how much).

region
type: Class
subclass of: object
comment: A topographic location. Regions encompass surfaces of Objects, imaginary places, and GeographicAreas. Note that a Region is the only kind of Object which can be located at itself. Note too that Region is not a subclass of SelfConnectedObject, because some Regions, e.g. archipelagos, have parts which are not connected with one another.

relation
type: Class
subclass of: abstract
comment: The Class of relations. There are three kinds of Relation: Predicate, Function, and List. Predicates and Functions both denote sets of ordered n-tuples. The difference between these two Classes is that Predicates cover formula-forming operators, while Functions cover term-forming operators. A List, on the other hand, is a particular ordered n-tuple.

relational attribute
type: Class
subclass of: attribute
comment: Any Attribute that an Entity has by virtue of a relationship that it bears to another Entity or set of Entities, e.g. SocialRoles and PositionalAttributes.

resonance
type: Class
subclass of: natural process
comment: a vibration of large amplitude produced by a relatively small vibration near the same frequency of vibration as the natural frequency of the resonating system.

self connected object
type: Class
subclass of: object
comment: A SelfConnectedObject is any Object that does not consist of two or more disconnected parts.

sentient agent
type: Class
subclass of: agent
comment: An Agent that has rights but may or may not have responsibilities and the ability to reason. If the latter are present, then the Agent is also an instance of CognitiveAgent. Domesticated animals are an example of SentientAgents that are not also CognitiveAgents.

set
type: Class
subclass of: set or class
comment: A SetOrClass that satisfies extensionality as well as other constraints specified by some choice of set theory. Sets differ from Classes in two important respects. First, Sets are extensional - two Sets with the same elements are identical. Second, a Set can be an arbitrary stock of objects. That is, there is no requirement that Sets have an associated condition that determines their membership. Note that Sets are not assumed to be unique sets, i.e. elements of a Set may occur more than once in the Set.

set or class
type: Class
subclass of: abstract
comment: The SetOrClass of Sets and Classes, i.e. any instance of Abstract that has elements or instances.

SingleAgentProcess
type: Class
subclass of: process
comment: SingleAgentProcess is the Class of all Processes that require exactly one agent in order to occur.

solid angle measure
type: Class
subclass of: angle measure
comment: The value of an angle in a solid.

sonar
type: Class
subclass of: corpuscular object
comment: Something that emits and receives sound for the purpose of locating and tracking distant objects. Note that this covers both manmade devices and BodyParts such as the sonar of bats and dolphins.

space region
type: Class
subclass of: region
comment: The class of all Regions which are not GeographicAreas.

substance
type: Class
subclass of: self connected object
comment: An Object in which every part is similar to every other in every relevant respect. More precisely, something is a Substance when it has only arbitrary pieces as parts - any parts have properties which are similar to those of the whole. Note that a Substance may nonetheless have physical properties that vary. For example, the temperature, chemical constitution, density, etc. may change from one part to another. An example would be a body of water.

synthetic substance
type: Class
subclass of: substance
comment: Any Substance that is the result of an IntentionalProcess, i.e. any substance that is created by Humans.

time dependent quantity
type: Class
subclass of: unary constant functionquantity
comment: A UnaryConstantFunctionQuantity of continuous time. All instances of this Class are returned by Functions that map a time quantity into another ConstantQuantity such as temperature. For example, 'the temperature at the top of the Empire State Building' is a TimeDependentQuantity, since its value depends on the time.

time duration
type: Class
subclass of: time measure
comment: Any measure of length of time, with or without respect to the universal timeline.

time interval
type: Class
subclass of: time position
comment: An interval of time. Note that a TimeInterval has both an extent and a location on the universal timeline. Note too that a TimeInterval has no gaps, i.e. this class contains only convex time intervals.

time measure
type: Class
subclass of: constant quantity
comment: The class of temporal durations (instances of TimeDuration) and positions of TimePoints and TimeIntervals along the universal timeline (instances of TimePosition).

time point
type: Class
subclass of: time position
comment: An extensionless point on the universal timeline. The TimePoints at which Processes occur can be known with various degrees of precision and approximation, but conceptually TimePoints are point-like and not interval-like. That is, it doesn't make sense to talk about how long a TimePoint lasts.

time position
type: Class
subclass of: time measure
comment: Any TimePoint or TimeInterval along the universal timeline from NegativeInfinity to PositiveInfinity.

transfer
type: Class
subclass of: translocation
comment: Any instance of Translocation where the agent and the patient are not the same thing.

translocation
type: Class
subclass of: motion
comment: Translocation is that class of Motions in which an object moves from one place to another. In the case of round trips, the origin and destination are the same, but the intervening motion passes through other locations. Translocation represents linear motion, in contrast to rotation or other movement in place. A vehicle is not necessary, Ambulating is a kind of Translocation.

transportation
type: Class
subclass of: translocation
comment: Motion from one point to another by means of a TransportationDevice.

two dimensional object
type: Class
subclass of: object
comment: A real-world physical object with a very flat aspect. This includes drawings on paper, cave paintings and other surface alterations.

unary constant functionquantity
type: Class
subclass of: function quantity
comment: A subclass of FunctionQuantity, instances of which are returned by UnaryFunctions that map from one instance of the Class ConstantQuantity to another instance of the Class ConstantQuantity.

uniform perimeter area
type: Class
subclass of: perimeter area
comment: A UniformPerimeterArea is one that has a defined uniform width.

unit of measure
type: Class
subclass of: physical quantity
comment: A standard of measurement for some dimension. For example, the Meter is a UnitOfMeasure for the dimension of length, as is the Inch. There is no intrinsic property of a UnitOfMeasure that makes it primitive or fundamental, rather, a system of units (e.g. SystemeInternationalUnit) defines a set of orthogonal dimensions and assigns units for each.

volume measure
type: Class
subclass of: function quantity
comment: Measures of the amount of space in three dimensions.

AgentOfOrganismFn
comment: A Function that returns the BiologicalAgent composed of the given Organism in a Solution of Mixture.

agriculture
comment: (AgricultureFn ?PRODUCT) denotes the subclass of Agriculture processes in which the AgriculturalProduct ?PRODUCT is cultivated.

DeadFn
comment: The Dead counterpart to the particular live organism. For example HumanCorpse is (DeadFn Human). Note that the dead counterpart may not have all the original parts of the live object. For example, a CutFlower will lack the roots of a FloweringPlant.

FoodForFn
comment: A Function that denotes SelfConnectedObject containing Nutrients, such as carbohydrates, proteins, and fats, that can be ingested by a the given class of living Animal and metabolized into energy and body tissue.

ReceivingAnObjectFn
comment: (ReceivingAnObjectFn ?CLASS) denotes a subclass of Getting, all instances of which have some instance of ?CLASS as the object received (patient).

transportation
comment: (TransportationFn ?TYPE) denotes the subclass of Transportation events in which a TransportationDevice of ?TYPE is the vehicle.