| ThreeDimensionalFigure
| |
| appearance as argument number 1 |
|
|
| (documentation ThreeDimensionalFigure ChineseLanguage "这是有定位和在三个维度上都有延伸空间的 GeometricFigure 类别，即是如多面体和圆柱体的几何固体。") | chinese_format.kif 3982-3983 | |
| (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 17982-17984 | |
| (externalImage ThreeDimensionalFigure "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 40/ Paraboloid_of_Revolution.png") | pictureList.kif 2399-2399 | |
| (externalImage ThreeDimensionalFigure "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4a/ HyperbolicParaboloid.png") | pictureList.kif 2028-2028 | |
| (subclass ThreeDimensionalFigure GeometricFigure) | Merge.kif 17981-17981 |
| appearance as argument number 2 |
|
|
| (instance ConvexRoundShape ThreeDimensionalFigure) | Mid-level-ontology.kif 5449-5449 | |
| (instance Cylinder ThreeDimensionalFigure) | Mid-level-ontology.kif 5478-5478 | |
| (subclass Cone ThreeDimensionalFigure) | Mid-level-ontology.kif 5474-5474 | |
| (subclass HemisphereFigure ThreeDimensionalFigure) | Mid-level-ontology.kif 28213-28213 | |
| (subclass Polyhedron ThreeDimensionalFigure) | Mid-level-ontology.kif 5322-5322 | |
| (subclass Sphere ThreeDimensionalFigure) | Mid-level-ontology.kif 5941-5941 | |
| (termFormat ChineseLanguage ThreeDimensionalFigure "三维图") | domainEnglishFormat.kif 57939-57939 | |
| (termFormat ChineseTraditionalLanguage ThreeDimensionalFigure "三維圖") | domainEnglishFormat.kif 57938-57938 | |
| (termFormat EnglishLanguage ThreeDimensionalFigure "three dimensional figure") | domainEnglishFormat.kif 57937-57937 |
| appearance as argument number 5 |
|
|
| (partition GeometricFigure GeometricPoint OneDimensionalFigure TwoDimensionalFigure ThreeDimensionalFigure) | Merge.kif 17949-17949 |
|
|
|