| 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 5880-5882 | |
| (domain bloodVolume 1 Human) | Medicine.kif 5878-5878 | |
| (domain bloodVolume 2 VolumeMeasure) | Medicine.kif 5879-5879 | |
| (instance bloodVolume BinaryPredicate) | Medicine.kif 5877-5877 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage bloodVolume "%1 has %2 of blood") | Medicine.kif 5883-5883 |
| 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 5954-5968 | |
| (=> (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 5936-5948 | |
| (=> (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 5919-5930 | |
| (=> (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 5885-5899 |
| 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 5901-5910 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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