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
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17235-17236
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17234-17234 Performance is a subclass of demonstrating

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17340-17340 Dramatic performance is a subclass of performance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17316-17316 Musical performance is a subclass of performance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17254-17254 Performance act is a subclass of performance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45110-45110 Performance act is a subclass of performance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45109-45109 Performance act is a subclass of performance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45108-45108 Performance act is a subclass of performance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20421-20426
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17247-17252
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17238-17245

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


No TPTP formula. May not be expressible in strict first order. Music.kif 380-387
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20492-20498
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20366-20373
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2364-2383
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24146-24154
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8279-8285
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15910-15916


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