No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 313-313 | ProteinStructuralAttribute est une sous-classe de MoleculeStructuralAttribute |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 320-320 | ProteinStructuralAttributeComposite est une sous-classe de ProteinStructuralAttribute |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 329-329 | ProteinStructuralAttributePrimitive est une sous-classe de ProteinStructuralAttribute |