No TPTP formula. May not be expressible in strict first order. |
Food.kif 2218-2218 |
Bilberry has name "blaeberry" |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2219-2219 |
Bilberry has name "blue whortleberry" |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2220-2220 |
Bilberry has name "whimberry" |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2223-2223 |
Bilberry has name "whinberry" |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2221-2221 |
Bilberry has name "wimberry" |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2222-2222 |
Bilberry has name "winberry" |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2217-2217 |
|