|
|
   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 15273-15274 | |
| (subclass Performance Demonstrating) | Mid-level-ontology.kif 15272-15272 |
| appearance as argument number 2 |
|
|
| (subclass DramaticPerformance Performance) | Mid-level-ontology.kif 15378-15378 | |
| (subclass MusicalPerformance Performance) | Mid-level-ontology.kif 15354-15354 | |
| (subclass PerformanceAct Performance) | Mid-level-ontology.kif 15292-15292 | |
| (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 18201-18206 | |
| (=> (instance ?PERFORMANCE Performance) (exists (?STAGE) (and (instance ?STAGE PerformanceStage) (eventLocated ?PERFORMANCE ?STAGE)))) |
Mid-level-ontology.kif 15285-15290 | |
| (=> (instance ?PERFORMANCE Performance) (exists (?SUB) (and (subProcess ?SUB ?PERFORMANCE) (or (instance ?SUB DramaticActing) (instance ?SUB MakingMusic))))) |
Mid-level-ontology.kif 15276-15283 |
| 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 18272-18278 | |
| (=> (attribute ?P Comedian) (exists (?PERF ?L) (and (instance ?PERF Performance) (agent ?PERF ?P) (instance ?L Laughing) (causes ?PERF ?L)))) |
Mid-level-ontology.kif 18146-18153 | |
| (=> (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 6778-6784 | |
| (=> (instance ?PROG PerformanceProgram) (exists (?PERF ?PROP) (and (containsInformation ?PROG ?PROP) (realization ?PERF ?PROP) (instance ?PERF Performance)))) |
Mid-level-ontology.kif 14005-14011 |
|
|
|