TreeView Knowledge Base Browser - SoundRecordingIndustries

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 8979-8981
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8725-8725
No TPTP formula. May not be expressible in strict first order.	naics.kif 8977-8977	录音行业是电影和录音行业的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 8989-8989	综合记录生产分布是录音行业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 8997-8997	音乐出版商是录音行业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 9010-9010	其他录音行业是录音行业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 8983-8983	记录生产是录音行业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 9004-9004	录音工作室是录音行业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54012-54012
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54011-54011
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54010-54010