| EntertainmentBuilding(entertainment building)
|
| appearance as argument number 1 |
|
| (documentation EntertainmentBuilding EnglishLanguage "A building that has the primary purpose of entertaining people.") | Mid-level-ontology.kif 22674-22675 | |
| (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 22673-22673 | Entertainment building is a subclass of building |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage EntertainmentBuilding "娱乐建筑") | domainEnglishFormat.kif 22216-22216 | |
| (termFormat ChineseTraditionalLanguage EntertainmentBuilding "娛樂建築") | domainEnglishFormat.kif 22215-22215 | |
| (termFormat EnglishLanguage EntertainmentBuilding "entertainment building") | domainEnglishFormat.kif 22214-22214 |
| antecedent |
|
|
| (=> (instance ?BUILDING EntertainmentBuilding) (hasPurpose ?BUILDING (exists (?REC) (and (instance ?REC RecreationOrExercise) (eventLocated ?REC ?BUILDING))))) |
Mid-level-ontology.kif 22677-22683 |
|
|
|
|