| ShapeAttribute(shape attribute) | | 3-D, 3D, Platonic_body, Platonic_solid, abruptly-pinnate, acanthoid, acanthous, acellular, acerate, acerose, acetabular, acicular, aciculate, acid-base_balance, acid-base_equilibrium, acneiform, acuate, acuminate, acute, acuteness, adamantine, alabaster, alabastrine, aligned, allantoid, almond-shaped, alveolate, ameboid, amethystine, amoeboid, amorphous_shape, amygdaliform, amygdaline, amygdaloid, amygdaloidal, anchor_ring, anfractuous, angled, angular, angular_shape, angularity, angulate, annulus, antiphonal, antiphonary, apiculate, aquiline, arboreal, arboreous, arborescent... |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3961-3961 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16561-16562 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16557-16557 | Shape attribute is a subclass of StructureAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21811-21811 | Circular is an instance of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2637-2637 | Concave is an instance of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1440-1440 | Cone segment is an instance of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2605-2605 | Convex is an instance of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21819-21819 | DiskShaped is an instance of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21803-21803 | Elliptical is an instance of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9396-9396 | Fillable is an instance of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2717-2717 | Flat is an instance of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2750-2750 | Level shape is an instance of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15963-15963 | Line formation is an instance of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2735-2735 | Long and thin is an instance of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4425-4425 | Ring torus is an instance of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21800-21800 | RoundTwoDimensional is an instance of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2770-2770 | Symmetric shape is an instance of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9402-9402 | Fingerprint is a subclass of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16608-16608 | Geometric figure is a subclass of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 109-109 | Molecule structural attribute is a subclass of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1254-1254 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1734-1734 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21790-21790 | The number 2 argument of shape is an instance of shape attribute |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16564-16569 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21793-21798 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11764-11777 |
|
|
|
|