No TPTP formula. May not be expressible in strict first order. |
naics.kif 2895-2895 |
子屬性 其他轉換紙製品製造 and 轉換紙製品製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2814-2814 |
子屬性 紙袋和塗層和處理過的紙張製造 and 轉換紙製品製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2773-2773 |
子屬性 紙板容器製造 and 轉換紙製品製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2868-2868 |
子屬性 文具產品製造 and 轉換紙製品製造 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17124-17124 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17123-17123 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17122-17122 |
|