No TPTP formula. May not be expressible in strict first order. |
naics.kif 7523-7523 |
子屬性 服裝店 and 服裝和服飾配件商店 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7575-7575 |
子屬性 珠寶箱包和皮具店 and 服裝和服飾配件商店 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7569-7569 |
子屬性 鞋店 and 服裝和服飾配件商店 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15270-15270 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15269-15269 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15268-15268 |
|