Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DeoxygenatedBlood(deoxygenated blood) |
| appearance as argument number 1 |
|
| (instance DeoxygenatedBlood Blood) | Medicine.kif 5786-5786 | Deoxygenated blood is an instance of blood |
| (documentation DeoxygenatedBlood EnglishLanguage "The concentrations of Oxygen is 14% and that of CarbonDioxide is 4% in deoxygenated blood. from doi: 10.1183/ 20734735.001415") | Medicine.kif 5787-5788 | Deoxygenated blood is an instance of blood |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DeoxygenatedBlood "deoxygenated blood") | Medicine.kif 5789-5789 |
| antecedent |
|
|
| (=> (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 |
|