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
waterAreaOnly
Sigma KEE - MicroFn
MicroFn
appearance as argument number 1
(
documentation
MicroFn
ChineseLanguage
"这是一个
UnaryFunction
,它把一个
UnitOfMeasure
联系 都等于原本
UnitOfMeasure
1,000,000之一的
UnitOfMeasure
上。 例如:(
MicroFn
Meter
)是 .000001
Meter
s.")
chinese_format.kif 2455-2457
(
documentation
MicroFn
EnglishLanguage
"A
UnaryFunction
that maps a
UnitOfMeasure
into a
UnitOfMeasure
that is equal to .000001 units of the original
UnitOfMeasure
. For example, (
MicroFn
Meter
) is .000001
Meter
s.")
Merge.kif 6541-6543
(
documentation
MicroFn
JapaneseLanguage
"
UnaryFunction
は、元の
UnitOfMeasure
の.000001 単位に等しい
UnitOfMeasure
に
UnitOfMeasure
をマップする。 例:(
MicroFn
Meter
)は .000001 M である。")
japanese_format.kif 1147-1149
(
domain
MicroFn
1
UnitOfMeasure
)
Merge.kif 6538-6538
Die Zahl 1 Argument von
MicroFn
ist ein
fall
von
UnitOfMeasure
%n{nicht}
(
instance
MicroFn
UnitOfMeasureMultiplier
)
Merge.kif 6537-6537
MicroFn
ist ein
fall
von
UnitOfMeasureMultiplier
%n{nicht}
(
range
MicroFn
UnitOfMeasure
)
Merge.kif 6539-6539
bildbereich
von
MicroFn
ist ein fall von
UnitOfMeasure
{nicht}
appearance as argument number 2
(
format
ChineseLanguage
MicroFn
"%1 的百万分之一")
chinese_format.kif 645-645
(
format
EnglishLanguage
MicroFn
"one millionth of a %1")
english_format.kif 648-648
(
format
FrenchLanguage
MicroFn
"un millioni�me de %1")
french_format.kif 389-389
(
format
ItalianLanguage
MicroFn
"un milionesimo di %1")
relations-it.txt 186-186
(
format
JapaneseLanguage
MicroFn
"1 の millionth %1")
japanese_format.kif 2119-2119
(
format
PortugueseLanguage
MicroFn
"um milhonesimo de %1")
portuguese_format.kif 341-341
(
format
de
MicroFn
"ein millionstel einer %1")
relations-de.txt 842-842
(
format
hi
MicroFn
"%1 kaa dasa laakhavaan")
relations-hindi.txt 224-224
(
format
ro
MicroFn
"o millionth%t{milionime} dintr-un(o) %1")
relations-ro.kif 411-411
(
format
sv
MicroFn
"en miljondel av %1")
relations-sv.txt 432-432
(
termFormat
ChineseLanguage
MicroFn
"微")
domainEnglishFormat.kif 37433-37433
(
termFormat
ChineseLanguage
MicroFn
"百万分之一函数")
chinese_format.kif 646-646
(
termFormat
ChineseTraditionalLanguage
MicroFn
"微")
domainEnglishFormat.kif 37432-37432
(
termFormat
EnglishLanguage
MicroFn
"micro")
domainEnglishFormat.kif 37431-37431
antecedent
(=>
(
and
(
equal
(
MeasureFn
?Y
McgPerKg
)
(
PerFn
?M1 ?M2))
(
equal
?M1
(
MeasureFn
?NUM1
(
MicroFn
Gram
)))
(
equal
?M2
(
MeasureFn
?NUM2
(
KiloFn
Gram
))))
(
exists
(?I ?B ?A)
(
and
(
instance
?I
Ingesting
)
(
instance
?B
BiologicallyActiveSubstance
)
(
instance
?A
Organism
)
(
patient
?I ?B)
(
agent
?I ?A)
(
weight
?B ?M1)
(
weight
?A ?M2))))
WMD.kif 823-840
Wenn
RealNumber
McgPerKg
(s) ist gleich
PerFn
MassMeasure
and
** MassMeasure
%n{nicht} und
** MassMeasure
ist gleich
** RealNumber
ein
millionstel
einer
Gram
(s) %n{nicht} und
** ** MassMeasure
ist gleich
** RealNumber
1
tausend
Gram
(s) %n{nicht},
dann es gibt
Process
,
SelfConnectedObject
, and und
** SelfConnectedObject
um
** Process
ist ein
fall
von
Ingesting
%n{nicht} und
** SelfConnectedObject
ist ein
fall
von
BiologicallyActiveSubstance
%n{nicht} und
** ** SelfConnectedObject
ist ein
fall
von
Organism
%n{nicht} und
** SelfConnectedObject
ist ein
patient
von
** Process
%n{nicht} und
** Process
ist der
agent
von
** ** SelfConnectedObject
%n{nicht} und
weight
** SelfConnectedObject
and
** MassMeasure
und
weight
** ** SelfConnectedObject
and
** ** MassMeasure
(=>
(
and
(
instance
?UNIT
UnitOfMeasure
)
(
equal
?MICROUNIT
(
MicroFn
?UNIT)))
(
equal
(
MeasureFn
1 ?MICROUNIT)
(
MeasureFn
0.000001 ?UNIT)))
Merge.kif 6545-6549
Wenn
UnitOfMeasure
ist ein
fall
von
UnitOfMeasure
%n{nicht} und
** UnitOfMeasure
ist gleich ein
millionstel
einer
** UnitOfMeasure
%n{nicht},
dann 1
** ** UnitOfMeasure
(s) ist gleich 0.000001
** UnitOfMeasure
(s) %n{nicht}
statement
(
effectiveDose
StaphylococcalEnterotoxinB
(
PerFn
(
MeasureFn
0.0004
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 1439-1439
effectiveDose
StaphylococcalEnterotoxinB
and
PerFn
0.0004 ein
millionstel
einer
Gram
(s) and 1.0 1
tausend
Gram
(s)
(
lethalDose
AbrinToxin
(
PerFn
(
MeasureFn
0.04
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 439-439
lethalDose
AbrinToxin
and
PerFn
0.04 ein
millionstel
einer
Gram
(s) and 1.0 1
tausend
Gram
(s)
(
lethalDose
Batrachotoxin
(
PerFn
(
MeasureFn
2.0
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 310-310
lethalDose
Batrachotoxin
and
PerFn
2.0 ein
millionstel
einer
Gram
(s) and 1.0 1
tausend
Gram
(s)
(
lethalDose
BotulinumToxin
(
PerFn
(
MeasureFn
0.001
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 325-325
lethalDose
BotulinumToxin
and
PerFn
0.001 ein
millionstel
einer
Gram
(s) and 1.0 1
tausend
Gram
(s)
(
lethalDose
RicinToxin
(
PerFn
(
MeasureFn
3.0
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 431-431
lethalDose
RicinToxin
and
PerFn
3.0 ein
millionstel
einer
Gram
(s) and 1.0 1
tausend
Gram
(s)
(
lethalDose
Sarin
(
PerFn
(
MeasureFn
100.0
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 586-586
lethalDose
Sarin
and
PerFn
100.0 ein
millionstel
einer
Gram
(s) and 1.0 1
tausend
Gram
(s)
(
lethalDose
ShigaToxin
(
PerFn
(
MeasureFn
0.002
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 1339-1339
lethalDose
ShigaToxin
and
PerFn
0.002 ein
millionstel
einer
Gram
(s) and 1.0 1
tausend
Gram
(s)
(
lethalDose
Soman
(
PerFn
(
MeasureFn
64.0
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 582-582
lethalDose
Soman
and
PerFn
64.0 ein
millionstel
einer
Gram
(s) and 1.0 1
tausend
Gram
(s)
(
lethalDose
StaphylococcalEnterotoxinB
(
PerFn
(
MeasureFn
0.02
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 1440-1440
lethalDose
StaphylococcalEnterotoxinB
and
PerFn
0.02 ein
millionstel
einer
Gram
(s) and 1.0 1
tausend
Gram
(s)
(
lethalDose
VX
(
PerFn
(
MeasureFn
15.0
(
MicroFn
Gram
))
(
MeasureFn
1.0
(
KiloFn
Gram
))))
WMD.kif 599-599
lethalDose
VX
and
PerFn
15.0 ein
millionstel
einer
Gram
(s) and 1.0 1
tausend
Gram
(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