|
|
   ComplexNumber
|
|
|
| appearance as argument number 1 |
|
|
| (disjoint ComplexNumber RealNumber) | Merge.kif 1949-1949 | |
| (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 1951-1952 | |
| (externalImage ComplexNumber "http://upload.wikimedia.org/wikipedia/commons/ 1/ 10/ Complex_number.jpg") | pictureList.kif 4868-4868 | |
| (externalImage ComplexNumber "http://upload.wikimedia.org/wikipedia/commons/ 6/ 69/ Complex_conjugate_picture.svg") | pictureList.kif 4623-4623 | |
| (subclass ComplexNumber Number) | Merge.kif 1948-1948 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ComplexNumber "复数") | chinese_format.kif 874-874 | |
| (termFormat EnglishLanguage ComplexNumber "complex number") | english_format.kif 950-950 |
| appearance as argument number 3 |
|
|
| (domain ImaginaryPartFn 1 ComplexNumber) | Merge.kif 4812-4812 |
| appearance as argument number 4 |
|
|
| (partition Number RealNumber ImaginaryNumber ComplexNumber) | Merge.kif 1765-1765 |
|
|
|
