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