| No TPTP formula. May not be expressible in strict first order. | Food.kif 2198-2198 | Berry e' uma sub-classe de Fruit |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2204-2204 | Blueberry e' uma sub-classe de Berry |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2214-2214 | Bilberry e' uma sub-classe de Berry |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2225-2225 | Blackberry e' uma sub-classe de Berry |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2230-2230 | Blackcurrent e' uma sub-classe de Berry |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2235-2235 | Cranberry e' uma sub-classe de Berry |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2241-2241 | Elderberry e' uma sub-classe de Berry |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2247-2247 | Gooseberry e' uma sub-classe de Berry |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2252-2252 | Huckleberry e' uma sub-classe de Berry |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2258-2258 | Lingonberry e' uma sub-classe de Berry |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2265-2265 | MadeiraBlueberry e' uma sub-classe de Berry |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2271-2271 | Raspberry e' uma sub-classe de Berry |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2276-2276 | Redcurrent e' uma sub-classe de Berry |
|
|