more pictures...
| GeometricFigure
more pictures... | |
| 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 17752-17754 | |
| (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 17751-17751 | GeometricFigure は GeometricPoint, OneDimensionalFigure, TwoDimensionalFigure, + ThreeDimensionalFigure に exhaustively partitioned %n |
| (subclass GeometricFigure ShapeAttribute) | Merge.kif 17750-17750 | GeometricFigure は 形状属性 の subclass では %n |
| appearance as argument number 2 |
|
|
| (subclass GeometricPoint GeometricFigure) | Merge.kif 17756-17756 | GeometricPoint は GeometricFigure の subclass では %n |
| (subclass OneDimensionalFigure GeometricFigure) | Merge.kif 17761-17761 | OneDimensionalFigure は GeometricFigure の subclass では %n |
| (subclass ThreeDimensionalFigure GeometricFigure) | Merge.kif 17783-17783 | ThreeDimensionalFigure は GeometricFigure の subclass では %n |
| (subclass TwoDimensionalFigure GeometricFigure) | Merge.kif 17765-17765 | TwoDimensionalFigure は GeometricFigure の subclass では %n |
| (termFormat ChineseLanguage GeometricFigure "几何图") | domainEnglishFormat.kif 25824-25824 | |
| (termFormat ChineseTraditionalLanguage GeometricFigure "幾何圖") | domainEnglishFormat.kif 25823-25823 | |
| (termFormat EnglishLanguage GeometricFigure "geometric figure") | domainEnglishFormat.kif 25822-25822 |
| appearance as argument number 3 |
|
|
| (domain angleOfFigure 2 GeometricFigure) | Merge.kif 17805-17805 | angleOfFigure の数値 2 引数は GeometricFigure の instance では %n |
| (domain geometricPart 1 GeometricFigure) | Merge.kif 17790-17790 | geometricPart の数値 1 引数は GeometricFigure の instance では %n |
| (domain geometricPart 2 GeometricFigure) | Merge.kif 17791-17791 | geometricPart の数値 2 引数は GeometricFigure の instance では %n |
| (domain pointOfFigure 2 GeometricFigure) | Merge.kif 17798-17798 | pointOfFigure の数値 2 引数は GeometricFigure の instance では %n |
| (domain sideOfFigure 2 GeometricFigure) | Mid-level-ontology.kif 4953-4953 | sideOfFigure の数値 2 引数は GeometricFigure の instance では %n |
|
|
|