No TPTP formula. May not be expressible in strict first order. |
naics.kif 6145-6145 |
不相交的 雜項製造業 and 機械製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4662-4662 |
子屬性 農業建設和採礦機械製造業 and 機械製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4793-4793 |
子屬性 商業和服務業機械製造業 and 機械製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4947-4947 |
子屬性 發動機渦輪和動力傳動設備製造 and 機械製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4722-4722 |
子屬性 工業機械製造業 and 機械製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4889-4889 |
子屬性 金屬加工機械製造業 and 機械製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4984-4984 |
子屬性 其他通用機械製造 and 機械製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4846-4846 |
子屬性 通風采暖空調和商用製冷設備製造 and 機械製造業 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35525-35525 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35524-35524 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35523-35523 |
|