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