No TPTP formula. May not be expressible in strict first order. |
naics.kif 2270-2270 |
男装和男装剪裁和缝制服装承包商 是 剪裁和缝制服装承包商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2277-2277 |
妇女和婴儿剪裁和缝制服装承包商 是 剪裁和缝制服装承包商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18186-18186 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18185-18185 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18184-18184 |
|