oxygenSaturation - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1228-1230
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1226-1226	The number 1 argument of oxygen saturation is an instance of human
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1227-1227	The number 2 argument of oxygen saturation is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1225-1225	oxygen saturation is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1232-1232
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1231-1231

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1240-1246	If the oxygen saturation of an entity is another entity percent and the other entity is less than 92.0 holds during a time position, then Hypoxia is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1234-1238	If the oxygen saturation of a human is a real number percent, then the real number is greater than 0.0 and the real number is less than 100.0

consequent

No TPTP formula. May not be expressible in strict first order.

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

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