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	出版业是信息产业的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 8843-8843	报纸期刊和数据库出版商是出版业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 8898-8898	软件出版商是出版业的 subAttribute
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