TreeView Knowledge Base Browser

appearance as argument number 1

(instance AcousticMusic MusicGenre)	Music.kif 555-555	Acoustic is an instance of music genre
(documentation AcousticMusic EnglishLanguage "AcousticMusic is a music genre style that solely uses instruments which produce sound through entirely acoustic means as opposed to electric means")	Music.kif 556-558	Acoustic is an instance of music genre

appearance as argument number 2

(termFormat EnglishLanguage AcousticMusic "acoustic")	Music.kif 559-559
(relatedInternalConcept ChamberMusic AcousticMusic)	Music.kif 623-623	Chamber music is internally related to acoustic

antecedent

(=>
    (and
        (musicGenre ?MR AcousticMusic)
        (record ?MR ?MM))
    (not
        (exists (?I ?ED)
            (and
                (instance ?I MusicalInstrument)
                (instrument ?MM ?I)
                (instance ?ED ElectricDevice)
                (part ?ED ?I)))))

If acoustic is in the genre X and X is a record of Y, then there don't exist Z, W such that Z is an instance of musical instrument, Z is an instrument for Y, W is an instance of electric device, and W is a part of Z