| 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 16776-16777 | |
| (subclass Performance Demonstrating) | Mid-level-ontology.kif 16775-16775 |
| appearance as argument number 2 |
|
|
| (subclass DramaticPerformance Performance) | Mid-level-ontology.kif 16881-16881 | |
| (subclass MusicalPerformance Performance) | Mid-level-ontology.kif 16857-16857 | |
| (subclass PerformanceAct Performance) | Mid-level-ontology.kif 16795-16795 | |
| (termFormat ChineseLanguage Performance "性能") | domainEnglishFormat.kif 45139-45139 | |
| (termFormat ChineseTraditionalLanguage Performance "性能") | domainEnglishFormat.kif 45138-45138 | |
| (termFormat EnglishLanguage Performance "performance") | domainEnglishFormat.kif 45137-45137 |
| antecedent |
|
|
| (=> (and (instance ?P Performance) (agent ?P ?A)) (holdsDuring (WhenFn ?P) (attribute ?A Performer))) |
Mid-level-ontology.kif 19939-19944 | |
| (=> (instance ?PERFORMANCE Performance) (exists (?STAGE) (and (instance ?STAGE PerformanceStage) (eventLocated ?PERFORMANCE ?STAGE)))) |
Mid-level-ontology.kif 16788-16793 | |
| (=> (instance ?PERFORMANCE Performance) (exists (?SUB) (and (subProcess ?SUB ?PERFORMANCE) (or (instance ?SUB DramaticActing) (instance ?SUB MakingMusic))))) |
Mid-level-ontology.kif 16779-16786 |
| 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 20010-20016 | |
| (=> (attribute ?P Comedian) (exists (?PERF ?L) (and (instance ?PERF Performance) (agent ?PERF ?P) (instance ?L Laughing) (causes ?PERF ?L)))) |
Mid-level-ontology.kif 19884-19891 | |
| (=> (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 23619-23627 | |
| (=> (instance ?C EntertainmentCompany) (exists (?P) (and (instance ?P CommercialService) (agent ?P ?C) (instance ?P Performance)))) |
Mid-level-ontology.kif 7891-7897 | |
| (=> (instance ?PROG PerformanceProgram) (exists (?PERF ?PROP) (and (containsInformation ?PROG ?PROP) (realization ?PERF ?PROP) (instance ?PERF Performance)))) |
Mid-level-ontology.kif 15467-15473 |
|
|
|