No TPTP formula. May not be expressible in strict first order. |
naics.kif 3453-3453 |
所有其他化学产品和制剂生产 是 其他化学产品和制剂生产 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3447-3447 |
炸药制造 是 其他化学产品和制剂生产 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3441-3441 |
印刷油墨制造 是 其他化学产品和制剂生产 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42810-42810 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42809-42809 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42808-42808 |
|