Acapella |
appearance as argument number 1 |
![]() |
(documentation Acapella EnglishLanguage "Acapella describes the MusicGenre that does not have any instrumental backing.") | Music.kif 518-519 | |
(instance Acapella MusicGenre) | Music.kif 517-517 | Acapella 是 MusicGenre 的 instance |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage Acapella "acapella") | Music.kif 520-520 |
antecedent |
![]() |
(=> (and (musicGenre ?MR Acapella) (record ?MR ?MM)) (not (exists (?MI) (and (instance ?MI MakingInstrumentalMusic) (subProcess ?MI ?MM))))) |
Music.kif 522-530 |
![]() |
![]() |