| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4166-4172 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4026-4026 | CerealGrain e' uma sub-classe de Seed |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4027-4027 | CerealGrain e' uma sub-classe de Grain |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4043-4043 | MaizeGrain e' uma sub-classe de CerealGrain |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4047-4047 | RiceGrain e' uma sub-classe de CerealGrain |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4051-4051 | WheatGrain e' uma sub-classe de CerealGrain |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4121-4121 | OatGrain e' uma sub-classe de CerealGrain |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4126-4126 | BarleyGrain e' uma sub-classe de CerealGrain |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4132-4132 | RyeGrain e' uma sub-classe de CerealGrain |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4137-4137 | SorghumGrain e' uma sub-classe de CerealGrain |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4142-4142 | MilletGrain e' uma sub-classe de CerealGrain |
|
|