(subclass GeometricFigure ShapeAttribute) | Merge.kif 17780-17780 | GeometricFigure è una sottoclasse di AttributoDiForma |
(subclass GeometricPoint GeometricFigure) | Merge.kif 17786-17786 | GeometricPoint è una sottoclasse di GeometricFigure |
(subclass OneDimensionalFigure GeometricFigure) | Merge.kif 17791-17791 | OneDimensionalFigure è una sottoclasse di GeometricFigure |
(subclass TwoDimensionalFigure GeometricFigure) | Merge.kif 17795-17795 | TwoDimensionalFigure è una sottoclasse di GeometricFigure |
(subclass ThreeDimensionalFigure GeometricFigure) | Merge.kif 17813-17813 | ThreeDimensionalFigure è una sottoclasse di GeometricFigure |