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 10371-10371
(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 10370-10370
(subclass BloodCell SomaticCell) Mid-level-ontology.kif 10369-10369

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


(subclass Platelet BloodCell) Mid-level-ontology.kif 10392-10392
(subclass RedBloodCell BloodCell) Mid-level-ontology.kif 10380-10380
(subclass WhiteBloodCell BloodCell) Mid-level-ontology.kif 10426-10426
(termFormat ChineseLanguage BloodCell "血细胞") domainEnglishFormat.kif 11374-11374
(termFormat ChineseTraditionalLanguage BloodCell "血細胞") domainEnglishFormat.kif 11373-11373
(termFormat EnglishLanguage BloodCell "blood cell") domainEnglishFormat.kif 11372-11372

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


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


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