|
|
   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 15957-15958 | |
| (subclass MusicalPerformance Performance) | Mid-level-ontology.kif 15956-15956 | 子類 音樂表演 and 性能 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage MusicalPerformance "音乐表演") | domainEnglishFormat.kif 39401-39401 | |
| (termFormat ChineseTraditionalLanguage MusicalPerformance "音樂表演") | domainEnglishFormat.kif 39400-39400 | |
| (termFormat EnglishLanguage MusicalPerformance "musical performance") | domainEnglishFormat.kif 39399-39399 |
| antecedent |
|
|
| (=> (and (instance ?GRP MarchingBand) (instance ?MP MusicalPerformance) (agent ?MP ?GRP) (instance ?OD Outdoors) (eventLocated ?MP ?OD)) (exists (?AMB) (and (instance ?AMB Ambulating) (subProcess ?AMB ?MP)))) |
Music.kif 986-996 | |
| (=> (and (instance ?P MusicalPerformance) (subProcess ?M ?P)) (instance ?M MakingMusic)) |
Mid-level-ontology.kif 15960-15964 | |
| (=> (instance ?PERF MusicalPerformance) (exists (?MUSIC) (and (instance ?MUSIC MakingMusic) (subProcess ?MUSIC ?PERF)))) |
Media.kif 1819-1824 |
| consequent |
|
|
| (=> (and (attribute ?X ?M) (instance ?M Musician)) (hasSkill MusicalPerformance ?X)) |
Mid-level-ontology.kif 22245-22249 |
|
| (=> (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 2846-2854 | |
| (=> (instance ?CONDUCT MusicalConducting) (exists (?MUSIC) (and (instance ?MUSIC MusicalPerformance) (subProcess ?CONDUCT ?MUSIC)))) |
Mid-level-ontology.kif 18526-18531 |
|
|
|