Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BloodPlasma(blood plasma) |
| appearance as argument number 1 |
|
| (subclass BloodPlasma BodySubstance) | Medicine.kif 1121-1121 | Blood plasma is a subclass of body substance |
| (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 1122-1130 | Blood plasma is a subclass of body substance |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BloodPlasma "blood plasma") | Medicine.kif 1131-1131 |
| antecedent |
|
|
| (=> (instance ?BP BloodPlasma) (not (exists (?WBC ?RBC) (and (instance ?WBC WhiteBloodCell) (instance ?RBC RedBloodCell) (part ?WBC ?BP) (part ?RBC ?BP))))) |
Medicine.kif 1140-1148 | If X is an instance of blood plasma, then there don't exist Y, Z such that Y is an instance of leukocyte, Z is an instance of red blood cell, Y is a part of X, and Z is a part of X |
| consequent |
|
|
| (=> (instance ?B Blood) (exists (?BP) (and (instance ?BP BloodPlasma) (part ?BP ?B)))) |
Medicine.kif 1133-1138 | If X is an instance of blood, then there exists Y such that Y is an instance of blood plasma and Y is a part of X |
|