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
MilliFn
Sigma KEE - MilliFn
MilliFn
appearance as argument number 1
(
documentation
MilliFn
ChineseLanguage
"这是一个
UnaryFunction
,它把一个
UnitOfMeasure
联系 都等于原本
UnitOfMeasure
1,000之一的
UnitOfMeasure
上。 例如:(
MilliFn
Gram
) 是 .001
Gram
s。")
chinese_format.kif 2452-2454
(
documentation
MilliFn
EnglishLanguage
"A
UnaryFunction
that maps a
UnitOfMeasure
into a
UnitOfMeasure
that is equal to .001 units of the original
UnitOfMeasure
. For example, (
MilliFn
Gram
) is .001
Gram
s.")
Merge.kif 6528-6530
(
documentation
MilliFn
JapaneseLanguage
"
UnaryFunction
は、元の
UnitOfMeasure
の .001 単位に等しい
UnitOfMeasure
に
UnitOfMeasure
をマップする。例:(
MilliFn
Gram
) は .001
Gram
s である。")
japanese_format.kif 1144-1146
(
domain
MilliFn
1
UnitOfMeasure
)
Merge.kif 6525-6525
Il numero 1 argomenti di
MilliFn
è un
istanza
di
Unit�DiMisura
(
instance
MilliFn
UnitOfMeasureMultiplier
)
Merge.kif 6524-6524
MilliFn
è un'
istanza
di
UnitOfMeasureMultiplier
(
range
MilliFn
UnitOfMeasure
)
Merge.kif 6526-6526
rango
di
MilliFn
è un'istanza di
Unit�DiMisura
appearance as argument number 2
(
format
ChineseLanguage
MilliFn
"%1 的千分之一")
chinese_format.kif 643-643
(
format
EnglishLanguage
MilliFn
"one thousandth of a %1")
english_format.kif 646-646
(
format
FrenchLanguage
MilliFn
"un milli�me de %1")
french_format.kif 388-388
(
format
ItalianLanguage
MilliFn
"unmillesimo di un %1")
relations-it.txt 187-187
(
format
JapaneseLanguage
MilliFn
"1 の thousandth %1")
japanese_format.kif 2118-2118
(
format
PortugueseLanguage
MilliFn
"um milesimo de %1")
portuguese_format.kif 340-340
(
format
de
MilliFn
"ein tausendstes einer %1")
relations-de.txt 839-839
(
format
ro
MilliFn
"o thousandth%t{miime} dintr-un(o) %1")
relations-ro.kif 410-410
(
format
sv
MilliFn
"en tusendel av %1")
relations-sv.txt 431-431
(
termFormat
ChineseLanguage
MilliFn
"千分之一函数")
chinese_format.kif 644-644
(
termFormat
ChineseLanguage
MilliFn
"毫")
domainEnglishFormat.kif 37799-37799
(
termFormat
ChineseTraditionalLanguage
MilliFn
"毫")
domainEnglishFormat.kif 37798-37798
(
termFormat
EnglishLanguage
MilliFn
"milli")
domainEnglishFormat.kif 37797-37797
antecedent
(=>
(
and
(
climateTypeInArea
?AREA
TropicalClimateZone
)
(
instance
?MO
Month
)
(
averageRainfallForPeriod
?AREA ?MO
(
MeasureFn
?AMOUNT
(
MilliFn
Meter
)))
(
greaterThanOrEqualTo
?AMOUNT 60.0))
(
climateTypeInArea
?AREA
WetTropicalClimateZone
))
Geography.kif 1316-1323
climateTypeInArea
AreaGeografica
and
TropicalClimateZone
Mese
è un'
istanza
di
Mese
averageRainfallForPeriod
AreaGeografica
,
Mese
and
NumeroReale
un
millesimo
di un
Meter
(s
NumeroReale
è
pi
ù grande di o uguale a 60.0
climateTypeInArea
AreaGeografica
and
WetTropicalClimateZone
(=>
(
and
(
instance
?UNIT
UnitOfMeasure
)
(
equal
?MILLIUNIT
(
MilliFn
?UNIT)))
(
equal
(
MeasureFn
1 ?MILLIUNIT)
(
MeasureFn
0.001 ?UNIT)))
Merge.kif 6532-6536
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
Unit�DiMisura
is
uguale
a un
millesimo
di un
Unit�DiMisura
1
Unit�DiMisura
(s is
uguale
a 0.001
Unit�DiMisura
(s
consequent
(=>
(
climateTypeInArea
?AREA
WetTropicalClimateZone
)
(
forall
(?MO ?AMOUNT)
(
and
(
instance
?MO
Month
)
(
averageRainfallForPeriod
?AREA ?MO
(
MeasureFn
?AMOUNT
(
MilliFn
Meter
)))
(
greaterThanOrEqualTo
?AMOUNT 60.0))))
Geography.kif 1325-1332
climateTypeInArea
AreaGeografica
and
WetTropicalClimateZone
Mese
NumeroReale
Mese
è un'
istanza
di
Mese
averageRainfallForPeriod
AreaGeografica
,
Mese
and
NumeroReale
un
millesimo
di un
Meter
(s
NumeroReale
è
pi
ù grande di o uguale a 60.0
statement
(
lethalDose
Diacetoxyscirpenol
(
PerFn
(
MeasureFn
23.0
(
MilliFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 1840-1840
lethalDose
Diacetoxyscirpenol
and
PerFn
23.0 un
millesimo
di un
Gram
(s and 1.0 1
mille
Gram
s(s
(
lethalDose
T2Toxin
(
PerFn
(
MeasureFn
5.2
(
MilliFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 1845-1845
lethalDose
T2Toxin
and
PerFn
5.2 un
millesimo
di un
Gram
(s and 1.0 1
mille
Gram
s(s
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