OxygenatedBlood - Sigma Knowledge base Browser

appearance as argument number 1

(documentation OxygenatedBlood EnglishLanguage "The concentrations of Oxygen is 20% and that of CarbonDioxide is 4% in oxygenated blood. from doi: 10.1183/ 20734735.001415")	Medicine.kif 5727-5728
(instance OxygenatedBlood SaturationAttribute)	Medicine.kif 5726-5726	Oxygenated blood is an instance of saturation attribute

appearance as argument number 2

(termFormat EnglishLanguage OxygenatedBlood "oxygenated blood")

Medicine.kif 5729-5729

antecedent

(=> (and (instance ?B Blood) (attribute ?B OxygenatedBlood) (concentration (MeasureFn ?N Milliliter) CarbonDioxide (MeasureFn 100 Milliliter) ?B)) (approximateValue ?N 5))	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
(=> (and (instance ?B Blood) (attribute ?B OxygenatedBlood) (concentration (MeasureFn ?N Milliliter) Oxygen (MeasureFn 100 Milliliter) ?B)) (approximateValue ?N 20))	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

consequent

(=>
    (attribute ?H Shock)
    (exists (?T)
        (and
            (instance ?T Tissue)
            (part ?T ?H)
            (not
                (exists (?OB)
                    (and
                        (attribute ?OB OxygenatedBlood)
                        (part ?OB ?T)))))))

Medicine.kif 5784-5794

If shock is an attribute of an object,
then there exists another object such that the other object is an instance of tissue and the other object is a part of the object and there doesn't exist a third object such that oxygenated blood is an attribute of the third object and the third object is a part of the other object

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

KB Term:			Term intersection

English Word: