Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - LogFn
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 LogFn2変数関数instance では
(range LogFn RealNumber) Merge.kif 5005-5005 LogFnrange実数 のインスタンス では

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


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