| WhiteBloodCell | |
| appearance as argument number 1 |
|
|
| (documentation WhiteBloodCell EnglishLanguage "BloodCells that lack hemoglobin, contain a CellNucleus, and have no color.") | Mid-level-ontology.kif 11538-11539 | |
| (subclass WhiteBloodCell BloodCell) | Mid-level-ontology.kif 11537-11537 |
| appearance as argument number 2 |
|
|
| (subclass Monocyte WhiteBloodCell) | Mid-level-ontology.kif 11550-11550 | |
| (termFormat ChineseLanguage WhiteBloodCell "白细胞") | domainEnglishFormat.kif 63009-63009 | |
| (termFormat ChineseTraditionalLanguage WhiteBloodCell "白細胞") | domainEnglishFormat.kif 63008-63008 | |
| (termFormat EnglishLanguage WhiteBloodCell "leukocyte") | Mid-level-ontology.kif 11548-11548 | |
| (termFormat EnglishLanguage WhiteBloodCell "white blood cell") | domainEnglishFormat.kif 63007-63007 |
| antecedent |
|
|
| (=> (instance ?C WhiteBloodCell) (exists (?N) (and (instance ?N CellNucleus) (part ?N ?C)))) |
Mid-level-ontology.kif 11541-11546 |
| consequent |
|
|
| (=> (instance ?BP BloodPlasma) (not (exists (?WBC ?RBC) (and (instance ?WBC WhiteBloodCell) (instance ?RBC RedBloodCell) (part ?WBC ?BP) (part ?RBC ?BP))))) |
Medicine.kif 1151-1159 | |
| (=> (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 13728-13737 | |
| (=> (instance ?LN LymphNode) (exists (?WBC) (and (instance ?WBC WhiteBloodCell) (contains ?LN ?WBC)))) |
Mid-level-ontology.kif 13577-13582 | |
| (=> (instance ?MA MonoclonalAntibody) (exists (?WBC ?R) (and (instance ?R Replication) (instance ?WBC WhiteBloodCell) (resource ?R ?WBC) (result ?R ?MA)))) |
Mid-level-ontology.kif 11577-11584 |
|
|
|