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. | 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 4081-4081 | 子類 EmmerWheatGrain 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 4101-4101 | 子類 SpeltWheatGrain and 小麥籽粒 |