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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BloodCell

Sigma KEE - BloodCell
BloodCell

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


(documentation BloodCell EnglishLanguage "A Cell that is normally present in Blood.") Mid-level-ontology.kif 9143-9143
(externalImage BloodCell "http://upload.wikimedia.org/wikipedia/commons/ 2/ 20/ Illu_blood_cell_lineage.jpg") pictureList.kif 4555-4555
(subclass BloodCell AnimalAnatomicalStructure) Mid-level-ontology.kif 9142-9142 subclass BloodCell and AnimalAnatomicalStructure
(subclass BloodCell Cell) Mid-level-ontology.kif 9141-9141 subclass BloodCell and Cell

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


(subclass RedBloodCell BloodCell) Mid-level-ontology.kif 9151-9151 subclass RedBloodCell and BloodCell
(subclass WhiteBloodCell BloodCell) Mid-level-ontology.kif 9162-9162 subclass WhiteBloodCell and BloodCell
(termFormat ChineseLanguage BloodCell "血细胞") domainEnglishFormat.kif 11375-11375
(termFormat ChineseTraditionalLanguage BloodCell "血細胞") domainEnglishFormat.kif 11374-11374
(termFormat EnglishLanguage BloodCell "blood cell") domainEnglishFormat.kif 11373-11373

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


(=>
    (instance ?C BloodCell)
    (exists (?B)
        (and
            (instance ?B Blood)
            (part ?C ?B))))
Mid-level-ontology.kif 9144-9149


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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