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 4966-4968
(domain identityElement 1 BinaryFunction) Merge.kif 4963-4963
(domain identityElement 2 Integer) Merge.kif 4964-4964
(instance identityElement AsymmetricRelation) Merge.kif 4962-4962
(instance identityElement BinaryPredicate) Merge.kif 4961-4961

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 679-679
(termFormat ChineseLanguage identityElement "单位元") chinese_format.kif 675-675
(termFormat ChineseLanguage identityElement "身份元素") domainEnglishFormat.kif 29095-29095
(termFormat ChineseTraditionalLanguage identityElement "身份元素") domainEnglishFormat.kif 29094-29094
(termFormat EnglishLanguage identityElement "identity element") domainEnglishFormat.kif 29093-29093

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


(identityElement AdditionFn 0) Merge.kif 4980-4980
(identityElement DivisionFn 1) Merge.kif 4982-4982
(identityElement MultiplicationFn 1) Merge.kif 4979-4979
(identityElement SubtractionFn 0) Merge.kif 4981-4981


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners