No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6172-6172 |
大麦种植 是 谷物种植 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6159-6159 |
玉米种植 是 谷物种植 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6187-6187 |
小米种植 是 谷物种植 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6167-6167 |
燕麦种植 是 谷物种植 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6160-6160 |
水稻种植 是 谷物种植 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6177-6177 |
黑麦种植 是 谷物种植 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6182-6182 |
高粱种植 是 谷物种植 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6161-6161 |
小麦种植 是 谷物种植 的 subAttribute |
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 |
|