No TPTP formula. May not be expressible in strict first order. |
naics.kif 11546-11546 |
所有其他娱乐和娱乐业 是 其他娱乐和娱乐业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11540-11540 |
保龄球中心 是 其他娱乐和娱乐业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11533-11533 |
健身和休闲体育中心 是 其他娱乐和娱乐业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11513-11513 |
高尔夫球场和乡村俱乐部 是 其他娱乐和娱乐业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11527-11527 |
游艇码头 是 其他娱乐和娱乐业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11520-11520 |
滑雪设施 是 其他娱乐和娱乐业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42722-42722 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42721-42721 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42720-42720 |
|