(subclass TwoDimensionalFigure GeometricFigure) | Merge.kif 17795-17795 | Two dimensional figure is a subclass of geometric figure |
(subclass OpenTwoDimensionalFigure TwoDimensionalFigure) | Merge.kif 17801-17801 | Open two dimensional figure is a subclass of two dimensional figure |
(subclass ClosedTwoDimensionalFigure TwoDimensionalFigure) | Merge.kif 17809-17809 | Closed two dimensional figure is a subclass of two dimensional figure |