Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| identityElement |
| appearance as argument number 1 |
|
| (instance identityElement BinaryPredicate) | Merge.kif 5400-5400 | identity element is an instance of binary predicate |
| (domain identityElement 1 BinaryFunction) | Merge.kif 5401-5401 | The number 1 argument of identity element is an instance of binary function |
| (domain identityElement 2 Integer) | Merge.kif 5402-5402 | The number 2 argument of identity element is an instance of integer |
| (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 5404-5406 | The number 2 argument of identity element is an instance of integer |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage identityElement "identity element") | domainEnglishFormat.kif 29195-29195 | |
| (termFormat ChineseTraditionalLanguage identityElement "身份元素") | domainEnglishFormat.kif 29196-29196 | |
| (termFormat ChineseLanguage identityElement "身份元素") | domainEnglishFormat.kif 29197-29197 | |
| (format EnglishLanguage identityElement "%2 is %n an identity element of %1") | english_format.kif 676-676 |
| appearance as argument number 0 |
|
|
| (identityElement MultiplicationFn 1) | Merge.kif 5417-5417 | 1 is an identity element of multiplication |
| (identityElement AdditionFn 0) | Merge.kif 5418-5418 | 0 is an identity element of addition |
| (identityElement SubtractionFn 0) | Merge.kif 5419-5419 | 0 is an identity element of subtraction |
| (identityElement DivisionFn 1) | Merge.kif 5420-5420 | 1 is an identity element of division |
|