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
-------------------------


s__documentation(s__equivalenceRelationOn__m,s__ChineseLanguage,'"一个 BinaryRelation 在一个 SetOrClassequivalenceRelationOn,除非这个关系在这个 SetOrClassreflexiveOn, 而且也要既是 TransitiveRelation,又是 SymmetricRelation。"')

chinese_format.kif 2055-2057
s__documentation(s__equivalenceRelationOn__m,s__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 3623-3626
s__domain(s__equivalenceRelationOn__m,n__1,s__BinaryRelation)

Merge.kif 3620-3620 The number 1 argument of equivalence relation on is an instance of binary relation
s__domain(s__equivalenceRelationOn__m,n__2,s__Class)

Merge.kif 3621-3621 The number 2 argument of equivalence relation on is an instance of class
s__instance(s__equivalenceRelationOn__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__Class)

Merge.kif 3619-3619 equivalence relation on is an instance of asymmetric relation
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__equivalenceRelationOn__m,s__BinaryPredicate)

Merge.kif 3618-3618 equivalence relation on is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__equivalenceRelationOn__m,'"%1 和 %2 %n 是 EquivalenceRelation"')

chinese_format.kif 99-99
s__format(s__EnglishLanguage,s__equivalenceRelationOn__m,'"%1 is %n an equivalence relation on %2"')

english_format.kif 99-99
s__termFormat(s__ChineseLanguage,s__equivalenceRelationOn__m,'"属于等价关系"')

chinese_format.kif 100-100
s__termFormat(s__ChineseLanguage,s__equivalenceRelationOn__m,'"等价关系"')

domainEnglishFormat.kif 22353-22353
s__termFormat(s__ChineseTraditionalLanguage,s__equivalenceRelationOn__m,'"等價關係"')

domainEnglishFormat.kif 22352-22352
s__termFormat(s__EnglishLanguage,s__equivalenceRelationOn__m,'"equivalence relation on"')

domainEnglishFormat.kif 22351-22351

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


( ! [V__RELATION,V__CLASS] :
   (((s__instance(V__RELATION,s__BinaryRelation) &
         s__instance(V__CLASS,s__Class))
       =>
       ((s__equivalenceRelationOn(V__RELATION,V__CLASS)
         =>
         ((s__instance(V__RELATION,s__TransitiveRelation) &
             s__instance(V__RELATION,s__SymmetricRelation) &
             s__reflexiveOn(V__RELATION,V__CLASS))))))
)
)

Merge.kif 3628-3633


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