No TPTP formula. May not be expressible in strict first order. |
Food.kif 2214-2214 |
子類 Bilberry and 漿果 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2225-2225 |
子類 Blackberry and 漿果 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2230-2230 |
子類 Blackcurrent and 漿果 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2204-2204 |
子類 Blueberry and 漿果 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2235-2235 |
子類 Cranberry and 漿果 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2241-2241 |
子類 Elderberry and 漿果 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2247-2247 |
子類 Gooseberry and 漿果 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2252-2252 |
子類 Huckleberry and 漿果 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2258-2258 |
子類 Lingonberry and 漿果 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2265-2265 |
子類 MadeiraBlueberry and 漿果 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2271-2271 |
子類 Raspberry and 漿果 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2276-2276 |
子類 Redcurrent and 漿果 |
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 |
|