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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ComplexNumber

appearance as argument number 1

(disjoint ComplexNumber RealNumber) Merge.kif 2009-2009
(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 2011-2012
(documentation ComplexNumber JapaneseLanguage "Number の形式が x + yiで、x と yが RealNumbers であり、i が -1 の平方根。") japanese_format.kif 366-367
(externalImage ComplexNumber " 1/ 10/ Complex_number.jpg") pictureList.kif 4867-4867
(externalImage ComplexNumber " 6/ 69/ Complex_conjugate_picture.svg") pictureList.kif 4622-4622
(subclass ComplexNumber Number) Merge.kif 2008-2008

appearance as argument number 2

(termFormat ChineseLanguage ComplexNumber "复数") chinese_format.kif 874-874
(termFormat EnglishLanguage ComplexNumber "complex number") english_format.kif 950-950
(termFormat FrenchLanguage ComplexNumber "nombre complexe") french_format.kif 550-550
(termFormat Hindi ComplexNumber "sanyukta anka") terms-hindi.txt 80-80
(termFormat ItalianLanguage ComplexNumber "NumeroComplesso") terms-it.txt 83-83
(termFormat JapaneseLanguage ComplexNumber "複素数") japanese_format.kif 2235-2235
(termFormat PortugueseLanguage ComplexNumber "Numero Complexo") portuguese_format.kif 502-502
(termFormat cz ComplexNumber "complex number") terms-cz.txt 117-117
(termFormat ro ComplexNumber "numãr complex") relations-ro.kif 571-571
(termFormat tg ComplexNumber "halu-halong numero") terms-tg.txt 84-84

appearance as argument number 3

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

appearance as argument number 4

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

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