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 1927-1927 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 1929-1930
(externalImage ComplexNumber " 1/ 10/ Complex_number.jpg") pictureList.kif 4868-4868
(externalImage ComplexNumber " 6/ 69/ Complex_conjugate_picture.svg") pictureList.kif 4623-4623
(subclass ComplexNumber Number) Merge.kif 1926-1926 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 950-950

appearance as argument number 3

(domain ImaginaryPartFn 1 ComplexNumber) Merge.kif 4729-4729 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 1743-1743 Number is exhaustively partitioned into real number, imaginary number, and complex number

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

Show without tree

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