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

Formal Language: 



KB Term:  Term intersection
English Word: 

  equivalenceRelationOn

 Sigma KEE - equivalenceRelationOn
equivalenceRelationOn

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


(documentation equivalenceRelationOn ChineseLanguage "一个 BinaryRelation 在一个 SetOrClass 是 equivalenceRelationOn，除非这个关系在这个 SetOrClass 是 reflexiveOn， 而且也要既是 TransitiveRelation，又是 SymmetricRelation。") chinese_format.kif 2055-2057
(documentation equivalenceRelationOn EnglishLanguage "A BinaryRelation is an equivalenceRelationOn a Class only if the relation is reflexiveOn the Class and it is both a TransitiveRelation and a SymmetricRelation.") Merge.kif 3636-3639
(domain equivalenceRelationOn 1 BinaryRelation) Merge.kif 3633-3633
(domain equivalenceRelationOn 2 Class) Merge.kif 3634-3634
(instance equivalenceRelationOn AsymmetricRelation) Merge.kif 3632-3632
(instance equivalenceRelationOn BinaryPredicate) Merge.kif 3631-3631

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 "等价关系") domainEnglishFormat.kif 22353-22353
(termFormat ChineseTraditionalLanguage equivalenceRelationOn "等價關係") domainEnglishFormat.kif 22352-22352
(termFormat EnglishLanguage equivalenceRelationOn "equivalence relation on") domainEnglishFormat.kif 22351-22351

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


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


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 3.0 is open source software produced by Articulate Software and its partners