TreeView Knowledge Base Browser

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

(subAttribute ElectronicDanceMusic ElectronicMusic)	Music.kif 669-669	Electronic dance music is a subattribute of electronic music
(termFormat EnglishLanguage ElectronicMusic "electronic music")	Music.kif 689-689	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))))

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