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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComplexNumber

Sigma KEE - ComplexNumber
ComplexNumber

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


(disjoint ComplexNumber RealNumber) Merge.kif 1949-1949
(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 1951-1952
(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 1948-1948

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 4812-4812

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


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


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