| 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 | The number 1 argument of imaginary part is an instance of complex number |
| (instance ImaginaryPartFn TotalValuedRelation) | Merge.kif 4908-4908 | Imaginary part is an instance of total valued relation |
| (instance ImaginaryPartFn UnaryFunction) | Merge.kif 4907-4907 | Imaginary part is an instance of unary function |
| (range ImaginaryPartFn ImaginaryNumber) | Merge.kif 4910-4910 | The range of imaginary part is an instance of imaginary number |
| 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 29353-29353 | |
| (termFormat ChineseLanguage ImaginaryPartFn "虚数函数") | chinese_format.kif 703-703 | |
| (termFormat ChineseTraditionalLanguage ImaginaryPartFn "想像的部分") | domainEnglishFormat.kif 29352-29352 | |
| (termFormat EnglishLanguage ImaginaryPartFn "imaginary part") | domainEnglishFormat.kif 29351-29351 | |
| (termFormat tg ImaginaryPartFn "tungkulin ng paghanduraw bahagi") | relations-tg.txt 277-277 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners