| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14714-14714 | 子類 Enzyme and Protein |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 261-261 | 子類 引發蛋白 and Enzyme |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 265-265 | 子類 DNA聚合酶 and Enzyme |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 306-306 | 子類 維生素f2蛋白 and Enzyme |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 310-310 | 子類 RNA加工酶 and Enzyme |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1132-1132 | 子類 病毒酶 and Enzyme |
|
|