ThreeDimensionalFigure(three dimensional figure) | 3-dimensional, cube, frustum, prismatoid, prismoid, quadrate, regular_dodecahedron, regular_hexahedron, regular_icosahedron, regular_octahedron, solid_figure, third-dimensional, three-d, three-dimensional, three-dimensional_figure, trapezohedron, truncated_cone, truncated_pyramid |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3982-3983 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17814-17816 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2400-2400 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2029-2029 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17813-17813 | Three dimensional figure is a subclass of geometric figure |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4813-4813 | Convex round shape is an instance of three dimensional figure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4835-4835 | Cone is a subclass of three dimensional figure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4839-4839 | Cylinder is a subclass of three dimensional figure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26555-26555 | Hemisphere is a subclass of three dimensional figure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4985-4985 | Sphere is a subclass of three dimensional figure |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57902-57902 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57901-57901 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57900-57900 |
appearance as argument number 5 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17781-17781 | Geometric figure is exhaustively partitioned into geometric point, one dimensional figure, two dimensional figure, and three dimensional figure |