| Subject |
have domain3 |
have domain2 |
have arg3 valence |
have domain1 |
be first domain of |
have range |
be second domain of |
documentation |
have inverse |
have axiom |
is an instance of |
have relatedInternalConcept |
|---|
| between | Object | Object | | Object | singleValued | | subrelation | (between ?OBJ1 ?OBJ2 ?OBJ3) means that ?OBJ2 is spatially located between ?OBJ1 and ?OBJ3 | | (=>
(between ?OBJ1 ?OBJ2 ?OBJ3)
(and
(left ?OBJ2 ?OBJ1)
(left ?OBJ1 ?OBJ3)))
| TernaryPredicate | |
| connected | | Object | | Object | valence | | subrelation | (connected ?OBJ1 ?OBJ2) means that ?OBJ1 meetsSpatially ?OBJ2 or that ?OBJ1 overlapsSpatially ?OBJ2 | | (=>
(crosses ?OBJ1 ?OBJ2)
(not
(connected ?OBJ1 ?OBJ2)))
| SymmetricRelation | |
| connects | Object | Object | | Object | singleValued | | subrelation | The relationship between three things, when one of the three things connects the other two. More formally, (connects ?OBJ1 ?OBJ2 ?OBJ3) means that (connected ?OBJ1 ?OBJ2) and (connected ?OBJ1 ?OBJ3) and not (connected ?OBJ2 ?OBJ3) | | (=>
(and
(instance ?POKE Poking)
(agent ?POKE ?AGENT)
(patient ?POKE ?OBJ)
(instrument ?POKE ?INST))
(holdsDuring (WhenFn ?POKE) (connects ?INST ?AGENT ?OBJ)))
| TernaryPredicate | |
| distance | LengthMeasure | Physical | singleValued | Physical | singleValued | | subrelation | (distance ?OBJ1 ?OBJ2 ?QUANT) means that the shortest distance between the two objects ?OBJ1 and ?OBJ2 is ?QUANT | | (=>
(instance ?REL TernaryPredicate)
(valence ?REL 3))
| TernaryPredicate | |
| fills | | Hole | | Object | valence | | subrelation | Holes can be filled. (fills ?OBJ ?HOLE) means that the Object ?OBJ fills the Hole ?HOLE. Note that fills here means perfectly filled | | (=>
(holdsDuring ?TIME
(fills ?OBJ ?HOLE))
(attribute ?HOLE Fillable))
| SpatialRelation | Fillable |
| hole | | Object | | Hole | valence | | subrelation | (hole ?HOLE ?OBJ) means that ?HOLE is a Hole in ?OBJ. A Hole is an fillable body located at the surface an Object | | (=>
(equal ?OBJ1 (PrincipalHostFn ?HOLE))
(forall (?OBJ2)
(<=>
(overlapsSpatially ?OBJ2 ?OBJ1)
(exists (?OBJ3)
(and
(hole ?HOLE ?OBJ3)
(instance ?OBJ3 SelfConnectedObject)
(overlapsSpatially ?OBJ2 ?OBJ3))))))
| SpatialRelation | |
| 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 | |
| member | | Collection | | SelfConnectedObject | valence | | subrelation | 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 | | (=>
(instance ?COLL Collection)
(exists (?OBJ)
(member ?OBJ ?COLL)))
| SpatialRelation | instance |
| MereologicalDifferenceFn | | Object | | Object | identityElement | Object | distributes | (MereologicalDifferenceFn ?OBJ1 ?OBJ2) denotes the Object consisting of the parts which belong to ?OBJ1 and not to ?OBJ2 | | (=>
(equal ?OBJ3 (MereologicalDifferenceFn ?OBJ1 ?OBJ2))
(forall (?PART)
(<=>
(part ?PART ?OBJ3)
(and
(part ?PART ?OBJ1)
(not
(part ?PART ?OBJ2))))))
| SpatialRelation | |
| MereologicalProductFn | | Object | | Object | identityElement | Object | distributes | (MereologicalProductFn ?OBJ1 ?OBJ2) denotes the Object consisting of the parts which belong to both ?OBJ1 and ?OBJ2 | | (=>
(equal ?OBJ3 (MereologicalProductFn ?OBJ1 ?OBJ2))
(forall (?PART)
(<=>
(part ?PART ?OBJ3)
(and
(part ?PART ?OBJ1)
(part ?PART ?OBJ2)))))
| SpatialRelation | MereologicalDifferenceFn |
| MereologicalSumFn | | Object | | Object | identityElement | Object | distributes | (MereologicalSumFn ?OBJ1 ?OBJ2) denotes the Object consisting of the parts which belong to either ?OBJ1 or ?OBJ2 | | (=>
(equal ?OBJ3 (MereologicalSumFn ?OBJ1 ?OBJ2))
(forall (?PART)
(<=>
(part ?PART ?OBJ3)
(or
(part ?PART ?OBJ1)
(part ?PART ?OBJ2)))))
| SpatialRelation | MereologicalProductFn |
| orientation | DirectionAttribute | Object | | Object | singleValued | | subrelation | A general Predicate for indicating how two Objects are oriented with respect to one another. For example, (orientation ?OBJ1 ?OBJ2 North) means that ?OBJ1 is north of ?OBJ2, and (orientation ?OBJ1 ?OBJ2 Vertical) means that ?OBJ1 is positioned vertically with respect to ?OBJ2 | | (=>
(instance ?REL TernaryPredicate)
(valence ?REL 3))
| TernaryPredicate | |
| part | | SelfConnectedObject | | SelfConnectedObject | valence | | subrelation | 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 | | (=>
(overlapsPartially ?OBJ1 ?OBJ2)
(and
(not
(part ?OBJ1 ?OBJ2))
(not
(part ?OBJ2 ?OBJ1))))
| SpatialRelation | |
| partiallyFills | | Hole | | Object | valence | | subrelation | (partiallyFills ?OBJ ?HOLE) means that there is an Object ?OBJ that 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 | | (=>
(partiallyFills ?OBJ ?HOLE1)
(exists (?HOLE2)
(and
(part ?HOLE2 ?HOLE1)
(completelyFills ?OBJ ?HOLE2))))
| SpatialRelation | |
| partlyLocated | | Region | | Object | valence | | subrelation | The predicate of partial localization. For example, Istanbul is partly located in Asia. Note that this is the most basic localization relation: located and exactlyLocated are both subrelations of partlyLocated | | (=>
(partlyLocated ?OBJ ?REGION)
(overlapsSpatially ?OBJ ?REGION))
| SpatialRelation | |
| position | | Object | | Object | valence | | subrelation | (position ?OBJ1 ?OBJ2) means that ?OBJ1 is positioned with respect to ?OBJ2 in some way. This is a very general predicate whose main function is to serve as an umbrella for specific Predicates | | (=>
(and
(instance ?REL SpatialRelation)
(holds ?REL ?OBJ1 ?OBJ2))
(overlapsTemporally (WhenFn ?OBJ1) (WhenFn ?OBJ2)))
| SpatialRelation | |
| PrincipalHostFn | | | | Hole | rangeSubclass | Object | inverse | A UnaryFunction that maps a Hole to the Object which is its principal host. The principle host of a Hole is its maximally connected host (a notion taken here to be defined only when the argument is a hole) | | (=>
(equal ?OBJ1 (SkinFn ?HOLE))
(forall (?OBJ2)
(<=>
(overlapsSpatially ?OBJ2 ?OBJ1)
(exists (?OBJ3)
(and
(superficialPart ?OBJ3 (PrincipalHostFn ?HOLE))
(meetsSpatially ?HOLE ?OBJ3)
(overlapsSpatially ?OBJ2 ?OBJ3))))))
| UnaryFunction | |
| properlyFills | | Hole | | Object | valence | | subrelation | (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) | | (=>
(properlyFills ?OBJ ?HOLE1)
(exists (?HOLE2)
(and
(part ?HOLE2 ?HOLE1)
(fills ?OBJ ?HOLE2))))
| SpatialRelation | |
| SkinFn | | | | Hole | rangeSubclass | Object | inverse | A UnaryFunction that maps a Hole to the skin of the Hole. The skin of a Hole is the fusion of those superficial parts (see superficialPart) of the Hole's principal host (see PrincipalHostFn) with which the Hole is externally connected | | (=>
(equal ?OBJ1 (SkinFn ?HOLE))
(forall (?OBJ2)
(<=>
(overlapsSpatially ?OBJ2 ?OBJ1)
(exists (?OBJ3)
(and
(superficialPart ?OBJ3 (PrincipalHostFn ?HOLE))
(meetsSpatially ?HOLE ?OBJ3)
(overlapsSpatially ?OBJ2 ?OBJ3))))))
| UnaryFunction | |
| 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 | |
| WhereFn | | TimePoint | | Physical | identityElement | Region | distributes | Maps an Object and a TimePoint at which the Object exists to the Region where the Object existed at that TimePoint | | (=>
(origin ?PROCESS ?OBJ)
(located (WhereFn ?PROCESS (BeginFn (WhenFn ?PROCESS))) (WhereFn ?OBJ (BeginFn (WhenFn ?OBJ)))))
| SpatialRelation | WhenFn |
SUMO View all facts Glossary Help
