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 2204-2204 |
Blueberry 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 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10835-10835 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10834-10834 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10833-10833 |
|