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 11556-11557
(subclass WhiteBloodCell BloodCell)	Mid-level-ontology.kif 11555-11555	White blood cell is a subclass of blood cell

appearance as argument number 2

(subclass Monocyte WhiteBloodCell)	Mid-level-ontology.kif 11568-11568	Monocyte is a subclass of white blood cell
(termFormat ChineseLanguage WhiteBloodCell "白细胞")	domainEnglishFormat.kif 63038-63038	Monocyte is a subclass of white blood cell
(termFormat ChineseTraditionalLanguage WhiteBloodCell "白細胞")	domainEnglishFormat.kif 63037-63037	Monocyte is a subclass of white blood cell
(termFormat EnglishLanguage WhiteBloodCell "leukocyte")	Mid-level-ontology.kif 11566-11566	Monocyte is a subclass of white blood cell
(termFormat EnglishLanguage WhiteBloodCell "white blood cell")	domainEnglishFormat.kif 63036-63036	Monocyte is a subclass of white blood cell

antecedent

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

Mid-level-ontology.kif 11559-11564

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 1151-1159	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 13746-13755	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 13595-13600	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 11595-11602	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: