| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17809-17809 | 子類 封閉的二維圖 and 二維圖 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4874-4874 | 子類 多邊形 and 封閉的二維圖 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4973-4973 | 子類 圈子部門 and 封閉的二維圖 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7613-7613 | 子類 橢圓 and 封閉的二維圖 |
|
|