| ElectronicMusic | |
| appearance as argument number 1 |
|
|
| (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 | |
| (instance ElectronicMusic MusicGenre) | Music.kif 685-685 |
| appearance as argument number 2 |
|
|
| (subAttribute ElectronicDanceMusic ElectronicMusic) | Music.kif 669-669 | |
| (termFormat EnglishLanguage ElectronicMusic "electronic music") | Music.kif 689-689 |
| antecedent |
|
|
| (=> (musicGenre ?MR ElectronicMusic) (exists (?DV ?MM) (and (instance ?DV ElectricDevice) (record ?MR ?MM) (instrument ?MM ?DV)))) |
Music.kif 691-697 |
|
|
|