Auditorium
|
|
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 7320-7322 | |
(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 7319-7319 | Auditorium è una sottoclasse di Costruzione |
appearance as argument number 2 |
(subclass Cinema Auditorium) | Mid-level-ontology.kif 22501-22501 | Cinema è una sottoclasse di 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 7343-7348 |
|
(=> (instance ?STAGE PerformanceStage) (exists (?AUDITORIUM) (and (instance ?AUDITORIUM Auditorium) (part ?STAGE ?AUDITORIUM)))) |
Mid-level-ontology.kif 15759-15764 |
|