No TPTP formula. May not be expressible in strict first order. |
naics.kif 11493-11493 |
子屬性 賭場酒店除外的賭場 and 賭博業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11500-11500 |
子屬性 其他賭博業 and 賭博業 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25424-25424 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25423-25423 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25422-25422 |
|