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