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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Function

 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 5282-5284
(documentation identityElement JapaneseLanguage "万が一すべてのインスタンス ?INST に対して、 ?FUNCTION を?INSTとに?IDに適用した場合、?INSTになることに備えて、オブジェクト ?IDは、 BinaryFunction ?FUNCTIONの ?ID要素である。") japanese_format.kif 945-947
(domain identityElement 1 BinaryFunction) Merge.kif 5279-5279
(domain identityElement 2 Integer) Merge.kif 5280-5280
(instance identityElement BinaryPredicate) Merge.kif 5278-5278

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
(format FrenchLanguage identityElement "%2 est %n un �l�ment identifiant de %1") french_format.kif 408-408
(format ItalianLanguage identityElement "%2 è %n un elemento di identità di %1") relations-it.txt 134-134
(format JapaneseLanguage identityElement "%2 は %1 の identity 要素では %n") japanese_format.kif 2129-2129
(format PortugueseLanguage identityElement "%2 e' %n um elemento identificador de %1") portuguese_format.kif 360-360
(format cz identityElement "%2 %p{je} %n{nen�} an identity element of %1") relations-cz.txt 417-417
(format de identityElement "%2 ist ein identitaetsElement von %1") relations-de.txt 880-880
(format hi identityElement "%2 %1 kaa eka tatsamaka ghaTaka %n hai") relations-hindi.txt 173-173
(format ro identityElement "%2 %n{nu} este un element identity%t{neutru} of %1") relations-ro.kif 430-430
(format sv identityElement "%2 är %n{inte} ett identitetselement av %1") relations-sv.txt 451-451
(termFormat ChineseLanguage identityElement "单位元") chinese_format.kif 675-675
(termFormat ChineseLanguage identityElement "身份元素") domainEnglishFormat.kif 29193-29193
(termFormat ChineseTraditionalLanguage identityElement "身份元素") domainEnglishFormat.kif 29192-29192
(termFormat EnglishLanguage identityElement "identity element") domainEnglishFormat.kif 29191-29191

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


(identityElement AdditionFn 0) Merge.kif 5296-5296
(identityElement DivisionFn 1) Merge.kif 5298-5298
(identityElement MultiplicationFn 1) Merge.kif 5295-5295
(identityElement SubtractionFn 0) Merge.kif 5297-5297


Show simplified definition (without tree view)
Show simplified definition (with tree view)

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