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


KB Term:  Term intersection
English Word: 

  WhiteBloodCell

 Sigma KEE - WhiteBloodCell
WhiteBloodCell(leukocyte)WBC, leucocyte, leukocyte, white_blood_cell, white_blood_corpuscle, white_cell, white_corpuscle

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


(subclass WhiteBloodCell BloodCell) Mid-level-ontology.kif 11659-11659 Leukocyte is a subclass of blood cell
(documentation WhiteBloodCell EnglishLanguage "BloodCells that lack hemoglobin, contain a CellNucleus, and have no color.") Mid-level-ontology.kif 11660-11661 Leukocyte is a subclass of blood cell

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


(termFormat EnglishLanguage WhiteBloodCell "leukocyte") Mid-level-ontology.kif 11670-11670
(subclass Monocyte WhiteBloodCell) Mid-level-ontology.kif 11672-11672 Monocyte is a subclass of leukocyte
(termFormat EnglishLanguage WhiteBloodCell "white blood cell") domainEnglishFormat.kif 63016-63016 Monocyte is a subclass of leukocyte
(termFormat ChineseTraditionalLanguage WhiteBloodCell "白細胞") domainEnglishFormat.kif 63017-63017 Monocyte is a subclass of leukocyte
(termFormat ChineseLanguage WhiteBloodCell "白细胞") domainEnglishFormat.kif 63018-63018 Monocyte is a subclass of leukocyte

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


(=>
    (instance ?C WhiteBloodCell)
    (exists (?N)
        (and
            (instance ?N CellNucleus)
            (part ?N ?C))))		 Mid-level-ontology.kif 11663-11668 If X is an instance of leukocyte, then there exists Y such that Y is an instance of cell nucleus and Y is a part of X

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


(=>
    (instance ?MA MonoclonalAntibody)
    (exists (?WBC ?R)
        (and
            (instance ?R Replication)
            (instance ?WBC WhiteBloodCell)
            (resource ?R ?WBC)
            (result ?R ?MA))))		 Mid-level-ontology.kif 11699-11706 If X is an instance of monoclonal antibody, then there exist Y, Z such that Z is an instance of replication, Y is an instance of leukocyte, Y is a resource for Z, and X is a result of Z
(=>
    (instance ?LN LymphNode)
    (exists (?WBC)
        (and
            (instance ?WBC WhiteBloodCell)
            (contains ?LN ?WBC))))		 Mid-level-ontology.kif 13843-13848 If X is an instance of lymph gland, then there exists Y such that Y is an instance of leukocyte and X contains Y
(=>
    (instance ?I Inflammation)
    (exists (?T ?W)
        (and
            (instance ?T Translocation)
            (instance ?W WhiteBloodCell)
            (objectTransferred ?T ?W)
            (destination ?T
                (WhereFn ?I
                    (WhenFn ?I))))))		 Mid-level-ontology.kif 14012-14021 If X is an instance of inflammation, then there exist Y, Z such that Y is an instance of translocation, Z is an instance of leukocyte, the object transferred in Y is Z, and Y ends up at the place where X was at the time of existence of X
(=>
    (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