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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ThreeDimensionalFigure
ThreeDimensionalFigure
3-dimensional, cube, frustum, prismatoid, prismoid, quadrate, regular_dodecahedron, regular_hexahedron, regular_icosahedron, regular_octahedron, solid_figure, third-dimensional, three-d, three-dimensional, three-dimensional_figure, three_dimensional_figure, trapezohedron, truncated_cone, truncated_pyramid

appearance as argument number 1
-------------------------


(documentation ThreeDimensionalFigure ChineseLanguage "这是有定位和在三个维度上都有延伸空间的 GeometricFigure 类别,即是如多面体和圆柱体的几何固体。") Merge.kif 18232-18233
(documentation ThreeDimensionalFigure EnglishLanguage "The class of GeometricFigures that have position and an extension along three dimensions, viz. geometric solids like polyhedrons and cylinders.") Merge.kif 18229-18231
(externalImage ThreeDimensionalFigure "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 40/ Paraboloid_of_Revolution.png") pictureList.kif 2401-2401
(externalImage ThreeDimensionalFigure "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4a/ HyperbolicParaboloid.png") pictureList.kif 2030-2030
(subclass ThreeDimensionalFigure GeometricFigure) Merge.kif 18228-18228

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


(instance RoundShape ThreeDimensionalFigure) Mid-level-ontology.kif 5133-5133
(subclass Cone ThreeDimensionalFigure) Mid-level-ontology.kif 5149-5149
(subclass Cylinder ThreeDimensionalFigure) Mid-level-ontology.kif 5153-5153
(subclass HemisphereFigure ThreeDimensionalFigure) Mid-level-ontology.kif 24581-24581
(subclass Sphere ThreeDimensionalFigure) Mid-level-ontology.kif 5287-5287
(termFormat EnglishLanguage ThreeDimensionalFigure "three dimensional figure") domainEnglishFormat.kif 10074-10074

appearance as argument number 5
-------------------------


(partition GeometricFigure GeometricPoint OneDimensionalFigure TwoDimensionalFigure ThreeDimensionalFigure) Merge.kif 18182-18182


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