No TPTP formula. May not be expressible in strict first order. |
naics.kif 7542-7542 |
儿童和婴儿服装店 是 服装店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7555-7555 |
服装辅料店 是 服装店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7549-7549 |
家庭服装店 是 服装店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7529-7529 |
男装店 是 服装店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7562-7562 |
其他服装店 是 服装店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7536-7536 |
女装店 是 服装店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15276-15276 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15275-15275 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15274-15274 |
|