| BloodCell
| |
| appearance as argument number 1 |
|
|
| (documentation BloodCell EnglishLanguage "A Cell that is normally present in Blood.") | Mid-level-ontology.kif 9143-9143 | |
| (externalImage BloodCell "http://upload.wikimedia.org/wikipedia/commons/ 2/ 20/ Illu_blood_cell_lineage.jpg") | pictureList.kif 4555-4555 | |
| (subclass BloodCell AnimalAnatomicalStructure) | Mid-level-ontology.kif 9142-9142 | subclass BloodCell and AnimalAnatomicalStructure |
| (subclass BloodCell Cell) | Mid-level-ontology.kif 9141-9141 | subclass BloodCell and Cell |
| appearance as argument number 2 |
|
|
| (subclass RedBloodCell BloodCell) | Mid-level-ontology.kif 9151-9151 | subclass RedBloodCell and BloodCell |
| (subclass WhiteBloodCell BloodCell) | Mid-level-ontology.kif 9162-9162 | subclass WhiteBloodCell and BloodCell |
| (termFormat ChineseLanguage BloodCell "血细胞") | domainEnglishFormat.kif 11309-11309 | |
| (termFormat ChineseTraditionalLanguage BloodCell "血細胞") | domainEnglishFormat.kif 11308-11308 | |
| (termFormat EnglishLanguage BloodCell "blood cell") | domainEnglishFormat.kif 11307-11307 |
| antecedent |
|
|
| (=> (instance ?C BloodCell) (exists (?B) (and (instance ?B Blood) (part ?C ?B)))) |
Mid-level-ontology.kif 9144-9149 |
|
|
|