connects Comparison Table

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

connects 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

connects Object Object Object singleValued 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)
(=>
(and
(instance ?POKE Poking)
(agent ?POKE ?AGENT)
(patient ?POKE ?OBJ)
(instrument ?POKE ?INST))
(holdsDuring (WhenFn ?POKE) (connects ?INST ?AGENT ?OBJ)))
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
connects	Object	Object	Object	singleValued	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)	(=> (and (instance ?POKE Poking) (agent ?POKE ?AGENT) (patient ?POKE ?OBJ) (instrument ?POKE ?INST)) (holdsDuring (WhenFn ?POKE) (connects ?INST ?AGENT ?OBJ)))		TernaryPredicate

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