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

Formal Language: 



KB Term:  Term intersection
English Word: 

  identityElement

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

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 5295-5295 0 は AdditionFnidentity 要素では %n
(identityElement DivisionFn 1) Merge.kif 5297-5297 1 は DivisionFnidentity 要素では %n
(identityElement MultiplicationFn 1) Merge.kif 5294-5294 1 は MultiplicationFnidentity 要素では %n
(identityElement SubtractionFn 0) Merge.kif 5296-5296 0 は SubtractionFnidentity 要素では %n


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