TreeView Knowledge Base Browser

appearance as argument number 1

(instance RoundFn UnaryFunction)	Merge.kif 5279-5279	Round is an instance of unary function
(instance RoundFn TotalValuedRelation)	Merge.kif 5281-5281	Round is an instance of total valued relation
(domain RoundFn 1 RealNumber)	Merge.kif 5282-5282	The number 1 argument of round is an instance of real number
(range RoundFn RealNumber)	Merge.kif 5283-5283	The range of round is an instance of real number
(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 5285-5287	The range of round is an instance of real number

appearance as argument number 2

(termFormat EnglishLanguage RoundFn "round")	domainEnglishFormat.kif 50517-50517
(termFormat ChineseTraditionalLanguage RoundFn "回合")	domainEnglishFormat.kif 50518-50518
(termFormat ChineseLanguage RoundFn "回合")	domainEnglishFormat.kif 50519-50519
(format EnglishLanguage RoundFn "%1 rounded")	english_format.kif 726-726