oxygenSaturation |
appearance as argument number 1 |
(documentation oxygenSaturation EnglishLanguage "A measurement of the oxygen saturation in Human Blood, expressed as a percentage of red blood cells that are fully oxygenated. This is often measured by a PuleOximeter.") | Medicine.kif 1228-1230 | |
(domain oxygenSaturation 1 Human) | Medicine.kif 1226-1226 | oxygenSaturation 的 1 数量 是 人类 的 instance |
(domain oxygenSaturation 2 RealNumber) | Medicine.kif 1227-1227 | oxygenSaturation 的 2 数量 是 实数 的 instance |
(instance oxygenSaturation BinaryPredicate) | Medicine.kif 1225-1225 | oxygenSaturation 是 二元谓语 的 instance |
appearance as argument number 2 |
(format EnglishLanguage oxygenSaturation "the oxygen saturation of %1 is %2 percent") | Medicine.kif 1232-1232 | |
(termFormat EnglishLanguage oxygenSaturation "oxygen saturation") | Medicine.kif 1231-1231 |
antecedent |
(=> (holdsDuring ?T (and (oxygenSaturation ?H ?N) (lessThan ?N 92.0))) (holdsDuring ?T (attribute ?H Hypoxia))) |
Medicine.kif 1240-1246 |
|
(=> (oxygenSaturation ?H ?N) (and (greaterThan ?N 0.0) (lessThan ?N 100.0))) |
Medicine.kif 1234-1238 |
|
consequent |
(=> (and (instance ?M Measuring) (instrument ?M ?PO) (agent ?M ?A) (patient ?M ?P) (instance ?PO PulseOximeter)) (exists (?N) (knows ?A (oxygenSaturation ?P ?N)))) |
Medicine.kif 1260-1269 |