Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DeoxygenatedBlood
DeoxygenatedBlood(deoxygenated blood)

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


(documentation DeoxygenatedBlood EnglishLanguage "The concentrations of Oxygen is 14% and that of CarbonDioxide is 4% in deoxygenated blood. from doi: 10.1183/ 20734735.001415") Medicine.kif 5762-5763
(instance DeoxygenatedBlood Blood) Medicine.kif 5761-5761 Deoxygenated blood is an instance of blood

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


(termFormat EnglishLanguage DeoxygenatedBlood "deoxygenated blood") Medicine.kif 5764-5764

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


(=>
    (and
        (instance ?B Blood)
        (attribute ?B DeoxygenatedBlood)
        (concentration
            (MeasureFn ?N Milliliter) CarbonDioxide
            (MeasureFn 100 Milliliter) ?B))
    (approximateValue ?N 4))
Medicine.kif 5775-5782
(=>
    (and
        (instance ?B Blood)
        (attribute ?B DeoxygenatedBlood)
        (concentration
            (MeasureFn ?N Milliliter) Oxygen
            (MeasureFn 100 Milliliter) ?B))
    (approximateValue ?N 14))
Medicine.kif 5766-5773


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