| No TPTP formula. May not be expressible in strict first order. |
naics.kif 5111-5111 |
子屬性 所有其他雜項通用機械製造 and 所有其他通用機械製造 |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 5090-5090 |
子屬性 流體動力缸和執行器製造 and 所有其他通用機械製造 |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 5097-5097 |
子屬性 流體動力泵和電動機製造 and 所有其他通用機械製造 |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 5083-5083 |
子屬性 工業加工爐和烤箱製造 and 所有其他通用機械製造 |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 5076-5076 |
子屬性 包裝機械製造業 and 所有其他通用機械製造 |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 5061-5061 |
子屬性 動力手動工具製造 and 所有其他通用機械製造 |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 5104-5104 |
子屬性 除實驗室製造外的規模和平衡 and 所有其他通用機械製造 |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 5068-5068 |
子屬性 焊接和焊接設備製造 and 所有其他通用機械製造 |
| 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 |
|
VoltageRatingSecondary