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 43172-43172 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43171-43171 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43170-43170 |
|