No TPTP formula. May not be expressible in strict first order. |
naics.kif 3475-3475 |
所有其他杂项化学产品和制剂生产 是 所有其他化学产品和制剂生产 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3460-3460 |
购买树脂的定制复合 是 所有其他化学产品和制剂生产 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3467-3467 |
摄影胶片纸板和化学制造 是 所有其他化学产品和制剂生产 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6594-6594 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6593-6593 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6592-6592 |
|