| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 186-186 | 子類 痘苗病毒 and 正痘 |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 193-193 | 子類 牛痘病毒粒子 and 痘苗病毒 |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 217-217 | 子類 後代痘苗病毒不成熟 and 痘苗病毒 |
|
|