No TPTP formula. May not be expressible in strict first order. |
naics.kif 1629-1629 |
除家禽屠宰外的动物 是 动物屠宰和加工 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1636-1636 |
从屠体加工的肉 是 动物屠宰和加工 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1650-1650 |
家禽加工 是 动物屠宰和加工 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1643-1643 |
渲染和肉类副产品加工 是 动物屠宰和加工 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7614-7614 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7613-7613 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7612-7612 |
|