TreeView Knowledge Base Browser - ElectronicDanceMusic

appearance as argument number 1

(subAttribute ElectronicDanceMusic ElectronicMusic)	Music.kif 669-669	Electronic dance music is a subattribute of electronic music
(documentation ElectronicDanceMusic EnglishLanguage "ElectronicDanceMusic is a type of music that is produced primarily for the purposes of use within a nightclub setting, or in an environment that is centered upon dance_based entertainment.")	Music.kif 670-672	Electronic dance music is a subattribute of electronic music

appearance as argument number 2

antecedent

(=>
    (musicGenre ?MR ElectronicDanceMusic)
    (hasPurpose ?MR
        (exists (?NC ?MM)
            (and
                (instance ?NC NightClub)
                (instance ?MM MakingMusic)
                (patient ?MM ?MR)
                (eventLocated ?MM ?NC)))))

If electronic dance music is in the genre X, then X has the purpose there exist Y, Z such that Y is an instance of night club, Z is an instance of making music, X is a patient of Z, and Z is located at Y