TreeView Knowledge Base Browser - MotionPictureAndVideoExhibition

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 8933-8935
No TPTP formula. May not be expressible in strict first order.	naics.kif 8931-8931	电影和视频展览是电影和视频行业的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 8944-8944	在电影院里开车是电影和视频展览的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 8937-8937	电影院除免下车服务是电影和视频展览的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38739-38739
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38738-38738
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38737-38737