(subclass TwoDimensionalFigure GeometricFigure) | Merge.kif 17817-17817 | 二维图 是 几何图 的 subclass |
(subclass OpenTwoDimensionalFigure TwoDimensionalFigure) | Merge.kif 17823-17823 | 开放二维图 是 二维图 的 subclass |
(subclass ClosedTwoDimensionalFigure TwoDimensionalFigure) | Merge.kif 17831-17831 | 封闭的二维图 是 二维图 的 subclass |
![]() |