| ImaginaryNumber(imaginary number) | | pure_imaginary_number |
| appearance as argument number 1 |
|
|
| (subclass ImaginaryNumber Number) | Merge.kif 1934-1934 | Imaginary number is a subclass of number |
| (documentation ImaginaryNumber EnglishLanguage "Any Number that is the result of multiplying a RealNumber by the square root of -1.") | Merge.kif 1936-1937 | Imaginary number is a subclass of number |
| appearance as argument number 2 |
|
|
| (range ImaginaryPartFn ImaginaryNumber) | Merge.kif 4961-4961 | The range of imaginary part is an instance of imaginary number |
| (termFormat EnglishLanguage ImaginaryNumber "imaginary number") | english_format.kif 922-922 | The range of imaginary part is an instance of imaginary number |
| appearance as argument number 3 |
|
|
| (partition Number RealNumber ImaginaryNumber ComplexNumber) | Merge.kif 1859-1859 | Number is exhaustively partitioned into real number, imaginary number, and complex number |
|
|
|