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

VerbNet: performance-26.7|perform,


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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13496-13497
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13495-13495 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 13601-13601 Dramatic performance is a subclass of performance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13577-13577 Musical performance is a subclass of performance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13515-13515 Performance act is a subclass of performance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45037-45037 "性能" is the printable form of performance in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45036-45036 "性能" is the printable form of performance in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45035-45035 "performance" is the printable form of performance in english language

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16426-16431
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13508-13513
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13499-13506

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


No TPTP formula. May not be expressible in strict first order. Music.kif 375-382
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16552-16558
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16372-16379
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2299-2318
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6784-6790
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12277-12283


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