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
Sigma KEE - McgPerKg
McgPerKg
(micrograms per kilogram)
appearance as argument number 1
(
documentation
McgPerKg
ChineseLanguage
"
McgPerKg
指吸取生物活性物质 (
BiologicallyActiveSubstance
)的生物（
Organism
）体重(
weight
)每公斤 (
Kilogram
)所用该物质(
Substance
)以微克（microgram）计算的重量(
weight
)。")
WMD.kif 817-819
(
documentation
McgPerKg
EnglishLanguage
"
McgPerKg
refers to a microgram of
BiologicallyActiveSubstance
per
Kilogram
of the body
weight
of the
Organism
taking the
Substance
.")
WMD.kif 814-816
(
instance
McgPerKg
CompositeUnitOfMeasure
)
WMD.kif 812-812
Micrograms per kilogram
is an
instance
of
composite unit of measure
(
instance
McgPerKg
FunctionQuantity
)
WMD.kif 813-813
Micrograms per kilogram
is an
instance
of
function quantity
appearance as argument number 2
(
termFormat
ChineseLanguage
McgPerKg
"每公斤微克")
WMD.kif 821-821
(
termFormat
EnglishLanguage
McgPerKg
"micrograms per kilogram")
WMD.kif 820-820
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
If
a real number
micrograms per kilogram
(s) is
equal
to the
per
of
a mass measure
and
another mass measure
and
the mass measure
is
equal
to
another real number
one
millionth
of a
gram
(s) and
the other mass measure
is
equal
to
a third real number
1
thousand
gram
s(s),
then there exist
a process
,
a self connected object
and
another self connected object
such that
the process
is an
instance
of
ingesting
and
the self connected object
is an
instance
of
biologically active substance
and
the other self connected object
is an
instance
of
organism
and
the self connected object
is a
patient
of
the process
and
the other self connected object
is an
agent
of
the process
and
the mass measure
is a
weight
of
the self connected object
and
the other mass measure
is a
weight
of
the other self connected object
(=>
(
and
(
instance
?U
McgPerKg
)
(
effectiveDose
?AGENT
(
MeasureFn
?NUMBER1 ?U))
(
lethalDose
?AGENT
(
MeasureFn
?NUMBER2 ?U)))
(
greaterThan
?NUMBER2 ?NUMBER1))
WMD.kif 851-858
If
an unit of measure
is an
instance
of
micrograms per kilogram
and
a real number
the unit of measure
(s) is an
effective
dose of
a kind of biochemical agent
and
another real number
the unit of measure
(s) is a
lethal
dose of
a kind of biochemical agent
,
then
the other real number
is
greater
than
the real number
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
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
