distance Comparison Table

Next SpatialRelation: fills Up: SpatialRelation, TernaryPredicate Previous SpatialRelation: connects

distance comparison table

Subject have domain3 have domain2 have domain1 have arg3 valence 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

distance LengthMeasure Physical Physical singleValued singleValued (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

Subject	have domain3	have domain2	have domain1	have arg3 valence	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
distance	LengthMeasure	Physical	Physical	singleValued	singleValued	(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

Next SpatialRelation: fills Up: SpatialRelation, TernaryPredicate Previous SpatialRelation: connects