EntertainmentBuilding
|
|
appearance as argument number 1 |
(documentation EntertainmentBuilding EnglishLanguage "A building that has the primary purpose of entertaining people.") | Mid-level-ontology.kif 22443-22444 | |
(externalImage EntertainmentBuilding "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 30/ Cinemaaustralia.jpg") | pictureList.kif 2161-2161 | |
(externalImage EntertainmentBuilding "http://upload.wikimedia.org/wikipedia/ en/ a/ a2/ HoustonRiverOaksTheater.JPG") | pictureList.kif 2160-2160 | |
(subclass EntertainmentBuilding Building) | Mid-level-ontology.kif 22442-22442 |
appearance as argument number 2 |
(termFormat ChineseLanguage EntertainmentBuilding "娱乐建筑") | domainEnglishFormat.kif 22198-22198 | |
(termFormat ChineseTraditionalLanguage EntertainmentBuilding "娛樂建築") | domainEnglishFormat.kif 22197-22197 | |
(termFormat EnglishLanguage EntertainmentBuilding "entertainment building") | domainEnglishFormat.kif 22196-22196 |
antecedent |
(=> (instance ?BUILDING EntertainmentBuilding) (hasPurpose ?BUILDING (exists (?REC) (and (instance ?REC RecreationOrExercise) (eventLocated ?REC ?BUILDING))))) |
Mid-level-ontology.kif 22446-22452 |