No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 154-154 | MoleculeStructuralAttribute e' uma sub-classe de Atributo de Forma |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 313-313 | ProteinStructuralAttribute e' uma sub-classe de MoleculeStructuralAttribute |
![]() |