RefrigeratorCar
|
|
appearance as argument number 1 |
(documentation SevereBloodLoss EnglishLanguage "Loss of 20-50% of the blood volume of a Human.") | Medicine.kif 5965-5965 | |
(instance SevereBloodLoss DiseaseOrSyndrome) | Medicine.kif 5964-5964 | SevereBloodLoss è un' istanza di MalattiaOSindrome |
appearance as argument number 2 |
(termFormat EnglishLanguage SevereBloodLoss "severe blood loss") | Medicine.kif 5966-5966 |
consequent |
(=> (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 5968-5982 |
|