TreeView Knowledge Base Browser - IntegerSquareRootFn

appearance as argument number 1

(instance IntegerSquareRootFn UnaryFunction)	Merge.kif 5033-5033	Integer square root is an instance of unary function
(instance IntegerSquareRootFn PartialValuedRelation)	Merge.kif 5034-5034	Integer square root is an instance of partial valued relation
(domain IntegerSquareRootFn 1 RealNumber)	Merge.kif 5035-5035	The number 1 argument of integer square root is an instance of real number
(range IntegerSquareRootFn NonnegativeInteger)	Merge.kif 5036-5036	The range of integer square root is an instance of nonnegative integer
(documentation IntegerSquareRootFn EnglishLanguage "(IntegerSquareRootFn ?NUMBER) returns the integer square root of ?NUMBER.")	Merge.kif 5038-5039	The range of integer square root is an instance of nonnegative integer

appearance as argument number 2

(termFormat EnglishLanguage IntegerSquareRootFn "integer square root")	domainEnglishFormat.kif 30351-30351
(termFormat ChineseTraditionalLanguage IntegerSquareRootFn "整數平方根")	domainEnglishFormat.kif 30352-30352
(termFormat ChineseLanguage IntegerSquareRootFn "整数平方根")	domainEnglishFormat.kif 30353-30353
(format EnglishLanguage IntegerSquareRootFn "the integer square root of %1")	english_format.kif 706-706