| ComplexNumber(complex number)
| | complex_conjugate, complex_number, complex_quantity, imaginary, imaginary_number |
| appearance as argument number 1 |
|
|
| (disjoint ComplexNumber RealNumber) | Merge.kif 2009-2009 | Complex number is disjoint from real number |
| (documentation ComplexNumber ChineseLanguage "这是一个有来自x + yi形式的Number，x和y是 RealNumber，i是-1的平方根。") | chinese_format.kif 1757-1758 | Complex number is disjoint from real number |
| (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 | Complex number is disjoint from real number |
| (documentation ComplexNumber JapaneseLanguage "Number の形式が x + yiで、x と yが RealNumbers であり、i が -1 の平方根。") | japanese_format.kif 366-367 | Complex number is disjoint from real number |
| (externalImage ComplexNumber "http://upload.wikimedia.org/wikipedia/commons/ 1/ 10/ Complex_number.jpg") | pictureList.kif 4867-4867 | Complex number is disjoint from real number |
| (externalImage ComplexNumber "http://upload.wikimedia.org/wikipedia/commons/ 6/ 69/ Complex_conjugate_picture.svg") | pictureList.kif 4622-4622 | Complex number is disjoint from real number |
| (subclass ComplexNumber Number) | Merge.kif 2008-2008 | 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 | |
| (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 4909-4909 | 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 1825-1825 | Number is exhaustively partitioned into real number, imaginary number, and complex number |
|
|
|