TreeView Knowledge Base Browser - MachineryEquipmentAndSuppliesWholesalers

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 6642-6644
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5793-5793	相關的內部概念機械設備和用品批發商 and 工業供應
No TPTP formula. May not be expressible in strict first order.	naics.kif 6640-6640	子屬性機械設備和用品批發商 and 批發貿易耐用品

appearance as argument number 2

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