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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - equivalenceRelationOn
equivalenceRelationOn

appearance as argument number 1
-------------------------


(documentation equivalenceRelationOn ChineseLanguage "一个 BinaryRelation 在一个 SetOrClassequivalenceRelationOn,除非这个关系在这个 SetOrClassreflexiveOn, 而且也要既是 TransitiveRelation,又是 SymmetricRelation。") chinese_format.kif 2055-2057
(documentation equivalenceRelationOn EnglishLanguage "A BinaryRelation is an equivalenceRelationOn a SetOrClass only if the relation is reflexiveOn the SetOrClass and it is both a TransitiveRelation and a SymmetricRelation.") Merge.kif 3455-3458
(domain equivalenceRelationOn 1 BinaryRelation) Merge.kif 3452-3452 domain equivalenceRelationOn, 1 and BinaryRelation
(domain equivalenceRelationOn 2 SetOrClass) Merge.kif 3453-3453 domain equivalenceRelationOn, 2 and SetOrClass
(instance equivalenceRelationOn AsymmetricRelation) Merge.kif 3451-3451 instance equivalenceRelationOn and AsymmetricRelation
(instance equivalenceRelationOn BinaryPredicate) Merge.kif 3450-3450 instance equivalenceRelationOn and BinaryPredicate

appearance as argument number 2
-------------------------


(format ChineseLanguage equivalenceRelationOn "%1 和 %2 %n 是 EquivalenceRelation") chinese_format.kif 99-99
(format EnglishLanguage equivalenceRelationOn "%1 is %n an equivalence relation on %2") english_format.kif 99-99
(termFormat ChineseLanguage equivalenceRelationOn "属于等价关系") chinese_format.kif 100-100 termFormat ChineseLanguage, equivalenceRelationOn and "属于等价关系"
(termFormat ChineseLanguage equivalenceRelationOn "等价关系") domainEnglishFormat.kif 22291-22291 termFormat ChineseLanguage, equivalenceRelationOn and "等价关系"
(termFormat ChineseTraditionalLanguage equivalenceRelationOn "等價關係") domainEnglishFormat.kif 22290-22290 termFormat ChineseTraditionalLanguage, equivalenceRelationOn and "等價關係"
(termFormat EnglishLanguage equivalenceRelationOn "equivalence relation on") domainEnglishFormat.kif 22289-22289 termFormat EnglishLanguage, equivalenceRelationOn and "equivalence relation on"

antecedent
-------------------------


(=>
    (equivalenceRelationOn ?RELATION ?CLASS)
    (and
        (instance ?RELATION TransitiveRelation)
        (instance ?RELATION SymmetricRelation)
        (reflexiveOn ?RELATION ?CLASS)))
Merge.kif 3460-3465


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



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