Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - EquivalenceRelation

appearance as argument number 1

(documentation EquivalenceRelation ChineseLanguage "一个 BinaryRelation 是等价关系如果它是 一个 ReflexiveRelationSymmetricRelationTransitiveRelation。") Merge.kif 2525-2526
(documentation EquivalenceRelation EnglishLanguage "A BinaryRelation is an equivalence relation if it is a ReflexiveRelation, a SymmetricRelation, and a TransitiveRelation.") Merge.kif 2522-2524
(subclass EquivalenceRelation ReflexiveRelation) Merge.kif 2521-2521
(subclass EquivalenceRelation SymmetricRelation) Merge.kif 2520-2520
(subclass EquivalenceRelation TransitiveRelation) Merge.kif 2519-2519

appearance as argument number 2

(instance cooccur EquivalenceRelation) Merge.kif 8471-8471
(instance copy EquivalenceRelation) Merge.kif 3957-3957
(instance equal EquivalenceRelation) Merge.kif 284-284
(instance equivalentContentClass EquivalenceRelation) Merge.kif 4610-4610
(instance equivalentContentInstance EquivalenceRelation) Merge.kif 4671-4671
(instance identicalListItems EquivalenceRelation) Merge.kif 3386-3386
(instance relatedInternalConcept EquivalenceRelation) Merge.kif 640-640
(termFormat ChineseLanguage EquivalenceRelation "等价关系") chinese_format.kif 903-903
(termFormat EnglishLanguage EquivalenceRelation "equivalence relation") english_format.kif 590-590
(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 110-110
(termFormat PortugueseLanguage EquivalenceRelation "Relacao Qquivalente") portuguese_format.kif 531-531
(termFormat ar EquivalenceRelation "عَلاقَة تَسَاو") arabic_format.kif 315-315
(termFormat cz EquivalenceRelation "equivalence relation") terms-cz.txt 146-146
(termFormat tg EquivalenceRelation "") terms-tg.txt 113-113

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners