MakingMusic | ![]() |
appearance as argument number 1 |
![]() |
(comment MakingMusic "Changing the old Music to MakingMusic to be more consistent with the verb-form that Process seem to take. (09-14-2011)" "KJN") | Merge.kif 12719-12720 | |
(documentation MakingMusic ChineseLanguage "MakingMusic 是一种 RadiatingSound, 它的 result 是经过细心推敲创作,而旨在有有旋律感的。") | chinese_format.kif 1402-1403 | |
(documentation MakingMusic EnglishLanguage "MakingMusic is a type of RadiatingSound where the result is intended to be melodic and is produced delibrately") | Merge.kif 12716-12717 | |
(partition MakingMusic MakingInstrumentalMusic MakingVocalMusic) | Merge.kif 12722-12722 | |
(subclass MakingMusic RadiatingSound) | Merge.kif 12715-12715 |
appearance as argument number 2 |
![]() |
(range MusicalInterpretationFn MakingMusic) | Music.kif 844-844 | |
(subclass MakingInstrumentalMusic MakingMusic) | Merge.kif 12723-12723 | |
(subclass MakingVocalMusic MakingMusic) | Merge.kif 12739-12739 | |
(termFormat ChineseLanguage MakingMusic "制作音乐") | chinese_format.kif 1401-1401 | |
(termFormat EnglishLanguage MakingMusic "making music") | english_format.kif 1855-1855 |
appearance as argument number 3 |
![]() |
(domainSubclass musician 3 MakingMusic) | Music.kif 193-193 |
antecedent |
![]() |
(=> (and (instance ?GROUP Choir) (agent ?MUSIC ?GROUP) (instance ?MUSIC MakingMusic)) (instance ?MUSIC MakingVocalMusic)) |
Media.kif 1777-1782 |
consequent |
![]() |
(<=> (attribute ?MUSIC PolyphonicMusic) (exists (?PART1 ?PART2) (and (instance ?MUSIC MakingMusic) (instance ?PART1 MakingMusic) (instance ?PART2 MakingMusic) (subProcess ?PART1 ?MUSIC) (subProcess ?PART2 ?MUSIC) (not (equal ?PART1 ?PART2)) (cooccur ?PART1 ?MUSIC) (cooccur ?PART2 ?MUSIC)))) |
Mid-level-ontology.kif 926-937 | |
(=> (and (instance ?ATTR MusicGenre) (attribute ?A ?ATTR)) (or (instance ?A MakingMusic) (instance ?A MusicRecording))) |
Music.kif 507-513 | |
(=> (and (instance ?MC Music) (realization ?MUSIC ?MC)) (instance ?MUSIC MakingMusic)) |
Mid-level-ontology.kif 11373-11377 | |
(=> (and (instance ?OPERA Opera) (realization ?ACT ?OPERA)) (instance ?ACT MakingMusic)) |
Mid-level-ontology.kif 12695-12699 | |
(=> (and (instance ?ORG Organization) (attribute ?ORG SportingGoodsHobbyBookAndMusicStores)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING) (and (instance ?EV Selling) (instance ?THING Object) (or (capability Sport instrument ?THING) (capability MakingMusic instrument ?THING) (instance ?THING Book) (instance ?THING MusicRecording) (instance ?THING MusicText)) (patient ?EV ?THING)))))) |
naics.kif 7607-7625 | |
(=> (and (instance ?P MusicalPerformance) (subProcess ?M ?P)) (instance ?M MakingMusic)) |
Mid-level-ontology.kif 13616-13620 | |
(=> (and (instance ?S Song) (realization ?S ?MUSIC)) (exists (?MM ?MV ?LC ?MC) (and (instance ?MM MakingMusic) (instance ?MV Singing) (instance ?LC LyricalContent) (instance ?MC MusicalComposition) (patient ?MM ?MC) (patient ?MV ?LC) (subProcess ?MM ?MUSIC) (subProcess ?MV ?MUSIC)))) |
Mid-level-ontology.kif 11403-11416 | |
(=> (instance ?CONTEST MusicContest) (exists (?J) (and (instance ?J Judging) (forall (?A) (=> (contestParticipant ?CONTEST ?A) (exists (?MM) (and (agent ?MM ?A) (instance ?MM MakingMusic) (subProcess ?MM ?CONTEST) (patient ?J ?MM)))))))) |
Music.kif 999-1012 | |
(=> (instance ?DISCO DanceHall) (hasPurpose ?DISCO (exists (?DANCE ?MUSIC) (and (instance ?MUSIC MakingMusic) (instance ?DANCE Dancing) (cooccur ?MUSIC ?DANCE) (eventLocated ?MUSIC ?DISCO) (eventLocated ?DANCE ?DISCO))))) |
Mid-level-ontology.kif 25066-25075 | |
(=> (instance ?INSTRUMENT MusicalInstrument) (capability MakingMusic instrument ?INSTRUMENT)) |
Merge.kif 14839-14841 | |
(=> (instance ?M MusicRecording) (exists (?P) (and (instance ?P MakingMusic) (record ?M ?P)))) |
Mid-level-ontology.kif 12050-12055 | |
(=> (instance ?PERF MusicalPerformance) (exists (?MUSIC) (and (instance ?MUSIC MakingMusic) (subProcess ?MUSIC ?PERF)))) |
Media.kif 1809-1814 | |
(=> (instance ?PERFORMANCE Performance) (exists (?SUB) (and (subProcess ?SUB ?PERFORMANCE) (or (instance ?SUB DramaticActing) (instance ?SUB MakingMusic))))) |
Mid-level-ontology.kif 13534-13541 | |
(=> (instance ?X MusicText) (capability MakingMusic patient ?X)) |
Mid-level-ontology.kif 12074-12076 | |
(=> (musicGenre ?MR ElectronicDanceMusic) (hasPurpose ?MR (exists (?NC ?MM) (and (instance ?NC NightClub) (instance ?MM MakingMusic) (patient ?MM ?MR) (eventLocated ?MM ?NC))))) |
Music.kif 669-677 | |
(=> (musicInterpretation ?MR ?MC) (exists (?P) (and (instance ?P MakingMusic) (realization ?P ?MC) (record ?MR ?P)))) |
Music.kif 178-184 |
![]() |
![]() |