(=>
(and
(musicGenre ?MR Acapella)
(record ?MR ?MM))
(not
(exists (?MI)
(and
(instance ?MI MakingInstrumentalMusic)
(subProcess ?MI ?MM))))) |
Music.kif 526-534 |
If acapella is in the genre X and X is a record of Y, then there doesn't exist Z such that Z is an instance of instrumental music and Z is a subprocess of Y |
(=>
(and
(musicGenre ?MR AcousticMusic)
(record ?MR ?MM))
(not
(exists (?I ?ED)
(and
(instance ?I MusicalInstrument)
(instrument ?MM ?I)
(instance ?ED ElectricDevice)
(part ?ED ?I))))) |
Music.kif 561-571 |
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 |
(=>
(musicGenre ?MR ReligiousMusic)
(exists (?ATTR ?X)
(and
(instance ?ATTR ReligiousAttribute)
(attribute ?X ?ATTR)
(refers ?MR ?X)))) |
Music.kif 635-641 |
If religious music is in the genre X, then there exist Y, Z such that Y is an instance of religious attribute, Y is an attribute of Z, and X includes a reference to Z |
(=>
(musicGenre ?MR ChristianMusic)
(exists (?X)
(and
(attribute ?X Christian)
(refers ?MR ?X)))) |
Music.kif 649-654 |
If christian music is in the genre X, then there exists Y such that christian is an attribute of Y and X includes a reference to Y |
(=>
(musicGenre ?MR ElectronicDanceMusic)
(hasPurpose ?MR
(exists (?NC ?MM)
(and
(instance ?NC NightClub)
(instance ?MM MakingMusic)
(patient ?MM ?MR)
(eventLocated ?MM ?NC))))) |
Music.kif 675-683 |
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 |
(=>
(musicGenre ?MR ElectronicMusic)
(exists (?DV ?MM)
(and
(instance ?DV ElectricDevice)
(record ?MR ?MM)
(instrument ?MM ?DV)))) |
Music.kif 691-697 |
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 |
