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 15929-15930 | |
(subclass MusicalPerformance Performance) | Mid-level-ontology.kif 15928-15928 | 子類 音樂表演 and 性能 |
appearance as argument number 2 |
(termFormat ChineseLanguage MusicalPerformance "音乐表演") | domainEnglishFormat.kif 39399-39399 | |
(termFormat ChineseTraditionalLanguage MusicalPerformance "音樂表演") | domainEnglishFormat.kif 39398-39398 | |
(termFormat EnglishLanguage MusicalPerformance "musical performance") | domainEnglishFormat.kif 39397-39397 |
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 15932-15936 | |
(=> (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 22192-22196 |
|
(=> (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 2853-2861 | |
(=> (instance ?CONDUCT MusicalConducting) (exists (?MUSIC) (and (instance ?MUSIC MusicalPerformance) (subProcess ?CONDUCT ?MUSIC)))) |
Mid-level-ontology.kif 18498-18503 |