TreeView Knowledge Base Browser - PostproductionServicesAndOtherMotionPictureAndVideoIndustries

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 8953-8957
No TPTP formula. May not be expressible in strict first order.	naics.kif 8951-8951	后期制作服务和其他电影和视频行业是电影和视频行业的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 8967-8967	其他电影和视频行业是后期制作服务和其他电影和视频行业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 8959-8959	远程制作和其他后期制作服务是后期制作服务和其他电影和视频行业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46832-46832
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46831-46831
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46830-46830