TreeView Knowledge Base Browser - BeerWineAndDistilledAlcoholicBeverageWholesalers

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 6950-6953
No TPTP formula. May not be expressible in strict first order.	naics.kif 6948-6948	子屬性啤酒和蒸餾酒精飲料批發商 and 批發貿易非耐用品

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 6955-6955	子屬性啤酒和啤酒批發商 and 啤酒和蒸餾酒精飲料批發商
No TPTP formula. May not be expressible in strict first order.	naics.kif 6961-6961	子屬性葡萄酒和蒸餾酒精飲料批發商 and 啤酒和蒸餾酒精飲料批發商
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10517-10517
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10516-10516
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10515-10515