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 7341-7342
(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 7340-7340 AuditoriumSeat est une sous-classe de 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

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 7351-7365
(=>
    (instance ?SEAT AuditoriumSeat)
    (exists (?AUDITORIUM)
        (and
            (instance ?AUDITORIUM Auditorium)
            (part ?SEAT ?AUDITORIUM))))
Mid-level-ontology.kif 7344-7349


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