| No TPTP formula. May not be expressible in strict first order. |
naics.kif 2550-2550 |
所有其他皮革制造业 是 其他皮革及相关产品制造 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 2529-2529 |
箱包制造业 是 其他皮革及相关产品制造 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 2542-2542 |
人皮革产品，除了女性手提包和钱包制造 是 其他皮革及相关产品制造 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 2535-2535 |
女式手提包和钱包制造 是 其他皮革及相关产品制造 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43170-43170 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43169-43169 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43168-43168 |
|
OtherLeatherAndAlliedProductManufacturing