No TPTP formula. May not be expressible in strict first order. |
naics.kif 6722-6722 |
珠宝腕表宝石和贵金属批发商 是 杂项耐用品批发商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6730-6730 |
其他杂项耐用品批发商 是 杂项耐用品批发商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6715-6715 |
可回收材料批发商 是 杂项耐用品批发商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6701-6701 |
体育和休闲用品和用品批发商 是 杂项耐用品批发商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6708-6708 |
玩具和爱好商品和用品批发商 是 杂项耐用品批发商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37985-37985 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37984-37984 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37983-37983 |
|