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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArtsEntertainmentAndRecreation

Sigma KEE - ArtsEntertainmentAndRecreation
ArtsEntertainmentAndRecreation

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11266-11268
No TPTP formula. May not be expressible in strict first order. naics.kif 11264-11264 ArtsEntertainmentAndRecreation e' uma instancia de IndustryAttribute
No TPTP formula. May not be expressible in strict first order. Economy.kif 1906-1906 ArtsEntertainmentAndRecreation e' relacionado internamente por SUMO a TourismIndustry

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11413-11413 AmusementGamblingAndRecreationIndustries e' um sub-atributo de ArtsEntertainmentAndRecreation
No TPTP formula. May not be expressible in strict first order. naics.kif 11378-11378 MuseumsHistoricalSitesAndSimilarInstitutions e' um sub-atributo de ArtsEntertainmentAndRecreation
No TPTP formula. May not be expressible in strict first order. naics.kif 11270-11270 PerformingArtsSpectatorSportsAndRelatedIndustries e' um sub-atributo de ArtsEntertainmentAndRecreation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8568-8568
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8567-8567
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8566-8566


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