Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
ComplexNumber(complex number)
|  | complex_conjugate, complex_number, complex_quantity, imaginary, imaginary_number |
| appearance as argument number 1 |
|
|
| (subclass ComplexNumber Number) | Merge.kif 2118-2118 | Complex number is a subclass of number |
| (disjoint ComplexNumber RealNumber) | Merge.kif 2119-2119 | 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 2121-2122 | 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 954-954 |
| appearance as argument number 3 |
|
|
| (domain ImaginaryPartFn 1 ComplexNumber) | Merge.kif 5020-5020 | 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 1928-1928 | Number is exhaustively partitioned into real number, imaginary number, and complex number |
|