Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Acapella(acapella) |
| appearance as argument number 1 |
|
| (instance Acapella MusicGenre) | Music.kif 521-521 | Acapella is an instance of music genre |
| (documentation Acapella EnglishLanguage "Acapella describes the MusicGenre that does not have any instrumental backing.") | Music.kif 522-523 | Acapella is an instance of music genre |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Acapella "acapella") | Music.kif 524-524 |
| antecedent |
|
|
| (=> (and (musicGenre ?MR Acapella) (record ?MR ?MM)) (not (exists (?MI) (and (instance ?MI MakingInstrumentalMusic) (subProcess ?MI ?MM))))) |
Music.kif 526-534 | If acapella is in the genre X and X is a record of Y, then there doesn't exist Z such that Z is an instance of instrumental music and Z is a subprocess of Y |
|