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 15847-15848
(subclass Performance Demonstrating) Mid-level-ontology.kif 15846-15846 子類 性能 and 示範

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


(subclass DramaticPerformance Performance) Mid-level-ontology.kif 15952-15952 子類 戲劇性的表現 and 性能
(subclass MusicalPerformance Performance) Mid-level-ontology.kif 15928-15928 子類 音樂表演 and 性能
(subclass PerformanceAct Performance) Mid-level-ontology.kif 15866-15866 子類 表演法 and 性能
(termFormat ChineseLanguage Performance "性能") domainEnglishFormat.kif 45108-45108
(termFormat ChineseTraditionalLanguage Performance "性能") domainEnglishFormat.kif 45107-45107
(termFormat EnglishLanguage Performance "performance") domainEnglishFormat.kif 45106-45106

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


(=>
    (and
        (instance ?P Performance)
        (agent ?P ?A))
    (holdsDuring
        (WhenFn ?P)
        (attribute ?A Performer)))		 Mid-level-ontology.kif 18849-18854
(=>
    (instance ?PERFORMANCE Performance)
    (exists (?STAGE)
        (and
            (instance ?STAGE PerformanceStage)
            (eventLocated ?PERFORMANCE ?STAGE))))		 Mid-level-ontology.kif 15859-15864
(=>
    (instance ?PERFORMANCE Performance)
    (exists (?SUB)
        (and
            (subProcess ?SUB ?PERFORMANCE)
            (or
                (instance ?SUB DramaticActing)
                (instance ?SUB MakingMusic)))))		 Mid-level-ontology.kif 15850-15857

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 18920-18926
(=>
    (attribute ?P Comedian)
    (exists (?PERF ?L)
        (and
            (instance ?PERF Performance)
            (agent ?PERF ?P)
            (instance ?L Laughing)
            (causes ?PERF ?L))))		 Mid-level-ontology.kif 18794-18801
(=>
    (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 22504-22512
(=>
    (instance ?C EntertainmentCompany)
    (exists (?P)
        (and
            (instance ?P CommercialService)
            (agent ?P ?C)
            (instance ?P Performance))))		 Mid-level-ontology.kif 7117-7123
(=>
    (instance ?PROG PerformanceProgram)
    (exists (?PERF ?PROP)
        (and
            (containsInformation ?PROG ?PROP)
            (realization ?PERF ?PROP)
            (instance ?PERF Performance))))		 Mid-level-ontology.kif 14538-14544


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