| 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 3813-3813 | CerealGrass e' uma sub-classe de Grass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3817-3817 | PaddyRice e' uma sub-classe de CerealGrass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3821-3821 | MaizeGrass e' uma sub-classe de CerealGrass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3826-3826 | SorghumGrass e' uma sub-classe de CerealGrass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3860-3860 | WheatGrass e' uma sub-classe de CerealGrass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4000-4000 | RyeGrass e' uma sub-classe de CerealGrass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4007-4007 | OatGrass e' uma sub-classe de CerealGrass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4012-4012 | BarleyGrass e' uma sub-classe de CerealGrass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4017-4017 | MilletGrass e' uma sub-classe de CerealGrass |
|
|