SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > SpatialRelation
Next RelationTemporalRelation    UpRelation    Previous RelationRelationExtendedToQuantities   

SpatialRelationdocumentation The Class of Relations that are spatial in a wide sense. This Class includes mereological relations, topological relations, and positional relations2001-11-30 13:35:18.0
has axiom
(instance ?REL SpatialRelation)
(holds ?REL ?OBJ1 ?OBJ2))
(overlapsTemporally (WhenFn ?OBJ1) (WhenFn ?OBJ2)))
2001-11-30 13:35:18.0
is a kind of Relation2001-11-30 13:35:18.0
Relationis first domain of domain2001-11-30 13:35:10.0
is first domain of domainSubclass2001-11-30 13:35:10.0
is first domain of holds2001-11-30 13:35:10.0
is first domain of subrelation2001-11-30 13:35:10.0
is first domain of valence2001-11-30 13:35:10.0
is second domain of subrelation2001-11-30 13:35:10.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Kinds of SpatialRelation :