| No TPTP formula. May not be expressible in strict first order. |
naics.kif 4925-4925 |
切削刀具和机床附件制造 是 金属加工机械制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 4895-4895 |
工业模具制造 是 金属加工机械制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 4903-4903 |
机床金属切削类型制造 是 金属加工机械制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 4910-4910 |
机床金属成型类型制造 是 金属加工机械制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 4940-4940 |
其他金属加工机械制造业 是 金属加工机械制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 4933-4933 |
轧机机械设备制造 是 金属加工机械制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 4917-4917 |
特殊模具和工具模具夹具和夹具制造 是 金属加工机械制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37325-37325 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37324-37324 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37323-37323 |
|
MetalworkingMachineryManufacturing