Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BoneMarrow(bone marrow) |
| appearance as argument number 1 |
|
| (subclass BoneMarrow Tissue) | Medicine.kif 1182-1182 | Bone marrow is a subclass of tissue |
| (documentation BoneMarrow EnglishLanguage "Bone marrow is a semi-solid Tissue found within the spongy (also known as cancellous) portions of Bones. In Birds and Mammals, bone marrow is the primary site of new BloodCell production (or haematopoiesis). It is composed of hematopoietic cells, marrow adipose tissue, and supportive stromal cells. In adult Humans, bone marrow is primarily located in the Ribs, Vertebrae, Sternum, and bones of the Pelvis. Bone marrow comprises approximately 5% of total body mass in healthy adult humans, such that a man weighing 73 kg (161 lbs) will have around 3.7 kg (8 lbs) of bone marrow. [from Wikipedia].") | Medicine.kif 1183-1189 | Bone marrow is a subclass of tissue |
| (initialPart BoneMarrow Bone) | Medicine.kif 1202-1202 | Every bone marrow is initially part of a bone |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BoneMarrow "bone marrow") | Medicine.kif 1190-1190 |
| consequent |
|
|
| (=> (and (instance ?II IntraosseousInfusion) (patient ?II ?H)) (exists (?B) (and (instance ?B BoneMarrow) (destination ?II ?B) (part ?B ?H)))) |
Medicine.kif 1160-1168 | If X is an instance of intraosseous infusion and Y is a patient of X, then there exists Z such that Z is an instance of bone marrow, X ends up at Z, and Z is a part of Y |
| (=> (instance ?BC BloodCell) (holdsDuring (BeginFn (WhenFn ?BC)) (exists (?BM) (and (instance ?BM BoneMarrow) (located ?BC ?BM))))) |
Medicine.kif 1192-1200 | If X is an instance of blood cell, then there exists Y such that Y is an instance of bone marrow and X is located at Y holds during the beginning of the time of existence of X |
|