No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17988-17988 |
域 線測量, 1 and 一維圖 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17875-17875 |
域 平行, 1 and 一維圖 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17876-17876 |
域 平行, 2 and 一維圖 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17862-17862 |
域 交點, 1 and 一維圖 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17863-17863 |
域 交點, 2 and 一維圖 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4979-4979 |
域 圖的一面, 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 17803-17803 |
劃分 幾何圖, 幾何點, 一維圖, 二維圖 and 三維圖 |