| MusicalPerformance | |
| appearance as argument number 1 |
|
|
| (documentation MusicalPerformance EnglishLanguage "A Performance that consists exclusively of MakingMusic, e.g. an orchestra playing a symphony to an assembled audience.") | Mid-level-ontology.kif 13585-13586 | |
| (subclass MusicalPerformance Performance) | Mid-level-ontology.kif 13584-13584 | subclass MusicalPerformance and Performance |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage MusicalPerformance "音乐表演") | domainEnglishFormat.kif 39319-39319 | termFormat ChineseLanguage, MusicalPerformance and "音乐表演" |
| (termFormat ChineseTraditionalLanguage MusicalPerformance "音樂表演") | domainEnglishFormat.kif 39318-39318 | termFormat ChineseTraditionalLanguage, MusicalPerformance and "音樂表演" |
| (termFormat EnglishLanguage MusicalPerformance "musical performance") | domainEnglishFormat.kif 39317-39317 | termFormat EnglishLanguage, MusicalPerformance and "musical performance" |
| antecedent |
|
|
| (=> (and (instance ?GRP MarchingBand) (instance ?MP MusicalPerformance) (agent ?MP ?GRP)) (and (instance ?OD Outdoors) (eventLocated ?MP ?OD) (exists (?AMB) (and (instance ?AMB Ambulating) (subProcess ?AMB ?MP))))) |
Music.kif 977-988 |
|
| (=> (and (instance ?P MusicalPerformance) (subProcess ?M ?P)) (instance ?M MakingMusic)) |
Mid-level-ontology.kif 13588-13592 | |
| (=> (instance ?PERF MusicalPerformance) (exists (?MUSIC) (and (instance ?MUSIC MakingMusic) (subProcess ?MUSIC ?PERF)))) |
Media.kif 1809-1814 |
| consequent |
|
|
| (=> (and (attribute ?X ?M) (instance ?M Musician)) (hasSkill MusicalPerformance ?X)) |
Mid-level-ontology.kif 20003-20007 | |
| (=> (instance ?B Baton) (hasPurpose ?B (exists (?M ?G) (and (instance ?M MusicalPerformance) (instance ?G Guiding) (subProcess ?G ?M) (instrument ?G ?B))))) |
Mid-level-ontology.kif 3317-3325 |
|
| (=> (instance ?CONDUCT MusicalConducting) (exists (?MUSIC) (and (instance ?MUSIC MusicalPerformance) (subProcess ?CONDUCT ?MUSIC)))) |
Mid-level-ontology.kif 16160-16165 |
|
|
|