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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BloodCell
BloodCell

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


(documentation BloodCell EnglishLanguage "A Cell that is normally present in Blood.") Mid-level-ontology.kif 11500-11500
(externalImage BloodCell "http://upload.wikimedia.org/wikipedia/commons/ 2/ 20/ Illu_blood_cell_lineage.jpg") pictureList.kif 4553-4553
(subclass BloodCell AnimalAnatomicalStructure) Mid-level-ontology.kif 11499-11499
(subclass BloodCell SomaticCell) Mid-level-ontology.kif 11498-11498

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


(subclass Platelet BloodCell) Mid-level-ontology.kif 11521-11521
(subclass RedBloodCell BloodCell) Mid-level-ontology.kif 11509-11509
(subclass WhiteBloodCell BloodCell) Mid-level-ontology.kif 11555-11555
(termFormat ChineseLanguage BloodCell "血细胞") domainEnglishFormat.kif 11378-11378
(termFormat ChineseTraditionalLanguage BloodCell "血細胞") domainEnglishFormat.kif 11377-11377
(termFormat EnglishLanguage BloodCell "blood cell") domainEnglishFormat.kif 11376-11376

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


(=>
    (instance ?BC BloodCell)
    (holdsDuring
        (BeginFn
            (WhenFn ?BC))
        (exists (?BM)
            (and
                (instance ?BM BoneMarrow)
                (located ?BC ?BM)))))
Medicine.kif 1203-1211
(=>
    (instance ?C BloodCell)
    (exists (?B)
        (and
            (instance ?B Blood)
            (part ?C ?B))))
Mid-level-ontology.kif 11502-11507


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