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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Platelet
Platelet(thrombocyte)

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


(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 11072-11084
(subclass Platelet BloodCell) Mid-level-ontology.kif 11070-11070 Thrombocyte is a subclass of blood cell

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


(termFormat EnglishLanguage Platelet "platelet") Mid-level-ontology.kif 11085-11085
(termFormat EnglishLanguage Platelet "thrombocyte") Mid-level-ontology.kif 11086-11086

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


(=>
    (instance ?P Platelet)
    (exists (?B ?M)
        (and
            (instance ?B Blood)
            (instance ?M Mammal)
            (part ?B ?M)
            (part ?P ?B))))
Mid-level-ontology.kif 11095-11102

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


(=>
    (instance ?C Clotting)
    (exists (?P)
        (and
            (instance ?P Platelet)
            (instrument ?C ?P))))
Mid-level-ontology.kif 11088-11093


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