| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4289-4289 |
根菜类 的名 是 "root crop" |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4288-4288 |
根菜类 的名 是 "root vegetable" |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4313-4313 |
根淀粉 和 根菜类 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4295-4295 |
Beets 是 根菜类 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4297-4297 |
胡萝卜 是 根菜类 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4302-4302 |
Diakon 是 根菜类 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4321-4321 |
食用块茎 是 根菜类 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Food.kif 2582-2582 |
Garlic 是 根菜类 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Food.kif 2712-2712 |
Onion 是 根菜类 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4304-4304 |
Parsnip 是 根菜类 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4291-4291 |
萝卜 是 根菜类 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4298-4298 |
Rutabaga 是 根菜类 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Food.kif 3401-3401 |
Shallot 是 根菜类 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4294-4294 |
芜菁 是 根菜类 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50450-50450 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50449-50449 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50448-50448 |
|
