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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AuditoriumSeat
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 7001-7002
(externalImage AuditoriumSeat "http://upload.wikimedia.org/wikipedia/commons/ 6/ 60/ Regensburg_Stadttheater_Zuschauerraum_2004.jpg") pictureList.kif 8361-8361
(subclass AuditoriumSeat Seat) Mid-level-ontology.kif 7000-7000

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage AuditoriumSeat "礼堂座位") domainEnglishFormat.kif 9057-9057
(termFormat ChineseTraditionalLanguage AuditoriumSeat "禮堂座位") domainEnglishFormat.kif 9056-9056
(termFormat EnglishLanguage AuditoriumSeat "auditorium seat") domainEnglishFormat.kif 9055-9055

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 7011-7025
(=>
    (instance ?SEAT AuditoriumSeat)
    (exists (?AUDITORIUM)
        (and
            (instance ?AUDITORIUM Auditorium)
            (part ?SEAT ?AUDITORIUM))))
Mid-level-ontology.kif 7004-7009


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