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