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


(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 5083-5085
(domain identityElement 1 BinaryFunction) Merge.kif 5080-5080
(domain identityElement 2 Integer) Merge.kif 5081-5081
(instance identityElement AsymmetricRelation) Merge.kif 5079-5079
(instance identityElement BinaryPredicate) Merge.kif 5078-5078

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 5097-5097
(identityElement DivisionFn 1) Merge.kif 5099-5099
(identityElement MultiplicationFn 1) Merge.kif 5096-5096
(identityElement SubtractionFn 0) Merge.kif 5098-5098


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