No TPTP formula. May not be expressible in strict first order. |
naics.kif 6150-6150 |
杂项制造业 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3143-3143 |
基础化学制造业 是 化学制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3434-3434 |
其他化学产品和制剂生产 是 化学制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3374-3374 |
油漆涂料和胶粘剂制造 是 化学制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3297-3297 |
农药肥料和其他农业化学品制造业 是 化学制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3339-3339 |
制药和医药制造业 是 化学制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3247-3247 |
树脂合成橡胶和人造及合成纤维和长丝的制造 是 化学制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3393-3393 |
肥皂清洁化合物和厕所制备制造 是 化学制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14316-14316 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14315-14315 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14314-14314 |
|