No TPTP formula. May not be expressible in strict first order. |
naics.kif 6981-6981 |
预定期刊和报纸批发商 是 杂项非耐用品批发商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6974-6974 |
农场用品批发商 是 杂项非耐用品批发商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6988-6988 |
花卉苗木和花店用品批发商 是 杂项非耐用品批发商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7010-7010 |
其他杂项非耐用品批发商 是 杂项非耐用品批发商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7003-7003 |
油漆清漆和用品批发商 是 杂项非耐用品批发商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6996-6996 |
烟草和烟草制品批发商 是 杂项非耐用品批发商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38009-38009 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38008-38008 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38007-38007 |
|