TreeView Knowledge Base Browser

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5775-5782	If a mixture is an instance of blood and deoxygenated 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 4
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5766-5773	If a mixture is an instance of blood and deoxygenated 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 14
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