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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PerformanceStage

Sigma KEE - PerformanceStage
PerformanceStage(performance stage)
dock, downstage, loading_dock, masking, masking_piece, platform, runway, scene, scenery, set, stage, stage_set

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 15749-15750
(externalImage PerformanceStage "http://upload.wikimedia.org/wikipedia/commons/ e/ eb/ Yoshida_stage.jpg") pictureList.kif 4792-4792
(subclass PerformanceStage StationaryArtifact) Mid-level-ontology.kif 15748-15748 Performance stage is a subclass of stationary artifact

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


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

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 ?STAGE PerformanceStage)
    (exists (?AUDITORIUM)
        (and
            (instance ?AUDITORIUM Auditorium)
            (part ?STAGE ?AUDITORIUM))))
Mid-level-ontology.kif 15760-15765
(=>
    (instance ?STAGE PerformanceStage)
    (hasPurpose ?STAGE
        (exists (?PERF)
            (and
                (instance ?PERF Demonstrating)
                (eventLocated ?PERF ?STAGE)))))
Mid-level-ontology.kif 15752-15758

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


(=>
    (instance ?AUDITORIUM Auditorium)
    (exists (?STAGE)
        (and
            (instance ?STAGE PerformanceStage)
            (part ?STAGE ?AUDITORIUM))))
Mid-level-ontology.kif 7333-7338
(=>
    (instance ?PERFORMANCE Performance)
    (exists (?STAGE)
        (and
            (instance ?STAGE PerformanceStage)
            (eventLocated ?PERFORMANCE ?STAGE))))
Mid-level-ontology.kif 15860-15865
(=>
    (instance ?W PerformanceStageWing)
    (exists (?S)
        (and
            (instance ?S PerformanceStage)
            (part ?W ?S))))
Mid-level-ontology.kif 15771-15776


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