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 5750-5751
(instance DeoxygenatedBlood Blood) Medicine.kif 5749-5749 Deoxygenated blood is an instance of blood

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


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

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


(=>
    (and
        (instance ?B Blood)
        (attribute ?B DeoxygenatedBlood)
        (concentration
            (MeasureFn ?N Milliliter) CarbonDioxide
            (MeasureFn 100 Milliliter) ?B))
    (approximateValue ?N 4))
Medicine.kif 5763-5770
(=>
    (and
        (instance ?B Blood)
        (attribute ?B DeoxygenatedBlood)
        (concentration
            (MeasureFn ?N Milliliter) Oxygen
            (MeasureFn 100 Milliliter) ?B))
    (approximateValue ?N 14))
Medicine.kif 5754-5761


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