Choir
|
|
appearance as argument number 1 |
(documentation Choir EnglishLanguage "A Choir is a MusicalGroup that performs VocalMusic.") | Media.kif 1783-1784 | |
(subclass Choir MusicalGroup) | Media.kif 1782-1782 |
appearance as argument number 2 |
(termFormat EnglishLanguage Choir "choir") | domainEnglishFormat.kif 64634-64634 |
antecedent |
(=> (and (instance ?GROUP Choir) (agent ?MUSIC ?GROUP) (instance ?MUSIC MakingMusic)) (instance ?MUSIC MakingVocalMusic)) |
Media.kif 1787-1792 | |
(=> (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 |