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 | Performance ist eine teilkategorie von Demonstrating |
appearance as argument number 2 |
(subclass DramaticPerformance Performance) | Mid-level-ontology.kif 15952-15952 | DramaticPerformance ist eine teilkategorie von Performance |
(subclass MusicalPerformance Performance) | Mid-level-ontology.kif 15928-15928 | MusicalPerformance ist eine teilkategorie von Performance |
(subclass PerformanceAct Performance) | Mid-level-ontology.kif 15866-15866 | PerformanceAct ist eine teilkategorie von Performance |
(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 |
|