(subclass OpenTwoDimensionalFigure TwoDimensionalFigure) | Merge.kif 17801-17801 | OpenTwoDimensionalFigure est une sous-classe de TwoDimensionalFigure |
(subclass TwoDimensionalAngle OpenTwoDimensionalFigure) | Merge.kif 17805-17805 | TwoDimensionalAngle est une sous-classe de OpenTwoDimensionalFigure |