| 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 17235-17236 | |
| (subclass Performance Demonstrating) | Mid-level-ontology.kif 17234-17234 |
| appearance as argument number 2 |
|
|
| (subclass DramaticPerformance Performance) | Mid-level-ontology.kif 17340-17340 | |
| (subclass MusicalPerformance Performance) | Mid-level-ontology.kif 17316-17316 | |
| (subclass PerformanceAct Performance) | Mid-level-ontology.kif 17254-17254 | |
| (termFormat ChineseLanguage Performance "性能") | domainEnglishFormat.kif 45110-45110 | |
| (termFormat ChineseTraditionalLanguage Performance "性能") | domainEnglishFormat.kif 45109-45109 | |
| (termFormat EnglishLanguage Performance "performance") | domainEnglishFormat.kif 45108-45108 |
| antecedent |
|
|
| (=> (and (instance ?P Performance) (agent ?P ?A)) (holdsDuring (WhenFn ?P) (attribute ?A Performer))) |
Mid-level-ontology.kif 20421-20426 | |
| (=> (instance ?PERFORMANCE Performance) (exists (?STAGE) (and (instance ?STAGE PerformanceStage) (eventLocated ?PERFORMANCE ?STAGE)))) |
Mid-level-ontology.kif 17247-17252 | |
| (=> (instance ?PERFORMANCE Performance) (exists (?SUB) (and (subProcess ?SUB ?PERFORMANCE) (or (instance ?SUB DramaticActing) (instance ?SUB MakingMusic))))) |
Mid-level-ontology.kif 17238-17245 |
| consequent |
|
|
| (=> (and (attribute ?M LiveRecording) (instance ?M Recording)) (exists (?P) (and (instance ?P Performance) (record ?M ?P)))) |
Music.kif 380-387 | |
| (=> (and (instance ?EP EntertainmentProfession) (attribute ?P ?EP)) (or (occupation ?P (OccupationFn Performance)) (occupation ?P (OccupationFn ContentDevelopment)))) |
Mid-level-ontology.kif 20492-20498 | |
| (=> (attribute ?P Comedian) (exists (?PERF ?L) (and (instance ?PERF Performance) (agent ?PERF ?P) (instance ?L Laughing) (causes ?PERF ?L)))) |
Mid-level-ontology.kif 20366-20373 | |
| (=> (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 2364-2383 | |
| (=> (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 24148-24156 | |
| (=> (instance ?C EntertainmentCompany) (exists (?P) (and (instance ?P CommercialService) (agent ?P ?C) (instance ?P Performance)))) |
Mid-level-ontology.kif 8279-8285 | |
| (=> (instance ?PROG PerformanceProgram) (exists (?PERF ?PROP) (and (containsInformation ?PROG ?PROP) (realization ?PERF ?PROP) (instance ?PERF Performance)))) |
Mid-level-ontology.kif 15910-15916 |
|
|
|