No TPTP formula. May not be expressible in strict first order. |
naics.kif 11493-11493 |
Casinos except casino hotels is a subattribute of gambling industries |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11500-11500 |
Other gambling industries is a subattribute of gambling industries |
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 |
|