No TPTP formula. May not be expressible in strict first order. |
naics.kif 11413-11413 |
子屬性 娛樂賭博和娛樂業 and 藝術娛樂和遊藝 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11378-11378 |
子屬性 博物館歷史遺址和類似機構 and 藝術娛樂和遊藝 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11270-11270 |
子屬性 表演藝術觀眾體育及相關產業 and 藝術娛樂和遊藝 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8568-8568 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8567-8567 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8566-8566 |
|