| (subclass GeometricFigure ShapeAttribute) | Merge.kif 17802-17802 | GeometricFigure ist eine teilkategorie von ShapeAttribute |
| (subclass GeometricPoint GeometricFigure) | Merge.kif 17808-17808 | GeometricPoint ist eine teilkategorie von GeometricFigure |
| (subclass OneDimensionalFigure GeometricFigure) | Merge.kif 17813-17813 | OneDimensionalFigure ist eine teilkategorie von GeometricFigure |
| (subclass TwoDimensionalFigure GeometricFigure) | Merge.kif 17817-17817 | TwoDimensionalFigure ist eine teilkategorie von GeometricFigure |
| (subclass ThreeDimensionalFigure GeometricFigure) | Merge.kif 17835-17835 | ThreeDimensionalFigure ist eine teilkategorie von GeometricFigure |
|
|