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

(documentation concentration EnglishLanguage "The concentration of a Substance in a Mixture. ")	Medicine.kif 228-229
(domain concentration 1 Quantity)	Medicine.kif 224-224	The number 1 argument of concentration is an instance of quantity
(domain concentration 3 Quantity)	Medicine.kif 226-226	The number 3 argument of concentration is an instance of quantity
(domain concentration 4 Mixture)	Medicine.kif 227-227	The number 4 argument of concentration is an instance of mixture
(domainSubclass concentration 2 Substance)	Medicine.kif 225-225	The number 2 argument of concentration is a subclass of substance
(instance concentration QuaternaryPredicate)	Medicine.kif 223-223	concentration is an instance of quaternary predicate

appearance as argument number 2

(format EnglishLanguage concentration "the concentration of %2 in %4 is %1 per %3")	Medicine.kif 231-231
(termFormat EnglishLanguage concentration "concentration")	Medicine.kif 232-232

antecedent

(=> (and (concentration (MeasureFn ?N1 ?U) ?S (MeasureFn ?N2 ?U2) ?M) (instance ?SI ?S) (part ?SI ?M) (measure ?SI (MeasureFn ?N3 ?U3)) (part ?SI ?M) (not (instance ?SI2 ?S)) (not (equal ?SI ?SIE2)) (part ?SI2 ?M) (measure ?M (MeasureFn ?N2 ?U2))) (approximateValue ?N1 ?N3))	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
(=> (and (instance ?B Blood) (attribute ?B DeoxygenatedBlood) (concentration (MeasureFn ?N Milliliter) CarbonDioxide (MeasureFn 100 Milliliter) ?B)) (approximateValue ?N 4))	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
(=> (and (instance ?B Blood) (attribute ?B DeoxygenatedBlood) (concentration (MeasureFn ?N Milliliter) Oxygen (MeasureFn 100 Milliliter) ?B)) (approximateValue ?N 14))	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
(=> (and (instance ?B Blood) (attribute ?B OxygenatedBlood) (concentration (MeasureFn ?N Milliliter) CarbonDioxide (MeasureFn 100 Milliliter) ?B)) (approximateValue ?N 5))	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
(=> (and (instance ?B Blood) (attribute ?B OxygenatedBlood) (concentration (MeasureFn ?N Milliliter) Oxygen (MeasureFn 100 Milliliter) ?B)) (approximateValue ?N 20))	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

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