(subclass OpenTwoDimensionalFigure TwoDimensionalFigure) | Merge.kif 17801-17801 | OpenTwoDimensionalFigure は TwoDimensionalFigure の subclass では %n |
(subclass TwoDimensionalAngle OpenTwoDimensionalFigure) | Merge.kif 17805-17805 | TwoDimensionalAngle は OpenTwoDimensionalFigure の subclass では %n |