Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   MakingVocalMusic
|
|
|
| appearance as argument number 1 |
|
|
| (subclass MakingVocalMusic MakingMusic) | Merge.kif 14031-14031 | Singing is a subclass of making music |
| (subclass MakingVocalMusic Vocalizing) | Merge.kif 14032-14032 | 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 14033-14034 | 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 14036-14038 | 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 14040-14040 | 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 1857-1857 | Singing is a subclass of singing |
| appearance as argument number 3 |
|
|
| (partition MakingMusic MakingInstrumentalMusic MakingVocalMusic) | Merge.kif 14013-14013 | 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 1754-1764 | 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 1734-1739 | 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 |
|
