No TPTP formula. May not be expressible in strict first order. |
naics.kif 3623-3623 |
子屬性 所有其他塑料製品生產 and 其他塑料製品生產 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3609-3609 |
子屬性 塑料衛浴夾具製造 and 其他塑料製品生產 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3616-3616 |
子屬性 彈性地板覆蓋物製造 and 其他塑料製品生產 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43386-43386 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43385-43385 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43384-43384 |
|