Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Platelet
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Platelet BloodCell) | Mid-level-ontology.kif 11625-11625 | Thrombocyte is a subclass of blood cell |
| (documentation Platelet EnglishLanguage "Platelets, also called thrombocytes, are a component of blood whose function (along with the coagulation factors) is to react to bleeding from blood vessel injury by clumping, thereby initiating a blood clot. Platelets have no cell nucleus; they are fragments of cytoplasm that are derived from the megakaryocytes of the bone marrow, which then enter the circulation. Circulating inactivated platelets are biconvex discoid (lens-shaped) structures, 2–3 µm in greatest diameter. Activated platelets have cell membrane projections covering their surface. Platelets are found only in Mammals, whereas in other vertebrates (e.g. Birds, amphibians), thrombocytes circulate as intact mononuclear cells.") | Mid-level-ontology.kif 11627-11639 | Thrombocyte is a subclass of blood cell |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Platelet "platelet") | Mid-level-ontology.kif 11640-11640 | |
| (termFormat EnglishLanguage Platelet "thrombocyte") | Mid-level-ontology.kif 11641-11641 |
| antecedent |
|
|
| (=> (instance ?P Platelet) (exists (?B ?M) (and (instance ?B Blood) (instance ?M Mammal) (part ?B ?M) (part ?P ?B)))) |
Mid-level-ontology.kif 11650-11657 | If X is an instance of thrombocyte, then there exist Y, Z such that Y is an instance of blood, Z is an instance of mammal, Y is a part of Z, and X is a part of Y |
| consequent |
|
|
| (=> (instance ?C Clotting) (exists (?P) (and (instance ?P Platelet) (instrument ?C ?P)))) |
Mid-level-ontology.kif 11643-11648 | If X is an instance of coagulation, then there exists Y such that Y is an instance of thrombocyte and Y is an instrument for X |
|