TreeView Knowledge Base Browser

appearance as argument number 1

(subAttribute CasinoHotels TravelerAccommodation)	naics.kif 11575-11575	Casino hotels is a subattribute of traveler accommodation
(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 11577-11579	Casino hotels is a subattribute of traveler accommodation
(externalImage CasinoHotels "http://upload.wikimedia.org/wikipedia/commons/ 2/ 23/ Casino_slots2.jpg")	pictureList.kif 8405-8405	Casino hotels is a subattribute of traveler accommodation
(externalImage CasinoHotels "http://upload.wikimedia.org/wikipedia/en/5/ 5d/ Casino6933.JPG")	pictureList.kif 9029-9029	Casino hotels is a subattribute of traveler accommodation
(externalImage CasinoHotels "http://upload.wikimedia.org/wikipedia/en/8/ 88/ Noidnoentry.jpg")	pictureList.kif 9030-9030	Casino hotels is a subattribute of traveler accommodation
(externalImage CasinoHotels "http://upload.wikimedia.org/wikipedia/en/e/ eb/ Crown_Entertainment1.jpg")	pictureList.kif 9031-9031	Casino hotels is a subattribute of traveler accommodation

appearance as argument number 2

(termFormat EnglishLanguage CasinoHotels "casino hotels")	domainEnglishFormat.kif 13386-13386
(termFormat ChineseTraditionalLanguage CasinoHotels "賭場酒店")	domainEnglishFormat.kif 13387-13387
(termFormat ChineseLanguage CasinoHotels "赌场酒店")	domainEnglishFormat.kif 13388-13388

consequent

(=>
    (and
        (attribute ?X TravelerAccommodation)
        (element ?CASINO
            (PropertyFn ?X))
        (instance ?CASINO Casino))
    (attribute ?X CasinoHotels))