(subclass ThreeDimensionalFigure GeometricFigure) | Merge.kif 17892-17892 | Three dimensional figure is a subclass of geometric figure |
(subclass Cone ThreeDimensionalFigure) | Mid-level-ontology.kif 4830-4830 | Cone is a subclass of three dimensional figure |
(subclass Sphere ThreeDimensionalFigure) | Mid-level-ontology.kif 4979-4979 | Sphere is a subclass of three dimensional figure |
(subclass HemisphereFigure ThreeDimensionalFigure) | Mid-level-ontology.kif 26588-26588 | Hemisphere is a subclass of three dimensional figure |