No TPTP formula. May not be expressible in strict first order. |
naics.kif 11332-11332 |
Other spectator sports is a subattribute of spectator sports |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11326-11326 |
Racetracks is a subattribute of spectator sports |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11319-11319 |
Sports teams and clubs is a subattribute of spectator sports |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54588-54588 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54587-54587 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54586-54586 |
|