|
|
   ImaginaryNumber
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ImaginaryNumber ChineseLanguage "这是将一个 RealNumber 乘以-1的平方根的积，它 可以是任何一个的 Number。") | chinese_format.kif 1739-1740 | |
| (documentation ImaginaryNumber EnglishLanguage "Any Number that is the result of multiplying a RealNumber by the square root of -1.") | Merge.kif 1841-1842 | |
| (subclass ImaginaryNumber Number) | Merge.kif 1839-1839 |
| appearance as argument number 2 |
|
|
| (range ImaginaryPartFn ImaginaryNumber) | Merge.kif 4813-4813 | |
| (termFormat ChineseLanguage ImaginaryNumber "虚数") | chinese_format.kif 860-860 | |
| (termFormat EnglishLanguage ImaginaryNumber "imaginary number") | english_format.kif 922-922 |
| appearance as argument number 3 |
|
|
| (partition Number RealNumber ImaginaryNumber ComplexNumber) | Merge.kif 1765-1765 |
|
|
|