Simple Knowledge base Browser - TransitiveRelation

Simple Browser : Welcome guest : log in

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

Sigma KEE - TransitiveRelation

KB Term:

传递关系

一个 BinaryRelation ?REL 是传递关系如果所有的 ?INST1， ?INST2和 ?INST3 是(?REL ?INST1 ?INST2) 和 (?REL ?INST2 ?INST3) 意味着 (?REL ?INST1 ?INST3)。

Relationships
Parents	二元关系	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.