TreeView Knowledge Base Browser

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	ImaginaryPartFn は 1変数関数の instance では %n
(range ImaginaryPartFn ImaginaryNumber)	Merge.kif 4895-4895	ImaginaryPartFn の range は虚数のインスタンスでは %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