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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - PerformanceStage
PerformanceStage

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


(documentation PerformanceStage EnglishLanguage "A large platform for theatrical plays, lectures, dances, music recitals, etc, which can be observed by an audience.") Mid-level-ontology.kif 17122-17123
(externalImage PerformanceStage "http://upload.wikimedia.org/wikipedia/commons/ e/ eb/ Yoshida_stage.jpg") pictureList.kif 4791-4791
(subclass PerformanceStage StationaryArtifact) Mid-level-ontology.kif 17121-17121 PerformanceStage固定アーチファクトsubclass では

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


(termFormat ChineseLanguage PerformanceStage "表演阶段") domainEnglishFormat.kif 45146-45146
(termFormat ChineseTraditionalLanguage PerformanceStage "表演階段") domainEnglishFormat.kif 45145-45145
(termFormat EnglishLanguage PerformanceStage "performance stage") domainEnglishFormat.kif 45144-45144

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 8512-8526
(=>
    (instance ?STAGE PerformanceStage)
    (exists (?AUDITORIUM)
        (and
            (instance ?AUDITORIUM Auditorium)
            (part ?STAGE ?AUDITORIUM))))
Mid-level-ontology.kif 17133-17138
(=>
    (instance ?STAGE PerformanceStage)
    (hasPurpose ?STAGE
        (exists (?PERF)
            (and
                (instance ?PERF Demonstrating)
                (eventLocated ?PERF ?STAGE)))))
Mid-level-ontology.kif 17125-17131

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


(=>
    (instance ?AUDITORIUM Auditorium)
    (exists (?STAGE)
        (and
            (instance ?STAGE PerformanceStage)
            (part ?STAGE ?AUDITORIUM))))
Mid-level-ontology.kif 8494-8499
(=>
    (instance ?PERFORMANCE Performance)
    (exists (?STAGE)
        (and
            (instance ?STAGE PerformanceStage)
            (eventLocated ?PERFORMANCE ?STAGE))))
Mid-level-ontology.kif 17247-17252
(=>
    (instance ?W PerformanceStageWing)
    (exists (?S)
        (and
            (instance ?S PerformanceStage)
            (part ?W ?S))))
Mid-level-ontology.kif 17144-17149


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