WhiteBloodCell(white blood cell) | WBC, leucocyte, leukocyte, white_blood_cell, white_blood_corpuscle, white_cell, white_corpuscle |
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 | White blood cell is a subclass of blood cell |
appearance as argument number 2 |
(subclass Monocyte WhiteBloodCell) | Mid-level-ontology.kif 10248-10248 | Monocyte is a subclass of white blood cell |
(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 |