TreeView Knowledge Base Browser - BookPeriodicalAndMusicStores

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 7655-7657
No TPTP formula. May not be expressible in strict first order.	naics.kif 7653-7653	子屬性預定期刊和音樂商店 and 體育用品愛好書籍和音樂商店

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 7659-7659	子屬性書店和新聞經銷商 and 預定期刊和音樂商店
No TPTP formula. May not be expressible in strict first order.	naics.kif 7689-7689	子屬性預錄磁帶光盤和唱片店 and 預定期刊和音樂商店
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11603-11603
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11602-11602
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11601-11601