Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   PulseOximeter
|
|
|
| appearance as argument number 1 |
|
|
| (subclass PulseOximeter MedicalDevice) | Medicine.kif 1229-1229 | Pulse oximeter is a subclass of medical device |
| (documentation PulseOximeter EnglishLanguage "Pulse oximetry is a noninvasive method for monitoring a person's Blood Oxygen saturation. Peripheral oxygen saturation (SpO2) readings are typically within 2% accuracy (within 4% accuracy in 95% of cases) of the more accurate (and invasive) reading of arterial oxygen saturation (SaO2) from arterial blood gas analysis. The most common approach is transmissive pulse oximetry. In this approach, a sensor device is placed on a thin part of the patient's body, usually a fingertip or earlobe, or an infant's foot. The device passes two wavelengths of light through the BodyPart to a photodetector. It measures the changing absorbance at each of the wavelengths, allowing it to determine the absorbances due to the pulsing arterial blood alone, excluding venous blood, skin, Bone, Muscle, FatTissue, and, in most cases, nail polish. [from Wikipedia] ") | Medicine.kif 1230-1238 | Pulse oximeter is a subclass of medical device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PulseOximeter "pulse oximeter") | Medicine.kif 1239-1239 |
| antecedent |
|
|
| (=> (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 1241-1250 | If X is an instance of measuring, Y is an instrument for X, Z is an agent of X, W is a patient of X, and Y is an instance of pulse oximeter, then there exists V such that Z knows the oxygen saturation of W is V percent |
| (=> (instance ?PO PulseOximeter) (hasPurpose ?PO (exists (?M ?A ?P) (and (instance ?M Measuring) (instrument ?M ?PO) (agent ?M ?A) (patient ?M ?P) (instance ?PO PulseOximeter))))) |
Medicine.kif 1252-1261 | If X is an instance of pulse oximeter, then X has the purpose there exist Y, Z, W such that Y is an instance of measuring, X is an instrument for Y, Z is an agent of Y, W is a patient of Y, and X is an instance of pulse oximeter |
| consequent |
|
|
| (=> (instance ?PO PulseOximeter) (hasPurpose ?PO (exists (?M ?A ?P) (and (instance ?M Measuring) (instrument ?M ?PO) (agent ?M ?A) (patient ?M ?P) (instance ?PO PulseOximeter))))) |
Medicine.kif 1252-1261 | If X is an instance of pulse oximeter, then X has the purpose there exist Y, Z, W such that Y is an instance of measuring, X is an instrument for Y, Z is an agent of Y, W is a patient of Y, and X is an instance of pulse oximeter |
|