| (subclass ThreeDimensionalFigure GeometricFigure) | Merge.kif 17892-17892 | ThreeDimensionalFigure e' uma sub-classe de GeometricFigure |
| (subclass Cone ThreeDimensionalFigure) | Mid-level-ontology.kif 4830-4830 | Cone e' uma sub-classe de ThreeDimensionalFigure |
| (subclass Sphere ThreeDimensionalFigure) | Mid-level-ontology.kif 4979-4979 | Sphere e' uma sub-classe de ThreeDimensionalFigure |
| (subclass HemisphereFigure ThreeDimensionalFigure) | Mid-level-ontology.kif 26588-26588 | HemisphereFigure e' uma sub-classe de ThreeDimensionalFigure |
|
|