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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - CasinoHotels

appearance as argument number 1

(documentation CasinoHotels EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Casino Hotels or Hotels and Motels (casino hotels).") naics.kif 11505-11507
(externalImage CasinoHotels " 2/ 23/ Casino_slots2.jpg") pictureList.kif 8408-8408
(externalImage CasinoHotels " 5d/ Casino6933.JPG") pictureList.kif 9035-9035
(externalImage CasinoHotels " 88/ Noidnoentry.jpg") pictureList.kif 9036-9036
(externalImage CasinoHotels " eb/ Crown_Entertainment1.jpg") pictureList.kif 9037-9037
(subAttribute CasinoHotels TravelerAccommodation) naics.kif 11503-11503

appearance as argument number 2

(termFormat EnglishLanguage CasinoHotels "casino hotels") domainEnglishFormat.kif 2653-2653


        (attribute ?X TravelerAccommodation)
        (element ?CASINO
            (PropertyFn ?X))
        (instance ?CASINO Casino))
    (attribute ?X CasinoHotels))
Hotel.kif 1399-1404

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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