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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComplexNumber
ComplexNumber(complex number)
complex_conjugate, complex_number, complex_quantity, imaginary, imaginary_number

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


(disjoint ComplexNumber RealNumber) Merge.kif 1917-1917 Complex number is disjoint from real number
(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 Complex number is a subclass of number

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 The number 1 argument of imaginary part is an instance of complex number

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


(partition Number RealNumber ImaginaryNumber ComplexNumber) Merge.kif 1733-1733 Number is exhaustively partitioned into real number, imaginary number, and complex number


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