LogFn - Sigma Knowledge base Browser

appearance as argument number 1

(instance LogFn BinaryFunction)	Merge.kif 5086-5086	Log is an instance of binary function
(domain LogFn 1 RealNumber)	Merge.kif 5087-5087	The number 1 argument of log is an instance of real number
(domain LogFn 2 PositiveInteger)	Merge.kif 5088-5088	The number 2 argument of log is an instance of positive integer
(range LogFn RealNumber)	Merge.kif 5089-5089	The range of log is an instance of real number
(documentation LogFn EnglishLanguage "(LogFn ?NUMBER ?INT) returns the logarithm of the RealNumber ?NUMBER in the base denoted by the Integer ?INT.")	Merge.kif 5091-5092	The range of log is an instance of real number

appearance as argument number 2

(termFormat EnglishLanguage LogFn "log")	domainEnglishFormat.kif 34921-34921
(termFormat ChineseTraditionalLanguage LogFn "日誌")	domainEnglishFormat.kif 34922-34922
(termFormat ChineseLanguage LogFn "日志")	domainEnglishFormat.kif 34923-34923
(format EnglishLanguage LogFn "the log of %1")	english_format.kif 710-710