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