No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8691-8691 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9614-9614 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9615-9615 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9616-9616 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6179-6179 |
黑麥穀物 是 黑麥種植 的 industry 產品類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6176-6176 |
例 黑麥種植 and 行業屬性 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6177-6177 |
子屬性 黑麥種植 and 穀物種植 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6178-6178 |
子屬性 黑麥種植 and 其他糧食種植 |