AmusementGamblingAndRecreationIndustries(amusement gambling and recreation industries) |
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 1905-1905 | Amusement gambling and recreation industries is internally related to tourism industry |
(subAttribute AmusementGamblingAndRecreationIndustries ArtsEntertainmentAndRecreation) | naics.kif 11413-11413 | Amusement gambling and recreation industries is a subattribute of arts entertainment and recreation |
appearance as argument number 2 |
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 |
|