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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SpeltWheatGrain

 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 15776-15777
(externalImage PerformanceStage "http://upload.wikimedia.org/wikipedia/commons/ e/ eb/ Yoshida_stage.jpg") pictureList.kif 4792-4792
(subclass PerformanceStage StationaryArtifact) Mid-level-ontology.kif 15775-15775 PerformanceStage è una sottoclasse di ManufattoStatico

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 7378-7392
(=>
    (instance ?STAGE PerformanceStage)
    (exists (?AUDITORIUM)
        (and
            (instance ?AUDITORIUM Auditorium)
            (part ?STAGE ?AUDITORIUM))))		 Mid-level-ontology.kif 15787-15792
(=>
    (instance ?STAGE PerformanceStage)
    (hasPurpose ?STAGE
        (exists (?PERF)
            (and
                (instance ?PERF Demonstrating)
                (eventLocated ?PERF ?STAGE)))))		 Mid-level-ontology.kif 15779-15785

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


(=>
    (instance ?AUDITORIUM Auditorium)
    (exists (?STAGE)
        (and
            (instance ?STAGE PerformanceStage)
            (part ?STAGE ?AUDITORIUM))))		 Mid-level-ontology.kif 7360-7365
(=>
    (instance ?PERFORMANCE Performance)
    (exists (?STAGE)
        (and
            (instance ?STAGE PerformanceStage)
            (eventLocated ?PERFORMANCE ?STAGE))))		 Mid-level-ontology.kif 15887-15892
(=>
    (instance ?W PerformanceStageWing)
    (exists (?S)
        (and
            (instance ?S PerformanceStage)
            (part ?W ?S))))		 Mid-level-ontology.kif 15798-15803


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