| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17780-17780 | 几何图 是 形状属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17786-17786 | 几何点 是 几何图 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17791-17791 | 一维图 是 几何图 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17795-17795 | 二维图 是 几何图 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17813-17813 | 三维图 是 几何图 的 subclass |
|
|