| 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 | WhiteBloodCell は BloodCell の subclass では |
| appearance as argument number 2 |
|
|
| (subclass Monocyte WhiteBloodCell) | Mid-level-ontology.kif 11550-11550 | Monocyte は WhiteBloodCell の subclass では |
| (termFormat ChineseLanguage WhiteBloodCell "白细胞") | domainEnglishFormat.kif 63009-63009 | Monocyte は WhiteBloodCell の subclass では |
| (termFormat ChineseTraditionalLanguage WhiteBloodCell "白細胞") | domainEnglishFormat.kif 63008-63008 | Monocyte は WhiteBloodCell の subclass では |
| (termFormat EnglishLanguage WhiteBloodCell "leukocyte") | Mid-level-ontology.kif 11548-11548 | Monocyte は WhiteBloodCell の subclass では |
| (termFormat EnglishLanguage WhiteBloodCell "white blood cell") | domainEnglishFormat.kif 63007-63007 | Monocyte は WhiteBloodCell の subclass では |
| antecedent |
|
|
| (=> (instance ?C WhiteBloodCell) (exists (?N) (and (instance ?N CellNucleus) (part ?N ?C)))) |
Mid-level-ontology.kif 11541-11546 |
|
| consequent |
|
|
|
|
|