| 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 13880-13882 | |
| (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 13877-13878 | |
| (externalImage MakingVocalMusic "http://upload.wikimedia.org/wikipedia/commons/ 6/ 60/ Melbourne_chorale.jpg") | pictureList.kif 6961-6961 | |
| (externalImage MakingVocalMusic "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9d/ 54-aspetti_di_vita_quotidiana%2C_canto_in_chiesa%2CTaccuino_Sani.jpg") | pictureList.kif 8240-8240 | |
| (subclass MakingVocalMusic MakingMusic) | Merge.kif 13875-13875 | MakingVocalMusic est une sous-classe de MakingMusic |
| (subclass MakingVocalMusic Vocalizing) | Merge.kif 13876-13876 | MakingVocalMusic est une sous-classe de Vocalizing |
| appearance as argument number 2 |
|
|
| (subclass Singing MakingVocalMusic) | Merge.kif 13884-13884 | Singing est une sous-classe de MakingVocalMusic |
| (termFormat ChineseLanguage MakingVocalMusic "唱歌") | chinese_format.kif 1411-1411 | Singing est une sous-classe de MakingVocalMusic |
| (termFormat ChineseLanguage MakingVocalMusic "声乐") | domainEnglishFormat.kif 61839-61839 | Singing est une sous-classe de MakingVocalMusic |
| (termFormat ChineseTraditionalLanguage MakingVocalMusic "聲樂") | domainEnglishFormat.kif 61838-61838 | Singing est une sous-classe de MakingVocalMusic |
| (termFormat EnglishLanguage MakingVocalMusic "singing") | english_format.kif 1853-1853 | Singing est une sous-classe de MakingVocalMusic |
| (termFormat EnglishLanguage MakingVocalMusic "vocal music") | domainEnglishFormat.kif 61836-61836 | Singing est une sous-classe de MakingVocalMusic |
| appearance as argument number 3 |
|
|
| (partition MakingMusic MakingInstrumentalMusic MakingVocalMusic) | Merge.kif 13857-13857 | MakingMusic est compl�tement d�compos� en MakingInstrumentalMusic + MakingVocalMusic |
| 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 1809-1819 |
|
| consequent |
|
|
| (=> (and (instance ?GROUP Choir) (agent ?MUSIC ?GROUP) (instance ?MUSIC MakingMusic)) (instance ?MUSIC MakingVocalMusic)) |
Media.kif 1789-1794 |
|
| (=> (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 |
|
|
|
|