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 5065-5066
(documentation RealNumberFn JapaneseLanguage "(RealNumberFn ?NUMBER) は、RealNumber である?NUMBERの部分を返す。")	japanese_format.kif 925-926
(domain RealNumberFn 1 Number)	Merge.kif 5062-5062	Il numero 1 argomenti di RealNumberFn è un istanza di Numero
(instance RealNumberFn UnaryFunction)	Merge.kif 5061-5061	RealNumberFn è un' istanza di FunzioneUnaria
(range RealNumberFn RealNumber)	Merge.kif 5063-5063	rango di RealNumberFn è un'istanza di NumeroReale

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 "den reella delen av %1")	relations-sv.txt 489-489
(termFormat ChineseLanguage RealNumberFn "实数")	domainEnglishFormat.kif 48922-48922
(termFormat ChineseLanguage RealNumberFn "实数函数")	chinese_format.kif 719-719
(termFormat ChineseTraditionalLanguage RealNumberFn "實數")	domainEnglishFormat.kif 48921-48921
(termFormat EnglishLanguage RealNumberFn "real number")	domainEnglishFormat.kif 48920-48920