Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ImaginaryPartFn |
| appearance as argument number 1 |
|
| (instance ImaginaryPartFn UnaryFunction) | Merge.kif 5018-5018 | Imaginary part is an instance of unary function |
| (instance ImaginaryPartFn TotalValuedRelation) | Merge.kif 5019-5019 | Imaginary part is an instance of total valued relation |
| (domain ImaginaryPartFn 1 ComplexNumber) | Merge.kif 5020-5020 | The number 1 argument of imaginary part is an instance of complex number |
| (range ImaginaryPartFn ImaginaryNumber) | Merge.kif 5021-5021 | The range of imaginary part is an instance of imaginary number |
| (documentation ImaginaryPartFn EnglishLanguage "(ImaginaryPartFn ?NUMBER) returns the part of ?NUMBER that has the square root of -1 as its factor.") | Merge.kif 5023-5024 | The range of imaginary part is an instance of imaginary number |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ImaginaryPartFn "imaginary part") | domainEnglishFormat.kif 29321-29321 | |
| (termFormat ChineseTraditionalLanguage ImaginaryPartFn "想像的部分") | domainEnglishFormat.kif 29322-29322 | |
| (termFormat ChineseLanguage ImaginaryPartFn "想象的部分") | domainEnglishFormat.kif 29323-29323 | |
| (format EnglishLanguage ImaginaryPartFn "the imaginary part of %1") | english_format.kif 704-704 |
|