No TPTP formula. May not be expressible in strict first order. |
naics.kif 2908-2908 |
子屬性 所有其他轉換紙製品製造 and 其他轉換紙製品製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2901-2901 |
子屬性 衛生紙產品製造 and 其他轉換紙製品製造 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42894-42894 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42893-42893 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42892-42892 |
|