TreeView Knowledge Base Browser

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	Die Zahl 1 Argument von oxygenSaturation ist ein fall von Human %n{nicht}
(domain oxygenSaturation 2 RealNumber)	Medicine.kif 1227-1227	Die Zahl 2 Argument von oxygenSaturation ist ein fall von RealNumber %n{nicht}
(instance oxygenSaturation BinaryPredicate)	Medicine.kif 1225-1225	oxygenSaturation ist ein fall von BinaryPredicate %n{nicht}

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	Wenn oxygenSaturation entity and entity und entity ist kleinerAls 92.0 %n{nicht} haelt waehrend TimePosition %n{nicht}, dann Hypoxia ist ein attribut von entity %n{nicht} haelt waehrend ** TimePosition %n{nicht}
(=> (oxygenSaturation ?H ?N) (and (greaterThan ?N 0.0) (lessThan ?N 100.0)))	Medicine.kif 1234-1238	Wenn oxygenSaturation Human and RealNumber, dann RealNumber ist groesserAls 0.0 %n{nicht} und RealNumber ist kleinerAls 100.0 %n{nicht}

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