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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Performance
Performance(performance)Buffalo_Bill's_Wild_West_Show, Wild_West_Show, Ziegfeld_Follies, act, barnstorm, benefit, benefit_concert, bill, bit, circus, curtain_raiser, curtain_raising, dramatic_performance, dramatic_production, entr'acte, epilog, epilogue, follies, galanty_show, grandstand, histrionics, interlude, intermezzo, interpretation, longueur, matinee, music_hall, number, one-night_stand, opening, opening_night, perform, performance, play_out, premiere, prologue, public_presentation, puppet_play, puppet_show, puppetry, pyrotechnics, recital, rendering, rendition, representation, review, revue, routine, shadow_play, shadow_show...

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


s__documentation(s__Performance,s__EnglishLanguage,'"A Demonstrating which includes DramaticActing and/ or MakingMusic and which is intended to entertain the audience."')

Mid-level-ontology.kif 14645-14646
s__subclass(s__Performance,s__Demonstrating)

s__instance(s__Demonstrating,s__SetOrClass)

s__instance(s__Performance,s__SetOrClass)

Mid-level-ontology.kif 14644-14644 Performance is a subclass of demonstrating

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


s__instance(s__DramaticPerformance,s__SetOrClass)

s__subclass(s__DramaticPerformance,s__Performance)

s__instance(s__Performance,s__SetOrClass)

Mid-level-ontology.kif 14750-14750 Dramatic performance is a subclass of performance
s__subclass(s__MusicalPerformance,s__Performance)

s__instance(s__MusicalPerformance,s__SetOrClass)

s__instance(s__Performance,s__SetOrClass)

Mid-level-ontology.kif 14726-14726 Musical performance is a subclass of performance
s__instance(s__PerformanceAct,s__SetOrClass)

s__subclass(s__PerformanceAct,s__Performance)

s__instance(s__Performance,s__SetOrClass)

Mid-level-ontology.kif 14664-14664 Performance act is a subclass of performance
s__termFormat(s__ChineseLanguage,s__Performance,'"性能"')

domainEnglishFormat.kif 45091-45091
s__termFormat(s__ChineseTraditionalLanguage,s__Performance,'"性能"')

domainEnglishFormat.kif 45090-45090
s__termFormat(s__EnglishLanguage,s__Performance,'"performance"')

domainEnglishFormat.kif 45089-45089

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17534-17539
( ! [V__PERFORMANCE] :
   ((s__instance(V__PERFORMANCE,s__Performance) =>
       (( ? [V__STAGE] :
           ((s__instance(V__STAGE,s__PerformanceStage) &
               s__eventLocated(V__PERFORMANCE,V__STAGE))))))
   )
)

Mid-level-ontology.kif 14657-14662
( ! [V__PERFORMANCE] :
   ((s__instance(V__PERFORMANCE,s__Performance) =>
       (( ? [V__SUB] :
           ((s__subProcess(V__SUB,V__PERFORMANCE)
             &
             (s__instance(V__SUB,s__DramaticActing) |
               s__instance(V__SUB,s__MakingMusic)))))))
   )
)

Mid-level-ontology.kif 14648-14655

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


( ! [V__M] :
   (((s__attribute(V__M,s__LiveRecording) &
         s__instance(V__M,s__Recording))
       =>
       (( ? [V__P] :
           ((s__instance(V__P,s__Performance) &
               s__record(V__M,V__P))))))
   )
)

Music.kif 375-382
( ! [V__P,V__EP] :
   ((s__instance(V__P,s__Human) =>
       (((s__instance(V__EP,s__EntertainmentProfession) &
             s__attribute(V__P,V__EP))
         =>
         ((s__occupation(V__P,s__OccupationFn(s__Performance))
           |
           s__occupation(V__P,s__OccupationFn(s__ContentDevelopment)))))))
)
)

Mid-level-ontology.kif 17605-17611
( ! [V__P] :
   ((s__instance(V__P,s__Agent) =>
       ((s__attribute(V__P,s__Comedian) =>
           (( ? [V__PERF, V__L] :
               ((s__instance(V__PERF,s__Performance) &
                   s__agent(V__PERF,V__P)
                 &
                 s__instance(V__L,s__Laughing) &
                 s__causes(V__PERF,V__L))))))))
)
)

Mid-level-ontology.kif 17479-17486
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2313-2332
( ! [V__C] :
   ((s__instance(V__C,s__EntertainmentCompany) =>
       (( ? [V__P] :
           ((s__instance(V__P,s__CommercialService) &
               s__agent(V__P,V__C)
             &
             s__instance(V__P,s__Performance))))))
   )
)

Mid-level-ontology.kif 6684-6690
( ! [V__PROG] :
   ((s__instance(V__PROG,s__PerformanceProgram) =>
       (( ? [V__PERF, V__PROP] :
           ((s__instance(V__PROP,s__Proposition) &
               (s__containsInformation(V__PROG,V__PROP)
               &
               s__realization(V__PERF,V__PROP)
             &
             s__instance(V__PERF,s__Performance)))))))
)
)

Mid-level-ontology.kif 13389-13395


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