WhiteBloodCell - Sigma Knowledge base Browser

appearance as argument number 1

(documentation WhiteBloodCell EnglishLanguage "BloodCells that lack hemoglobin, contain a CellNucleus, and have no color.")	Mid-level-ontology.kif 10208-10209
(subclass WhiteBloodCell BloodCell)	Mid-level-ontology.kif 10207-10207	White blood cell is a subclass of blood cell

appearance as argument number 2

(subclass Monocyte WhiteBloodCell)	Mid-level-ontology.kif 10220-10220	Monocyte is a subclass of white blood cell
(termFormat ChineseLanguage WhiteBloodCell "白细胞")	domainEnglishFormat.kif 63015-63015
(termFormat ChineseTraditionalLanguage WhiteBloodCell "白細胞")	domainEnglishFormat.kif 63014-63014
(termFormat EnglishLanguage WhiteBloodCell "leukocyte")	Mid-level-ontology.kif 10218-10218
(termFormat EnglishLanguage WhiteBloodCell "white blood cell")	domainEnglishFormat.kif 63013-63013

antecedent

(=>
    (instance ?C WhiteBloodCell)
    (exists (?N)
        (and
            (instance ?N CellNucleus)
            (part ?N ?C))))

Mid-level-ontology.kif 10211-10216

If an object is an instance of white blood cell,
then there exists another object such that the other object is an instance of cell nucleus and the other object is a part of the object

consequent

(=> (instance ?BP BloodPlasma) (not (exists (?WBC ?RBC) (and (instance ?WBC WhiteBloodCell) (instance ?RBC RedBloodCell) (part ?WBC ?BP) (part ?RBC ?BP)))))	Medicine.kif 1159-1167	If an object is an instance of blood plasma, then there don't exist another object and a third object such that the other object is an instance of white blood cell and the third object is an instance of red blood cell and the other object is a part of the object and the third object is a part of the object
(=> (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 12396-12405	If a physical is an instance of inflammation, then there exist a transfer and an object such that the transfer is an instance of translocation and the object is an instance of white blood cell and the object transferred in the transfer is the object and the transfer ends up at the place where the physical was at the time of existence of the physical
(=> (instance ?LN LymphNode) (exists (?WBC) (and (instance ?WBC WhiteBloodCell) (contains ?LN ?WBC))))	Mid-level-ontology.kif 12245-12250	If a self connected object is an instance of lymph gland, then there exists an object such that the object is an instance of white blood cell and the self connected object contains the object
(=> (instance ?MA MonoclonalAntibody) (exists (?WBC ?R) (and (instance ?R Replication) (instance ?WBC WhiteBloodCell) (resource ?R ?WBC) (result ?R ?MA))))	Mid-level-ontology.kif 10247-10254	If an entity is an instance of monoclonal antibody, then there exist an object and a process such that the process is an instance of replication and the object is an instance of white blood cell and the object is a resource for the process and the entity is a result of the process

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: