No TPTP formula. May not be expressible in strict first order. |
naics.kif 3623-3623 |
所有其他塑料制品生产 是 其他塑料制品生产 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3609-3609 |
塑料卫浴夹具制造 是 其他塑料制品生产 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3616-3616 |
弹性地板覆盖物制造 是 其他塑料制品生产 的 subAttribute |
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 |
|