| MakingVocalMusic(singing)
| | a_capella_singing, a_cappella_singing, antiphony, belt, belt_out, cantillate, cantillation, carol, caroling, carry, chant, chanting, chirp, choir, chorally, chorus, croon, crooning, descant, descant_on, harmonisation, harmonization, hum, humming, hymn, hymnody, intonate, intonation, intone, karaoke, madrigal, minstrel, part-singing, place, psalm, psalmody, round, scat, scat_singing, sight-sing, sightsing, sing, sing_along, singalong, singing, singsong, solfege, solfeggio, solmizate, solmization... |
| appearance as argument number 1 |
|
|
| (subclass MakingVocalMusic MakingMusic) | Merge.kif 13897-13897 | Singing is a subclass of making music |
| (subclass MakingVocalMusic Vocalizing) | Merge.kif 13898-13898 | Singing is a subclass of vocalizing |
| (documentation MakingVocalMusic EnglishLanguage "MakingVocalMusic is a type of MakingMusic which is produced by using the vocal cords") | Merge.kif 13899-13900 | Singing is a subclass of vocalizing |
| (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 13902-13904 | Singing is a subclass of vocalizing |
| (externalImage MakingVocalMusic "http://upload.wikimedia.org/wikipedia/commons/ 6/ 60/ Melbourne_chorale.jpg") | pictureList.kif 6961-6961 | Singing is a subclass of vocalizing |
| (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 | Singing is a subclass of vocalizing |
| appearance as argument number 2 |
|
|
| (subclass Singing MakingVocalMusic) | Merge.kif 13906-13906 | Singing is a subclass of singing |
| (termFormat EnglishLanguage MakingVocalMusic "vocal music") | domainEnglishFormat.kif 61845-61845 | Singing is a subclass of singing |
| (termFormat ChineseTraditionalLanguage MakingVocalMusic "聲樂") | domainEnglishFormat.kif 61847-61847 | Singing is a subclass of singing |
| (termFormat ChineseLanguage MakingVocalMusic "声乐") | domainEnglishFormat.kif 61848-61848 | Singing is a subclass of singing |
| (termFormat EnglishLanguage MakingVocalMusic "singing") | english_format.kif 1853-1853 | Singing is a subclass of singing |
| appearance as argument number 3 |
|
|
| (partition MakingMusic MakingInstrumentalMusic MakingVocalMusic) | Merge.kif 13879-13879 | Making music is exhaustively partitioned into instrumental music and singing |
| 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 | If X is an instance of singing, Y is an agent of X, Y is an instance of choir, and Z is a member of Y holds during X, then there exists W such that W is an instance of singing, W is a subprocess of X, and Z is an agent of W |
| consequent |
|
|
| (=> (and (instance ?GROUP Choir) (agent ?MUSIC ?GROUP) (instance ?MUSIC MakingMusic)) (instance ?MUSIC MakingVocalMusic)) |
Media.kif 1789-1794 | If X is an instance of choir, X is an agent of Y, and Y is an instance of making music, then Y is an instance of singing |
| (=> (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 | If X plays Y in Z, then All of the following hold: (1) there exist W (2) V such that W is an instance of Y (3) equal Y (4) playing V or equal Y (5) singing (6) X is an agent of W (7) Z is a result of W |
|
|
|