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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CasinoHotels

Sigma KEE - CasinoHotels
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 "http://upload.wikimedia.org/wikipedia/commons/ 2/ 23/ Casino_slots2.jpg") pictureList.kif 8408-8408
(externalImage CasinoHotels "http://upload.wikimedia.org/wikipedia/en/5/ 5d/ Casino6933.JPG") pictureList.kif 9035-9035
(externalImage CasinoHotels "http://upload.wikimedia.org/wikipedia/en/8/ 88/ Noidnoentry.jpg") pictureList.kif 9036-9036
(externalImage CasinoHotels "http://upload.wikimedia.org/wikipedia/en/e/ 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

consequent
-------------------------


(=>
    (and
        (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