No TPTP formula. May not be expressible in strict first order. | Merge.kif 17729-17729 | Shape attribute is a subclass of structure attribute |
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. | Mid-level-ontology.kif 12532-12532 | Fingerprint is a subclass of shape attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17780-17780 | Geometric figure is a subclass of shape attribute |