|
|
  AllOtherGeneralPurposeMachineryManufacturing
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 5056-5059 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 5054-5054 | 所有其他通用机械制造 是 其他通用机械制造 的 subAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 5111-5111 | 所有其他杂项通用机械制造 是 所有其他通用机械制造 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 5090-5090 | 流体动力缸和执行器制造 是 所有其他通用机械制造 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 5097-5097 | 流体动力泵和电动机制造 是 所有其他通用机械制造 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 5083-5083 | 工业加工炉和烤箱制造 是 所有其他通用机械制造 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 5076-5076 | 包装机械制造业 是 所有其他通用机械制造 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 5061-5061 | 动力手动工具制造 是 所有其他通用机械制造 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 5104-5104 | 除实验室制造外的规模和平衡 是 所有其他通用机械制造 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 5068-5068 | 焊接和焊接设备制造 是 所有其他通用机械制造 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6654-6654 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6653-6653 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6652-6652 |
|
|
|