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

appearance as argument number 2

(subclass Monocyte WhiteBloodCell)	Mid-level-ontology.kif 10439-10439	Monocyte is a subclass of white blood cell
(termFormat ChineseLanguage WhiteBloodCell "白细胞")	domainEnglishFormat.kif 63063-63063	Monocyte is a subclass of white blood cell
(termFormat ChineseTraditionalLanguage WhiteBloodCell "白細胞")	domainEnglishFormat.kif 63062-63062	Monocyte is a subclass of white blood cell
(termFormat EnglishLanguage WhiteBloodCell "leukocyte")	Mid-level-ontology.kif 10437-10437	Monocyte is a subclass of white blood cell
(termFormat EnglishLanguage WhiteBloodCell "white blood cell")	domainEnglishFormat.kif 63061-63061	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 10430-10435

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 12615-12624	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 12464-12469	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 10466-10473	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: