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 2538-2539
(documentation EquivalenceRelation EnglishLanguage "A BinaryRelation is an equivalence relation if it is a ReflexiveRelation, a SymmetricRelation, and a TransitiveRelation.") Merge.kif 2535-2537
(subclass EquivalenceRelation ReflexiveRelation) Merge.kif 2534-2534
(subclass EquivalenceRelation SymmetricRelation) Merge.kif 2533-2533
(subclass EquivalenceRelation TransitiveRelation) Merge.kif 2532-2532

appearance as argument number 2

(instance cooccur EquivalenceRelation) Merge.kif 8488-8488
(instance copy EquivalenceRelation) Merge.kif 3970-3970
(instance equal EquivalenceRelation) Merge.kif 284-284
(instance equivalentContentClass EquivalenceRelation) Merge.kif 4623-4623
(instance equivalentContentInstance EquivalenceRelation) Merge.kif 4684-4684
(instance identicalListItems EquivalenceRelation) Merge.kif 3399-3399
(instance relatedInternalConcept EquivalenceRelation) Merge.kif 652-652
(termFormat ChineseLanguage EquivalenceRelation "等价关系") chinese_format.kif 903-903
(termFormat EnglishLanguage EquivalenceRelation "equivalence relation") english_format.kif 590-590

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