(subclass TwoDimensionalFigure GeometricFigure) | Merge.kif 17795-17795 | TwoDimensionalFigure est une sous-classe de GeometricFigure |
(subclass OpenTwoDimensionalFigure TwoDimensionalFigure) | Merge.kif 17801-17801 | OpenTwoDimensionalFigure est une sous-classe de TwoDimensionalFigure |
(subclass ClosedTwoDimensionalFigure TwoDimensionalFigure) | Merge.kif 17809-17809 | ClosedTwoDimensionalFigure est une sous-classe de TwoDimensionalFigure |