No TPTP formula. May not be expressible in strict first order. | Merge.kif 17795-17795 | 子類 二維圖 and 幾何圖 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17801-17801 | 子類 開放二維圖 and 二維圖 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17809-17809 | 子類 封閉的二維圖 and 二維圖 |