No TPTP formula. May not be expressible in strict first order. | Food.kif 2198-2198 | Berry is a subclass of fruit |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2204-2204 | Blueberry is a subclass of berry |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2214-2214 | Bilberry is a subclass of berry |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2225-2225 | Blackberry is a subclass of berry |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2230-2230 | Black current is a subclass of berry |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2235-2235 | Cranberry is a subclass of berry |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2241-2241 | Elderberry is a subclass of berry |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2247-2247 | Gooseberry is a subclass of berry |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2252-2252 | Huckleberry is a subclass of berry |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2258-2258 | Lingonberry is a subclass of berry |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2265-2265 | Madeira blueberry is a subclass of berry |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2271-2271 | Raspberry is a subclass of berry |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2276-2276 | Red current is a subclass of berry |