No TPTP formula. May not be expressible in strict first order. |
naics.kif 6255-6255 |
服装饰品和新奇制造 是 珠宝和银器制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6247-6247 |
珠宝商材料和宝石工作制造 是 珠宝和银器制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6231-6231 |
除服装制造外的珠宝 是 珠宝和银器制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6239-6239 |
银器和空心制造业 是 珠宝和银器制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31597-31597 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31596-31596 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31595-31595 |
|