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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ImaginaryNumber

appearance as argument number 1

(documentation ImaginaryNumber ChineseLanguage "这是将一个 RealNumber 乘以-1的平方根的积,它 可以是任何一个的 Number。") Merge.kif 3037-3038
(documentation ImaginaryNumber EnglishLanguage "Any Number that is the result of multiplying a RealNumber by the square root of -1.") Merge.kif 3034-3035
(documentation ImaginaryNumber JapaneseLanguage "RealNumber に -1の平方根を乗算した結果の 任意の RealNumber。") Merge.kif 3040-3041
(subclass ImaginaryNumber Number) Merge.kif 3032-3032

appearance as argument number 2

(range ImaginaryPartFn ImaginaryNumber) Merge.kif 7238-7238
(termFormat ChineseLanguage ImaginaryNumber "虚数") chinese_format.kif 860-860
(termFormat EnglishLanguage ImaginaryNumber "imaginary number") english_format.kif 1273-1273
(termFormat JapaneseLanguage ImaginaryNumber "虚数") english_format.kif 1274-1274

appearance as argument number 3

(partition Number RealNumber ImaginaryNumber ComplexNumber) Merge.kif 2922-2922

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners