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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GeometricFigure
GeometricFigure(geometric figure)
more pictures...
equilateral, figure, pencil

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 16531-16533
(externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ 3/ 38/ Sphere-wireframe.png") pictureList.kif 9267-9267
(externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ Torus_cycles.png") pictureList.kif 9266-9266
(externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Absolute_value.jpg") pictureList.kif 9264-9264
(externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ Geometrie_carre.png") pictureList.kif 9269-9269
(externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ c/ c8/ Glass_tesseract_animation.gif") pictureList.kif 9268-9268
(externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 44/ Geometric_triangles.jpg/ 800px-Geometric_triangles.jpg") pictureList.kif 8506-8506
(externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 59/ Complete_graph_K4.svg/ 600px-Complete_graph_K4.svg.png") pictureList.kif 9265-9265
(partition GeometricFigure GeometricPoint OneDimensionalFigure TwoDimensionalFigure ThreeDimensionalFigure) Merge.kif 16530-16530 Geometric figure is exhaustively partitioned into geometric point, one dimensional figure, two dimensional figure, and three dimensional figure
(subclass GeometricFigure ShapeAttribute) Merge.kif 16529-16529 Geometric figure is a subclass of shape attribute

appearance as argument number 2
-------------------------


(subclass GeometricPoint GeometricFigure) Merge.kif 16535-16535 Geometric point is a subclass of geometric figure
(subclass OneDimensionalFigure GeometricFigure) Merge.kif 16540-16540 One dimensional figure is a subclass of geometric figure
(subclass ThreeDimensionalFigure GeometricFigure) Merge.kif 16562-16562 Three dimensional figure is a subclass of geometric figure
(subclass TwoDimensionalFigure GeometricFigure) Merge.kif 16544-16544 Two dimensional figure is a subclass of geometric figure
(termFormat ChineseLanguage GeometricFigure "几何图") domainEnglishFormat.kif 25741-25741
(termFormat ChineseTraditionalLanguage GeometricFigure "幾何圖") domainEnglishFormat.kif 25740-25740
(termFormat EnglishLanguage GeometricFigure "geometric figure") domainEnglishFormat.kif 25739-25739

appearance as argument number 3
-------------------------


(domain angleOfFigure 2 GeometricFigure) Merge.kif 16584-16584 The number 2 argument of angle of figure is an instance of geometric figure
(domain geometricPart 1 GeometricFigure) Merge.kif 16569-16569 The number 1 argument of geometric part is an instance of geometric figure
(domain geometricPart 2 GeometricFigure) Merge.kif 16570-16570 The number 2 argument of geometric part is an instance of geometric figure
(domain pointOfFigure 2 GeometricFigure) Merge.kif 16577-16577 The number 2 argument of point of figure is an instance of geometric figure
(domain sideOfFigure 2 GeometricFigure) Mid-level-ontology.kif 5278-5278 The number 2 argument of side of figure is an instance of geometric figure


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners