bloodVolume |
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 5892-5894 | |
(domain bloodVolume 1 Human) | Medicine.kif 5890-5890 | bloodVolume 的 1 数量 是 人类 的 instance |
(domain bloodVolume 2 VolumeMeasure) | Medicine.kif 5891-5891 | bloodVolume 的 2 数量 是 体积测量 的 instance |
(instance bloodVolume BinaryPredicate) | Medicine.kif 5889-5889 | bloodVolume 是 二元谓语 的 instance |
appearance as argument number 2 |
(format EnglishLanguage bloodVolume "%1 has %2 of blood") | Medicine.kif 5895-5895 |
antecedent |
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 5915-5924 |