LogFn |
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 5007-5008 | |
(documentation LogFn JapaneseLanguage "(LogFn ?NUMBER ?INT) は、Integer ?INTで示される ベース内の RealNumber ?NUMBERの対数を返す。") | japanese_format.kif 911-912 | |
(domain LogFn 1 RealNumber) | Merge.kif 5003-5003 | LogFn の数値 1 引数は 実数 の instance では |
(domain LogFn 2 PositiveInteger) | Merge.kif 5004-5004 | LogFn の数値 2 引数は 正の整数 の instance では |
(instance LogFn BinaryFunction) | Merge.kif 5002-5002 | LogFn は 2変数関数 の instance では |
(range LogFn RealNumber) | Merge.kif 5005-5005 | LogFn の range は 実数 のインスタンス では |
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 34930-34930 | |
(termFormat ChineseTraditionalLanguage LogFn "日誌") | domainEnglishFormat.kif 34929-34929 | |
(termFormat EnglishLanguage LogFn "log") | domainEnglishFormat.kif 34928-34928 | |
(termFormat de LogFn "LogarithmusFn") | terms-de.txt 279-279 |
![]() |
![]() |