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 45158-45158 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45157-45157 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45156-45156 |
|