EntertainmentBuilding - Sigma Knowledge base Browser

appearance as argument number 1

(subclass EntertainmentBuilding Building)	Mid-level-ontology.kif 24667-24667	Entertainment building is a subclass of building
(documentation EntertainmentBuilding EnglishLanguage "A building that has the primary purpose of entertaining people.")	Mid-level-ontology.kif 24668-24669	Entertainment building is a subclass of building
(externalImage EntertainmentBuilding "http://upload.wikimedia.org/wikipedia/ en/ a/ a2/ HoustonRiverOaksTheater.JPG")	pictureList.kif 2159-2159	Entertainment building is a subclass of building
(externalImage EntertainmentBuilding "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 30/ Cinemaaustralia.jpg")	pictureList.kif 2160-2160	Entertainment building is a subclass of building

appearance as argument number 2

(termFormat EnglishLanguage EntertainmentBuilding "entertainment building")	domainEnglishFormat.kif 22195-22195
(termFormat ChineseTraditionalLanguage EntertainmentBuilding "娛樂建築")	domainEnglishFormat.kif 22196-22196
(termFormat ChineseLanguage EntertainmentBuilding "娱乐建筑")	domainEnglishFormat.kif 22197-22197

antecedent

(=>
    (instance ?BUILDING EntertainmentBuilding)
    (hasPurpose ?BUILDING
        (exists (?REC)
            (and
                (instance ?REC RecreationOrExercise)
                (eventLocated ?REC ?BUILDING)))))

If X is an instance of entertainment building, then X has the purpose there exists Y such that Y is an instance of recreation or exercise and Y is located at X