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 17997-17999 | |
(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 17996-17996 |
appearance as argument number 2 |
![]() |
(instance ConvexRoundShape ThreeDimensionalFigure) | Mid-level-ontology.kif 5430-5430 | |
(instance Cylinder ThreeDimensionalFigure) | Mid-level-ontology.kif 5459-5459 | |
(subclass Cone ThreeDimensionalFigure) | Mid-level-ontology.kif 5455-5455 | |
(subclass HemisphereFigure ThreeDimensionalFigure) | Mid-level-ontology.kif 28454-28454 | |
(subclass Polyhedron ThreeDimensionalFigure) | Mid-level-ontology.kif 5303-5303 | |
(subclass Sphere ThreeDimensionalFigure) | Mid-level-ontology.kif 5922-5922 | |
(termFormat ChineseLanguage ThreeDimensionalFigure "三维图") | domainEnglishFormat.kif 57910-57910 | |
(termFormat ChineseTraditionalLanguage ThreeDimensionalFigure "三維圖") | domainEnglishFormat.kif 57909-57909 | |
(termFormat EnglishLanguage ThreeDimensionalFigure "three dimensional figure") | domainEnglishFormat.kif 57908-57908 |
appearance as argument number 5 |
![]() |
(partition GeometricFigure GeometricPoint OneDimensionalFigure TwoDimensionalFigure ThreeDimensionalFigure) | Merge.kif 17964-17964 |
![]() |
![]() |