TreeView Knowledge Base Browser - BookStoresAndNewsDealers

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 7661-7663
No TPTP formula. May not be expressible in strict first order.	naics.kif 7659-7659	书店和新闻经销商是预定期刊和音乐商店的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 7665-7665	书店是书店和新闻经销商的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 7671-7671	新闻经销商和报摊是书店和新闻经销商的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11633-11633
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11632-11632
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11631-11631