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

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


(termFormat EnglishLanguage Platelet "platelet") Mid-level-ontology.kif 10407-10407
(termFormat EnglishLanguage Platelet "thrombocyte") Mid-level-ontology.kif 10408-10408

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


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

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


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


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