WhiteBloodCell
|
|
appearance as argument number 1 |
(documentation WhiteBloodCell EnglishLanguage "BloodCells that lack hemoglobin, contain a CellNucleus, and have no color.") | Mid-level-ontology.kif 10209-10210 | |
(subclass WhiteBloodCell BloodCell) | Mid-level-ontology.kif 10208-10208 |
appearance as argument number 2 |
(subclass Monocyte WhiteBloodCell) | Mid-level-ontology.kif 10221-10221 | |
(termFormat ChineseLanguage WhiteBloodCell "白细胞") | domainEnglishFormat.kif 63015-63015 | |
(termFormat ChineseTraditionalLanguage WhiteBloodCell "白細胞") | domainEnglishFormat.kif 63014-63014 | |
(termFormat EnglishLanguage WhiteBloodCell "leukocyte") | Mid-level-ontology.kif 10219-10219 | |
(termFormat EnglishLanguage WhiteBloodCell "white blood cell") | domainEnglishFormat.kif 63013-63013 |
antecedent |
(=> (instance ?C WhiteBloodCell) (exists (?N) (and (instance ?N CellNucleus) (part ?N ?C)))) |
Mid-level-ontology.kif 10212-10217 |
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 12397-12406 | |
(=> (instance ?LN LymphNode) (exists (?WBC) (and (instance ?WBC WhiteBloodCell) (contains ?LN ?WBC)))) |
Mid-level-ontology.kif 12246-12251 | |
(=> (instance ?MA MonoclonalAntibody) (exists (?WBC ?R) (and (instance ?R Replication) (instance ?WBC WhiteBloodCell) (resource ?R ?WBC) (result ?R ?MA)))) |
Mid-level-ontology.kif 10248-10255 |