EquivalenceRelation - Sigma Knowledge base Browser

appearance as argument number 1

(subclass EquivalenceRelation TransitiveRelation)	Merge.kif 2502-2502	Equivalence relation is a subclass of transitive relation
(subclass EquivalenceRelation SymmetricRelation)	Merge.kif 2503-2503	Equivalence relation is a subclass of symmetric relation
(subclass EquivalenceRelation ReflexiveRelation)	Merge.kif 2504-2504	Equivalence relation is a subclass of reflexive relation
(documentation EquivalenceRelation EnglishLanguage "A BinaryRelation is an equivalence relation if it is a ReflexiveRelation, a SymmetricRelation, and a TransitiveRelation.")	Merge.kif 2506-2508	Equivalence relation is a subclass of reflexive relation

appearance as argument number 2

(instance relatedInternalConcept EquivalenceRelation)	Merge.kif 607-607	related internal concept is an instance of equivalence relation
(instance identicalListItems EquivalenceRelation)	Merge.kif 3432-3432	identical list items is an instance of equivalence relation
(instance copy EquivalenceRelation)	Merge.kif 3950-3950	copy is an instance of equivalence relation
(instance equivalentContentClass EquivalenceRelation)	Merge.kif 4605-4605	equivalent content class is an instance of equivalence relation
(instance equivalentContentInstance EquivalenceRelation)	Merge.kif 4661-4661	equivalent content instance is an instance of equivalence relation
(instance cooccur EquivalenceRelation)	Merge.kif 8590-8590	cooccur is an instance of equivalence relation
(termFormat EnglishLanguage EquivalenceRelation "equivalence relation")	english_format.kif 1017-1017	cooccur is an instance of equivalence relation