![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
ElectronicMusic
|
|
|
| appearance as argument number 1 |
|
|
| (instance ElectronicMusic MusicGenre) | Music.kif 685-685 | Electronic music is an instance of music genre |
| (documentation ElectronicMusic EnglishLanguage "ElectronicMusic is a type of music that is produced using electronic musical instruments and electronic music technology in its production.") | Music.kif 686-688 | Electronic music is an instance of music genre |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (musicGenre ?MR ElectronicMusic) (exists (?DV ?MM) (and (instance ?DV ElectricDevice) (record ?MR ?MM) (instrument ?MM ?DV)))) |
Music.kif 691-697 | If electronic music is in the genre X, then there exist Y, Z such that Y is an instance of electric device, X is a record of Z, and Y is an instrument for Z |