(subclass TwoDimensionalFigure GeometricFigure) | Merge.kif 17817-17817 | TwoDimensionalFigure は GeometricFigure の subclass では %n |
(subclass OpenTwoDimensionalFigure TwoDimensionalFigure) | Merge.kif 17823-17823 | OpenTwoDimensionalFigure は TwoDimensionalFigure の subclass では %n |
(subclass ClosedTwoDimensionalFigure TwoDimensionalFigure) | Merge.kif 17831-17831 | ClosedTwoDimensionalFigure は TwoDimensionalFigure の subclass では %n |
![]() |