Auditorium(auditorium) | auditorium, dinner_theater, dinner_theatre, home_theater, home_theatre, house, little_theater, little_theatre, theater, theatre |
appearance as argument number 1 |
(documentation Auditorium EnglishLanguage "Any Building whose purpose is to hold concerts, sports events, plays, etc. before an audience. This class includes theaters, sports stadiums, university auditoriums, etc.") | Mid-level-ontology.kif 7348-7350 | |
(externalImage Auditorium "http://upload.wikimedia.org/wikipedia/commons/ 6/ 60/ Regensburg_Stadttheater_Zuschauerraum_2004.jpg") | pictureList.kif 1650-1650 | |
(subclass Auditorium Building) | Mid-level-ontology.kif 7347-7347 | Auditorium is a subclass of building |
appearance as argument number 2 |
(subclass Cinema Auditorium) | Mid-level-ontology.kif 22554-22554 | Cinema is a subclass of auditorium |
(termFormat ChineseLanguage Auditorium "礼堂") | domainEnglishFormat.kif 9042-9042 | |
(termFormat ChineseTraditionalLanguage Auditorium "禮堂") | domainEnglishFormat.kif 9041-9041 | |
(termFormat EnglishLanguage Auditorium "auditorium") | domainEnglishFormat.kif 9040-9040 |
antecedent |
consequent |
(=> (instance ?SEAT AuditoriumSeat) (exists (?AUDITORIUM) (and (instance ?AUDITORIUM Auditorium) (part ?SEAT ?AUDITORIUM)))) |
Mid-level-ontology.kif 7371-7376 |
|
(=> (instance ?STAGE PerformanceStage) (exists (?AUDITORIUM) (and (instance ?AUDITORIUM Auditorium) (part ?STAGE ?AUDITORIUM)))) |
Mid-level-ontology.kif 15787-15792 |
|