| ComplexNumber(complex number)
| | complex_conjugate, complex_number, complex_quantity, imaginary, imaginary_number |
| appearance as argument number 1 |
|
|
| (subclass ComplexNumber Number) | Merge.kif 2043-2043 | Complex number is a subclass of number |
| (disjoint ComplexNumber RealNumber) | Merge.kif 2044-2044 | 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 2046-2047 | Complex number is disjoint from real number |
| (externalImage ComplexNumber "http://upload.wikimedia.org/wikipedia/commons/ 6/ 69/ Complex_conjugate_picture.svg") | pictureList.kif 4621-4621 | Complex number is disjoint from real number |
| (externalImage ComplexNumber "http://upload.wikimedia.org/wikipedia/commons/ 1/ 10/ Complex_number.jpg") | pictureList.kif 4866-4866 | Complex number is disjoint from real number |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ComplexNumber "complex number") | english_format.kif 950-950 |
| appearance as argument number 3 |
|
|
| (domain ImaginaryPartFn 1 ComplexNumber) | Merge.kif 4960-4960 | 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 1859-1859 | Number is exhaustively partitioned into real number, imaginary number, and complex number |
|
|
|