| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4051-4051 | WheatGrain est une sous-classe de CerealGrain |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4059-4059 | CommonWheatGrain est une sous-classe de WheatGrain |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4071-4071 | DurumWheatGrain est une sous-classe de WheatGrain |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4081-4081 | EmmerWheatGrain est une sous-classe de WheatGrain |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4091-4091 | EinkornWheatGrain est une sous-classe de WheatGrain |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4101-4101 | SpeltWheatGrain est une sous-classe de WheatGrain |
|
|