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


KB Term:  Term intersection
English Word: 

  AmusementGamblingAndRecreationIndustries

 Sigma KEE - AmusementGamblingAndRecreationIndustries
AmusementGamblingAndRecreationIndustries(amusement gambling and recreation industries)

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


(relatedInternalConcept AmusementGamblingAndRecreationIndustries TourismIndustry) Economy.kif 2025-2025 Amusement gambling and recreation industries is internally related to tourism industry
(subAttribute AmusementGamblingAndRecreationIndustries ArtsEntertainmentAndRecreation) naics.kif 11410-11410 Amusement gambling and recreation industries is a subattribute of arts entertainment and recreation
(documentation AmusementGamblingAndRecreationIndustries EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Amusement, Gambling, and Recreation Industries.") naics.kif 11412-11414 Amusement gambling and recreation industries is a subattribute of arts entertainment and recreation

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


(termFormat EnglishLanguage AmusementGamblingAndRecreationIndustries "amusement gambling and recreation industries") domainEnglishFormat.kif 7343-7343
(termFormat ChineseTraditionalLanguage AmusementGamblingAndRecreationIndustries "娛樂賭博和娛樂業") domainEnglishFormat.kif 7344-7344
(termFormat ChineseLanguage AmusementGamblingAndRecreationIndustries "娱乐赌博和娱乐业") domainEnglishFormat.kif 7345-7345
(subAttribute AmusementParksAndArcades AmusementGamblingAndRecreationIndustries) naics.kif 11416-11416 Amusement parks and arcades is a subattribute of amusement gambling and recreation industries
(subAttribute GamblingIndustries AmusementGamblingAndRecreationIndustries) naics.kif 11474-11474 Gambling industries is a subattribute of amusement gambling and recreation industries
(subAttribute OtherAmusementAndRecreationIndustries AmusementGamblingAndRecreationIndustries) naics.kif 11504-11504 Other amusement and recreation industries is a subattribute of amusement gambling and recreation industries

antecedent
-------------------------


(=>
    (and
        (instance ?T Ticket)
        (possesses ?T ?CUST)
        (issuedBy ?T ?ORG)
        (attribute ?ORG AmusementGamblingAndRecreationIndustries)
        (located ?ORG ?LOC))
    (confersNorm ?ORG Permission
        (exists (?REC)
            (and
                (instance ?REC RecreationOrExercise)
                (experiencer ?REC ?CUST)
                (eventLocated ?REC ?LOC)))))		 naics.kif 11453-11465 If X is an instance of ticket, X possesses Y, Z is an issued by of X, amusement gambling and recreation industries is an attribute of Z, and Z is located at W, then Z confers norm permission for there exists V such that V is an instance of recreation or exercise, Y experiences V, and V is located at W


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners