No TPTP formula. May not be expressible in strict first order. |
naics.kif 11332-11332 |
OtherSpectatorSports e' um sub-atributo de SpectatorSports |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11326-11326 |
Racetracks e' um sub-atributo de SpectatorSports |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11319-11319 |
SportsTeamsAndClubs e' um sub-atributo 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 |
|