Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - GeometricFigure
more pictures...

appearance as argument number 1

(documentation GeometricFigure ChineseLanguage "这是所有几何图形的类别,也就是所有抽象的空间上的表 达方式。这个类别的实例有:GeometricPointTwoDimensionalFigureThreeDimensionalFigure。") 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 " 3/ 38/ Sphere-wireframe.png") pictureList.kif 9262-9262
(externalImage GeometricFigure " 5/ 54/ Torus_cycles.png") pictureList.kif 9261-9261
(externalImage GeometricFigure " 9/ 9a/ Absolute_value.jpg") pictureList.kif 9259-9259
(externalImage GeometricFigure " b/ b3/ Geometrie_carre.png") pictureList.kif 9264-9264
(externalImage GeometricFigure " c/ c8/ Glass_tesseract_animation.gif") pictureList.kif 9263-9263
(externalImage GeometricFigure " thumb/ 4/ 44/ Geometric_triangles.jpg/ 800px-Geometric_triangles.jpg") pictureList.kif 8503-8503
(externalImage GeometricFigure " 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 GeometricFigureGeometricPoint, OneDimensionalFigure, TwoDimensionalFigure, + ThreeDimensionalFigureexhaustively partitioned %n
(subclass GeometricFigure ShapeAttribute) Merge.kif 17750-17750 GeometricFigure形状属性subclass では %n

appearance as argument number 2

(subclass GeometricPoint GeometricFigure) Merge.kif 17756-17756 GeometricPointGeometricFiguresubclass では %n
(subclass OneDimensionalFigure GeometricFigure) Merge.kif 17761-17761 OneDimensionalFigureGeometricFiguresubclass では %n
(subclass ThreeDimensionalFigure GeometricFigure) Merge.kif 17783-17783 ThreeDimensionalFigureGeometricFiguresubclass では %n
(subclass TwoDimensionalFigure GeometricFigure) Merge.kif 17765-17765 TwoDimensionalFigureGeometricFiguresubclass では %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 引数は GeometricFigureinstance では %n
(domain geometricPart 1 GeometricFigure) Merge.kif 17790-17790 geometricPart の数値 1 引数は GeometricFigureinstance では %n
(domain geometricPart 2 GeometricFigure) Merge.kif 17791-17791 geometricPart の数値 2 引数は GeometricFigureinstance では %n
(domain pointOfFigure 2 GeometricFigure) Merge.kif 17798-17798 pointOfFigure の数値 2 引数は GeometricFigureinstance では %n
(domain sideOfFigure 2 GeometricFigure) Mid-level-ontology.kif 4953-4953 sideOfFigure の数値 2 引数は GeometricFigureinstance では %n

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners