TreeView Knowledge Base Browser - TransitiveRelation

Simple Browser : Welcome guest : log in

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

KB Term:

Sigma KEE - TransitiveRelation

推移関係

BinaryRelation ?REL は、すべての ?INST1, ?INST2, および ?INST3 に対して (?REL ?INST1 ?INST2) および (?REL ?INST2 ?INST3) が (?REL ?INST1 ?INST3) を意味する場合、推移的である。

Relationships
Parents	2項関係	BinaryRelations are relations that are true only of pairs of things. BinaryRelations are represented as slots in frame systems.
Children	同値関係	A BinaryRelation is an equivalence relation if it is a ReflexiveRelation, a SymmetricRelation, and a TransitiveRelation.
	半順序関係	A BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation.