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