TreeView Knowledge Base Browser

appearance as argument number 1

(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 1249-1257
(subclass PulseOximeter MedicalDevice)	Medicine.kif 1248-1248	Pulse oximeter is a subclass of medical device

appearance as argument number 2

(termFormat EnglishLanguage PulseOximeter "pulse oximeter")

Medicine.kif 1258-1258

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 1260-1269	If a process is an instance of measuring and an object is an instrument for the process and a cognitive agent is an agent of the process and an entity is a patient of the process and the object is an instance of pulse oximeter, then there exists another entity such that the cognitive agent knows the oxygen saturation of the entity is the other entity 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 1271-1280	If a physical is an instance of pulse oximeter, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of measuring and the physical is an instrument for the entity and the other entity is an agent of the entity and the third entity is a patient of the entity and the physical 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 1271-1280

If a physical is an instance of pulse oximeter,
then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of measuring and the physical is an instrument for the entity and the other entity is an agent of the entity and the third entity is a patient of the entity and the physical is an instance of pulse oximeter

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: