concentration - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - concentration

concentration

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 228-229
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 224-224	The number 1 argument of concentration is an instance of quantity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 226-226	The number 3 argument of concentration is an instance of quantity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 227-227	The number 4 argument of concentration is an instance of mixture
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 225-225	The number 2 argument of concentration is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 223-223	concentration is an instance of quaternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 231-231
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 232-232

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 234-249	If the concentration of a kind of substance in a mixture is a real number an unit of measure(s) per another real number the unit of measure2(s) and a kind of substanceI is an instance of the kind of substance and the kind of substanceI is a part of the mixture and the measure of the kind of substanceI is a third real number the unit of measure3(s) and the kind of substanceI is a part of the mixture and the kind of substanceI2 is not an instance of the kind of substance and the kind of substanceI is not equal to the kind of substanceIE2 and the kind of substanceI2 is a part of the mixture and the measure of the mixture is the other real number the unit of measure2(s), then the approximate value of the real number is the third real number
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5763-5770	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 5754-5761	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 5740-5747	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 5731-5738	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

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