No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9428-9428 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8597-8597 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9426-9426 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9427-9427 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9429-9429 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6189-6189 |
小米粒 是 小米種植 的 industry 產品類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6186-6186 |
例 小米種植 and 行業屬性 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6187-6187 |
子屬性 小米種植 and 穀物種植 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6188-6188 |
子屬性 小米種植 and 其他糧食種植 |