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	子屬性表演藝術公司 and 表演藝術觀眾體育及相關產業

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 11290-11290	子屬性舞蹈公司 and 表演藝術公司
No TPTP formula. May not be expressible in strict first order.	naics.kif 11297-11297	子屬性音樂團體和藝術家 and 表演藝術公司
No TPTP formula. May not be expressible in strict first order.	naics.kif 11305-11305	子屬性其他表演藝術公司 and 表演藝術公司
No TPTP formula. May not be expressible in strict first order.	naics.kif 11283-11283	子屬性劇院公司和晚餐劇院 and 表演藝術公司
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