No TPTP formula. May not be expressible in strict first order. |
naics.kif 4093-4093 |
铜轧制拉伸挤压和合金化 是 除铝生产和加工外的有色金属 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4070-4070 |
有色金属除铝冶炼和精炼外 是 除铝生产和加工外的有色金属 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4120-4120 |
有色金属除铜和铝轧制拉伸挤压和合金化 是 除铝生产和加工外的有色金属 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40743-40743 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40742-40742 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40741-40741 |
|