| No TPTP formula. May not be expressible in strict first order. |
naics.kif 6146-6146 |
杂项制造业 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 4323-4323 |
建筑和结构金属制造业 是 金属制品制造 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 4386-4386 |
锅炉罐和集装箱制造 是 金属制品制造 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 4497-4497 |
涂层雕刻热处理和相关活动 是 金属制品制造 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 4289-4289 |
餐具和手工制造 是 金属制品制造 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 4243-4243 |
锻造和冲压 是 金属制品制造 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 4428-4428 |
硬件制造 是 金属制品制造 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 4462-4462 |
机械店转动产品和螺母和螺栓制造 是 金属制品制造 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 4528-4528 |
其他加工金属制品制造业 是 金属制品制造 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 4434-4434 |
弹簧和线材产品制造 是 金属制品制造 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23062-23062 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23061-23061 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23060-23060 |
|
