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 5004-5006
(domain identityElement 1 BinaryFunction) Merge.kif 5001-5001 domain identityElement, 1 and BinaryFunction
(domain identityElement 2 Integer) Merge.kif 5002-5002 domain identityElement, 2 and Integer
(instance identityElement AsymmetricRelation) Merge.kif 5000-5000 instance identityElement and AsymmetricRelation
(instance identityElement BinaryPredicate) Merge.kif 4999-4999 instance identityElement and BinaryPredicate

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 29125-29125
(termFormat ChineseTraditionalLanguage identityElement "身份元素") domainEnglishFormat.kif 29124-29124
(termFormat EnglishLanguage identityElement "identity element") domainEnglishFormat.kif 29123-29123

Show without tree

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