GeometricFigure(geometric figure) more pictures... | equilateral, figure, pencil |
appearance as argument number 1 |
(documentation GeometricFigure ChineseLanguage "这是所有几何图形的类别,也就是所有抽象的空间上的表 达方式。这个类别的实例有:GeometricPoint、TwoDimensionalFigure 或 ThreeDimensionalFigure。") | chinese_format.kif 3968-3969 | |
(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 17861-17863 | |
(externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ 3/ 38/ Sphere-wireframe.png") | pictureList.kif 9262-9262 | |
(externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ Torus_cycles.png") | pictureList.kif 9261-9261 | |
(externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Absolute_value.jpg") | pictureList.kif 9259-9259 | |
(externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ Geometrie_carre.png") | pictureList.kif 9264-9264 | |
(externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ c/ c8/ Glass_tesseract_animation.gif") | pictureList.kif 9263-9263 | |
(externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 44/ Geometric_triangles.jpg/ 800px-Geometric_triangles.jpg") | pictureList.kif 8503-8503 | |
(externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 59/ Complete_graph_K4.svg/ 600px-Complete_graph_K4.svg.png") | pictureList.kif 9260-9260 | |
(partition GeometricFigure GeometricPoint OneDimensionalFigure TwoDimensionalFigure ThreeDimensionalFigure) | Merge.kif 17860-17860 | Geometric figure is exhaustively partitioned into geometric point, one dimensional figure, two dimensional figure, and three dimensional figure |
(subclass GeometricFigure ShapeAttribute) | Merge.kif 17859-17859 | Geometric figure is a subclass of shape attribute |
appearance as argument number 2 |
(subclass GeometricPoint GeometricFigure) | Merge.kif 17865-17865 | Geometric point is a subclass of geometric figure |
(subclass OneDimensionalFigure GeometricFigure) | Merge.kif 17870-17870 | One dimensional figure is a subclass of geometric figure |
(subclass ThreeDimensionalFigure GeometricFigure) | Merge.kif 17892-17892 | Three dimensional figure is a subclass of geometric figure |
(subclass TwoDimensionalFigure GeometricFigure) | Merge.kif 17874-17874 | Two dimensional figure is a subclass of geometric figure |
(termFormat ChineseLanguage GeometricFigure "几何图") | domainEnglishFormat.kif 25818-25818 | |
(termFormat ChineseTraditionalLanguage GeometricFigure "幾何圖") | domainEnglishFormat.kif 25817-25817 | |
(termFormat EnglishLanguage GeometricFigure "geometric figure") | domainEnglishFormat.kif 25816-25816 |
appearance as argument number 3 |
(domain angleOfFigure 2 GeometricFigure) | Merge.kif 17914-17914 | The number 2 argument of angle of figure is an instance of geometric figure |
(domain geometricPart 1 GeometricFigure) | Merge.kif 17899-17899 | The number 1 argument of geometric part is an instance of geometric figure |
(domain geometricPart 2 GeometricFigure) | Merge.kif 17900-17900 | The number 2 argument of geometric part is an instance of geometric figure |
(domain pointOfFigure 2 GeometricFigure) | Merge.kif 17907-17907 | The number 2 argument of point of figure is an instance of geometric figure |
(domain sideOfFigure 2 GeometricFigure) | Mid-level-ontology.kif 4975-4975 | The number 2 argument of side of figure is an instance of geometric figure |