No TPTP formula. May not be expressible in strict first order. |
naics.kif 7523-7523 |
服装店 是 服装和服饰配件商店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7575-7575 |
珠宝箱包和皮具店 是 服装和服饰配件商店 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7569-7569 |
鞋店 是 服装和服饰配件商店 的 subAttribute |
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 |
|