SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > SpatialRelation

SpatialRelation
subject			fact

SpatialRelation	documentation The Class of Relations that are spatial in a wide sense. This Class includes mereological relations, topological relations, and positional relations
	has axiom (=> (and (instance ?REL SpatialRelation) (holds ?REL ?OBJ1 ?OBJ2)) (overlapsTemporally (WhenFn ?OBJ1) (WhenFn ?OBJ2)))
	is a kind of Relation
Relation	is first domain of domain
	is first domain of domainSubclass
	is first domain of holds
	is first domain of subrelation
	is first domain of valence
	is second domain of subrelation
Class	is third domain of domain
	is third domain of domainSubclass
Abstract	is disjoint from Physical

Kinds of SpatialRelation :

• between (8 facts) - (between ?OBJ1 ?OBJ2 ?OBJ3) means that ?OBJ2 is spatially located between ?OBJ1 and ?OBJ3
• connected (20 facts) - (connected ?OBJ1 ?OBJ2) means that ?OBJ1 meetsSpatially ?OBJ2 or that ?OBJ1 overlapsSpatially ?OBJ2
• connects (9 facts) - 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)
• distance (7 facts) - (distance ?OBJ1 ?OBJ2 ?QUANT) means that the shortest distance between the two objects ?OBJ1 and ?OBJ2 is ?QUANT
• fills (13 facts) - Holes can be filled. (fills ?OBJ ?HOLE) means that the Object ?OBJ fills the Hole ?HOLE. Note that fills here means perfectly filled
• hole (16 facts) - (hole ?HOLE ?OBJ) means that ?HOLE is a Hole in ?OBJ. A Hole is an fillable body located at the surface an Object
• larger (8 facts) - (larger ?OBJ1 ?OBJ2) simply means that ?OBJ1 is larger, with respect to all LengthMeasures, than ?OBJ2
• member (20 facts) - 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
• MereologicalDifferenceFn (7 facts) - (MereologicalDifferenceFn ?OBJ1 ?OBJ2) denotes the Object consisting of the parts which belong to ?OBJ1 and not to ?OBJ2
• MereologicalProductFn (9 facts) - (MereologicalProductFn ?OBJ1 ?OBJ2) denotes the Object consisting of the parts which belong to both ?OBJ1 and ?OBJ2
• MereologicalSumFn (11 facts) - (MereologicalSumFn ?OBJ1 ?OBJ2) denotes the Object consisting of the parts which belong to either ?OBJ1 or ?OBJ2
• orientation (6 facts) - 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
• part (51 facts) - 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
• partiallyFills (7 facts) - (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
• partlyLocated (8 facts) - 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
• position (5 facts) - (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
• PrincipalHostFn (7 facts) - 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)
• properlyFills (9 facts) - (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)
• SkinFn (6 facts) - 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
• smaller (8 facts) - (smaller ?OBJ1 ?OBJ2) simply means that ?OBJ1 is smaller, with respect to all LengthMeasures, than ?OBJ2
• WhereFn (12 facts) - Maps an Object and a TimePoint at which the Object exists to the Region where the Object existed at that TimePoint