| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6201-6201 |
食用堅果 是 樹堅果種植 的 industry 產品類別 |
| No TPTP formula. May not be expressible in strict first order. |
Food.kif 2085-2085 |
子類 AlmondNut and 食用堅果 |
| No TPTP formula. May not be expressible in strict first order. |
Food.kif 2419-2419 |
子類 腰果 and 食用堅果 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4482-4482 |
子類 澳洲堅果 and 食用堅果 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4518-4518 |
子類 棕櫚油堅果 and 食用堅果 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4474-4474 |
子類 山核桃 and 食用堅果 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4476-4476 |
子類 PineNut and 食用堅果 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4484-4484 |
子類 乳木果 and 食用堅果 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4472-4472 |
子類 核桃 and 食用堅果 |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21234-21234 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21233-21233 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21232-21232 |
|
