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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Performance

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 14994-14995
s__subclass(s__Performance,s__Demonstrating)

s__instance(s__Demonstrating,s__Class)

s__instance(s__Performance,s__Class)

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

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


s__subclass(s__DramaticPerformance,s__Performance)

s__instance(s__DramaticPerformance,s__Class)

s__instance(s__Performance,s__Class)

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

s__instance(s__Performance,s__Class)

s__instance(s__MusicalPerformance,s__Class)

Mid-level-ontology.kif 15075-15075 Musical performance is a subclass of performance
s__subclass(s__PerformanceAct,s__Performance)

s__instance(s__PerformanceAct,s__Class)

s__instance(s__Performance,s__Class)

Mid-level-ontology.kif 15013-15013 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 17883-17888
( ! [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 15006-15011
( ! [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 14997-15004

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 17954-17960
( ! [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 17828-17835
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2326-2345
( ! [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 6754-6760
( ! [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 13731-13737


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