No TPTP formula. May not be expressible in strict first order. |
naics.kif 11332-11332 |
OtherSpectatorSports est un sous-attribut de SpectatorSports |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11326-11326 |
Racetracks est un sous-attribut de SpectatorSports |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11319-11319 |
SportsTeamsAndClubs est un sous-attribut de SpectatorSports |
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 |
|