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


KB Term:  Term intersection
English Word: 

  RedBloodCell

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