TreeView Knowledge Base Browser

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