TreeView Knowledge Base Browser

appearance as argument number 1

(instance oxygenSaturation BinaryPredicate)	Medicine.kif 1206-1206	oxygen saturation is an instance of binary predicate
(domain oxygenSaturation 1 Human)	Medicine.kif 1207-1207	The number 1 argument of oxygen saturation is an instance of human
(domain oxygenSaturation 2 RealNumber)	Medicine.kif 1208-1208	The number 2 argument of oxygen saturation is an instance of real number
(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 1209-1211	The number 2 argument of oxygen saturation is an instance of real number

appearance as argument number 2

(termFormat EnglishLanguage oxygenSaturation "oxygen saturation")	Medicine.kif 1212-1212
(format EnglishLanguage oxygenSaturation "the oxygen saturation of %1 is %2 percent")	Medicine.kif 1213-1213

antecedent

(=> (oxygenSaturation ?H ?N) (and (greaterThan ?N 0.0) (lessThan ?N 100.0)))	Medicine.kif 1215-1219	If the oxygen saturation of X is Y percent, then Y is greater than 0.0 and Y is less than 100.0
(=> (holdsDuring ?T (and (oxygenSaturation ?H ?N) (lessThan ?N 92.0))) (holdsDuring ?T (attribute ?H Hypoxia)))	Medicine.kif 1221-1227	If the oxygen saturation of X is Y percent and Y is less than 92.0 holds during Z, then Hypoxia is an attribute of X holds during Z

consequent

(=>
    (and
        (instance ?M Measuring)
        (instrument ?M ?PO)
        (agent ?M ?A)
        (patient ?M ?P)
        (instance ?PO PulseOximeter))
    (exists (?N)
        (knows ?A
            (oxygenSaturation ?P ?N))))

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