Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  SpectatorSports

 Sigma KEE - SpectatorSports
SpectatorSports

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 11315-11317
No TPTP formula. May not be expressible in strict first order. naics.kif 11313-11313 SpectatorSports e' um sub-atributo de PerformingArtsSpectatorSportsAndRelatedIndustries

appearance as argument number 2
-------------------------


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners