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 17801-17801 | 开放二维图 是 二维图 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17809-17809 | 封闭的二维图 是 二维图 的 subclass |