Simple Knowledge base Browser - EquivalenceRelation

Simple Browser : Welcome guest : log in

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

Sigma KEE - EquivalenceRelation

KB Term:

EquivalenceRelation

Relationships
Parents	ReflexiveRelation	Relation ?REL is reflexive iff (?REL ?INST ?INST) for all ?INST.
	SymmetricRelation	A BinaryRelation ?REL is symmetric just iff (?REL ?INST1 ?INST2) imples (?REL ?INST2 ?INST1), for all ?INST1 and ?INST2.
	TransitiveRelation	A BinaryRelation ?REL is transitive if (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST3) imply (?REL ?INST1 ?INST3), for all ?INST1, ?INST2, and ?INST3.