No TPTP formula. May not be expressible in strict first order. |
naics.kif 5030-5030 |
子屬性 輸送機和輸送設備製造 and 物料搬運設備製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5023-5023 |
子屬性 電梯和移動樓梯製造 and 物料搬運設備製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5045-5045 |
子屬性 工業卡車牽引車拖車和堆垛機械製造 and 物料搬運設備製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5037-5037 |
子屬性 橋式起重機和單軌系統製造 and 物料搬運設備製造 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36467-36467 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36466-36466 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36465-36465 |
|