No TPTP formula. May not be expressible in strict first order. | Merge.kif 17817-17817 | 子類 二維圖 and 幾何圖 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17823-17823 | 子類 開放二維圖 and 二維圖 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17831-17831 | 子類 封閉的二維圖 and 二維圖 |
![]() |