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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComplexNumber
ComplexNumber

appearance as argument number 1
-------------------------


(disjoint ComplexNumber RealNumber) Merge.kif 1917-1917
(documentation ComplexNumber ChineseLanguage "这是一个有来自x + yi形式的Number,x和y是 RealNumber,i是-1的平方根。") chinese_format.kif 1757-1758
(documentation ComplexNumber EnglishLanguage "A Number that has the form: x + yi, where x and y are RealNumbers and i is the square root of -1.") Merge.kif 1919-1920
(externalImage ComplexNumber "http://upload.wikimedia.org/wikipedia/commons/ 1/ 10/ Complex_number.jpg") pictureList.kif 4868-4868
(externalImage ComplexNumber "http://upload.wikimedia.org/wikipedia/commons/ 6/ 69/ Complex_conjugate_picture.svg") pictureList.kif 4623-4623
(subclass ComplexNumber Number) Merge.kif 1916-1916

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage ComplexNumber "复数") chinese_format.kif 874-874
(termFormat EnglishLanguage ComplexNumber "complex number") english_format.kif 955-955

appearance as argument number 3
-------------------------


(domain ImaginaryPartFn 1 ComplexNumber) Merge.kif 4706-4706

appearance as argument number 4
-------------------------


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


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