| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14714-14714 | Enzyme est une sous-classe de prot�ine |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 261-261 | InitiatorProtein est une sous-classe de enzyme |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 265-265 | DNAPolymerase est une sous-classe de enzyme |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 306-306 | VitF2Protein est une sous-classe de enzyme |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 310-310 | RNAProcessingEnzyme est une sous-classe de enzyme |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1132-1132 | VirionEnzyme est une sous-classe de enzyme |
|
|