Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
ChinesehLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 6222-6224
(
domain
MilliFn
1
UnitOfMeasure
)
Merge.kif 6219-6219
The number 1 argument of
milli
is an
instance
of
unit of measure
(
instance
MilliFn
UnitOfMeasureMultiplier
)
Merge.kif 6218-6218
Milli
is an
instance
of
UnitOfMeasureMultiplier
(
range
MilliFn
UnitOfMeasure
)
Merge.kif 6220-6220
The
range
of
milli
is an instance of
unit of measure
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 649-649
(
termFormat
ChineseLanguage
MilliFn
"千分之一函数")
chinese_format.kif 644-644
(
termFormat
ChineseLanguage
MilliFn
"毫")
domainEnglishFormat.kif 37729-37729
(
termFormat
ChineseTraditionalLanguage
MilliFn
"毫")
domainEnglishFormat.kif 37728-37728
(
termFormat
EnglishLanguage
MilliFn
"milli")
domainEnglishFormat.kif 37727-37727
antecedent
(=>
(
and
(
instance
?AREA
TropicalClimateZone
)
(
forall
(?MO ?AMOUNT)
(=>
(
averageRainfallForPeriod
?AREA ?MO ?AMOUNT)
(
greaterThanOrEqualTo
?AMOUNT
(
MeasureFn
60
(
MilliFn
Meter
))))))
(
instance
?AREA
WetTropicalClimateZone
))
Geography.kif 1300-1307
If
a geographic area
is an
instance
of
tropical climate zone
and for all
a month
and
a length measure
if
the geographic area
average
rainfall for period
the month
for
the length measure
,
then
the length measure
is
greater
than or equal to 60 one
thousandth
of a
meter
(s)
,
then
the geographic area
is an
instance
of
wet tropical climate zone
(=>
(
and
(
instance
?UNIT
UnitOfMeasure
)
(
equal
?MILLIUNIT
(
MilliFn
?UNIT)))
(
equal
(
MeasureFn
1 ?MILLIUNIT)
(
MeasureFn
0.001 ?UNIT)))
Merge.kif 6226-6230
If
an unit of measure
is an
instance
of
unit of measure
and
another unit of measure
is
equal
to one
thousandth
of a
the unit of measure
,
then 1
the other unit of measure
(s) is
equal
to 0.001
the unit of measure
(s)
consequent
(=>
(
instance
?AREA
WetTropicalClimateZone
)
(
forall
(?MO ?AMOUNT)
(=>
(
averageRainfallForPeriod
?AREA ?MO ?AMOUNT)
(
greaterThanOrEqualTo
?AMOUNT
(
MeasureFn
60
(
MilliFn
Meter
))))))
Geography.kif 1309-1314
If
a geographic area
is an
instance
of
wet tropical climate zone
,
then for all
a month
and
a length measure
if
the geographic area
average
rainfall for period
the month
for
the length measure
,
then
the length measure
is
greater
than or equal to 60 one
thousandth
of a
meter
(s)
statement
(
lethalDose
Diacetoxyscirpenol
(
PerFn
(
MeasureFn
23
(
MilliFn
Gram
))
(
MeasureFn
1
(
KiloFn
Gram
))))
WMD.kif 1706-1706
The
per
of 23 one
thousandth
of a
gram
(s) and 1 1
thousand
gram
s(s) is a
lethal
dose of
diacetoxyscirpenol
(
lethalDose
T2Toxin
(
PerFn
(
MeasureFn
5.2
(
MilliFn
Gram
))
(
MeasureFn
1
(
KiloFn
Gram
))))
WMD.kif 1711-1711
The
per
of 5.2 one
thousandth
of a
gram
(s) and 1 1
thousand
gram
s(s) is a
lethal
dose of
t2 toxin
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