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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AuditoriumSeat

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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