No TPTP formula. May not be expressible in strict first order. |
naics.kif 6147-6147 |
杂项制造业 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4016-4016 |
氧化铝和铝的生产和加工 是 主要金属制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4146-4146 |
代工厂 是 主要金属制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3961-3961 |
钢铁厂和铁合金制造业 是 主要金属制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4063-4063 |
除铝生产和加工外的有色金属 是 主要金属制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3982-3982 |
采购钢材生产钢材 是 主要金属制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47318-47318 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47317-47317 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47316-47316 |
|