Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - oxygenSaturation
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 The number 1 argument of oxygen saturation is an instance of human
(domain oxygenSaturation 2 RealNumber) Medicine.kif 1227-1227 The number 2 argument of oxygen saturation is an instance of real number
(instance oxygenSaturation BinaryPredicate) Medicine.kif 1225-1225 oxygen saturation is an instance of binary predicate

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


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



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