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 11415-11417
(relatedInternalConcept AmusementGamblingAndRecreationIndustries TourismIndustry) Economy.kif 1905-1905 相關的內部概念 娛樂賭博和娛樂業 and 旅遊產業
(subAttribute AmusementGamblingAndRecreationIndustries ArtsEntertainmentAndRecreation) naics.kif 11413-11413 子屬性 娛樂賭博和娛樂業 and 藝術娛樂和遊藝

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


(subAttribute AmusementParksAndArcades AmusementGamblingAndRecreationIndustries) naics.kif 11419-11419 子屬性 遊樂園和商場 and 娛樂賭博和娛樂業
(subAttribute GamblingIndustries AmusementGamblingAndRecreationIndustries) naics.kif 11477-11477 子屬性 賭博業 and 娛樂賭博和娛樂業
(subAttribute OtherAmusementAndRecreationIndustries AmusementGamblingAndRecreationIndustries) naics.kif 11507-11507 子屬性 其他娛樂和娛樂業 and 娛樂賭博和娛樂業
(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


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 3.0 is open source software produced by Articulate Software and its partners