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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BloodPlasma
BloodPlasma(blood plasma)

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


(documentation BloodPlasma EnglishLanguage "Blood plasma is a light amber-colored liquid component of blood in which blood cells are absent, but which contains proteins and other constituents of whole blood in suspension. It makes up about 55% of the body's total blood volume. It is the intravascular part of extracellular fluid (all body fluid outside cells). It is mostly water (up to 95% by volume), and contains important dissolved proteins (6–8%; e.g., serum albumins, globulins, and fibrinogen), glucose, clotting factors, electrolytes (Na+, Ca2+, Mg2+, HCO3−, Cl−, etc.), hormones, carbon dioxide (plasma being the main medium for excretory product transportation), and oxygen. It plays a vital role in an intravascular osmotic effect that keeps electrolyte concentration balanced and protects the body from infection and other blood-related disorders.[from Wikipedia]") Medicine.kif 1141-1149
(subclass BloodPlasma BodySubstance) Medicine.kif 1140-1140 Blood plasma is a subclass of body substance

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


(termFormat EnglishLanguage BloodPlasma "blood plasma") Medicine.kif 1150-1150

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


(=>
    (instance ?BP BloodPlasma)
    (not
        (exists (?WBC ?RBC)
            (and
                (instance ?WBC WhiteBloodCell)
                (instance ?RBC RedBloodCell)
                (part ?WBC ?BP)
                (part ?RBC ?BP)))))
Medicine.kif 1159-1167

consequent
-------------------------


(=>
    (instance ?B Blood)
    (exists (?BP)
        (and
            (instance ?BP BloodPlasma)
            (part ?BP ?B))))
Medicine.kif 1152-1157


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