No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8624-8624 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9482-9482 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9483-9483 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9484-9484 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6169-6169 |
燕麥粒 是 燕麥種植 的 industry 產品類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6166-6166 |
例 燕麥種植 and 行業屬性 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6167-6167 |
子屬性 燕麥種植 and 穀物種植 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6168-6168 |
子屬性 燕麥種植 and 其他糧食種植 |