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 是 食用坚果 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2419-2419 |
腰果 是 食用坚果 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4482-4482 |
澳洲坚果 是 食用坚果 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4518-4518 |
棕榈油坚果 是 食用坚果 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4474-4474 |
山核桃 是 食用坚果 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4476-4476 |
PineNut 是 食用坚果 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4484-4484 |
乳木果 是 食用坚果 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4472-4472 |
核桃 是 食用坚果 的 subclass |
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 |
|