TreeView Knowledge Base Browser - PublishingIndustries

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 8839-8841
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9571-9571
No TPTP formula. May not be expressible in strict first order.	naics.kif 8837-8837	子屬性出版業 and 信息產業

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 8843-8843	子屬性報紙期刊和數據庫出版商 and 出版業
No TPTP formula. May not be expressible in strict first order.	naics.kif 8898-8898	子屬性軟件出版商 and 出版業
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48032-48032
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48031-48031
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48030-48030