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

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

appearance as argument number 0

(identityElement AdditionFn 0) Merge.kif 5281-5281
(identityElement DivisionFn 1) Merge.kif 5283-5283
(identityElement MultiplicationFn 1) Merge.kif 5280-5280
(identityElement SubtractionFn 0) Merge.kif 5282-5282

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