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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - identityElement

appearance as argument number 1

(documentation identityElement ChineseLanguage "一个物体的 ?ID 是 BinaryFunction ?FUNCTION 的身份元素,以防?INST的每一个实例,应用 ?FUNCTION 到 ?INST 和 ?ID 会得出 ?INST。") chinese_format.kif 2278-2279
(documentation identityElement 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 5181-5183
(domain identityElement 1 BinaryFunction) Merge.kif 5178-5178
(domain identityElement 2 Integer) Merge.kif 5179-5179
(instance identityElement BinaryPredicate) Merge.kif 5177-5177

appearance as argument number 2

(format ChineseLanguage identityElement "%2 %n 是 %1 的单位元") chinese_format.kif 674-674
(format EnglishLanguage identityElement "%2 is %n an identity element of %1") english_format.kif 676-676
(termFormat ChineseLanguage identityElement "单位元") chinese_format.kif 675-675
(termFormat ChineseLanguage identityElement "身份元素") domainEnglishFormat.kif 29184-29184
(termFormat ChineseTraditionalLanguage identityElement "身份元素") domainEnglishFormat.kif 29183-29183
(termFormat EnglishLanguage identityElement "identity element") domainEnglishFormat.kif 29182-29182

appearance as argument number 0

(identityElement AdditionFn 0) Merge.kif 5195-5195
(identityElement DivisionFn 1) Merge.kif 5197-5197
(identityElement MultiplicationFn 1) Merge.kif 5194-5194
(identityElement SubtractionFn 0) Merge.kif 5196-5196

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