| (subclass GeometricFigure ShapeAttribute) |
Merge.kif 18137-18137 |
Geometric figure is a subclass of shape attribute |
| (partition GeometricFigure GeometricPoint OneDimensionalFigure TwoDimensionalFigure ThreeDimensionalFigure) |
Merge.kif 18138-18138 |
Geometric figure is exhaustively partitioned into geometric point, one dimensional figure, two dimensional figure, and three dimensional figure |
| (documentation GeometricFigure EnglishLanguage "The class of all geometric figures, i.e. the class of all abstract, spatial representations. The instances of this class are GeometricPoints, TwoDimensionalFigures or ThreeDimensionalFigures.") |
Merge.kif 18139-18141 |
Geometric figure is exhaustively partitioned into geometric point, one dimensional figure, two dimensional figure, and three dimensional figure |
| (externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 44/ Geometric_triangles.jpg/ 800px_Geometric_triangles.jpg") |
pictureList.kif 8502-8502 |
Geometric figure is exhaustively partitioned into geometric point, one dimensional figure, two dimensional figure, and three dimensional figure |
| (externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Absolute_value.jpg") |
pictureList.kif 9258-9258 |
Geometric figure is exhaustively partitioned into geometric point, one dimensional figure, two dimensional figure, and three dimensional figure |
| (externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 59/ Complete_graph_K4.svg/ 600px_Complete_graph_K4.svg.png") |
pictureList.kif 9259-9259 |
Geometric figure is exhaustively partitioned into geometric point, one dimensional figure, two dimensional figure, and three dimensional figure |
| (externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ Torus_cycles.png") |
pictureList.kif 9260-9260 |
Geometric figure is exhaustively partitioned into geometric point, one dimensional figure, two dimensional figure, and three dimensional figure |
| (externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ 3/ 38/ Sphere_wireframe.png") |
pictureList.kif 9261-9261 |
Geometric figure is exhaustively partitioned into geometric point, one dimensional figure, two dimensional figure, and three dimensional figure |
| (externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ c/ c8/ Glass_tesseract_animation.gif") |
pictureList.kif 9262-9262 |
Geometric figure is exhaustively partitioned into geometric point, one dimensional figure, two dimensional figure, and three dimensional figure |
| (externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ Geometrie_carre.png") |
pictureList.kif 9263-9263 |
Geometric figure is exhaustively partitioned into geometric point, one dimensional figure, two dimensional figure, and three dimensional figure |
GeometricFigure
