(=>
(and
(concentration
(MeasureFn ?N1 ?U) ?S
(MeasureFn ?N2 ?U2) ?M)
(instance ?SI ?S)
(part ?SI ?M)
(measure ?SI
(MeasureFn ?N3 ?U3))
(part ?SI ?M)
(not
(instance ?SI2 ?S))
(not
(equal ?SI ?SIE2))
(part ?SI2 ?M)
(measure ?M
(MeasureFn ?N2 ?U2)))
(approximateValue ?N1 ?N3)) |
Medicine.kif 235-250 |
If All of the following hold: (1) the concentration of X in Y is Z W(s) per V U(s) (2) T is an instance of X (3) T is a part of Y (4) the measure of T is S R(s) (5) T is a part of Y (6) Q is not an instance of X (7) equal T and P (8) Q is a part of Y (9) the measure of Y is V U(s), then the approximate value of Z is S |
(=>
(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 |
