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 5174-5176
(documentation RoundFn JapaneseLanguage "(RoundFn ?NUMBER) は、番号行の?NUMBERに最も近い Integer。?NUMBERが２つの Integer の中間にある場合 (たとえば 3.5)、大きな Integer を示す。")	japanese_format.kif 934-936
(domain RoundFn 1 RealNumber)	Merge.kif 5171-5171	四舍五入函数的 1 数量是实数的 instance
(instance RoundFn TotalValuedRelation)	Merge.kif 5170-5170	四舍五入函数是总值关系的 instance
(instance RoundFn UnaryFunction)	Merge.kif 5168-5168	四舍五入函数是一元函数的 instance
(range RoundFn RealNumber)	Merge.kif 5172-5172	四舍五入函数的 range 是实数的实例

appearance as argument number 2

(format ChineseLanguage RoundFn "四舍五入 %1 为整数")	chinese_format.kif 724-724
(format EnglishLanguage RoundFn "%1 rounded")	english_format.kif 726-726
(format FrenchLanguage RoundFn "%1 arrondi")	french_format.kif 435-435
(format ItalianLanguage RoundFn "%1 arrotondato")	relations-it.txt 258-258
(format JapaneseLanguage RoundFn "%1 の rounded")	japanese_format.kif 2152-2152
(format PortugueseLanguage RoundFn "%1 arredondado")	portuguese_format.kif 387-387
(format de RoundFn "%1 gerundet")	relations-de.txt 937-937
(format hi RoundFn "nikaTita %1")	relations-hindi.txt 295-295
(format ro RoundFn "%1 rounded%t{rotunjit}")	relations-ro.kif 457-457
(format sv RoundFn "%1 avrundat till närmaste heltal")	relations-sv.txt 497-497
(termFormat ChineseLanguage RoundFn "四舍五入函数")	chinese_format.kif 725-725
(termFormat ChineseLanguage RoundFn "回合")	domainEnglishFormat.kif 50524-50524
(termFormat ChineseTraditionalLanguage RoundFn "回合")	domainEnglishFormat.kif 50523-50523
(termFormat EnglishLanguage RoundFn "round")	domainEnglishFormat.kif 50522-50522