| AuditoriumSeat
| |
| appearance as argument number 1 |
|
|
| (documentation AuditoriumSeat EnglishLanguage "A Seat within an Auditorium from which one can observe the PerformanceStage.") | Mid-level-ontology.kif 7368-7369 | |
| (externalImage AuditoriumSeat "http://upload.wikimedia.org/wikipedia/commons/ 6/ 60/ Regensburg_Stadttheater_Zuschauerraum_2004.jpg") | pictureList.kif 8360-8360 | |
| (subclass AuditoriumSeat Seat) | Mid-level-ontology.kif 7367-7367 | AuditoriumSeat は Seat の subclass では %n |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage AuditoriumSeat "礼堂座位") | domainEnglishFormat.kif 9048-9048 | |
| (termFormat ChineseTraditionalLanguage AuditoriumSeat "禮堂座位") | domainEnglishFormat.kif 9047-9047 | |
| (termFormat EnglishLanguage AuditoriumSeat "auditorium seat") | domainEnglishFormat.kif 9046-9046 |
| 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 7378-7392 |
|
| (=> (instance ?SEAT AuditoriumSeat) (exists (?AUDITORIUM) (and (instance ?AUDITORIUM Auditorium) (part ?SEAT ?AUDITORIUM)))) |
Mid-level-ontology.kif 7371-7376 |
|
|
|
|