| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14692-14692 | Enzyme is a subclass of protein |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 261-261 | Initiator protein is a subclass of enzyme |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 265-265 | DNA polymerase is a subclass of enzyme |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 306-306 | Vit f2 protein is a subclass of enzyme |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 310-310 | RNA processing enzyme is a subclass of enzyme |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1133-1133 | Virion enzyme is a subclass of enzyme |
|
|