SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > BinaryRelation > ReflexiveRelation

ReflexiveRelation
subject			fact

ReflexiveRelation	documentation Relation ?REL is reflexive if (?REL ?INST ?INST) for all ?INST
	has axiom (=> (instance ?REL ReflexiveRelation) (forall (?INST) (holds ?REL ?INST ?INST)))
	is a kind of BinaryRelation
BinaryRelation	is first domain of DomainFn
	is first domain of equivalenceRelationOn
	is first domain of inverse
	is first domain of irreflexiveOn
	is first domain of partialOrderingOn
	is first domain of RangeFn
	is first domain of reflexiveOn
	is first domain of totalOrderingOn
	is first domain of trichotomizingOn
	is second domain of inverse
Class	is third domain of domain
	is third domain of domainSubclass
Abstract	is disjoint from Physical

Kinds of ReflexiveRelation :

• connected (20 facts) - (connected ?OBJ1 ?OBJ2) means that ?OBJ1 meetsSpatially ?OBJ2 or that ?OBJ1 overlapsSpatially ?OBJ2
• EquivalenceRelation (10 kinds, 59 facts) - A BinaryRelation is an equivalence relation if it is a ReflexiveRelation, a SymmetricRelation, and a TransitiveRelation
• PartialOrderingRelation (13 kinds, 186 facts) - A BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation
• partlyLocated (8 facts) - 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

Next BinaryRelation: SymmetricRelation    Up: BinaryRelation    Previous BinaryRelation: IrreflexiveRelation