TreeView Knowledge Base Browser - ElectricalGoodsWholesalers

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 6574-6576
No TPTP formula. May not be expressible in strict first order.	naics.kif 6572-6572	子屬性電器批發商 and 批發貿易耐用品

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 6578-6578	子屬性電氣設備和設備佈線用品和建築材料批發商 and 電器批發商
No TPTP formula. May not be expressible in strict first order.	naics.kif 6588-6588	子屬性電器電視和收音機批發商 and 電器批發商
No TPTP formula. May not be expressible in strict first order.	naics.kif 6595-6595	子屬性其他電子零件和設備批發商 and 電器批發商
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21516-21516
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21515-21515
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21514-21514