AcousticMusic - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__AcousticMusic,s__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 550-552

Music.kif 549-549

appearance as argument number 2

s__relatedInternalConcept(s__ChamberMusic,s__AcousticMusic)	Music.kif 617-617	Chamber music is internally related to acoustic
s__termFormat(s__EnglishLanguage,s__AcousticMusic,'"acoustic"')	Music.kif 553-553

antecedent

( ! [V__MR,V__MM] :
   ((s__instance(V__MR,s__ContentBearingObject) &
       s__instance(V__MM,s__Process))
     =>
     (s__musicGenre(V__MR,s__AcousticMusic) &
       s__record(V__MR,V__MM))
   =>
   ~(( ? [V__I, V__ED] :
       ((s__instance(V__I,s__MusicalInstrument) &
           s__instrument(V__MM,V__I)
         &
         s__instance(V__ED,s__ElectricDevice) &
         s__part(V__ED,V__I)))))
)
)

Music.kif 555-565