| 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 17245-17246 | |
| (subclass Performance Demonstrating) | Mid-level-ontology.kif 17244-17244 |
| appearance as argument number 2 |
|
|
| (subclass DramaticPerformance Performance) | Mid-level-ontology.kif 17350-17350 | |
| (subclass MusicalPerformance Performance) | Mid-level-ontology.kif 17326-17326 | |
| (subclass PerformanceAct Performance) | Mid-level-ontology.kif 17264-17264 | |
| (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 20428-20433 | |
| (=> (instance ?PERFORMANCE Performance) (exists (?STAGE) (and (instance ?STAGE PerformanceStage) (eventLocated ?PERFORMANCE ?STAGE)))) |
Mid-level-ontology.kif 17257-17262 | |
| (=> (instance ?PERFORMANCE Performance) (exists (?SUB) (and (subProcess ?SUB ?PERFORMANCE) (or (instance ?SUB DramaticActing) (instance ?SUB MakingMusic))))) |
Mid-level-ontology.kif 17248-17255 |
| 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 20499-20505 | |
| (=> (attribute ?P Comedian) (exists (?PERF ?L) (and (instance ?PERF Performance) (agent ?PERF ?P) (instance ?L Laughing) (causes ?PERF ?L)))) |
Mid-level-ontology.kif 20373-20380 | |
| (=> (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 24154-24162 | |
| (=> (instance ?C EntertainmentCompany) (exists (?P) (and (instance ?P CommercialService) (agent ?P ?C) (instance ?P Performance)))) |
Mid-level-ontology.kif 8305-8311 | |
| (=> (instance ?PROG PerformanceProgram) (exists (?PERF ?PROP) (and (containsInformation ?PROG ?PROP) (realization ?PERF ?PROP) (instance ?PERF Performance)))) |
Mid-level-ontology.kif 15920-15926 |
|
|
|