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 17317-17318 | |
(subclass MusicalPerformance Performance) | Mid-level-ontology.kif 17316-17316 | MusicalPerformance は Performance の subclass では |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage MusicalPerformance "音乐表演") | domainEnglishFormat.kif 39412-39412 | |
(termFormat ChineseTraditionalLanguage MusicalPerformance "音樂表演") | domainEnglishFormat.kif 39411-39411 | |
(termFormat EnglishLanguage MusicalPerformance "musical performance") | domainEnglishFormat.kif 39410-39410 |
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 988-998 |
|
(=> (and (instance ?P MusicalPerformance) (subProcess ?M ?P)) (instance ?M MakingMusic)) |
Mid-level-ontology.kif 17320-17324 |
|
(=> (instance ?PERF MusicalPerformance) (exists (?MUSIC) (and (instance ?MUSIC MakingMusic) (subProcess ?MUSIC ?PERF)))) |
Media.kif 1821-1826 |
|
consequent |
![]() |
(=> (and (attribute ?X ?M) (instance ?M Musician)) (hasSkill MusicalPerformance ?X)) |
Mid-level-ontology.kif 23834-23838 |
|
(=> (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 3316-3324 | |
(=> (instance ?CONDUCT MusicalConducting) (exists (?MUSIC) (and (instance ?MUSIC MusicalPerformance) (subProcess ?CONDUCT ?MUSIC)))) |
Mid-level-ontology.kif 20070-20075 |
|
![]() |
![]() |