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 4814-4815
(
documentation
DenominatorFn
JapaneseLanguage
"(
DenominatorFn
?NUMBER) は、
RealNumber
?NUMBERの正規減少フォームの分母を返す。")
japanese_format.kif 894-895
(
domain
DenominatorFn
1
RealNumber
)
Merge.kif 4811-4811
Il numero 1 argomenti di
DenominatorFn
è un
istanza
di
NumeroReale
(
instance
DenominatorFn
TotalValuedRelation
)
Merge.kif 4810-4810
DenominatorFn
è un'
istanza
di
RelazioneAValoreTotale
(
instance
DenominatorFn
UnaryFunction
)
Merge.kif 4809-4809
DenominatorFn
è un'
istanza
di
FunzioneUnaria
(
range
DenominatorFn
Integer
)
Merge.kif 4812-4812
rango
di
DenominatorFn
è un'istanza di
NumeroIntero
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 19044-19044
(
termFormat
ChineseLanguage
DenominatorFn
"分母函数")
chinese_format.kif 695-695
(
termFormat
ChineseTraditionalLanguage
DenominatorFn
"分母")
domainEnglishFormat.kif 19043-19043
(
termFormat
EnglishLanguage
DenominatorFn
"denominator")
domainEnglishFormat.kif 19042-19042
(
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