equivalenceRelationOn concept from the SUMO knowledge base

Next AsymmetricRelation: existant Up: AsymmetricRelation, BinaryPredicate Previous AsymmetricRelation: element

Next AsymmetricRelation: existant Up: AsymmetricRelation, BinaryPredicate Previous AsymmetricRelation: element

equivalenceRelationOn	*documentation* A BinaryRelation is an equivalenceRelationOn a Class only if the relation is reflexiveOn the Class and it is both a TransitiveRelation and a SymmetricRelation
	has axiom (=> (equivalenceRelationOn ?RELATION ?CLASS) (and (instance ?RELATION TransitiveRelation) (instance ?RELATION SymmetricRelation) (reflexiveOn ?RELATION ?CLASS)))
	has domain1 BinaryRelation
	has domain2 Class
	*is an instance* of** AsymmetricRelation
	*is an instance* of** BinaryPredicate
BinaryRelation	*is first domain* of** DomainFn
	*is first domain* of** equivalenceRelationOn
	*is first domain* of** inverse
	*is first domain* of** irreflexiveOn
	*is first domain* of** partialOrderingOn
	*is first domain* of** RangeFn
	*is first domain* of** reflexiveOn
	*is first domain* of** totalOrderingOn
	*is first domain* of** trichotomizingOn
	*is second domain* of** inverse
Predicate	*is first domain* of** singleValued
Class	*is third domain* of** domain
Class	*is third domain* of** domainSubclass
Abstract	*is disjoint* from** Physical