No TPTP formula. May not be expressible in strict first order. |
naics.kif 11346-11346 |
表演艺术体育和类似活动的推动者与设施 是 表演艺术体育和类似活动的推动者 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11355-11355 |
没有设施的表演艺术体育和类似活动的推动者 是 表演艺术体育和类似活动的推动者 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47726-47726 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47725-47725 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47724-47724 |
|