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 |
|
![]() |
![]() |