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 8482-8484 | |
(externalImage Auditorium "http://upload.wikimedia.org/wikipedia/commons/ 6/ 60/ Regensburg_Stadttheater_Zuschauerraum_2004.jpg") | pictureList.kif 1649-1649 | |
(subclass Auditorium Building) | Mid-level-ontology.kif 8481-8481 | Auditorium は 建物 の subclass では |
appearance as argument number 2 |
![]() |
(subclass Cinema Auditorium) | Mid-level-ontology.kif 24143-24143 | Cinema は Auditorium の subclass では |
(termFormat ChineseLanguage Auditorium "礼堂") | domainEnglishFormat.kif 9043-9043 | Cinema は Auditorium の subclass では |
(termFormat ChineseTraditionalLanguage Auditorium "禮堂") | domainEnglishFormat.kif 9042-9042 | Cinema は Auditorium の subclass では |
(termFormat EnglishLanguage Auditorium "auditorium") | domainEnglishFormat.kif 9041-9041 | Cinema は Auditorium の subclass では |
antecedent |
![]() |
(=> (and (instance ?SEAT AuditoriumSeat) (part ?SEAT ?AUDITORIUM) (part ?STAGE ?AUDITORIUM) (instance ?AUDITORIUM Auditorium) (instance ?STAGE PerformanceStage) (located ?PERSON ?SEAT) (instance ?PERSON Human) (subclass ?SEE Seeing) (forall (?INST) (=> (instance ?INST ?SEE) (patient ?INST ?STAGE)))) (capability ?SEE agent ?PERSON)) |
Mid-level-ontology.kif 8512-8526 | |
(=> (instance ?AUDITORIUM Auditorium) (exists (?STAGE) (and (instance ?STAGE PerformanceStage) (part ?STAGE ?AUDITORIUM)))) |
Mid-level-ontology.kif 8494-8499 |
|
(=> (instance ?AUDITORIUM Auditorium) (hasPurpose ?AUDITORIUM (exists (?DEMO) (and (instance ?DEMO Demonstrating) (eventLocated ?DEMO ?AUDITORIUM))))) |
Mid-level-ontology.kif 8486-8492 |
|
consequent |
![]() |
(=> (instance ?SEAT AuditoriumSeat) (exists (?AUDITORIUM) (and (instance ?AUDITORIUM Auditorium) (part ?SEAT ?AUDITORIUM)))) |
Mid-level-ontology.kif 8505-8510 |
|
(=> (instance ?STAGE PerformanceStage) (exists (?AUDITORIUM) (and (instance ?AUDITORIUM Auditorium) (part ?STAGE ?AUDITORIUM)))) |
Mid-level-ontology.kif 17133-17138 |
|
![]() |
![]() |