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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NumberE
NumberE(number e)e

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 4851-4852
(instance NumberE PositiveRealNumber) Merge.kif 4849-4849 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 1104-1104


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



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