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 15348-15349
(subclass Performance Demonstrating) Mid-level-ontology.kif 15347-15347 性能示范subclass

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


(subclass DramaticPerformance Performance) Mid-level-ontology.kif 15453-15453 戏剧性的表现性能subclass
(subclass MusicalPerformance Performance) Mid-level-ontology.kif 15429-15429 音乐表演性能subclass
(subclass PerformanceAct Performance) Mid-level-ontology.kif 15367-15367 表演法性能subclass
(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 18285-18290
(=>
    (instance ?PERFORMANCE Performance)
    (exists (?STAGE)
        (and
            (instance ?STAGE PerformanceStage)
            (eventLocated ?PERFORMANCE ?STAGE))))
Mid-level-ontology.kif 15360-15365
(=>
    (instance ?PERFORMANCE Performance)
    (exists (?SUB)
        (and
            (subProcess ?SUB ?PERFORMANCE)
            (or
                (instance ?SUB DramaticActing)
                (instance ?SUB MakingMusic)))))
Mid-level-ontology.kif 15351-15358

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


(=>
    (and
        (attribute ?M LiveRecording)
        (instance ?M Recording))
    (exists (?P)
        (and
            (instance ?P Performance)
            (record ?M ?P))))
Music.kif 377-384
(=>
    (and
        (instance ?EP EntertainmentProfession)
        (attribute ?P ?EP))
    (or
        (occupation ?P
            (OccupationFn Performance))
        (occupation ?P
            (OccupationFn ContentDevelopment))))
Mid-level-ontology.kif 18356-18362
(=>
    (attribute ?P Comedian)
    (exists (?PERF ?L)
        (and
            (instance ?PERF Performance)
            (agent ?PERF ?P)
            (instance ?L Laughing)
            (causes ?PERF ?L))))
Mid-level-ontology.kif 18230-18237
(=>
    (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 EntertainmentCompany)
    (exists (?P)
        (and
            (instance ?P CommercialService)
            (agent ?P ?C)
            (instance ?P Performance))))
Mid-level-ontology.kif 6816-6822
(=>
    (instance ?PROG PerformanceProgram)
    (exists (?PERF ?PROP)
        (and
            (containsInformation ?PROG ?PROP)
            (realization ?PERF ?PROP)
            (instance ?PERF Performance))))
Mid-level-ontology.kif 14058-14064


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