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 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 | The number 1 argument of log is an instance of real number |
(domain LogFn 2 PositiveInteger) | Merge.kif 4977-4977 | The number 2 argument of log is an instance of positive integer |
(instance LogFn BinaryFunction) | Merge.kif 4975-4975 | Log is an instance of binary function |
(range LogFn RealNumber) | Merge.kif 4978-4978 | The range of log is an instance of real number |
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 |