Simple Knowledge base Browser - ReflexiveRelation

Simple Browser : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

Sigma KEE - ReflexiveRelation

KB Term:

reflexive relation

Relation ?REL is reflexive iff (?REL ?INST ?INST) for all ?INST.

Relationships
Parents	binary relation	BinaryRelations are relations that are true only of pairs of things. BinaryRelations are represented as slots in frame systems.
Children	equivalence relation	A BinaryRelation is an equivalence relation if it is a ReflexiveRelation, a SymmetricRelation, and a TransitiveRelation.
	partial ordering relation	A BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation.