| ElectronicMusic(electronic music) | | techno |
| 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 684-686 | |
| (instance ElectronicMusic MusicGenre) | Music.kif 683-683 | Electronic music is an instance of music genre |
| appearance as argument number 2 |
|
|
| (subAttribute ElectronicDanceMusic ElectronicMusic) | Music.kif 667-667 | Electronic dance music is a subattribute of electronic music |
| (termFormat EnglishLanguage ElectronicMusic "electronic music") | Music.kif 687-687 | Electronic dance music is a subattribute of electronic music |
| antecedent |
|
|
| (=> (musicGenre ?MR ElectronicMusic) (exists (?DV ?MM) (and (instance ?DV ElectricDevice) (record ?MR ?MM) (instrument ?MM ?DV)))) |
Music.kif 689-695 |
|
|
|
|