|
|
   WhiteBloodCell
|
|
|
| appearance as argument number 1 |
|
|
| (documentation WhiteBloodCell EnglishLanguage "BloodCells that lack hemoglobin, contain a CellNucleus, and have no color.") | Mid-level-ontology.kif 10208-10209 | |
| (subclass WhiteBloodCell BloodCell) | Mid-level-ontology.kif 10207-10207 | WhiteBloodCell ist eine teilkategorie von BloodCell |
| appearance as argument number 2 |
|
|
| (subclass Monocyte WhiteBloodCell) | Mid-level-ontology.kif 10220-10220 | Monocyte ist eine teilkategorie von WhiteBloodCell |
| (termFormat ChineseLanguage WhiteBloodCell "白细胞") | domainEnglishFormat.kif 63015-63015 | |
| (termFormat ChineseTraditionalLanguage WhiteBloodCell "白細胞") | domainEnglishFormat.kif 63014-63014 | |
| (termFormat EnglishLanguage WhiteBloodCell "leukocyte") | Mid-level-ontology.kif 10218-10218 | |
| (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 10211-10216 |
|
| 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 12396-12405 |
|
| (=> (instance ?LN LymphNode) (exists (?WBC) (and (instance ?WBC WhiteBloodCell) (contains ?LN ?WBC)))) |
Mid-level-ontology.kif 12245-12250 |
|
| (=> (instance ?MA MonoclonalAntibody) (exists (?WBC ?R) (and (instance ?R Replication) (instance ?WBC WhiteBloodCell) (resource ?R ?WBC) (result ?R ?MA)))) |
Mid-level-ontology.kif 10247-10254 |
|
|
|
|