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 42896-42896 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42895-42895 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42894-42894 |
|