(=>
(bloodVolume ?H ?V)
(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 5929-5943 |
If X has Y of blood, then All of the following hold: (1) there exists Z such that Z is an instance of blood (2) X contains Z (3) X is an instance of human (4) the measure of Z is Y (5) there doesn't exist W such that W is an instance of blood (6) X contains W (7) W is not a piece of Z |
(=>
(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 |
