![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CatastrophicBloodLoss(catastrophic blood loss) |
| appearance as argument number 1 |
|
|
| (instance CatastrophicBloodLoss DiseaseOrSyndrome) | Medicine.kif 5977-5977 | Catastrophic blood loss is an instance of disease or syndrome |
| (documentation CatastrophicBloodLoss EnglishLanguage "Loss of 50% or more of the blood volume of a Human.") | Medicine.kif 5978-5978 | Catastrophic blood loss is an instance of disease or syndrome |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CatastrophicBloodLoss "catastrophic blood loss") | Medicine.kif 5979-5979 |
| consequent |
|
|
| (=> (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 5981-5993 | If the typical volume of blood of a X is Y Z(s), W has V Z(s) of blood holds during U, W is an instance of X, and V and 2.0 is less than Y, then catastrophic blood loss is an attribute of W holds during U |