EquivalenceRelation - Sigma Knowledge base Browser

appearance as argument number 1

(documentation EquivalenceRelation ChineseLanguage "一个 BinaryRelation 是等价关系如果它是一个 ReflexiveRelation、 SymmetricRelation 和TransitiveRelation。")	chinese_format.kif 1858-1859
(documentation EquivalenceRelation EnglishLanguage "A BinaryRelation is an equivalence relation if it is a ReflexiveRelation, a SymmetricRelation, and a TransitiveRelation.")	Merge.kif 2396-2398
(documentation EquivalenceRelation JapaneseLanguage "BinaryRelation は、ReflexiveRelation、 SymmetricRelation、および TransitiveRelation の場合の等価関係です。")	japanese_format.kif 481-482
(subclass EquivalenceRelation ReflexiveRelation)	Merge.kif 2394-2394
(subclass EquivalenceRelation SymmetricRelation)	Merge.kif 2393-2393
(subclass EquivalenceRelation TransitiveRelation)	Merge.kif 2392-2392

appearance as argument number 2

(instance cooccur EquivalenceRelation)	Merge.kif 8424-8424
(instance copy EquivalenceRelation)	Merge.kif 3847-3847
(instance equivalentContentClass EquivalenceRelation)	Merge.kif 4492-4492
(instance equivalentContentInstance EquivalenceRelation)	Merge.kif 4548-4548
(instance identicalListItems EquivalenceRelation)	Merge.kif 3320-3320
(instance relatedInternalConcept EquivalenceRelation)	Merge.kif 615-615
(termFormat ChineseLanguage EquivalenceRelation "等价关系")	chinese_format.kif 903-903
(termFormat EnglishLanguage EquivalenceRelation "equivalence relation")	english_format.kif 1013-1013
(termFormat FrenchLanguage EquivalenceRelation "relation �quivalente")	french_format.kif 579-579
(termFormat Hindi EquivalenceRelation "samataa sambandha")	terms-hindi.txt 109-109
(termFormat ItalianLanguage EquivalenceRelation "RelazioneDiEquivalenza")	terms-it.txt 112-112
(termFormat JapaneseLanguage EquivalenceRelation "同値関係")	japanese_format.kif 2264-2264
(termFormat PortugueseLanguage EquivalenceRelation "Relacao Qquivalente")	portuguese_format.kif 531-531
(termFormat cz EquivalenceRelation "equivalence relation")	terms-cz.txt 146-146
(termFormat ro EquivalenceRelation "relaþie de echivalenþã")	relations-ro.kif 600-600
(termFormat tg EquivalenceRelation "")	terms-tg.txt 113-113