| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1099-1099 | 子類 病毒部分 and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1114-1114 | 子類 病毒核心信封 and 病毒部分 |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1118-1118 | 子類 病毒外膜 and 病毒部分 |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1122-1122 | 子類 柵欄 and 病毒部分 |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1151-1151 | 子類 病毒核心 and 病毒部分 |
|
|