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


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