|
|
   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 13119-13120 | |
| (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 13116-13117 | |
| (partition MakingMusic MakingInstrumentalMusic MakingVocalMusic) | Merge.kif 13122-13122 | |
| (subclass MakingMusic RadiatingSound) | Merge.kif 13115-13115 |
| appearance as argument number 2 |
|
|
| (range MusicalInterpretationFn MakingMusic) | Music.kif 845-845 | |
| (subclass MakingInstrumentalMusic MakingMusic) | Merge.kif 13123-13123 | |
| (subclass MakingVocalMusic MakingMusic) | Merge.kif 13139-13139 | |
| (termFormat ChineseLanguage MakingMusic "制作音乐") | chinese_format.kif 1401-1401 | |
| (termFormat EnglishLanguage MakingMusic "making music") | english_format.kif 1849-1849 |
| 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 694-705 | |
| (=> (and (instance ?ATTR MusicGenre) (attribute ?A ?ATTR)) (or (instance ?A MakingMusic) (instance ?A MusicRecording))) |
Music.kif 508-514 | |
| (=> (and (instance ?MC Music) (realization ?MUSIC ?MC)) (instance ?MUSIC MakingMusic)) |
Mid-level-ontology.kif 13180-13184 | |
| (=> (and (instance ?OPERA Opera) (realization ?ACT ?OPERA)) (instance ?ACT MakingMusic)) |
Mid-level-ontology.kif 14383-14387 | |
| (=> (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 7600-7618 | |
| (=> (and (instance ?P MusicalPerformance) (subProcess ?M ?P)) (instance ?M MakingMusic)) |
Mid-level-ontology.kif 15331-15335 | |
| (=> (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 13210-13223 | |
| (=> (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 1000-1013 | |
| (=> (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 26181-26190 | |
| (=> (instance ?INSTRUMENT MusicalInstrument) (capability MakingMusic instrument ?INSTRUMENT)) |
Merge.kif 15344-15346 | |
| (=> (instance ?M MusicRecording) (exists (?P) (and (instance ?P MakingMusic) (record ?M ?P)))) |
Mid-level-ontology.kif 13839-13844 | |
| (=> (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 15249-15256 | |
| (=> (instance ?X MusicText) (capability MakingMusic patient ?X)) |
Mid-level-ontology.kif 13863-13865 | |
| (=> (musicGenre ?MR ElectronicDanceMusic) (hasPurpose ?MR (exists (?NC ?MM) (and (instance ?NC NightClub) (instance ?MM MakingMusic) (patient ?MM ?MR) (eventLocated ?MM ?NC))))) |
Music.kif 670-678 | |
| (=> (musicInterpretation ?MR ?MC) (exists (?P) (and (instance ?P MakingMusic) (realization ?P ?MC) (record ?MR ?P)))) |
Music.kif 178-184 |
|
|
|