No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8724-8724 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6184-6184 |
高粱粒 是 高粱種植 的 industry 產品類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6181-6181 |
例 高粱種植 and 行業屬性 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6182-6182 |
子屬性 高粱種植 and 穀物種植 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6183-6183 |
子屬性 高粱種植 and 其他糧食種植 |