| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8369-8369 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8964-8964 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8965-8965 |
|
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6174-6174 |
大麥籽粒 是 大麥種植 的 industry 產品類別 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6171-6171 |
例 大麥種植 and 行業屬性 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6172-6172 |
子屬性 大麥種植 and 穀物種植 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6173-6173 |
子屬性 大麥種植 and 其他糧食種植 |
