|
|
  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 684-686 | |
| (instance ElectronicMusic MusicGenre) | Music.kif 683-683 | ElectronicMusic ist ein fall von MusicGenre %n{nicht} |
| appearance as argument number 2 |
|
|
| (subAttribute ElectronicDanceMusic ElectronicMusic) | Music.kif 667-667 | ElectronicDanceMusic ist ein teilattribut von ElectronicMusic |
| (termFormat EnglishLanguage ElectronicMusic "electronic music") | Music.kif 687-687 |
| antecedent |
|
|
| (=> (musicGenre ?MR ElectronicMusic) (exists (?DV ?MM) (and (instance ?DV ElectricDevice) (record ?MR ?MM) (instrument ?MM ?DV)))) |
Music.kif 689-695 |
|
|
|
|