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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Platelet
Platelet

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 10203-10215
(subclass Platelet BloodCell) Mid-level-ontology.kif 10201-10201 Platelet è una sottoclasse di BloodCell

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


(termFormat EnglishLanguage Platelet "platelet") Mid-level-ontology.kif 10216-10216
(termFormat EnglishLanguage Platelet "thrombocyte") Mid-level-ontology.kif 10217-10217

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


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

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


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


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