| Subject |
have domain2 |
have domain1 |
be first domain of |
be second domain of |
documentation |
have inverse |
have axiom |
is a kind of |
is an instance of |
have relatedInternalConcept |
|---|
| above | | | trichotomizingOn | inverse | This is a cognitive primitive, derived from the up/down schema and not involving contact. (above ?OBJ1 ?OBJ2) means that ?OBJ1 is above ?OBJ2 | below | (=>
(under ?OBJ1 ?OBJ2)
(or
(on ?OBJ2 ?OBJ1)
(above ?OBJ2 ?OBJ1)))
| | TransitiveRelation | |
| before | TimePoint | TimePoint | valence | subrelation | (before ?POINT1 ?POINT2) means that ?POINT1 precedes ?POINT2 on the universal timeline | | (=>
(instance ?REL TransitiveRelation)
(forall (?INST1 ?INST2 ?INST3)
(=>
(and
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST3))
(holds ?REL ?INST1 ?INST3))))
| | TransitiveRelation | |
| behind | | | trichotomizingOn | inverse | This is a cognitive primitive, derived from the front/back schema. (behind ?OBJ1 ?OBJ2) means that ?OBJ1 is behind ?OBJ2 | | (=>
(instance ?REL TransitiveRelation)
(forall (?INST1 ?INST2 ?INST3)
(=>
(and
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST3))
(holds ?REL ?INST1 ?INST3))))
| | TransitiveRelation | |
| below | | | trichotomizingOn | inverse | This is a cognitive primitive, derived from the up/down schema and not involving contact. (below ?OBJ1 ?OBJ2) means that ?OBJ1 is below ?OBJ2 | | (=>
(below ?OBJ1 ?OBJ2)
(not
(connected ?OBJ1 ?OBJ2)))
| | TransitiveRelation | |
| contains | | | trichotomizingOn | inverse | Limits, bounds, confines, encloses or circumscribes - the surrounding relation for Objects. (contains ?OBJ1 ?OBJ2) means that the interior of ?OBJ1 wholly surrounds ?OBJ2 | | (=>
(contains ?OBJ1 ?OBJ2)
(forall (?PART2)
(=>
(part ?PART2 ?OBJ2)
(exists (?PART1)
(and
(interiorPart ?PART1 ?OBJ1)
(exactlyLocated ?PART2 ?PART1))))))
| | TransitiveRelation | |
| contraryProperty | Attribute | Attribute | singleValued | inverse | Means that the two arguments are properties that are opposed to one another, e.g. Pliable versus Rigid | | (=>
(and
(attribute ?OBJ ?ATTR1)
(contraryProperty ?ATTR1 ?ATTR2))
(not
(attribute ?OBJ ?ATTR2)))
| | TransitiveRelation | |
| crosses | | | trichotomizingOn | inverse | (crosses ?OBJ1 ?OBJ2) means that Object ?OBJ1 traverses Object ?OBJ2, without being connected to it | | (=>
(traverses ?OBJ1 ?OBJ2)
(or
(crosses ?OBJ1 ?OBJ2)
(penetrates ?OBJ1 ?OBJ2)))
| | TransitiveRelation | |
| developmentalForm | Organism | Organism | singleValued | inverse | (developmentalForm ?OBJECT ?FORM) means that ?FORM is an earlier stage in the individual maturation of ?OBJECT. For example, tadpole and caterpillar are developmentalForms of frogs and butterflies, respectively | | (=>
(instance ?STRUCT EmbryonicStructure)
(exists (?THING)
(and
(developmentalForm ?THING ?STRUCT)
(or
(instance ?THING Organism)
(instance ?THING AnatomicalStructure)))))
| | TransitiveRelation | |
| during | TimeInterval | TimeInterval | valence | subrelation | (during ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 starts after and ends before ?INTERVAL2 | | (=>
(subProcess ?SUBPROC ?PROC)
(or
(equal (WhenFn ?SUBPROC) (WhenFn ?PROC))
(during (WhenFn ?SUBPROC) (WhenFn ?PROC))))
| | TransitiveRelation | |
| earlier | TimeInterval | TimeInterval | valence | subrelation | (earlier INTERVAL1 INTERVAL2) means that INTERVAL1 ends before INTERVAL2 begins | | (=>
(earlier ?INTERVAL1 ?INTERVAL2)
(before (EndFn ?INTERVAL1) (BeginFn ?INTERVAL2)))
| | TransitiveRelation | |
| EquivalenceRelation | | | trichotomizingOn | inverse | A BinaryRelation is an equivalence relation if it is a ReflexiveRelation, a SymmetricRelation, and a TransitiveRelation | | (=>
(instance ?REL TransitiveRelation)
(forall (?INST1 ?INST2 ?INST3)
(=>
(and
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST3))
(holds ?REL ?INST1 ?INST3))))
| TransitiveRelation | | |
| finishes | TimeInterval | TimeInterval | valence | subrelation | (finishes ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 and ?INTERVAL2 are both TimeIntervals that have the same ending TimePoint and that ?INTERVAL2 begins before ?INTERVAL1 | | (=>
(instance ?REL TransitiveRelation)
(forall (?INST1 ?INST2 ?INST3)
(=>
(and
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST3))
(holds ?REL ?INST1 ?INST3))))
| | TransitiveRelation | |
| front | | | trichotomizingOn | inverse | This is a cognitive primitive, derived from the front/back schema. (front ?OBJ1 ?OBJ2) means that ?OBJ1 is in front of ?OBJ2 | behind | (=>
(instance ?REL TransitiveRelation)
(forall (?INST1 ?INST2 ?INST3)
(=>
(and
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST3))
(holds ?REL ?INST1 ?INST3))))
| | TransitiveRelation | |
| greaterThan | Quantity | Quantity | valence | subrelation | (greaterThan ?NUMBER1 ?NUMBER2) is true just in case the Quantity ?NUMBER1 is greater than the Quantity ?NUMBER2 | lessThan | (=>
(larger ?OBJ1 ?OBJ2)
(forall (?QUANT1 ?QUANT2)
(=>
(and
(measure ?OBJ1 (MeasureFn ?QUANT1 LengthMeasure))
(measure ?OBJ2 (MeasureFn ?QUANT2 LengthMeasure)))
(greaterThan ?QUANT1 ?QUANT2))))
| | TransitiveRelation | |
| larger | Object | Object | valence | subrelation | (larger ?OBJ1 ?OBJ2) simply means that ?OBJ1 is larger, with respect to all LengthMeasures, than ?OBJ2 | | (=>
(larger ?OBJ1 ?OBJ2)
(forall (?QUANT1 ?QUANT2)
(=>
(and
(measure ?OBJ1 (MeasureFn ?QUANT1 LengthMeasure))
(measure ?OBJ2 (MeasureFn ?QUANT2 LengthMeasure)))
(greaterThan ?QUANT1 ?QUANT2))))
| | TransitiveRelation | |
| left | | | trichotomizingOn | inverse | This is a cognitive primitive, derived from the left/right schema. (left ?OBJ1 ?OBJ2) means that ?OBJ1 is to the left ?OBJ2 | | (=>
(between ?OBJ1 ?OBJ2 ?OBJ3)
(and
(left ?OBJ2 ?OBJ1)
(left ?OBJ1 ?OBJ3)))
| | TransitiveRelation | |
| lessThan | Quantity | Quantity | valence | subrelation | (lessThan ?NUMBER1 ?NUMBER2) is true just in case the Quantity ?NUMBER1 is less than the Quantity ?NUMBER2 | | (=>
(instance ?NUMBER NegativeRealNumber)
(lessThan ?NUMBER 0))
| | TransitiveRelation | |
| PartialOrderingRelation | | | trichotomizingOn | inverse | A BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation | | (=>
(instance ?REL TransitiveRelation)
(forall (?INST1 ?INST2 ?INST3)
(=>
(and
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST3))
(holds ?REL ?INST1 ?INST3))))
| TransitiveRelation | | |
| precondition | Process | Process | singleValued | inverse | A very general Predicate. (precondition ?PROC1 ?PROC2) means that ?PROC2 can exist or be true only if ?PROC1 exists or is true. At some point, this Predicate should probably be broken up into more specific Predicates with more restrictive domain restrictions | | (=>
(instance ?REL TransitiveRelation)
(forall (?INST1 ?INST2 ?INST3)
(=>
(and
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST3))
(holds ?REL ?INST1 ?INST3))))
| | TransitiveRelation | |
| properPart | | | trichotomizingOn | inverse | (properPart ?OBJ1 ?OBJ2) means that ?OBJ1 is a part of ?OBJ2 other than ?OBJ2 itself. This is a TransitiveRelation and AsymmetricRelation (hence an IrreflexiveRelation) | | (=>
(instance ?HOLE1 Hole)
(exists (?HOLE2)
(properPart ?HOLE2 ?HOLE1)))
| | TransitiveRelation | |
| right | | | trichotomizingOn | inverse | This is a cognitive primitive, derived from the left/right schema. (right ?OBJ1 ?OBJ2) means that ?OBJ1 is to the right ?OBJ2 | left | (=>
(instance ?REL TransitiveRelation)
(forall (?INST1 ?INST2 ?INST3)
(=>
(and
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST3))
(holds ?REL ?INST1 ?INST3))))
| | TransitiveRelation | |
| smaller | Object | Object | valence | subrelation | (smaller ?OBJ1 ?OBJ2) simply means that ?OBJ1 is smaller, with respect to all LengthMeasures, than ?OBJ2 | larger | (=>
(instance ?REL TransitiveRelation)
(forall (?INST1 ?INST2 ?INST3)
(=>
(and
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST3))
(holds ?REL ?INST1 ?INST3))))
| | TransitiveRelation | |
| starts | TimeInterval | TimeInterval | valence | subrelation | (starts ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 and ?INTERVAL2 are both TimeIntervals that have the same initial TimePoint and that ?INTERVAL1 ends before ?INTERVAL2 | | (=>
(instance ?REL TransitiveRelation)
(forall (?INST1 ?INST2 ?INST3)
(=>
(and
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST3))
(holds ?REL ?INST1 ?INST3))))
| | TransitiveRelation | |
| subCollection | Collection | Collection | singleValued | inverse | (subCollection ?COLL1 ?COLL2) means that the Collection ?COLL1 is a proper part of the Collection ?COLL2 | | (=>
(instance ?REL TransitiveRelation)
(forall (?INST1 ?INST2 ?INST3)
(=>
(and
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST3))
(holds ?REL ?INST1 ?INST3))))
| | TransitiveRelation | |
| subPlan | Plan | Plan | singleValued | inverse | (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 | | (=>
(subPlan ?PLAN1 ?PLAN2)
(forall (?OBJ1 ?OBJ2)
(=>
(and
(containsInformation ?OBJ1 ?PLAN1)
(containsInformation ?OBJ2 ?PLAN2))
(subsumesContentInstance ?OBJ2 ?OBJ1))))
| | TransitiveRelation | |
| successorAttributeClosure | Attribute | Attribute | singleValued | inverse | The transitive closure of successorAttribute. (successorAttributeClosure ?ATTR1 ?ATTR2) means that there is a chain of successorAttribute assertions connecting ?ATTR1 and ?ATTR2 | | (=>
(successorAttribute ?ATTR1 ?ATTR2)
(successorAttributeClosure ?ATTR1 ?ATTR2))
| | TransitiveRelation | successorAttribute |
| under | | | trichotomizingOn | inverse | This is a cognitive primitive, derived from the up/down schema. (under ?OBJ1 ?OBJ2) means that ?OBJ1 is under ?OBJ2 | | (=>
(under ?OBJ1 ?OBJ2)
(or
(on ?OBJ2 ?OBJ1)
(above ?OBJ2 ?OBJ1)))
| | TransitiveRelation | |
| version | Artifact | Artifact | singleValued | inverse | Some Artifacts have a life cycle with discrete stages or versions. (version ARTIFACT1 ARTIFACT2) means that ARTIFACT1 is a version of ARTIFACT2. Note that this Predicate relates subclasses of Artifact and not instances | | (=>
(version ?ARTIFACT1 ?ARTIFACT2)
(subclass ?ARTIFACT1 ?ARTIFACT2))
| | TransitiveRelation | |
SUMO View all facts Glossary Help
