No TPTP formula. May not be expressible in strict first order. |
naics.kif 3276-3276 |
人造和合成纤维和丝物的制造 是 树脂合成橡胶和人造及合成纤维和长丝的制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3255-3255 |
树脂和合成橡胶制造 是 树脂合成橡胶和人造及合成纤维和长丝的制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49694-49694 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49693-49693 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49692-49692 |
|