No TPTP formula. May not be expressible in strict first order. |
naics.kif 11346-11346 |
子屬性 表演藝術體育和類似活動的推動者與設施 and 表演藝術體育和類似活動的推動者 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11355-11355 |
子屬性 沒有設施的表演藝術體育和類似活動的推動者 and 表演藝術體育和類似活動的推動者 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47728-47728 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47727-47727 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47726-47726 |
|