(=>
(and
(instance ?B Blood)
(attribute ?B OxygenatedBlood)
(concentration
(MeasureFn ?N Milliliter) Oxygen
(MeasureFn 100 Milliliter) ?B))
(approximateValue ?N 20)) |
Medicine.kif 5768-5775 |
If X is an instance of blood, oxygenated blood is an attribute of X, and the concentration of oxygen in X is Y Milliliter(s) per 100 Milliliter(s), then the approximate value of Y is 20 |
(=>
(and
(instance ?B Blood)
(attribute ?B OxygenatedBlood)
(concentration
(MeasureFn ?N Milliliter) CarbonDioxide
(MeasureFn 100 Milliliter) ?B))
(approximateValue ?N 5)) |
Medicine.kif 5777-5784 |
If X is an instance of blood, oxygenated blood is an attribute of X, and the concentration of carbon dioxide in X is Y Milliliter(s) per 100 Milliliter(s), then the approximate value of Y is 5 |
(=>
(and
(instance ?B Blood)
(attribute ?B DeoxygenatedBlood)
(concentration
(MeasureFn ?N Milliliter) Oxygen
(MeasureFn 100 Milliliter) ?B))
(approximateValue ?N 14)) |
Medicine.kif 5791-5798 |
If X is an instance of blood, deoxygenated blood is an attribute of X, and the concentration of oxygen in X is Y Milliliter(s) per 100 Milliliter(s), then the approximate value of Y is 14 |
(=>
(and
(instance ?B Blood)
(attribute ?B DeoxygenatedBlood)
(concentration
(MeasureFn ?N Milliliter) CarbonDioxide
(MeasureFn 100 Milliliter) ?B))
(approximateValue ?N 4)) |
Medicine.kif 5800-5807 |
If X is an instance of blood, deoxygenated blood is an attribute of X, and the concentration of carbon dioxide in X is Y Milliliter(s) per 100 Milliliter(s), then the approximate value of Y is 4 |
