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

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 10239-10244

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 12424-12433	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 12273-12278	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 10275-10282	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: