| 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 23505-23506 | |
| (externalImage EntertainmentBuilding "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 30/ Cinemaaustralia.jpg") | pictureList.kif 2160-2160 | |
| (externalImage EntertainmentBuilding "http://upload.wikimedia.org/wikipedia/ en/ a/ a2/ HoustonRiverOaksTheater.JPG") | pictureList.kif 2159-2159 | |
| (subclass EntertainmentBuilding Building) | Mid-level-ontology.kif 23504-23504 | Entertainment building is a subclass of building |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage EntertainmentBuilding "娱乐建筑") | domainEnglishFormat.kif 22210-22210 | |
| (termFormat ChineseTraditionalLanguage EntertainmentBuilding "娛樂建築") | domainEnglishFormat.kif 22209-22209 | |
| (termFormat EnglishLanguage EntertainmentBuilding "entertainment building") | domainEnglishFormat.kif 22208-22208 |
| antecedent |
|
|
| (=> (instance ?BUILDING EntertainmentBuilding) (hasPurpose ?BUILDING (exists (?REC) (and (instance ?REC RecreationOrExercise) (eventLocated ?REC ?BUILDING))))) |
Mid-level-ontology.kif 23508-23514 |
|
|
|
|