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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - identityElement
identityElement

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


s__documentation(s__identityElement__m,s__ChineseLanguage,'"一个物体的 ?ID 是 BinaryFunction ?FUNCTION 的身份元素,以防?INST的每一个实例,应用 ?FUNCTION 到 ?INST 和 ?ID 会得出 ?INST。"')

chinese_format.kif 2278-2279
s__documentation(s__identityElement__m,s__EnglishLanguage,'"An object ?ID is the identity element for BinaryFunction ?FUNCTION just in case, for every instance ?INST, applying ?FUNCTION to ?INST and ?ID results in ?INST."')

Merge.kif 5083-5085
s__domain(s__identityElement__m,n__1,s__BinaryFunction)

Merge.kif 5080-5080 The number 1 argument of identity element is an instance of binary function
s__domain(s__identityElement__m,n__2,s__Integer)

Merge.kif 5081-5081 The number 2 argument of identity element is an instance of integer
s__instance(s__identityElement__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__Class)

Merge.kif 5079-5079 identity element is an instance of asymmetric relation
s__instance(s__identityElement__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__Class)

Merge.kif 5078-5078 identity element is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__identityElement__m,'"%2 %n 是 %1 的单位元"')

chinese_format.kif 674-674
s__format(s__EnglishLanguage,s__identityElement__m,'"%2 is %n an identity element of %1"')

english_format.kif 676-676
s__termFormat(s__ChineseLanguage,s__identityElement__m,'"单位元"')

chinese_format.kif 675-675
s__termFormat(s__ChineseLanguage,s__identityElement__m,'"身份元素"')

domainEnglishFormat.kif 29184-29184
s__termFormat(s__ChineseTraditionalLanguage,s__identityElement__m,'"身份元素"')

domainEnglishFormat.kif 29183-29183
s__termFormat(s__EnglishLanguage,s__identityElement__m,'"identity element"')

domainEnglishFormat.kif 29182-29182

appearance as argument number 0
-------------------------


s__identityElement(s__AdditionFn__m,n__0)

Merge.kif 5097-5097 0 is an identity element of addition
s__identityElement(s__DivisionFn__m,n__1)

Merge.kif 5099-5099 1 is an identity element of division
s__identityElement(s__MultiplicationFn__m,n__1)

Merge.kif 5096-5096 1 is an identity element of multiplication
s__identityElement(s__SubtractionFn__m,n__0)

Merge.kif 5098-5098 0 is an identity element of subtraction


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