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 1968-1968
(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 1970-1971
(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 1967-1967

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


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

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


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

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


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


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