(subclass OpenTwoDimensionalFigure TwoDimensionalFigure) | Merge.kif 17984-17984 | Open two dimensional figure is a subclass of two dimensional figure |
(subclass TwoDimensionalAngle OpenTwoDimensionalFigure) | Merge.kif 17988-17988 | Two dimensional angle is a subclass of open two dimensional figure |
![]() |