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 4956-4958
(domain identityElement 1 BinaryFunction) Merge.kif 4953-4953 domain identityElement, 1 and BinaryFunction
(domain identityElement 2 Integer) Merge.kif 4954-4954 domain identityElement, 2 and Integer
(instance identityElement AsymmetricRelation) Merge.kif 4952-4952 instance identityElement and AsymmetricRelation
(instance identityElement BinaryPredicate) Merge.kif 4951-4951 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 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 4970-4970 identityElement AdditionFn and 0
(identityElement DivisionFn 1) Merge.kif 4972-4972 identityElement DivisionFn and 1
(identityElement MultiplicationFn 1) Merge.kif 4969-4969 identityElement MultiplicationFn and 1
(identityElement SubtractionFn 0) Merge.kif 4971-4971 identityElement SubtractionFn and 0

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