No TPTP formula. May not be expressible in strict first order. |
naics.kif 3261-3261 |
塑料材料和树脂制造 是 树脂和合成橡胶制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3269-3269 |
合成橡胶制造 是 树脂和合成橡胶制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49688-49688 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49687-49687 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49686-49686 |
|