Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| OxygenatedBlood(oxygenated blood) |
| appearance as argument number 1 |
|
| (instance OxygenatedBlood SaturationAttribute) | Medicine.kif 5763-5763 | Oxygenated blood is an instance of saturation attribute |
| (documentation OxygenatedBlood EnglishLanguage "The concentrations of Oxygen is 20% and that of CarbonDioxide is 4% in oxygenated blood. from doi: 10.1183/ 20734735.001415") | Medicine.kif 5764-5765 | Oxygenated blood is an instance of saturation attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage OxygenatedBlood "oxygenated blood") | Medicine.kif 5766-5766 |
| antecedent |
|
|
| (=> (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 |
| consequent |
|
|
| (=> (attribute ?H Shock) (exists (?T) (and (instance ?T Tissue) (part ?T ?H) (not (exists (?OB) (and (attribute ?OB OxygenatedBlood) (part ?OB ?T))))))) |
Medicine.kif 5821-5831 | If shock is an attribute of X, then there exists Y such that Y is an instance of tissue, Y is a part of X, there doesn't exist Z such that oxygenated blood is an attribute of Z, and Z is a part of Y |
|