TreeView Knowledge Base Browser

appearance as argument number 1

(documentation RealNumberFn ChineseLanguage "(RealNumberFn ?NUMBER)得出 ?NUMBER 的 RealNumber 部分。")	chinese_format.kif 2261-2262
(documentation RealNumberFn EnglishLanguage "(RealNumberFn ?NUMBER) returns the part of ?NUMBER that is a RealNumber.")	Merge.kif 5050-5051
(documentation RealNumberFn JapaneseLanguage "(RealNumberFn ?NUMBER) は、RealNumber である?NUMBERの部分を返す。")	japanese_format.kif 925-926
(domain RealNumberFn 1 Number)	Merge.kif 5047-5047
(instance RealNumberFn UnaryFunction)	Merge.kif 5046-5046
(range RealNumberFn RealNumber)	Merge.kif 5048-5048

appearance as argument number 2

(format ChineseLanguage RealNumberFn "%1 的实数")	chinese_format.kif 718-718
(format EnglishLanguage RealNumberFn "the realPart of %1")	english_format.kif 720-720
(format FrenchLanguage RealNumberFn "la partie r�elle de %1")	french_format.kif 432-432
(format ItalianLanguage RealNumberFn "la parte reale di %1")	relations-it.txt 243-243
(format JapaneseLanguage RealNumberFn "%1の realPart")	japanese_format.kif 2149-2149
(format PortugueseLanguage RealNumberFn "a parte real de %1")	portuguese_format.kif 384-384
(format de RealNumberFn "das reelle teil von %1")	relations-de.txt 931-931
(format hi RealNumberFn "%1 kaa vaastavika bhaaga")	relations-hindi.txt 281-281
(format ro RealNumberFn "partea real%t{realã} a lui %1")	relations-ro.kif 454-454
(format sv RealNumberFn (or "den reella delen av %1" "realdelen av %1"))	relations-sv.txt 489-490
(termFormat ChineseLanguage RealNumberFn "实数")	domainEnglishFormat.kif 48941-48941
(termFormat ChineseLanguage RealNumberFn "实数函数")	chinese_format.kif 719-719
(termFormat ChineseTraditionalLanguage RealNumberFn "實數")	domainEnglishFormat.kif 48940-48940
(termFormat EnglishLanguage RealNumberFn "real number")	domainEnglishFormat.kif 48939-48939