ImaginaryPartFn |
appearance as argument number 1 |
(documentation ImaginaryPartFn ChineseLanguage "(ImaginaryPartFn ?NUMBER) 得出 ?NUMBER 有它的因子为-1的平方根的部分。") | chinese_format.kif 2241-2242 | |
(documentation ImaginaryPartFn EnglishLanguage "(ImaginaryPartFn ?NUMBER) returns the part of ?NUMBER that has the square root of -1 as its factor.") | Merge.kif 4912-4913 | |
(documentation ImaginaryPartFn JapaneseLanguage "(ImaginaryPartFn ?NUMBER) は、-1 の平方 根を持つ ?NUMBER の部分を係数として返す。") | japanese_format.kif 905-906 | |
(domain ImaginaryPartFn 1 ComplexNumber) | Merge.kif 4909-4909 | |
(instance ImaginaryPartFn TotalValuedRelation) | Merge.kif 4908-4908 | |
(instance ImaginaryPartFn UnaryFunction) | Merge.kif 4907-4907 | |
(range ImaginaryPartFn ImaginaryNumber) | Merge.kif 4910-4910 |
appearance as argument number 2 |
(format ChineseLanguage ImaginaryPartFn "%1 的虚数") | chinese_format.kif 702-702 | |
(format EnglishLanguage ImaginaryPartFn "the imaginary part of %1") | english_format.kif 704-704 | |
(format FrenchLanguage ImaginaryPartFn "la partie immaginaire de %1") | french_format.kif 424-424 | |
(format ItalianLanguage ImaginaryPartFn "la parte immaginaria di %1") | relations-it.txt 136-136 | |
(format JapaneseLanguage ImaginaryPartFn "%1 の imaginary 部") | japanese_format.kif 2141-2141 | |
(format PortugueseLanguage ImaginaryPartFn "a parte imaginaria de %1") | portuguese_format.kif 376-376 | |
(format de ImaginaryPartFn "das imaginaere teil von %1") | relations-de.txt 915-915 | |
(format hi ImaginaryPartFn "%1 kaa kaalpanika bhaaga") | relations-hindi.txt 175-175 | |
(format ro ImaginaryPartFn "partea imaginary%t{imaginarã} a lui %1") | relations-ro.kif 446-446 | |
(format sv ImaginaryPartFn "den imaginära delen av %1") | relations-sv.txt 475-475 | |
(format tg ImaginaryPartFn "ang paghanduraw bahagi ng %1") | relations-tg.txt 276-276 | |
(termFormat ChineseLanguage ImaginaryPartFn "想象的部分") | domainEnglishFormat.kif 29319-29319 | |
(termFormat ChineseLanguage ImaginaryPartFn "虚数函数") | chinese_format.kif 703-703 | |
(termFormat ChineseTraditionalLanguage ImaginaryPartFn "想像的部分") | domainEnglishFormat.kif 29318-29318 | |
(termFormat EnglishLanguage ImaginaryPartFn "imaginary part") | domainEnglishFormat.kif 29317-29317 | |
(termFormat tg ImaginaryPartFn "tungkulin ng paghanduraw bahagi") | relations-tg.txt 277-277 |