TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1249-1257
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1248-1248	Pulse oximeter is a subclass of medical device

appearance as argument number 2

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

Medicine.kif 1258-1258

antecedent

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
No TPTP formula. May not be expressible in strict first order.	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

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

Medicine.kif 1271-1280