connected Comparison Table

Next BinaryPredicate: containsInformation Up: BinaryPredicate, ReflexiveRelation, SpatialRelation, SymmetricRelation Previous BinaryPredicate: closedOn

connected comparison table

Subject have domain2 have domain1 be first domain of be second domain of documentation have axiom is a kind of is an instance of

BinaryPredicate singleValued inverse A Predicate relating two items - its valence is two
(=>
(instance ?REL BinaryPredicate)
(valence ?REL 2))
Predicate

ReflexiveRelation trichotomizingOn inverse Relation ?REL is reflexive if (?REL ?INST ?INST) for all ?INST
(=>
(instance ?REL ReflexiveRelation)
(forall (?INST)
(holds ?REL ?INST ?INST)))
BinaryRelation

SpatialRelation valence subrelation 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

SymmetricRelation trichotomizingOn inverse A BinaryRelation ?REL is symmetric just in case (?REL ?INST1 ?INST2) imples (?REL ?INST2 ?INST1), for all ?INST1 and ?INST2
(=>
(instance ?REL SymmetricRelation)
(forall (?INST1 ?INST2)
(=>
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST2))))
BinaryRelation

connected Object Object valence subrelation (connected ?OBJ1 ?OBJ2) means that ?OBJ1 meetsSpatially ?OBJ2 or that ?OBJ1 overlapsSpatially ?OBJ2
(=>
(crosses ?OBJ1 ?OBJ2)
(not
(connected ?OBJ1 ?OBJ2)))
SymmetricRelation

Subject	have domain2	have domain1	be first domain of	be second domain of	documentation	have axiom	is a kind of	is an instance of
BinaryPredicate			singleValued	inverse	A Predicate relating two items - its valence is two	(=> (instance ?REL BinaryPredicate) (valence ?REL 2))	Predicate
ReflexiveRelation			trichotomizingOn	inverse	Relation ?REL is reflexive if (?REL ?INST ?INST) for all ?INST	(=> (instance ?REL ReflexiveRelation) (forall (?INST) (holds ?REL ?INST ?INST)))	BinaryRelation
SpatialRelation			valence	subrelation	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
SymmetricRelation			trichotomizingOn	inverse	A BinaryRelation ?REL is symmetric just in case (?REL ?INST1 ?INST2) imples (?REL ?INST2 ?INST1), for all ?INST1 and ?INST2	(=> (instance ?REL SymmetricRelation) (forall (?INST1 ?INST2) (=> (holds ?REL ?INST1 ?INST2) (holds ?REL ?INST2 ?INST2))))	BinaryRelation
connected	Object	Object	valence	subrelation	(connected ?OBJ1 ?OBJ2) means that ?OBJ1 meetsSpatially ?OBJ2 or that ?OBJ1 overlapsSpatially ?OBJ2	(=> (crosses ?OBJ1 ?OBJ2) (not (connected ?OBJ1 ?OBJ2)))		SymmetricRelation

Next BinaryPredicate: containsInformation Up: BinaryPredicate, ReflexiveRelation, SpatialRelation, SymmetricRelation Previous BinaryPredicate: closedOn