(=>
(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 5964-5975 |
If the typical volume of blood of a X is Y Z(s), W is an instance of X, and disease or syndrome is not an attribute of V and V has U Z(s) of blood holds during T, then the approximate value of U is Y |
(=>
(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 |
(=>
(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 5999-6013 |
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, V and 2.0 is greater than Y, and V is less than 0.8 and Y, then severe blood loss is an attribute of W holds during U |
