| 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 13473-13474 | |
| (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 13470-13471 | |
| (partition MakingMusic MakingInstrumentalMusic MakingVocalMusic) | Merge.kif 13476-13476 | 制作音乐 详尽无遗地 partition 成 器乐 和 唱歌 |
| (subclass MakingMusic RadiatingSound) | Merge.kif 13469-13469 | 制作音乐 是 放射声音 的 subclass |
| appearance as argument number 2 |
|
|
| (range MusicalInterpretationFn MakingMusic) | Music.kif 846-846 | MusicalInterpretationFn 的 range 是 制作音乐 的实例 |
| (subclass MakingInstrumentalMusic MakingMusic) | Merge.kif 13477-13477 | 器乐 是 制作音乐 的 subclass |
| (subclass MakingVocalMusic MakingMusic) | Merge.kif 13494-13494 | 唱歌 是 制作音乐 的 subclass |
| (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 194-194 | musician 的 3 数量 是 制作音乐 的 subclass |
| antecedent |
|
|
| (=> (and (instance ?GROUP Choir) (agent ?MUSIC ?GROUP) (instance ?MUSIC MakingMusic)) (instance ?MUSIC MakingVocalMusic)) |
Media.kif 1773-1778 |
| 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 718-729 | 和弦音乐 是 客体 的 attribute 若且唯若 有存在 过程 和 另一个 过程 这样 那个 客体 是 制作音乐 的 instance 和 那个 过程 是 制作音乐 的 instance 和 那个 另外 过程 是 制作音乐 的 instance 和 那个 过程%n是那个 客体的subProcess 和 那个 另外 过程%n是那个 客体的subProcess 和 那个 过程 不 equal 那个 另外 过程 和 那个 过程 和 那个 客体 同时发生 和 那个 另外 过程 和 那个 客体 同时发生 |
| (=> (and (instance ?ATTR MusicGenre) (attribute ?A ?ATTR)) (or (instance ?A MakingMusic) (instance ?A MusicRecording))) |
Music.kif 509-515 | |
| (=> (and (instance ?MC Music) (realization ?MUSIC ?MC)) (instance ?MUSIC MakingMusic)) |
Mid-level-ontology.kif 13260-13264 | |
| (=> (and (instance ?OPERA Opera) (realization ?ACT ?OPERA)) (instance ?ACT MakingMusic)) |
Mid-level-ontology.kif 14485-14489 | |
| (=> (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 15433-15437 | |
| (=> (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 13290-13303 |
|
| (=> (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 1005-1018 | |
| (=> (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 26325-26334 | |
| (=> (instance ?INSTRUMENT MusicalInstrument) (capability MakingMusic instrument ?INSTRUMENT)) |
Merge.kif 15707-15709 | |
| (=> (instance ?M MusicRecording) (exists (?P) (and (instance ?P MakingMusic) (record ?M ?P)))) |
Mid-level-ontology.kif 13919-13924 | |
| (=> (instance ?PERF MusicalPerformance) (exists (?MUSIC) (and (instance ?MUSIC MakingMusic) (subProcess ?MUSIC ?PERF)))) |
Media.kif 1805-1810 | |
| (=> (instance ?PERFORMANCE Performance) (exists (?SUB) (and (subProcess ?SUB ?PERFORMANCE) (or (instance ?SUB DramaticActing) (instance ?SUB MakingMusic))))) |
Mid-level-ontology.kif 15351-15358 | |
| (=> (instance ?X MusicText) (capability MakingMusic patient ?X)) |
Mid-level-ontology.kif 13943-13945 | |
| (=> (musicGenre ?MR ElectronicDanceMusic) (hasPurpose ?MR (exists (?NC ?MM) (and (instance ?NC NightClub) (instance ?MM MakingMusic) (patient ?MM ?MR) (eventLocated ?MM ?NC))))) |
Music.kif 671-679 | |
| (=> (musicInterpretation ?MR ?MC) (exists (?P) (and (instance ?P MakingMusic) (realization ?P ?MC) (record ?MR ?P)))) |
Music.kif 179-185 |
|
|
|