No TPTP formula. May not be expressible in strict first order. |
naics.kif 6646-6646 |
子屬性 除油井機械設備批發商外的建築和採礦業 and 機械設備和用品批發商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6655-6655 |
子屬性 農場和園藝機械設備批發商 and 機械設備和用品批發商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6663-6663 |
子屬性 工業機械設備批發商 and 機械設備和用品批發商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6670-6670 |
子屬性 工業用品批發商 and 機械設備和用品批發商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6677-6677 |
子屬性 服務設施和用品批發商 and 機械設備和用品批發商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6686-6686 |
子屬性 除機動車外的運輸設備和用品批發商 and 機械設備和用品批發商 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35519-35519 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35518-35518 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35517-35517 |
|