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	子屬性書店和新聞經銷商 and 預定期刊和音樂商店

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 7665-7665	子屬性書店 and 書店和新聞經銷商
No TPTP formula. May not be expressible in strict first order.	naics.kif 7671-7671	子屬性新聞經銷商和報攤 and 書店和新聞經銷商
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