(subclass GeometricFigure ShapeAttribute) | Merge.kif 17963-17963 | |
(subclass GeometricPoint GeometricFigure) | Merge.kif 17969-17969 | |
(subclass OneDimensionalFigure GeometricFigure) | Merge.kif 17974-17974 | |
(subclass TwoDimensionalFigure GeometricFigure) | Merge.kif 17978-17978 | |
(subclass ThreeDimensionalFigure GeometricFigure) | Merge.kif 17996-17996 |
![]() |