ReflexiveRelation Comparison Table

Entity > Abstract > Class > Relation > BinaryRelation > ReflexiveRelation

Next BinaryRelation: SymmetricRelation Up: BinaryRelation Previous BinaryRelation: IrreflexiveRelation

ReflexiveRelation 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

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

EquivalenceRelation trichotomizingOn inverse A BinaryRelation is an equivalence relation if it is a ReflexiveRelation, a SymmetricRelation, and a TransitiveRelation
(=>
(instance ?REL TransitiveRelation)
(forall (?INST1 ?INST2 ?INST3)
(=>
(and
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST3))
(holds ?REL ?INST1 ?INST3))))
TransitiveRelation

PartialOrderingRelation trichotomizingOn inverse A BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation
(=>
(instance ?REL TransitiveRelation)
(forall (?INST1 ?INST2 ?INST3)
(=>
(and
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST3))
(holds ?REL ?INST1 ?INST3))))
TransitiveRelation

partlyLocated Region Object valence subrelation The predicate of partial localization. For example, Istanbul is partly located in Asia. Note that this is the most basic localization relation: located and exactlyLocated are both subrelations of partlyLocated
(=>
(partlyLocated ?OBJ ?REGION)
(overlapsSpatially ?OBJ ?REGION))
SpatialRelation

Subject	have domain2	have domain1	be first domain of	be second domain of	documentation	have axiom	is a kind of	is an instance of
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
EquivalenceRelation			trichotomizingOn	inverse	A BinaryRelation is an equivalence relation if it is a ReflexiveRelation, a SymmetricRelation, and a TransitiveRelation	(=> (instance ?REL TransitiveRelation) (forall (?INST1 ?INST2 ?INST3) (=> (and (holds ?REL ?INST1 ?INST2) (holds ?REL ?INST2 ?INST3)) (holds ?REL ?INST1 ?INST3))))	TransitiveRelation
PartialOrderingRelation			trichotomizingOn	inverse	A BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation	(=> (instance ?REL TransitiveRelation) (forall (?INST1 ?INST2 ?INST3) (=> (and (holds ?REL ?INST1 ?INST2) (holds ?REL ?INST2 ?INST3)) (holds ?REL ?INST1 ?INST3))))	TransitiveRelation
partlyLocated	Region	Object	valence	subrelation	The predicate of partial localization. For example, Istanbul is partly located in Asia. Note that this is the most basic localization relation: located and exactlyLocated are both subrelations of partlyLocated	(=> (partlyLocated ?OBJ ?REGION) (overlapsSpatially ?OBJ ?REGION))		SpatialRelation

Next BinaryRelation: SymmetricRelation Up: BinaryRelation Previous BinaryRelation: IrreflexiveRelation