Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - AuditoriumSeat
AuditoriumSeat(auditorium seat)
box, loge, skybox

appearance as argument number 1

(documentation AuditoriumSeat EnglishLanguage "A Seat within an Auditorium from which one can observe the PerformanceStage.") Mid-level-ontology.kif 7313-7314
(externalImage AuditoriumSeat " 6/ 60/ Regensburg_Stadttheater_Zuschauerraum_2004.jpg") pictureList.kif 8360-8360
(subclass AuditoriumSeat Seat) Mid-level-ontology.kif 7312-7312 Auditorium seat is a subclass of seat

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


        (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 7323-7337
    (instance ?SEAT AuditoriumSeat)
    (exists (?AUDITORIUM)
            (instance ?AUDITORIUM Auditorium)
            (part ?SEAT ?AUDITORIUM))))
Mid-level-ontology.kif 7316-7321

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners