No TPTP formula. May not be expressible in strict first order. |
naics.kif 4408-4408 |
子屬性 金屬罐盒等金屬容器輕型製造 and 鍋爐罐和集裝箱製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4401-4401 |
子屬性 金屬罐重型量規製造 and 鍋爐罐和集裝箱製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4393-4393 |
子屬性 動力鍋爐和換熱器製造 and 鍋爐罐和集裝箱製造 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11501-11501 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11500-11500 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11499-11499 |
|