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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PerformingArtsSpectatorSportsAndRelatedIndustries
PerformingArtsSpectatorSportsAndRelatedIndustries

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 PerformingArtsSpectatorSportsAndRelatedIndustries e' um sub-atributo de ArtsEntertainmentAndRecreation

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11364-11364 AgentsAndManagersForArtistsAthletesEntertainersAndOtherPublicFigures e' um sub-atributo de PerformingArtsSpectatorSportsAndRelatedIndustries
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2348-2348 ArtsAndRecreationTicketingServices e' um sub-atributo de PerformingArtsSpectatorSportsAndRelatedIndustries
No TPTP formula. May not be expressible in strict first order. naics.kif 11372-11372 IndependentArtistsWritersAndPerformers e' um sub-atributo de PerformingArtsSpectatorSportsAndRelatedIndustries
No TPTP formula. May not be expressible in strict first order. naics.kif 11277-11277 PerformingArtsCompanies e' um sub-atributo de PerformingArtsSpectatorSportsAndRelatedIndustries
No TPTP formula. May not be expressible in strict first order. naics.kif 11339-11339 PromotersOfPerformingArtsSportsAndSimilarEvents e' um sub-atributo de PerformingArtsSpectatorSportsAndRelatedIndustries
No TPTP formula. May not be expressible in strict first order. naics.kif 11313-11313 SpectatorSports e' um sub-atributo de PerformingArtsSpectatorSportsAndRelatedIndustries
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45164-45164
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45163-45163
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45162-45162


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