| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17780-17780 | 子類 幾何圖 and ShapeAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17786-17786 | 子類 幾何點 and 幾何圖 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17791-17791 | 子類 一維圖 and 幾何圖 |
| 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 17813-17813 | 子類 三維圖 and 幾何圖 |
|
|