Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass Performance Demonstrating) Mid-level-ontology.kif 17458-17458 Performance is a subclass of demonstrating
(documentation Performance EnglishLanguage "A Demonstrating which includes DramaticActing and/ or MakingMusic and which is intended to entertain the audience.") Mid-level-ontology.kif 17459-17460 Performance is a subclass of demonstrating

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


(subclass PerformanceAct Performance) Mid-level-ontology.kif 17478-17478 Performance act is a subclass of performance
(subclass MusicalPerformance Performance) Mid-level-ontology.kif 17540-17540 Musical performance is a subclass of performance
(subclass DramaticPerformance Performance) Mid-level-ontology.kif 17564-17564 Dramatic performance is a subclass of performance
(termFormat EnglishLanguage Performance "performance") domainEnglishFormat.kif 45101-45101 Dramatic performance is a subclass of performance
(termFormat ChineseTraditionalLanguage Performance "性能") domainEnglishFormat.kif 45102-45102 Dramatic performance is a subclass of performance
(termFormat ChineseLanguage Performance "性能") domainEnglishFormat.kif 45103-45103 Dramatic performance is a subclass of performance

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


(=>
    (instance ?PERFORMANCE Performance)
    (exists (?SUB)
        (and
            (subProcess ?SUB ?PERFORMANCE)
            (or
                (instance ?SUB DramaticActing)
                (instance ?SUB MakingMusic)))))		 Mid-level-ontology.kif 17462-17469 If X is an instance of performance, then there exists Y such that Y is a subprocess of X and Y is an instance of dramatic acting or Y is an instance of making music
(=>
    (instance ?PERFORMANCE Performance)
    (exists (?STAGE)
        (and
            (instance ?STAGE PerformanceStage)
            (eventLocated ?PERFORMANCE ?STAGE))))		 Mid-level-ontology.kif 17471-17476 If X is an instance of performance, then there exists Y such that Y is an instance of performance stage and X is located at Y
(=>
    (and
        (instance ?P Performance)
        (agent ?P ?A))
    (holdsDuring
        (WhenFn ?P)
        (attribute ?A Performer)))		 Mid-level-ontology.kif 20787-20792 If X is an instance of performance and Y is an agent of X, then performer is an attribute of Y holds during the time of existence of X

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


(=>
    (instance ?C EntertainmentCompany)
    (exists (?P)
        (and
            (instance ?P CommercialService)
            (agent ?P ?C)
            (instance ?P Performance))))		 Mid-level-ontology.kif 8434-8440 If X is an instance of entertainment company, then there exists Y such that Y is an instance of commercial service, X is an agent of Y, and Y is an instance of performance
(=>
    (instance ?PROG PerformanceProgram)
    (exists (?PERF ?PROP)
        (and
            (containsInformation ?PROG ?PROP)
            (realization ?PERF ?PROP)
            (instance ?PERF Performance))))		 Mid-level-ontology.kif 16144-16150 If X is an instance of performance program, then there exist Y, Z such that X contains information Z, Y expresses the content of Z, and Y is an instance of performance
(=>
    (attribute ?P Comedian)
    (exists (?PERF ?L)
        (and
            (instance ?PERF Performance)
            (agent ?PERF ?P)
            (instance ?L Laughing)
            (causes ?PERF ?L))))		 Mid-level-ontology.kif 20732-20739 If comedian is an attribute of X, then there exist Y, Z such that Y is an instance of performance, X is an agent of Y, Z is an instance of laughing, and Y causes Z
(=>
    (and
        (instance ?EP EntertainmentProfession)
        (attribute ?P ?EP))
    (or
        (occupation ?P
            (OccupationFn Performance))
        (occupation ?P
            (OccupationFn ContentDevelopment))))		 Mid-level-ontology.kif 20858-20864 If X is an instance of entertainment profession and X is an attribute of Y, then the occupation of performance is an occupation of Y or the occupation of content development is an occupation of Y
(=>
    (instance ?C Cinema)
    (hasPurpose ?C
        (exists (?FILM ?P)
            (and
                (instance ?P Performance)
                (instance ?FILM MotionPicture)
                (patient ?P ?FILM)
                (eventLocated ?P ?C)))))		 Mid-level-ontology.kif 24782-24790 If X is an instance of cinema, then X has the purpose there exist Y, Z such that Z is an instance of performance, Y is an instance of motion picture, Y is a patient of Z, and Z is located at X
(=>
    (attribute ?X ArtsAndRecreationTicketingServices)
    (hasPurpose ?X
        (exists (?SELL ?TICKET ?CUST)
            (and
                (instance ?SELL Selling)
                (patient ?SELL ?TICKET)
                (agent ?SELL ?X)
                (instance ?TICKET Ticket)
                (destination ?SELL ?CUST)
                (hasPurpose ?TICKET
                    (confersRight ?X ?CUST
                        (exists (?WATCH ?PERF)
                            (and
                                (instance ?WATCH Seeing)
                                (agent ?WATCH ?CUST)
                                (patient ?WATCH ?PERF)
                                (or
                                    (instance ?PERF Performance)
                                    (instance ?PERF Sport))))))))))		 Hotel.kif 2371-2390 If arts and recreation tickets is an attribute of X, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of selling (3) Z is a patient of Y (4) X is an agent of Y (5) Z is an instance of ticket (6) Y ends up at W (7) Z has the purpose W allows there exist V (8) U such that V is an instance of seeing (9) W is an agent of V (10) U is a patient of V (11) U is an instance of performance or U is an instance of sport to perform task of the type X
(=>
    (and
        (attribute ?M LiveRecording)
        (instance ?M Recording))
    (exists (?P)
        (and
            (instance ?P Performance)
            (record ?M ?P))))		 Music.kif 380-387 If live recording is an attribute of X and X is an instance of recording, then there exists Y such that Y is an instance of performance and X is a record of Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners