| 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 13611-13612 | |
| (subclass MusicalPerformance Performance) | Mid-level-ontology.kif 13610-13610 | subclass MusicalPerformance and Performance |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage MusicalPerformance "音乐表演") | domainEnglishFormat.kif 39316-39316 | |
| (termFormat ChineseTraditionalLanguage MusicalPerformance "音樂表演") | domainEnglishFormat.kif 39315-39315 | |
| (termFormat EnglishLanguage MusicalPerformance "musical performance") | domainEnglishFormat.kif 39314-39314 |
| 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 13614-13618 | |
| (=> (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 20040-20044 | |
| (=> (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 3323-3331 |
|
| (=> (instance ?CONDUCT MusicalConducting) (exists (?MUSIC) (and (instance ?MUSIC MusicalPerformance) (subProcess ?CONDUCT ?MUSIC)))) |
Mid-level-ontology.kif 16186-16191 |
|
|
|