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
bloodVolume
Sigma KEE - bloodVolume
bloodVolume
appearance as argument number 1
(
documentation
bloodVolume
EnglishLanguage
"The
Quantity
of
Blood
present in a
Human
. A
Liter
of blood weights 2.33 pounds (according to https:/ / www.aqua-calc.com/ calculate/ volume-to-weight) or 1060 kg/ m3 (Wikipedia) and 7 percent of a
HumanAdult
's weight.")
Medicine.kif 5892-5894
(
domain
bloodVolume
1
Human
)
Medicine.kif 5890-5890
bloodVolume
的 1 数量 是
人类
的
instance
(
domain
bloodVolume
2
VolumeMeasure
)
Medicine.kif 5891-5891
bloodVolume
的 2 数量 是
体积测量
的
instance
(
instance
bloodVolume
BinaryPredicate
)
Medicine.kif 5889-5889
bloodVolume
是
二元谓语
的
instance
appearance as argument number 2
(
format
EnglishLanguage
bloodVolume
"%1 has %2 of blood")
Medicine.kif 5895-5895
antecedent
(=>
(
and
(
typicalBloodVolume
?M
(
MeasureFn
?N ?U))
(
holdsDuring
?T
(
bloodVolume
?H
(
MeasureFn
?N2 ?U)))
(
instance
?H ?M)
(
greaterThan
(
MultiplicationFn
?N2 2.0) ?N)
(
lessThan
?N2
(
MultiplicationFn
0.8 ?N)))
(
holdsDuring
?T
(
attribute
?H
SevereBloodLoss
)))
Medicine.kif 5968-5982
如果
typicalBloodVolume
有点 哺乳动物
and
实数
测量单位
和
bloodVolume
实体
and
那个 实数
2
那个 测量单位
在
时间位置
holdsDuring
和
那个 实体
是
有点 哺乳动物
的
instance
和
那个 实数
2 和 2.0 是
greaterThan
那个 实数
和
那个 实数
2 是
lessThan
0.8 和
那个 实数
,
然后
SevereBloodLoss
是
那个 实体
的
attribute
在
那个 时间位置
holdsDuring
(=>
(
and
(
typicalBloodVolume
?M
(
MeasureFn
?N ?U))
(
holdsDuring
?T
(
bloodVolume
?H
(
MeasureFn
?N2 ?U)))
(
instance
?H ?M)
(
lessThan
(
MultiplicationFn
?N2 2.0) ?N))
(
holdsDuring
?T
(
attribute
?H
CatastrophicBloodLoss
)))
Medicine.kif 5950-5962
如果
typicalBloodVolume
有点 哺乳动物
and
实数
测量单位
和
bloodVolume
实体
and
那个 实数
2
那个 测量单位
在
时间位置
holdsDuring
和
那个 实体
是
有点 哺乳动物
的
instance
和
那个 实数
2 和 2.0 是
lessThan
那个 实数
,
然后
CatastrophicBloodLoss
是
那个 实体
的
attribute
在
那个 时间位置
holdsDuring
(=>
(
and
(
typicalBloodVolume
?M
(
MeasureFn
?N ?U))
(
instance
?MI ?M)
(
holdsDuring
?T
(
and
(
not
(
attribute
?H
DiseaseOrSyndrome
))
(
bloodVolume
?H
(
MeasureFn
?N2 ?U)))))
(
approximateValue
?N2 ?N))
Medicine.kif 5933-5944
如果
typicalBloodVolume
有点 哺乳动物
and
实数
测量单位
和
有点 哺乳动物
I 是
那个 有点 哺乳动物
的
instance
和
疾病或综合症
不 是
另一个 实体
的
attribute
和
bloodVolume
那个 另外 实体
and
那个 实数
2
那个 测量单位
在
时间位置
holdsDuring
,
然后
approximateValue
那个 实数
2 and
那个 实数
(=>
(
bloodVolume
?H ?V)
(
and
(
exists
(?B)
(
and
(
instance
?B
Blood
)
(
contains
?H ?B)
(
instance
?H
Human
)
(
measure
?B ?V)))
(
not
(
exists
(?B2)
(
and
(
instance
?B2
Blood
)
(
contains
?H ?B2)
(
not
(
piece
?B2 ?B)))))))
Medicine.kif 5897-5912
如果
bloodVolume
人类
and
体积测量
,
然后 有存在
物质
这样
那个 物质
是
血液
的
instance
和
那个 人类
contains
那个 物质
和
那个 人类
是
人类
的
instance
和
那个 物质
的
measure
是
那个 体积测量
和 不存在
那个 物质
2 这样
那个 物质
2 是
血液
的
instance
和
那个 人类
contains
那个 物质
2 和
那个 物质
2 不 是
那个 物质
的
piece
consequent
(=>
(
and
(
instance
?H
HumanAdult
)
(
measure
?H
(
MeasureFn
?N
Pounds
)))
(
and
(
bloodVolume
?H
(
MeasureFn
?N2
Liter
))
(
equal
?N2
(
DivisionFn
(
MultiplicationFn
?N 0.07) 2.33))))
Medicine.kif 5915-5924
如果
人类
是
人类成人
的
instance
和
那个 人类
的
measure
是
实数
Pounds
,
然后
bloodVolume
那个 人类
and
那个 实数
2
升
和
那个 实数
2
equal
那个 实数
和 0.07 和 2.33
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