| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6163-6163 |
小麥籽粒 是 小麥種植 的 industry 產品類別 |
| No TPTP formula. May not be expressible in strict first order. |
Food.kif 1490-1490 |
%每個 WheatFlour 是 小麥籽粒 的 initially part |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4059-4059 |
子類 CommonWheatGrain and 小麥籽粒 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4071-4071 |
子類 DurumWheatGrain and 小麥籽粒 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4091-4091 |
子類 EinkornWheatGrain and 小麥籽粒 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4081-4081 |
子類 EmmerWheatGrain and 小麥籽粒 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4101-4101 |
子類 SpeltWheatGrain and 小麥籽粒 |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62973-62973 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62972-62972 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62971-62971 |
|
