No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 193-193 | 牛痘病毒粒子 是 痘苗病毒 的 subclass |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 204-204 | 细胞内成熟的病毒粒子痘苗 是 牛痘病毒粒子 的 subclass |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 208-208 | 细胞内包膜病毒粒子痘苗 是 牛痘病毒粒子 的 subclass |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 212-212 | 细胞外包膜病毒粒子牛痘 是 牛痘病毒粒子 的 subclass |