|
|
  NumberE
|
|
|
| appearance as argument number 1 |
|
|
| (documentation NumberE ChineseLanguage "NumberE 是一个 RealNumber，它是自然对数的机率，大约 等于2.718282。") | chinese_format.kif 2257-2258 | |
| (documentation NumberE EnglishLanguage "NumberE is the RealNumber that is the base for natural logarithms. It is approximately equal to 2.718282.") | Merge.kif 5051-5052 | |
| (documentation NumberE JapaneseLanguage "NumberE は、自然対数のベースである RealNumber である。これは、2.718282とほぼ同じである。") | japanese_format.kif 921-922 | |
| (instance NumberE PositiveRealNumber) | Merge.kif 5049-5049 | Number e is an instance of positive real number |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage NumberE "常数e") | chinese_format.kif 946-946 | |
| (termFormat EnglishLanguage NumberE "number e") | english_format.kif 1099-1099 | |
| (termFormat FrenchLanguage NumberE "nombre E") | french_format.kif 622-622 | |
| (termFormat Hindi NumberE "laghuganaka sankhyaa") | terms-hindi.txt 153-153 | |
| (termFormat ItalianLanguage NumberE "Esponenziale") | terms-it.txt 156-156 | |
| (termFormat JapaneseLanguage NumberE "ナンバー e") | japanese_format.kif 2307-2307 | |
| (termFormat PortugueseLanguage NumberE "Numero E") | portuguese_format.kif 574-574 | |
| (termFormat cz NumberE "number e") | terms-cz.txt 190-190 | |
| (termFormat ro NumberE "numãrul e") | relations-ro.kif 643-643 | |
| (termFormat tg NumberE "") | terms-tg.txt 157-157 |
|
|
|