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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PerformingArtsSpectatorSportsAndRelatedIndustries
PerformingArtsSpectatorSportsAndRelatedIndustries(performing arts spectator sports and related industries)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11272-11275
No TPTP formula. May not be expressible in strict first order. naics.kif 11270-11270 Performing arts spectator sports and related industries is a subattribute of arts entertainment and recreation

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11364-11364 Agents and managers for artists athletes entertainers and other public figures is a subattribute of performing arts spectator sports and related industries
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2348-2348 Arts and recreation tickets is a subattribute of performing arts spectator sports and related industries
No TPTP formula. May not be expressible in strict first order. naics.kif 11372-11372 Independent artists writers and performers is a subattribute of performing arts spectator sports and related industries
No TPTP formula. May not be expressible in strict first order. naics.kif 11277-11277 Performing arts companies is a subattribute of performing arts spectator sports and related industries
No TPTP formula. May not be expressible in strict first order. naics.kif 11339-11339 Promoters of performing arts sports and similar events is a subattribute of performing arts spectator sports and related industries
No TPTP formula. May not be expressible in strict first order. naics.kif 11313-11313 Spectator sports is a subattribute of performing arts spectator sports and related industries
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45162-45162
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45161-45161
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45160-45160


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



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