| 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 17901-17902 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17897-17897 | Shape attribute is a subclass of structure attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2678-2678 | Concave is an instance of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1426-1426 | Cone segment is an instance of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2646-2646 | Convex is an instance of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27246-27246 | Disk shaped is an instance of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10072-10072 | Fillable is an instance of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3244-3244 | Flat is an instance of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3281-3281 | Level shape is an instance of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20995-20995 | Line formation is an instance of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3264-3264 | Long and thin is an instance of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4470-4470 | Ring torus is an instance of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27238-27238 | Round two dimensional is an instance of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3301-3301 | Symmetric shape is an instance of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13863-13863 | Fingerprint is a subclass of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17948-17948 | Geometric figure is a subclass of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 158-158 | 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 | Molecule structural attribute is a subclass of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1729-1729 | Molecule structural attribute is a subclass of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 932-932 | Molecule structural attribute is a subclass of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 466-466 | Molecule structural attribute is a subclass of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 469-469 | Molecule structural attribute is a subclass of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2616-2616 | Molecule structural attribute is a subclass of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 884-884 | Molecule structural attribute is a subclass of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 471-471 | Molecule structural attribute is a subclass of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 505-505 | Molecule structural attribute is a subclass of shape attribute |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 410-410 | The number 2 argument of cell shape is an instance of shape attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7657-7657 | 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 17904-17909 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7660-7665 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12795-12808 |
|
|
|
|