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 2515-2516
(documentation EquivalenceRelation EnglishLanguage "A BinaryRelation is an equivalence relation if it is a ReflexiveRelation, a SymmetricRelation, and a TransitiveRelation.") Merge.kif 2512-2514
(subclass EquivalenceRelation ReflexiveRelation) Merge.kif 2511-2511
(subclass EquivalenceRelation SymmetricRelation) Merge.kif 2510-2510
(subclass EquivalenceRelation TransitiveRelation) Merge.kif 2509-2509

appearance as argument number 2

(instance cooccur EquivalenceRelation) Merge.kif 8436-8436
(instance copy EquivalenceRelation) Merge.kif 3943-3943
(instance equal EquivalenceRelation) Merge.kif 282-282
(instance equivalentContentClass EquivalenceRelation) Merge.kif 4592-4592
(instance equivalentContentInstance EquivalenceRelation) Merge.kif 4653-4653
(instance identicalListItems EquivalenceRelation) Merge.kif 3376-3376
(instance relatedInternalConcept EquivalenceRelation) Merge.kif 638-638
(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