No TPTP formula. May not be expressible in strict first order. |
naics.kif 11419-11419 |
游乐园和商场 是 娱乐赌博和娱乐业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11477-11477 |
赌博业 是 娱乐赌博和娱乐业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11507-11507 |
其他娱乐和娱乐业 是 娱乐赌博和娱乐业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7344-7344 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7343-7343 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7342-7342 |
|