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 4766-4767
(domain LogFn 1 RealNumber) Merge.kif 4762-4762 对数函数 的 1 数量 是 实数instance
(domain LogFn 2 PositiveInteger) Merge.kif 4763-4763 对数函数 的 2 数量 是 正整数instance
(instance LogFn BinaryFunction) Merge.kif 4761-4761 对数函数二元函数instance
(range LogFn RealNumber) Merge.kif 4764-4764 对数函数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 713-713
(termFormat ChineseLanguage LogFn "对数函数") chinese_format.kif 709-709
(termFormat ChineseLanguage LogFn "日志") domainEnglishFormat.kif 34834-34834
(termFormat ChineseTraditionalLanguage LogFn "日誌") domainEnglishFormat.kif 34833-34833
(termFormat EnglishLanguage LogFn "log") domainEnglishFormat.kif 34832-34832


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