(subclass TwoDimensionalFigure GeometricFigure) | Merge.kif 17795-17795 | 二维图 是 几何图 的 subclass |
(subclass OpenTwoDimensionalFigure TwoDimensionalFigure) | Merge.kif 17801-17801 | 开放二维图 是 二维图 的 subclass |
(subclass ClosedTwoDimensionalFigure TwoDimensionalFigure) | Merge.kif 17809-17809 | 封闭的二维图 是 二维图 的 subclass |