TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5739-5740
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5738-5738	Oxygenated blood is an instance of saturation attribute

appearance as argument number 2

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

Medicine.kif 5741-5741

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5752-5759	If a mixture is an instance of blood and oxygenated blood is an attribute of the mixture and the concentration of carbon dioxide in the mixture is a real number Milliliter(s) per 100 Milliliter(s), then the approximate value of the real number is 5
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5743-5750	If a mixture is an instance of blood and oxygenated blood is an attribute of the mixture and the concentration of oxygen in the mixture is a real number Milliliter(s) per 100 Milliliter(s), then the approximate value of the real number is 20

consequent

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

Medicine.kif 5796-5806