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