Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  WhiteBloodCell

Sigma KEE - WhiteBloodCell
WhiteBloodCell

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

appearance as argument number 2
-------------------------


(subclass Monocyte WhiteBloodCell) Mid-level-ontology.kif 10248-10248
(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

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
(=>
    (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
(=>
    (instance ?LN LymphNode)
    (exists (?WBC)
        (and
            (instance ?WBC WhiteBloodCell)
            (contains ?LN ?WBC))))
Mid-level-ontology.kif 12273-12278
(=>
    (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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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