No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6156-6156 |
穀物 是 穀物種植 的 industry 產品類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4126-4126 |
子類 大麥籽粒 and 穀物 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4043-4043 |
子類 玉米粒 and 穀物 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4142-4142 |
子類 小米粒 and 穀物 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4121-4121 |
子類 燕麥粒 and 穀物 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4047-4047 |
子類 米粒 and 穀物 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4132-4132 |
子類 黑麥穀物 and 穀物 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4137-4137 |
子類 高粱粒 and 穀物 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4051-4051 |
子類 小麥籽粒 and 穀物 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13938-13938 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13937-13937 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13936-13936 |
|