RealNumberFn - Sigma Knowledge base Browser

appearance as argument number 1

(instance RealNumberFn UnaryFunction)	Merge.kif 5172-5172	Real number is an instance of unary function
(domain RealNumberFn 1 Number)	Merge.kif 5173-5173	The number 1 argument of real number is an instance of number
(range RealNumberFn RealNumber)	Merge.kif 5174-5174	The range of real number is an instance of real number
(documentation RealNumberFn EnglishLanguage "(RealNumberFn ?NUMBER) returns the part of ?NUMBER that is a RealNumber.")	Merge.kif 5176-5177	The range of real number is an instance of real number

appearance as argument number 2

(termFormat EnglishLanguage RealNumberFn "real number")	domainEnglishFormat.kif 48915-48915
(termFormat ChineseTraditionalLanguage RealNumberFn "實數")	domainEnglishFormat.kif 48916-48916
(termFormat ChineseLanguage RealNumberFn "实数")	domainEnglishFormat.kif 48917-48917
(format EnglishLanguage RealNumberFn "the realPart of %1")	english_format.kif 720-720