Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| bloodVolume |
| appearance as argument number 1 |
|
| (instance bloodVolume BinaryPredicate) | Medicine.kif 5920-5920 | blood volume is an instance of binary predicate |
| (domain bloodVolume 1 Human) | Medicine.kif 5922-5922 | The number 1 argument of blood volume is an instance of human |
| (domain bloodVolume 2 VolumeMeasure) | Medicine.kif 5923-5923 | The number 2 argument of blood volume is an instance of volume measure |
| (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 5924-5926 | The number 2 argument of blood volume is an instance of volume measure |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage bloodVolume "blood volume") | Medicine.kif 5921-5921 | |
| (format EnglishLanguage bloodVolume "%1 has %2 of blood") | Medicine.kif 5927-5927 |
| antecedent |
|
|
| (=> (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 |
| consequent |
|
|
| (=> (and (instance ?H HumanAdult) (measure ?H (MeasureFn ?N PoundMass))) (and (bloodVolume ?H (MeasureFn ?N2 Liter)) (equal ?N2 (DivisionFn (MultiplicationFn ?N 0.07) 2.33)))) |
Medicine.kif 5945-5954 | If X is an instance of human adult and the measure of X is Y pound mass(s), then X has Z liter(s) of blood and equal Z, Y, 0.07, and 2.33 |
|