Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
LogFn
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 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
域
日誌
, 1 and
RealNumber
(
domain
LogFn
2
PositiveInteger
)
Merge.kif 4977-4977
域
日誌
, 2 and
PositiveInteger
(
instance
LogFn
BinaryFunction
)
Merge.kif 4975-4975
例
日誌
and
BinaryFunction
(
range
LogFn
RealNumber
)
Merge.kif 4978-4978
範圍
日誌
and
RealNumber
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
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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