No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17796-17796 |
劃分 二維圖, 開放二維圖 and 封閉的二維圖 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17805-17805 |
子類 二維角度 and 開放二維圖 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42234-42234 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42233-42233 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42232-42232 |
|