No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 154-154 | MoleculeStructuralAttribute est une sous-classe de attribut de forme |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 313-313 | ProteinStructuralAttribute est une sous-classe de MoleculeStructuralAttribute |