| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14714-14714 | 酶 是 蛋白质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 261-261 | 引发蛋白 是 酶 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 265-265 | DNA聚合酶 是 酶 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 306-306 | 维生素f2蛋白 是 酶 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 310-310 | RNA加工酶 是 酶 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1132-1132 | 病毒酶 是 酶 的 subclass |
|
|