Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 4897-4898
(documentation ImaginaryPartFn JapaneseLanguage "(ImaginaryPartFn ?NUMBER) は、-1 の平方 根を持つ ?NUMBER の部分を係数として返す。") japanese_format.kif 905-906
(domain ImaginaryPartFn 1 ComplexNumber) Merge.kif 4894-4894 ImaginaryPartFn の数値 1 引数は 複素数instance では %n
(instance ImaginaryPartFn TotalValuedRelation) Merge.kif 4893-4893 ImaginaryPartFn合計値関係instance では %n
(instance ImaginaryPartFn UnaryFunction) Merge.kif 4892-4892 ImaginaryPartFn1変数関数instance では %n
(range ImaginaryPartFn ImaginaryNumber) Merge.kif 4895-4895 ImaginaryPartFnrange虚数 のインスタンス では %n

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 29325-29325
(termFormat ChineseLanguage ImaginaryPartFn "虚数函数") chinese_format.kif 703-703
(termFormat ChineseTraditionalLanguage ImaginaryPartFn "想像的部分") domainEnglishFormat.kif 29324-29324
(termFormat EnglishLanguage ImaginaryPartFn "imaginary part") domainEnglishFormat.kif 29323-29323
(termFormat tg ImaginaryPartFn "tungkulin ng paghanduraw bahagi") relations-tg.txt 277-277

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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