TreeView Knowledge Base Browser - EquivalenceRelation

Simple Browser : Welcome guest : log in

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

KB Term:

Sigma KEE - EquivalenceRelation

等价关系

Relationships
Parents	自反关系	Relation ?REL is reflexive iff (?REL ?INST ?INST) for all ?INST.
	对称关系	A BinaryRelation ?REL is symmetric just iff (?REL ?INST1 ?INST2) imples (?REL ?INST2 ?INST1), for all ?INST1 and ?INST2.
	传递关系	A BinaryRelation ?REL is transitive if (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST3) imply (?REL ?INST1 ?INST3), for all ?INST1, ?INST2, and ?INST3.