Simple Knowledge base Browser - TransitiveRelation

Simple Browser : Welcome guest : log in

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

Sigma KEE - TransitiveRelation

KB Term:

TransitiveRelation

A BinaryRelation ?REL is transitive if (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST3) imply (?REL ?INST1 ?INST3), for all ?INST1, ?INST2, and ?INST3.

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