AmusementGamblingAndRecreationIndustries - Sigma Knowledge base Browser

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 11415-11417
(relatedInternalConcept AmusementGamblingAndRecreationIndustries TourismIndustry)	Economy.kif 2030-2030	AmusementGamblingAndRecreationIndustries は TourismIndustry に internally 関連して
(subAttribute AmusementGamblingAndRecreationIndustries ArtsEntertainmentAndRecreation)	naics.kif 11413-11413	AmusementGamblingAndRecreationIndustries は ArtsEntertainmentAndRecreation の subattribute では

appearance as argument number 2

(subAttribute AmusementParksAndArcades AmusementGamblingAndRecreationIndustries)	naics.kif 11419-11419	AmusementParksAndArcades は AmusementGamblingAndRecreationIndustries の subattribute では
(subAttribute GamblingIndustries AmusementGamblingAndRecreationIndustries)	naics.kif 11477-11477	GamblingIndustries は AmusementGamblingAndRecreationIndustries の subattribute では
(subAttribute OtherAmusementAndRecreationIndustries AmusementGamblingAndRecreationIndustries)	naics.kif 11507-11507	OtherAmusementAndRecreationIndustries は AmusementGamblingAndRecreationIndustries の subattribute では
(termFormat ChineseLanguage AmusementGamblingAndRecreationIndustries "娱乐赌博和娱乐业")	domainEnglishFormat.kif 7351-7351	OtherAmusementAndRecreationIndustries は AmusementGamblingAndRecreationIndustries の subattribute では
(termFormat ChineseTraditionalLanguage AmusementGamblingAndRecreationIndustries "娛樂賭博和娛樂業")	domainEnglishFormat.kif 7350-7350	OtherAmusementAndRecreationIndustries は AmusementGamblingAndRecreationIndustries の subattribute では
(termFormat EnglishLanguage AmusementGamblingAndRecreationIndustries "amusement gambling and recreation industries")	domainEnglishFormat.kif 7349-7349	OtherAmusementAndRecreationIndustries は AmusementGamblingAndRecreationIndustries の subattribute では

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 11456-11468