| EntertainmentBuilding(娱乐建筑)
|
| appearance as argument number 1 |
|
| (documentation EntertainmentBuilding EnglishLanguage "A building that has the primary purpose of entertaining people.") | Mid-level-ontology.kif 21871-21872 | |
| (externalImage EntertainmentBuilding "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 30/ Cinemaaustralia.jpg") | pictureList.kif 2162-2162 | |
| (externalImage EntertainmentBuilding "http://upload.wikimedia.org/wikipedia/ en/ a/ a2/ HoustonRiverOaksTheater.JPG") | pictureList.kif 2161-2161 | |
| (subclass EntertainmentBuilding Building) | Mid-level-ontology.kif 21870-21870 | 娱乐建筑 是 建筑物 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage EntertainmentBuilding "娱乐建筑") | domainEnglishFormat.kif 22191-22191 | |
| (termFormat ChineseTraditionalLanguage EntertainmentBuilding "娛樂建築") | domainEnglishFormat.kif 22190-22190 | |
| (termFormat EnglishLanguage EntertainmentBuilding "entertainment building") | domainEnglishFormat.kif 22189-22189 |
| antecedent |
|
|
| (=> (instance ?BUILDING EntertainmentBuilding) (hasPurpose ?BUILDING (exists (?REC) (and (instance ?REC RecreationOrExercise) (eventLocated ?REC ?BUILDING))))) |
Mid-level-ontology.kif 21874-21880 |
|
|
|