Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - RedBloodCell
RedBloodCell(red blood cell)
RBC, erythrocyte, red_blood_cell, reticulocyte, target_cell

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


(subclass RedBloodCell BloodCell) Mid-level-ontology.kif 11613-11613 Red blood cell is a subclass of blood cell
(documentation RedBloodCell EnglishLanguage "BloodCells that contain hemoglobin, lack a CellNucleus, and carry Oxygen to the tissues of the body.") Mid-level-ontology.kif 11614-11615 Red blood cell is a subclass of blood cell
(externalImage RedBloodCell "http://upload.wikimedia.org/wikipedia/commons/ 1/ 13/ Redbloodcells.jpg") pictureList.kif 6812-6812 Red blood cell is a subclass of blood cell
(externalImage RedBloodCell "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ Sicklecells.jpg") pictureList.kif 7709-7709 Red blood cell is a subclass of blood cell
(externalImage RedBloodCell "http://upload.wikimedia.org/wikipedia/commons/ 8/ 89/ Gray453.png") pictureList.kif 7710-7710 Red blood cell is a subclass of blood cell

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


(termFormat EnglishLanguage RedBloodCell "red blood cell") domainEnglishFormat.kif 49047-49047
(termFormat ChineseTraditionalLanguage RedBloodCell "紅細胞") domainEnglishFormat.kif 49048-49048
(termFormat ChineseLanguage RedBloodCell "红细胞") domainEnglishFormat.kif 49049-49049

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


(=>
    (instance ?C RedBloodCell)
    (not
        (exists (?N)
            (and
                (instance ?N CellNucleus)
                (part ?N ?C)))))		 Mid-level-ontology.kif 11617-11623 If X is an instance of red blood cell, then there doesn't exist Y such that Y is an instance of cell nucleus and Y is a part of X

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


(=>
    (instance ?BP BloodPlasma)
    (not
        (exists (?WBC ?RBC)
            (and
                (instance ?WBC WhiteBloodCell)
                (instance ?RBC RedBloodCell)
                (part ?WBC ?BP)
                (part ?RBC ?BP)))))		 Medicine.kif 1140-1148 If X is an instance of blood plasma, then there don't exist Y, Z such that Y is an instance of leukocyte, Z is an instance of red blood cell, Y is a part of X, and Z is a part of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners