(subclass TwoDimensionalFigure GeometricFigure) | Merge.kif 16620-16620 | Two dimensional figure is a subclass of geometric figure |
(subclass OpenTwoDimensionalFigure TwoDimensionalFigure) | Merge.kif 16626-16626 | Open two dimensional figure is a subclass of two dimensional figure |
(subclass ClosedTwoDimensionalFigure TwoDimensionalFigure) | Merge.kif 16634-16634 | Closed two dimensional figure is a subclass of two dimensional figure |
![]() |