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 17814-17816 | |
(externalImage ThreeDimensionalFigure "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 40/ Paraboloid_of_Revolution.png") | pictureList.kif 2400-2400 | |
(externalImage ThreeDimensionalFigure "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4a/ HyperbolicParaboloid.png") | pictureList.kif 2029-2029 | |
(subclass ThreeDimensionalFigure GeometricFigure) | Merge.kif 17813-17813 | ThreeDimensionalFigure ist eine teilkategorie von GeometricFigure |
appearance as argument number 2 |
appearance as argument number 5 |
(partition GeometricFigure GeometricPoint OneDimensionalFigure TwoDimensionalFigure ThreeDimensionalFigure) | Merge.kif 17781-17781 | GeometricFigure wird vollstaendig in GeometricPoint, OneDimensionalFigure, TwoDimensionalFigure, und ThreeDimensionalFigure verteilt |