between Comparison Table

Next SpatialRelation: connected Up: SpatialRelation, TernaryPredicate Previous SpatialRelation: WhereFn

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 valence The Class of Relations that are spatial in a wide sense. This Class includes mereological relations, topological relations, and positional relations
(=>
(and
(instance ?REL SpatialRelation)
(holds ?REL ?OBJ1 ?OBJ2))
(overlapsTemporally (WhenFn ?OBJ1) (WhenFn ?OBJ2)))
Relation

TernaryPredicate singleValued The Class of Predicates that require exactly three arguments
(=>
(instance ?REL TernaryPredicate)
(valence ?REL 3))
TernaryRelation

between Object Object Object singleValued (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

Subject	have domain3	have domain2	have domain1	be first domain of	documentation	have axiom	is a kind of	is an instance of
SpatialRelation				valence	The Class of Relations that are spatial in a wide sense. This Class includes mereological relations, topological relations, and positional relations	(=> (and (instance ?REL SpatialRelation) (holds ?REL ?OBJ1 ?OBJ2)) (overlapsTemporally (WhenFn ?OBJ1) (WhenFn ?OBJ2)))	Relation
TernaryPredicate				singleValued	The Class of Predicates that require exactly three arguments	(=> (instance ?REL TernaryPredicate) (valence ?REL 3))	TernaryRelation
between	Object	Object	Object	singleValued	(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

Next SpatialRelation: connected Up: SpatialRelation, TernaryPredicate Previous SpatialRelation: WhereFn