No TPTP formula. May not be expressible in strict first order. |
naics.kif 11413-11413 |
娱乐赌博和娱乐业 是 艺术娱乐和游艺 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11378-11378 |
博物馆历史遗址和类似机构 是 艺术娱乐和游艺 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11270-11270 |
表演艺术观众体育及相关产业 是 艺术娱乐和游艺 的 subAttribute |
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 |
|