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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Performance

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 15246-15247
(subclass Performance Demonstrating) Mid-level-ontology.kif 15245-15245

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


(subclass DramaticPerformance Performance) Mid-level-ontology.kif 15351-15351
(subclass MusicalPerformance Performance) Mid-level-ontology.kif 15327-15327
(subclass PerformanceAct Performance) Mid-level-ontology.kif 15265-15265
(termFormat ChineseLanguage Performance "性能") domainEnglishFormat.kif 45091-45091
(termFormat ChineseTraditionalLanguage Performance "性能") domainEnglishFormat.kif 45090-45090
(termFormat EnglishLanguage Performance "performance") domainEnglishFormat.kif 45089-45089

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


(=>
    (and
        (instance ?P Performance)
        (agent ?P ?A))
    (holdsDuring
        (WhenFn ?P)
        (attribute ?A Performer)))
Mid-level-ontology.kif 18174-18179
(=>
    (instance ?PERFORMANCE Performance)
    (exists (?STAGE)
        (and
            (instance ?STAGE PerformanceStage)
            (eventLocated ?PERFORMANCE ?STAGE))))
Mid-level-ontology.kif 15258-15263
(=>
    (instance ?PERFORMANCE Performance)
    (exists (?SUB)
        (and
            (subProcess ?SUB ?PERFORMANCE)
            (or
                (instance ?SUB DramaticActing)
                (instance ?SUB MakingMusic)))))
Mid-level-ontology.kif 15249-15256

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


(=>
    (and
        (attribute ?M LiveRecording)
        (instance ?M Recording))
    (exists (?P)
        (and
            (instance ?P Performance)
            (record ?M ?P))))
Music.kif 376-383
(=>
    (and
        (instance ?EP EntertainmentProfession)
        (attribute ?P ?EP))
    (or
        (occupation ?P
            (OccupationFn Performance))
        (occupation ?P
            (OccupationFn ContentDevelopment))))
Mid-level-ontology.kif 18245-18251
(=>
    (attribute ?P Comedian)
    (exists (?PERF ?L)
        (and
            (instance ?PERF Performance)
            (agent ?PERF ?P)
            (instance ?L Laughing)
            (causes ?PERF ?L))))
Mid-level-ontology.kif 18119-18126
(=>
    (attribute ?X ArtsAndRecreationTicketingServices)
    (hasPurpose ?X
        (exists (?SELL ?TICKET)
            (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 2326-2345
(=>
    (instance ?C EntertainmentCompany)
    (exists (?P)
        (and
            (instance ?P CommercialService)
            (agent ?P ?C)
            (instance ?P Performance))))
Mid-level-ontology.kif 6752-6758
(=>
    (instance ?PROG PerformanceProgram)
    (exists (?PERF ?PROP)
        (and
            (containsInformation ?PROG ?PROP)
            (realization ?PERF ?PROP)
            (instance ?PERF Performance))))
Mid-level-ontology.kif 13978-13984


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 is open source software produced by Articulate Software and its partners