No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 154-154 | Molecule structural attribute is a subclass of shape attribute |
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 |