Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Formula

 Sigma KEE - Auditorium
Auditorium(auditorium)
auditorium, dinner_theater, dinner_theatre, home_theater, home_theatre, house, little_theater, little_theatre, theater, theatre

appearance as argument number 1
-------------------------


(subclass Auditorium Building) Mid-level-ontology.kif 8617-8617 Auditorium is a subclass of building
(documentation Auditorium EnglishLanguage "Any Building whose purpose is to hold concerts, sports events, plays, etc. before an audience. This class includes theaters, sports stadiums, university auditoriums, etc.") Mid-level-ontology.kif 8618-8620 Auditorium is a subclass of building
(externalImage Auditorium "http://upload.wikimedia.org/wikipedia/commons/ 6/ 60/ Regensburg_Stadttheater_Zuschauerraum_2004.jpg") pictureList.kif 1649-1649 Auditorium is a subclass of building

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


(subclass Cinema Auditorium) Mid-level-ontology.kif 24779-24779 Cinema is a subclass of auditorium
(termFormat EnglishLanguage Auditorium "auditorium") domainEnglishFormat.kif 9040-9040 Cinema is a subclass of auditorium
(termFormat ChineseTraditionalLanguage Auditorium "禮堂") domainEnglishFormat.kif 9041-9041 Cinema is a subclass of auditorium
(termFormat ChineseLanguage Auditorium "礼堂") domainEnglishFormat.kif 9042-9042 Cinema is a subclass of auditorium

antecedent
-------------------------


(=>
    (instance ?AUDITORIUM Auditorium)
    (hasPurpose ?AUDITORIUM
        (exists (?DEMO)
            (and
                (instance ?DEMO Demonstrating)
                (eventLocated ?DEMO ?AUDITORIUM)))))		 Mid-level-ontology.kif 8622-8628 If X is an instance of auditorium, then X has the purpose there exists Y such that Y is an instance of demonstrating and Y is located at X
(=>
    (instance ?AUDITORIUM Auditorium)
    (exists (?STAGE)
        (and
            (instance ?STAGE PerformanceStage)
            (part ?STAGE ?AUDITORIUM))))		 Mid-level-ontology.kif 8630-8635 If X is an instance of auditorium, then there exists Y such that Y is an instance of performance stage and Y is a part of X
(=>
    (and
        (instance ?SEAT AuditoriumSeat)
        (part ?SEAT ?AUDITORIUM)
        (part ?STAGE ?AUDITORIUM)
        (instance ?AUDITORIUM Auditorium)
        (instance ?STAGE PerformanceStage)
        (located ?PERSON ?SEAT)
        (instance ?PERSON Human))
    (capability
        (KappaFn ?SEEING
            (and
                (instance ?SEEING Seeing)
                (patient ?SEEING ?STAGE))) agent ?PERSON))		 Mid-level-ontology.kif 8648-8661 If All of the following hold: (1) X is an instance of auditorium seat (2) X is a part of Y (3) Z is a part of Y (4) Y is an instance of auditorium (5) Z is an instance of performance stage (6) W is located at X (7) W is an instance of human, then W is capable of doing the class described by V as a agent

consequent
-------------------------


(=>
    (instance ?SEAT AuditoriumSeat)
    (exists (?AUDITORIUM)
        (and
            (instance ?AUDITORIUM Auditorium)
            (part ?SEAT ?AUDITORIUM))))		 Mid-level-ontology.kif 8641-8646 If X is an instance of auditorium seat, then there exists Y such that Y is an instance of auditorium and X is a part of Y
(=>
    (instance ?STAGE PerformanceStage)
    (exists (?AUDITORIUM)
        (and
            (instance ?AUDITORIUM Auditorium)
            (part ?STAGE ?AUDITORIUM))))		 Mid-level-ontology.kif 17359-17364 If X is an instance of performance stage, then there exists Y such that Y is an instance of auditorium and X is a part of Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners