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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Performance
PerformanceBuffalo_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 13504-13505
s__instance(s__Demonstrating,s__SetOrClass)

 Mid-level-ontology.kif 13503-13503

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


s__instance(s__DramaticPerformance,s__SetOrClass)

 Mid-level-ontology.kif 13609-13609
s__instance(s__MusicalPerformance,s__SetOrClass)

 Mid-level-ontology.kif 13585-13585
s__instance(s__Performance,s__SetOrClass)

 Mid-level-ontology.kif 13523-13523
s__termFormat(s__EnglishLanguage,s__Performance,'performance')

 domainEnglishFormat.kif 7939-7939

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16404-16409
( ! [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 13516-13521
( ! [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 13507-13514

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 381-388
( ! [V__EP,V__P] :
   ((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 16530-16536
( ! [V__P,V__PREF] :
   (s__attribute(V__P,s__Comedian) =>
     (? [V__PERF,V__L] :
       (s__instance(V__PERF,s__Performance) &
         s__agent(V__PREF,V__P)
       &
       s__instance(V__L,s__Laughing) &
       s__causes(V__PERF,V__L))))
)

 Mid-level-ontology.kif 16350-16357
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2294-2313
( ! [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 6786-6792
( ! [V__PROG] :
   (s__instance(V__PROG,s__PerformanceProgram) =>
     (? [V__PERF,V__PROP] :
       (s__containsInformation(V__PROG,V__PROP)
       &
       s__realization(V__PERF,V__PROP)
     &
     s__instance(V__PERF,s__Performance))))
)

 Mid-level-ontology.kif 12285-12291


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners