No TPTP formula. May not be expressible in strict first order. |
naics.kif 6329-6329 |
所有其他杂项制造业 是 其他杂项制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6270-6270 |
娃娃玩具和游戏制造 是 其他杂项制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6225-6225 |
珠宝和银器制造业 是 其他杂项制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6290-6290 |
办公用品除纸制造业外 是 其他杂项制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6323-6323 |
标志制造 是 其他杂项制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6263-6263 |
体育和运动用品制造业 是 其他杂项制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43248-43248 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43247-43247 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43246-43246 |
|