No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17966-17966 |
域 線測量, 1 and 一維圖 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17853-17853 |
域 平行, 1 and 一維圖 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17854-17854 |
域 平行, 2 and 一維圖 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17840-17840 |
域 交點, 1 and 一維圖 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17841-17841 |
域 交點, 2 and 一維圖 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4980-4980 |
域 圖的一面, 1 and 一維圖 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4778-4778 |
域 切線, 1 and 一維圖 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17781-17781 |
劃分 幾何圖, 幾何點, 一維圖, 二維圖 and 三維圖 |