EquivalenceRelation - Sigma Knowledge base Browser

appearance as argument number 1

(subclass EquivalenceRelation TransitiveRelation)	Merge.kif 2427-2427	Equivalence relation is a subclass of transitive relation
(subclass EquivalenceRelation SymmetricRelation)	Merge.kif 2428-2428	Equivalence relation is a subclass of symmetric relation
(subclass EquivalenceRelation ReflexiveRelation)	Merge.kif 2429-2429	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 2431-2433	Equivalence relation is a subclass of reflexive relation

appearance as argument number 2

(instance relatedInternalConcept EquivalenceRelation)	Merge.kif 608-608	related internal concept is an instance of equivalence relation
(instance identicalListItems EquivalenceRelation)	Merge.kif 3358-3358	identical list items is an instance of equivalence relation
(instance copy EquivalenceRelation)	Merge.kif 3883-3883	copy is an instance of equivalence relation
(instance equivalentContentClass EquivalenceRelation)	Merge.kif 4543-4543	equivalent content class is an instance of equivalence relation
(instance equivalentContentInstance EquivalenceRelation)	Merge.kif 4599-4599	equivalent content instance is an instance of equivalence relation
(instance cooccur EquivalenceRelation)	Merge.kif 8521-8521	cooccur is an instance of equivalence relation
(termFormat EnglishLanguage EquivalenceRelation "equivalence relation")	english_format.kif 1013-1013	cooccur is an instance of equivalence relation