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

appearance as argument number 2

(subclass Monocyte WhiteBloodCell)	Mid-level-ontology.kif 11117-11117	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 11115-11115	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 11108-11113

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 1147-1155	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 13293-13302	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 13142-13147	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 11144-11151	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: