No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 313-313 | Protein structural attribute is a subclass of molecule structural attribute |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 320-320 | Protein structural attribute composite is a subclass of protein structural attribute |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 329-329 | Protein structural attribute primitive is a subclass of protein structural attribute |