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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PerformanceStage

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 15029-15030
(externalImage PerformanceStage "http://upload.wikimedia.org/wikipedia/commons/ e/ eb/ Yoshida_stage.jpg") pictureList.kif 4793-4793
(subclass PerformanceStage StationaryArtifact) Mid-level-ontology.kif 15028-15028

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


(termFormat ChineseLanguage PerformanceStage "表演阶段") domainEnglishFormat.kif 45127-45127
(termFormat ChineseTraditionalLanguage PerformanceStage "表演階段") domainEnglishFormat.kif 45126-45126
(termFormat EnglishLanguage PerformanceStage "performance stage") domainEnglishFormat.kif 45125-45125

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 6987-7001
(=>
    (instance ?STAGE PerformanceStage)
    (exists (?AUDITORIUM)
        (and
            (instance ?AUDITORIUM Auditorium)
            (part ?STAGE ?AUDITORIUM))))
Mid-level-ontology.kif 15040-15045
(=>
    (instance ?STAGE PerformanceStage)
    (hasPurpose ?STAGE
        (exists (?PERF)
            (and
                (instance ?PERF Demonstrating)
                (eventLocated ?PERF ?STAGE)))))
Mid-level-ontology.kif 15032-15038

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


(=>
    (instance ?AUDITORIUM Auditorium)
    (exists (?STAGE)
        (and
            (instance ?STAGE PerformanceStage)
            (part ?STAGE ?AUDITORIUM))))
Mid-level-ontology.kif 6969-6974
(=>
    (instance ?PERFORMANCE Performance)
    (exists (?STAGE)
        (and
            (instance ?STAGE PerformanceStage)
            (eventLocated ?PERFORMANCE ?STAGE))))
Mid-level-ontology.kif 15140-15145
(=>
    (instance ?W PerformanceStageWing)
    (exists (?S)
        (and
            (instance ?S PerformanceStage)
            (part ?W ?S))))
Mid-level-ontology.kif 15051-15056


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