No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17796-17796 |
二维图 详尽无遗地 partition 成 开放二维图 和 封闭的二维图 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17805-17805 |
二维角度 是 开放二维图 的 subclass |
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 |
|