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
DenominatorFn
Sigma KEE - DenominatorFn
DenominatorFn
appearance as argument number 1
(
documentation
DenominatorFn
ChineseLanguage
"(
DenominatorFn
?NUMBER)得出
RealNumber
?NUMBER 还原规范形式的分母。")
chinese_format.kif 2230-2231
(
documentation
DenominatorFn
EnglishLanguage
"(
DenominatorFn
?NUMBER) returns the denominator of the canonical reduced form of the
RealNumber
?NUMBER.")
Merge.kif 4811-4812
(
documentation
DenominatorFn
JapaneseLanguage
"(
DenominatorFn
?NUMBER) は、
RealNumber
?NUMBERの正規減少フォームの分母を返す。")
japanese_format.kif 894-895
(
domain
DenominatorFn
1
RealNumber
)
Merge.kif 4808-4808
(
instance
DenominatorFn
TotalValuedRelation
)
Merge.kif 4807-4807
(
instance
DenominatorFn
UnaryFunction
)
Merge.kif 4806-4806
(
range
DenominatorFn
Integer
)
Merge.kif 4809-4809
appearance as argument number 2
(
format
ChineseLanguage
DenominatorFn
"%1 的分母")
chinese_format.kif 694-694
(
format
EnglishLanguage
DenominatorFn
"the
de
nominator of %1")
english_format.kif 696-696
(
format
FrenchLanguage
DenominatorFn
"le
de
nominateur de %1")
french_format.kif 420-420
(
format
ItalianLanguage
DenominatorFn
"il
de
nominatore di %1")
relations-it.txt 68-68
(
format
JapaneseLanguage
DenominatorFn
"%1 の
de
nominator")
japanese_format.kif 2137-2137
(
format
PortugueseLanguage
DenominatorFn
"o
de
nominador de %1")
portuguese_format.kif 372-372
(
format
de
DenominatorFn
"der nenner von %1")
relations-de.txt 907-907
(
format
hi
DenominatorFn
"%1 kaa hara")
relations-hindi.txt 109-109
(
format
ro
DenominatorFn
"
de
nominator%t{numitorul} fracþiei %1")
relations-ro.kif 442-442
(
format
sv
DenominatorFn
"nämnaren av %1")
relations-sv.txt 471-471
(
format
tg
DenominatorFn
"ang
de
nominator ng %1")
relations-cb.txt 102-102
(
termFormat
ChineseLanguage
DenominatorFn
"分母")
domainEnglishFormat.kif 19055-19055
(
termFormat
ChineseLanguage
DenominatorFn
"分母函数")
chinese_format.kif 695-695
(
termFormat
ChineseTraditionalLanguage
DenominatorFn
"分母")
domainEnglishFormat.kif 19054-19054
(
termFormat
EnglishLanguage
DenominatorFn
"denominator")
domainEnglishFormat.kif 19053-19053
(
termFormat
tg
DenominatorFn
"tungkluin denominator")
relations-tg.txt 153-153
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