No TPTP formula. May not be expressible in strict first order. | Merge.kif 17751-17751 | 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 12531-12531 | Fingerprint is a subclass of shape attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17802-17802 | Geometric figure is a subclass of shape attribute |