(subclass GeometricFigure ShapeAttribute) | Merge.kif 17802-17802 | GeometricFigure は 形状属性 の subclass では %n |
(subclass GeometricPoint GeometricFigure) | Merge.kif 17808-17808 | GeometricPoint は GeometricFigure の subclass では %n |
(subclass OneDimensionalFigure GeometricFigure) | Merge.kif 17813-17813 | OneDimensionalFigure は GeometricFigure の subclass では %n |
(subclass TwoDimensionalFigure GeometricFigure) | Merge.kif 17817-17817 | TwoDimensionalFigure は GeometricFigure の subclass では %n |
(subclass ThreeDimensionalFigure GeometricFigure) | Merge.kif 17835-17835 | ThreeDimensionalFigure は GeometricFigure の subclass では %n |