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

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


(termFormat EnglishLanguage Platelet "platelet") Mid-level-ontology.kif 11518-11518
(termFormat EnglishLanguage Platelet "thrombocyte") Mid-level-ontology.kif 11519-11519

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


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

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


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


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