No TPTP formula. May not be expressible in strict first order. |
naics.kif 2408-2408 |
所有其他剪裁和缝制服装制造 是 其他剪裁和缝制服装制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2401-2401 |
皮草和皮革服装制造业 是 其他剪裁和缝制服装制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2393-2393 |
婴儿剪裁和缝制服装制造业 是 其他剪裁和缝制服装制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42912-42912 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42911-42911 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42910-42910 |
|