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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Performance
Performance

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


(documentation Performance EnglishLanguage "A Demonstrating which includes DramaticActing and/ or MakingMusic and which is intended to entertain the audience.") Mid-level-ontology.kif 16066-16067
(subclass Performance Demonstrating) Mid-level-ontology.kif 16065-16065

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


(subclass DramaticPerformance Performance) Mid-level-ontology.kif 16171-16171
(subclass MusicalPerformance Performance) Mid-level-ontology.kif 16147-16147
(subclass PerformanceAct Performance) Mid-level-ontology.kif 16085-16085
(termFormat ChineseLanguage Performance "性能") domainEnglishFormat.kif 45141-45141
(termFormat ChineseTraditionalLanguage Performance "性能") domainEnglishFormat.kif 45140-45140
(termFormat EnglishLanguage Performance "performance") domainEnglishFormat.kif 45139-45139

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


(=>
    (and
        (instance ?P Performance)
        (agent ?P ?A))
    (holdsDuring
        (WhenFn ?P)
        (attribute ?A Performer)))
Mid-level-ontology.kif 19108-19113
(=>
    (instance ?PERFORMANCE Performance)
    (exists (?STAGE)
        (and
            (instance ?STAGE PerformanceStage)
            (eventLocated ?PERFORMANCE ?STAGE))))
Mid-level-ontology.kif 16078-16083
(=>
    (instance ?PERFORMANCE Performance)
    (exists (?SUB)
        (and
            (subProcess ?SUB ?PERFORMANCE)
            (or
                (instance ?SUB DramaticActing)
                (instance ?SUB MakingMusic)))))
Mid-level-ontology.kif 16069-16076

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


(=>
    (and
        (attribute ?M LiveRecording)
        (instance ?M Recording))
    (exists (?P)
        (and
            (instance ?P Performance)
            (record ?M ?P))))
Music.kif 378-385
(=>
    (and
        (instance ?EP EntertainmentProfession)
        (attribute ?P ?EP))
    (or
        (occupation ?P
            (OccupationFn Performance))
        (occupation ?P
            (OccupationFn ContentDevelopment))))
Mid-level-ontology.kif 19179-19185
(=>
    (attribute ?P Comedian)
    (exists (?PERF ?L)
        (and
            (instance ?PERF Performance)
            (agent ?PERF ?P)
            (instance ?L Laughing)
            (causes ?PERF ?L))))
Mid-level-ontology.kif 19053-19060
(=>
    (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
                        (exists (?WATCH ?PERF)
                            (and
                                (instance ?WATCH Seeing)
                                (agent ?WATCH ?CUST)
                                (patient ?WATCH ?PERF)
                                (or
                                    (instance ?PERF Performance)
                                    (instance ?PERF Sport)))) ?X ?CUST))))))
Hotel.kif 2353-2372
(=>
    (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 22788-22796
(=>
    (instance ?C EntertainmentCompany)
    (exists (?P)
        (and
            (instance ?P CommercialService)
            (agent ?P ?C)
            (instance ?P Performance))))
Mid-level-ontology.kif 7336-7342
(=>
    (instance ?PROG PerformanceProgram)
    (exists (?PERF ?PROP)
        (and
            (containsInformation ?PROG ?PROP)
            (realization ?PERF ?PROP)
            (instance ?PERF Performance))))
Mid-level-ontology.kif 14757-14763


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