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 17526-17528
(externalImage GeometricFigure " 3/ 38/ Sphere-wireframe.png") pictureList.kif 9263-9263
(externalImage GeometricFigure " 5/ 54/ Torus_cycles.png") pictureList.kif 9262-9262
(externalImage GeometricFigure " 9/ 9a/ Absolute_value.jpg") pictureList.kif 9260-9260
(externalImage GeometricFigure " b/ b3/ Geometrie_carre.png") pictureList.kif 9265-9265
(externalImage GeometricFigure " c/ c8/ Glass_tesseract_animation.gif") pictureList.kif 9264-9264
(externalImage GeometricFigure " thumb/ 4/ 44/ Geometric_triangles.jpg/ 800px-Geometric_triangles.jpg") pictureList.kif 8504-8504
(externalImage GeometricFigure " thumb/ 5/ 59/ Complete_graph_K4.svg/ 600px-Complete_graph_K4.svg.png") pictureList.kif 9261-9261
(partition GeometricFigure GeometricPoint OneDimensionalFigure TwoDimensionalFigure ThreeDimensionalFigure) Merge.kif 17525-17525 几何图 详尽无遗地 partition几何点, 一维图, 二维图, 和 三维图
(subclass GeometricFigure ShapeAttribute) Merge.kif 17524-17524 几何图形状属性subclass

appearance as argument number 2

(subclass GeometricPoint GeometricFigure) Merge.kif 17530-17530 几何点几何图subclass
(subclass OneDimensionalFigure GeometricFigure) Merge.kif 17535-17535 一维图几何图subclass
(subclass ThreeDimensionalFigure GeometricFigure) Merge.kif 17557-17557 三维图几何图subclass
(subclass TwoDimensionalFigure GeometricFigure) Merge.kif 17539-17539 二维图几何图subclass
(termFormat ChineseLanguage GeometricFigure "几何图") domainEnglishFormat.kif 25809-25809
(termFormat ChineseTraditionalLanguage GeometricFigure "幾何圖") domainEnglishFormat.kif 25808-25808
(termFormat EnglishLanguage GeometricFigure "geometric figure") domainEnglishFormat.kif 25807-25807

appearance as argument number 3

(domain angleOfFigure 2 GeometricFigure) Merge.kif 17579-17579 图的角度 的 2 数量 是 几何图instance
(domain geometricPart 1 GeometricFigure) Merge.kif 17564-17564 几何部分 的 1 数量 是 几何图instance
(domain geometricPart 2 GeometricFigure) Merge.kif 17565-17565 几何部分 的 2 数量 是 几何图instance
(domain pointOfFigure 2 GeometricFigure) Merge.kif 17572-17572 图形的顶点 的 2 数量 是 几何图instance
(domain sideOfFigure 2 GeometricFigure) Mid-level-ontology.kif 4707-4707 图形的边 的 2 数量 是 几何图instance

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