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 6159-6159 |
子屬性 玉米種植 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 6167-6167 |
子屬性 燕麥種植 and 穀物種植 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6160-6160 |
子屬性 水稻種植 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 6182-6182 |
子屬性 高粱種植 and 穀物種植 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6161-6161 |
子屬性 小麥種植 and 穀物種植 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13944-13944 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13943-13943 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13942-13942 |
|