No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1100-1100 | VirusPart est une sous-classe de partie du corps |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1115-1115 | VirusCoreEnvelope est une sous-classe de VirusPart |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1119-1119 | VirusOuterMembrane est une sous-classe de VirusPart |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1123-1123 | Palisade est une sous-classe de VirusPart |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1152-1152 | ViralCore est une sous-classe de VirusPart |