| MakingVocalMusic(唱歌)
| |
| appearance as argument number 1 |
|
|
| (comment MakingVocalMusic "Currently, VocalMusic also inherits from Speaking. Changing this to more general Vocalizing. Acapella groups today use their VocalCord to create music in ways that are more than just speaking. (09-14-2011)" "KJN") | Merge.kif 13748-13750 | |
| (documentation MakingVocalMusic ChineseLanguage "MakingVocalMusic 是一种 MakingMusic ， 它是通过声带来制作音乐。") | chinese_format.kif 1408-1409 | |
| (documentation MakingVocalMusic EnglishLanguage "MakingVocalMusic is a type of MakingMusic which is produced by using the vocal cords") | Merge.kif 13745-13746 | |
| (externalImage MakingVocalMusic "http://upload.wikimedia.org/wikipedia/commons/ 6/ 60/ Melbourne_chorale.jpg") | pictureList.kif 6962-6962 | |
| (externalImage MakingVocalMusic "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9d/ 54-aspetti_di_vita_quotidiana%2C_canto_in_chiesa%2CTaccuino_Sani.jpg") | pictureList.kif 8241-8241 | |
| (subclass MakingVocalMusic MakingMusic) | Merge.kif 13743-13743 | 唱歌 是 制作音乐 的 subclass |
| (subclass MakingVocalMusic Vocalizing) | Merge.kif 13744-13744 | 唱歌 是 发声 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass Singing MakingVocalMusic) | Merge.kif 13752-13752 | 唱歌 是 唱歌 的 subclass |
| (termFormat ChineseLanguage MakingVocalMusic "唱歌") | chinese_format.kif 1411-1411 | |
| (termFormat ChineseLanguage MakingVocalMusic "声乐") | domainEnglishFormat.kif 61845-61845 | |
| (termFormat ChineseTraditionalLanguage MakingVocalMusic "聲樂") | domainEnglishFormat.kif 61844-61844 | |
| (termFormat EnglishLanguage MakingVocalMusic "singing") | english_format.kif 1853-1853 | |
| (termFormat EnglishLanguage MakingVocalMusic "vocal music") | domainEnglishFormat.kif 61842-61842 |
| appearance as argument number 3 |
|
|
| (partition MakingMusic MakingInstrumentalMusic MakingVocalMusic) | Merge.kif 13725-13725 | 制作音乐 详尽无遗地 partition 成 器乐 和 唱歌 |
| antecedent |
|
|
| (=> (and (instance ?MUSIC MakingVocalMusic) (agent ?MUSIC ?GROUP) (instance ?GROUP Choir) (holdsDuring ?MUSIC (member ?MEM ?GROUP))) (exists (?SING) (and (instance ?SING Singing) (subProcess ?SING ?MUSIC) (agent ?SING ?MEM)))) |
Media.kif 1807-1817 |
| consequent |
|
|
| (=> (and (instance ?GROUP Choir) (agent ?MUSIC ?GROUP) (instance ?MUSIC MakingMusic)) (instance ?MUSIC MakingVocalMusic)) |
Media.kif 1787-1792 | |
| (=> (musician ?MR ?P ?R) (exists (?MM ?I) (and (instance ?MM ?R) (or (equal ?R (PlayingInstrumentFn ?I)) (equal ?R MakingVocalMusic)) (agent ?MM ?P) (result ?MM ?MR)))) |
Music.kif 197-206 |
|
|
|