SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Predicate > TernaryPredicate > between
Next SpatialRelationconnected    UpSpatialRelation, TernaryPredicate    Previous SpatialRelationWhereFn   

between comparison table
Subject have domain3 have domain2 have domain1 be first domain of documentation have axiom is a kind of is an instance of
SpatialRelation   valenceThe Class of Relations that are spatial in a wide sense. This Class includes mereological relations, topological relations, and positional relations
(instance ?REL SpatialRelation)
(holds ?REL ?OBJ1 ?OBJ2))
(overlapsTemporally (WhenFn ?OBJ1) (WhenFn ?OBJ2)))
TernaryPredicate   singleValuedThe Class of Predicates that require exactly three arguments
(instance ?REL TernaryPredicate)
(valence ?REL 3))
betweenObjectObjectObjectsingleValued(between ?OBJ1 ?OBJ2 ?OBJ3) means that ?OBJ2 is spatially located between ?OBJ1 and ?OBJ3
(between ?OBJ1 ?OBJ2 ?OBJ3)
(left ?OBJ2 ?OBJ1)
(left ?OBJ1 ?OBJ3)))

Next SpatialRelationconnected    UpSpatialRelation, TernaryPredicate    Previous SpatialRelationWhereFn