No TPTP formula. May not be expressible in strict first order. |
naics.kif 4022-4022 |
氧化铝精炼 是 氧化铝和铝的生产和加工 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4049-4049 |
铝挤压产品制造 是 氧化铝和铝的生产和加工 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4042-4042 |
铝板和铝箔制造 是 氧化铝和铝的生产和加工 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4056-4056 |
其他铝轧制和拉伸 是 氧化铝和铝的生产和加工 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4028-4028 |
原铝生产 是 氧化铝和铝的生产和加工 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4035-4035 |
铝的二次冶炼和合金化 是 氧化铝和铝的生产和加工 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7020-7020 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7019-7019 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7018-7018 |
|