| 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 34953-34953 | |
| (termFormat ChineseTraditionalLanguage LogFn "日誌") | domainEnglishFormat.kif 34952-34952 | |
| (termFormat EnglishLanguage LogFn "log") | domainEnglishFormat.kif 34951-34951 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners