Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Choir
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Choir MusicalGroup) | Media.kif 1729-1729 | Choir is a subclass of musical group |
| (documentation Choir EnglishLanguage "A Choir is a MusicalGroup that performs VocalMusic.") | Media.kif 1730-1731 | Choir is a subclass of musical group |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Choir "choir") | domainEnglishFormat.kif 64635-64635 |
| antecedent |
|
|
| (=> (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 |
| (=> (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 |
|