No TPTP formula. May not be expressible in strict first order. |
naics.kif 3189-3189 |
碱和氯制造 是 其他基础无机化学制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3203-3203 |
所有其他基础无机化学制造 是 其他基础无机化学制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3196-3196 |
炭黑制造 是 其他基础无机化学制造业 的 subAttribute |
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 |
|