(subclass OpenTwoDimensionalFigure TwoDimensionalFigure) | Merge.kif 17801-17801 | Open two dimensional figure is a subclass of two dimensional figure |
(subclass TwoDimensionalAngle OpenTwoDimensionalFigure) | Merge.kif 17805-17805 | Two dimensional angle is a subclass of open two dimensional figure |