TreeView Knowledge Base Browser

appearance as argument number 1

(documentation LogFn ChineseLanguage "(LogFn ?NUMBER ?INT) 得出RealNumber ?NUMBER 以 Integer ?INT 为基数的对数。")	chinese_format.kif 2247-2248
(documentation LogFn EnglishLanguage "(LogFn ?NUMBER ?INT) returns the logarithm of the RealNumber ?NUMBER in the base denoted by the Integer ?INT.")	Merge.kif 4980-4981
(documentation LogFn JapaneseLanguage "(LogFn ?NUMBER ?INT) は、Integer ?INTで示されるベース内の RealNumber ?NUMBERの対数を返す。")	japanese_format.kif 911-912
(domain LogFn 1 RealNumber)	Merge.kif 4976-4976	Il numero 1 argomenti di LogFn è un istanza di NumeroReale
(domain LogFn 2 PositiveInteger)	Merge.kif 4977-4977	Il numero 2 argomenti di LogFn è un istanza di NumeroInteroPositivo
(instance LogFn BinaryFunction)	Merge.kif 4975-4975	LogFn è un' istanza di FunzioneBinaria
(range LogFn RealNumber)	Merge.kif 4978-4978	rango di LogFn è un'istanza di NumeroReale

appearance as argument number 2

(format ChineseLanguage LogFn "%1 的对数")	chinese_format.kif 708-708
(format EnglishLanguage LogFn "the log of %1")	english_format.kif 710-710
(format FrenchLanguage LogFn "le log de %1")	french_format.kif 427-427
(format ItalianLanguage LogFn "il logaritmo di%1")	relations-it.txt 171-171
(format JapaneseLanguage LogFn "%1 の log")	japanese_format.kif 2144-2144
(format PortugueseLanguage LogFn "o log de %1")	portuguese_format.kif 379-379
(format de LogFn "das logarithmus von %1")	relations-de.txt 921-921
(format hi LogFn "%1 kaa laaga")	relations-hindi.txt 209-209
(format ro LogFn "log%t{logaritmul} lui %1")	relations-ro.kif 449-449
(format sv LogFn "logaritmen av %1")	relations-sv.txt 478-478
(termFormat ChineseLanguage LogFn "对数函数")	chinese_format.kif 709-709
(termFormat ChineseLanguage LogFn "日志")	domainEnglishFormat.kif 34919-34919
(termFormat ChineseTraditionalLanguage LogFn "日誌")	domainEnglishFormat.kif 34918-34918
(termFormat EnglishLanguage LogFn "log")	domainEnglishFormat.kif 34917-34917