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
concentration
Sigma KEE - concentration
concentration
appearance as argument number 1
(
documentation
concentration
EnglishLanguage
"The concentration of a
Substance
in a
Mixture
. ")
Medicine.kif 228-229
(
domain
concentration
1
Quantity
)
Medicine.kif 224-224
The number 1 argument of
concentration
is an
instance
of
quantity
(
domain
concentration
3
Quantity
)
Medicine.kif 226-226
The number 3 argument of
concentration
is an
instance
of
quantity
(
domain
concentration
4
Mixture
)
Medicine.kif 227-227
The number 4 argument of
concentration
is an
instance
of
mixture
(
domainSubclass
concentration
2
Substance
)
Medicine.kif 225-225
The number 2 argument of
concentration
is a
subclass
of
substance
(
instance
concentration
QuaternaryPredicate
)
Medicine.kif 223-223
concentration
is an
instance
of
quaternary predicate
appearance as argument number 2
(
format
EnglishLanguage
concentration
"the
concentration
of %2 in %4 is %1 per %3")
Medicine.kif 231-231
(
termFormat
EnglishLanguage
concentration
"concentration")
Medicine.kif 232-232
antecedent
(=>
(
and
(
concentration
(
MeasureFn
?N1 ?U) ?S
(
MeasureFn
?N2 ?U2) ?M)
(
instance
?SI ?S)
(
part
?SI ?M)
(
measure
?SI
(
MeasureFn
?N3 ?U3))
(
part
?SI ?M)
(
not
(
instance
?SI2 ?S))
(
not
(
equal
?SI ?SIE2))
(
part
?SI2 ?M)
(
measure
?M
(
MeasureFn
?N2 ?U2)))
(
approximateValue
?N1 ?N3))
Medicine.kif 234-249
If the
concentration
of
a kind of substance
in
a mixture
is
a real number
an unit of measure
(s) per
another real number
the unit of measure
2(s) and
a kind of substance
I is an
instance
of
the kind of substance
and
the kind of substance
I is a
part
of
the mixture
and the
measure
of
the kind of substance
I is
a third real number
the unit of measure
3(s) and
the kind of substance
I is a
part
of
the mixture
and
the kind of substance
I2 is not an
instance
of
the kind of substance
and
the kind of substance
I is not
equal
to
the kind of substance
IE2 and
the kind of substance
I2 is a
part
of
the mixture
and the
measure
of
the mixture
is
the other real number
the unit of measure
2(s),
then the approximate value of
the real number
is
the third real number
(=>
(
and
(
instance
?B
Blood
)
(
attribute
?B
DeoxygenatedBlood
)
(
concentration
(
MeasureFn
?N
Milliliter
)
CarbonDioxide
(
MeasureFn
100
Milliliter
) ?B))
(
approximateValue
?N 4))
Medicine.kif 5775-5782
If
a mixture
is an
instance
of
blood
and
deoxygenated blood
is an
attribute
of
the mixture
and the
concentration
of
carbon dioxide
in
the mixture
is
a real number
Milliliter
(s) per 100
Milliliter
(s),
then the approximate value of
the real number
is 4
(=>
(
and
(
instance
?B
Blood
)
(
attribute
?B
DeoxygenatedBlood
)
(
concentration
(
MeasureFn
?N
Milliliter
)
Oxygen
(
MeasureFn
100
Milliliter
) ?B))
(
approximateValue
?N 14))
Medicine.kif 5766-5773
If
a mixture
is an
instance
of
blood
and
deoxygenated blood
is an
attribute
of
the mixture
and the
concentration
of
oxygen
in
the mixture
is
a real number
Milliliter
(s) per 100
Milliliter
(s),
then the approximate value of
the real number
is 14
(=>
(
and
(
instance
?B
Blood
)
(
attribute
?B
OxygenatedBlood
)
(
concentration
(
MeasureFn
?N
Milliliter
)
CarbonDioxide
(
MeasureFn
100
Milliliter
) ?B))
(
approximateValue
?N 5))
Medicine.kif 5752-5759
If
a mixture
is an
instance
of
blood
and
oxygenated blood
is an
attribute
of
the mixture
and the
concentration
of
carbon dioxide
in
the mixture
is
a real number
Milliliter
(s) per 100
Milliliter
(s),
then the approximate value of
the real number
is 5
(=>
(
and
(
instance
?B
Blood
)
(
attribute
?B
OxygenatedBlood
)
(
concentration
(
MeasureFn
?N
Milliliter
)
Oxygen
(
MeasureFn
100
Milliliter
) ?B))
(
approximateValue
?N 20))
Medicine.kif 5743-5750
If
a mixture
is an
instance
of
blood
and
oxygenated blood
is an
attribute
of
the mixture
and the
concentration
of
oxygen
in
the mixture
is
a real number
Milliliter
(s) per 100
Milliliter
(s),
then the approximate value of
the real number
is 20
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