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


KB Term:  Term intersection
English Word: 

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 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