TreeView Knowledge Base Browser

appearance as argument number 1

(documentation RoundFn ChineseLanguage "(RoundFn ?NUMBER)是在数字线上最接近 ?NUMBER 的 Integer，如果 ?NUMBER 位于两个 Integer 的一半(例如：3.5)时, 这将会得出较大的 Integer。")	chinese_format.kif 2269-2270
(documentation RoundFn EnglishLanguage "(RoundFn ?NUMBER) is the Integer closest to ?NUMBER on the number line. If ?NUMBER is halfway between two Integers (for example 3.5), it denotes the larger Integer.")	Merge.kif 5073-5075
(domain RoundFn 1 RealNumber)	Merge.kif 5070-5070
(instance RoundFn TotalValuedRelation)	Merge.kif 5069-5069
(instance RoundFn UnaryFunction)	Merge.kif 5067-5067
(range RoundFn RealNumber)	Merge.kif 5071-5071

appearance as argument number 2

(format ChineseLanguage RoundFn "四舍五入 %1 为整数")	chinese_format.kif 724-724
(format EnglishLanguage RoundFn "%1 rounded")	english_format.kif 726-726
(termFormat ChineseLanguage RoundFn "四舍五入函数")	chinese_format.kif 725-725
(termFormat ChineseLanguage RoundFn "回合")	domainEnglishFormat.kif 50505-50505
(termFormat ChineseTraditionalLanguage RoundFn "回合")	domainEnglishFormat.kif 50504-50504
(termFormat EnglishLanguage RoundFn "round")	domainEnglishFormat.kif 50503-50503