| 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 64657-64657 |
| 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 |
|
|
|