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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AmusementGamblingAndRecreationIndustries
AmusementGamblingAndRecreationIndustries

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


(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 11338-11340
(relatedInternalConcept AmusementGamblingAndRecreationIndustries TourismIndustry) Economy.kif 1909-1909 relatedInternalConcept AmusementGamblingAndRecreationIndustries and TourismIndustry
(subAttribute AmusementGamblingAndRecreationIndustries ArtsEntertainmentAndRecreation) naics.kif 11336-11336 subAttribute AmusementGamblingAndRecreationIndustries and ArtsEntertainmentAndRecreation

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


(subAttribute AmusementParksAndArcades AmusementGamblingAndRecreationIndustries) naics.kif 11342-11342 subAttribute AmusementParksAndArcades and AmusementGamblingAndRecreationIndustries
(subAttribute GamblingIndustries AmusementGamblingAndRecreationIndustries) naics.kif 11400-11400 subAttribute GamblingIndustries and AmusementGamblingAndRecreationIndustries
(subAttribute OtherAmusementAndRecreationIndustries AmusementGamblingAndRecreationIndustries) naics.kif 11430-11430 subAttribute OtherAmusementAndRecreationIndustries and AmusementGamblingAndRecreationIndustries
(termFormat ChineseLanguage AmusementGamblingAndRecreationIndustries "娱乐赌博和娱乐业") domainEnglishFormat.kif 7351-7351
(termFormat ChineseTraditionalLanguage AmusementGamblingAndRecreationIndustries "娛樂賭博和娛樂業") domainEnglishFormat.kif 7350-7350
(termFormat EnglishLanguage AmusementGamblingAndRecreationIndustries "amusement gambling and recreation industries") domainEnglishFormat.kif 7349-7349

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


(=>
    (and
        (instance ?T Ticket)
        (possesses ?T ?CUST)
        (issuedBy ?T ?ORG)
        (attribute ?ORG AmusementGamblingAndRecreationIndustries)
        (located ?ORG ?LOC))
    (confersNorm ?ORG
        (exists (?REC)
            (and
                (instance ?REC RecreationOrExercise)
                (experiencer ?REC ?CUST)
                (eventLocated ?REC ?LOC))) Permission))
naics.kif 11379-11391


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners