No TPTP formula. May not be expressible in strict first order. |
naics.kif 3189-3189 |
子屬性 鹼和氯製造 and 其他基礎無機化學製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3203-3203 |
子屬性 所有其他基礎無機化學製造 and 其他基礎無機化學製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3196-3196 |
子屬性 炭黑製造 and 其他基礎無機化學製造業 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42768-42768 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42767-42767 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42766-42766 |
|