TreeView Knowledge Base Browser - PerformingArtsCompanies

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 11279-11281
No TPTP formula. May not be expressible in strict first order.	naics.kif 11277-11277	表演艺术公司是表演艺术观众体育及相关产业的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 11290-11290	舞蹈公司是表演艺术公司的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 11297-11297	音乐团体和艺术家是表演艺术公司的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 11305-11305	其他表演艺术公司是表演艺术公司的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 11283-11283	剧院公司和晚餐剧院是表演艺术公司的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45156-45156
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45155-45155
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45154-45154