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 |
(subAttribute AmusementParksAndArcades AmusementGamblingAndRecreationIndustries) | naics.kif 11419-11419 | Amusement parks and arcades is a subattribute of amusement gambling and recreation industries |
(subAttribute GamblingIndustries AmusementGamblingAndRecreationIndustries) | naics.kif 11477-11477 | Gambling industries is a subattribute of amusement gambling and recreation industries |
(subAttribute OtherAmusementAndRecreationIndustries AmusementGamblingAndRecreationIndustries) | naics.kif 11507-11507 | Other amusement and recreation industries is a subattribute of amusement gambling and recreation industries |
(termFormat ChineseLanguage AmusementGamblingAndRecreationIndustries "娱乐赌博和娱乐业") | domainEnglishFormat.kif 7344-7344 | |
(termFormat ChineseTraditionalLanguage AmusementGamblingAndRecreationIndustries "娛樂賭博和娛樂業") | domainEnglishFormat.kif 7343-7343 | |
(termFormat EnglishLanguage AmusementGamblingAndRecreationIndustries "amusement gambling and recreation industries") | domainEnglishFormat.kif 7342-7342 |
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 |
|