No TPTP formula. May not be expressible in strict first order. |
naics.kif 11419-11419 |
子屬性 遊樂園和商場 and 娛樂賭博和娛樂業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11477-11477 |
子屬性 賭博業 and 娛樂賭博和娛樂業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11507-11507 |
子屬性 其他娛樂和娛樂業 and 娛樂賭博和娛樂業 |
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 |
|