Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - OxygenatedBlood
OxygenatedBlood

appearance as argument number 1
-------------------------


(instance OxygenatedBlood SaturationAttribute) Medicine.kif 5763-5763
(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 5764-5765

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage OxygenatedBlood "oxygenated blood") Medicine.kif 5766-5766

antecedent
-------------------------


(=>
    (and
        (instance ?B Blood)
        (attribute ?B OxygenatedBlood)
        (concentration
            (MeasureFn ?N Milliliter) Oxygen
            (MeasureFn 100 Milliliter) ?B))
    (approximateValue ?N 20))		 Medicine.kif 5768-5775
(=>
    (and
        (instance ?B Blood)
        (attribute ?B OxygenatedBlood)
        (concentration
            (MeasureFn ?N Milliliter) CarbonDioxide
            (MeasureFn 100 Milliliter) ?B))
    (approximateValue ?N 5))		 Medicine.kif 5777-5784

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 5821-5831


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners