TreeView Knowledge Base Browser - PetroleumAndPetroleumProductsWholesalers

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 6928-6930
No TPTP formula. May not be expressible in strict first order.	naics.kif 6926-6926	子屬性石油和石油產品批發商 and 批發貿易非耐用品

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 6939-6939	子屬性除散裝站和碼頭外的石油和石油產品批發商 and 石油和石油產品批發商
No TPTP formula. May not be expressible in strict first order.	naics.kif 6932-6932	子屬性石油散裝站和碼頭 and 石油和石油產品批發商
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45450-45450
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45449-45449
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45448-45448