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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PerformingArtsSpectatorSportsAndRelatedIndustries

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 est un sous-attribut de ArtsEntertainmentAndRecreation

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11364-11364 AgentsAndManagersForArtistsAthletesEntertainersAndOtherPublicFigures est un sous-attribut de PerformingArtsSpectatorSportsAndRelatedIndustries
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2348-2348 ArtsAndRecreationTicketingServices est un sous-attribut de PerformingArtsSpectatorSportsAndRelatedIndustries
No TPTP formula. May not be expressible in strict first order. naics.kif 11372-11372 IndependentArtistsWritersAndPerformers est un sous-attribut de PerformingArtsSpectatorSportsAndRelatedIndustries
No TPTP formula. May not be expressible in strict first order. naics.kif 11277-11277 PerformingArtsCompanies est un sous-attribut de PerformingArtsSpectatorSportsAndRelatedIndustries
No TPTP formula. May not be expressible in strict first order. naics.kif 11339-11339 PromotersOfPerformingArtsSportsAndSimilarEvents est un sous-attribut de PerformingArtsSpectatorSportsAndRelatedIndustries
No TPTP formula. May not be expressible in strict first order. naics.kif 11313-11313 SpectatorSports est un sous-attribut de PerformingArtsSpectatorSportsAndRelatedIndustries
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 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