| No TPTP formula. May not be expressible in strict first order. | Food.kif 2198-2198 | 子類 漿果 and 水果 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2204-2204 | 子類 Blueberry and 漿果 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2214-2214 | 子類 Bilberry and 漿果 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2225-2225 | 子類 Blackberry and 漿果 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2230-2230 | 子類 Blackcurrent and 漿果 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2235-2235 | 子類 Cranberry and 漿果 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2241-2241 | 子類 Elderberry and 漿果 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2247-2247 | 子類 Gooseberry and 漿果 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2252-2252 | 子類 Huckleberry and 漿果 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2258-2258 | 子類 Lingonberry and 漿果 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2265-2265 | 子類 MadeiraBlueberry and 漿果 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2271-2271 | 子類 Raspberry and 漿果 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2276-2276 | 子類 Redcurrent and 漿果 |
|
|