| (subclass GeometricFigure ShapeAttribute) | Merge.kif 17780-17780 | GeometricFigure est une sous-classe de attribut de forme |
| (subclass GeometricPoint GeometricFigure) | Merge.kif 17786-17786 | GeometricPoint est une sous-classe de GeometricFigure |
| (subclass OneDimensionalFigure GeometricFigure) | Merge.kif 17791-17791 | OneDimensionalFigure est une sous-classe de GeometricFigure |
| (subclass TwoDimensionalFigure GeometricFigure) | Merge.kif 17795-17795 | TwoDimensionalFigure est une sous-classe de GeometricFigure |
| (subclass ThreeDimensionalFigure GeometricFigure) | Merge.kif 17813-17813 | ThreeDimensionalFigure est une sous-classe de GeometricFigure |
|
|