TreeView Knowledge Base Browser - TransitiveRelation

Simple Browser : Welcome guest : log in

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

KB Term:

Sigma KEE - TransitiveRelation

Relacao Transitiva

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	Relacao Binaria	BinaryRelations are relations that are true only of pairs of things. BinaryRelations are represented as slots in frame systems.
Children	Relacao Qquivalente	A BinaryRelation is an equivalence relation if it is a ReflexiveRelation, a SymmetricRelation, and a TransitiveRelation.
	Relacao parcialmente Ordenada	A BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation.