(=>
(instance ?R Recording)
(exists (?P)
(and
(instance ?P Process)
(record ?R ?P)))) |
Mid-level-ontology.kif 15993-15998 |
If X is an instance of recording, then there exists Y such that Y is an instance of process and X is a record of Y |
(=>
(instance ?M MusicRecording)
(exists (?P)
(and
(instance ?P MakingMusic)
(record ?M ?P)))) |
Mid-level-ontology.kif 16005-16010 |
If X is an instance of music recording, then there exists Y such that Y is an instance of making music and X is a record of Y |
(=>
(musicInterpretation ?MR ?MC)
(exists (?P)
(and
(instance ?P MakingMusic)
(realization ?P ?MC)
(record ?MR ?P)))) |
Music.kif 180-186 |
If X is a recording of Y, then there exists Z such that Z is an instance of making music, Z expresses the content of Y, and X is a record of Z |
(=>
(songArtist ?MR ?A)
(exists (?M)
(and
(record ?MR ?M)
(agent ?M ?A)))) |
Music.kif 216-221 |
If X is the performer in Y, then there exists Z such that Y is a record of Z and X is an agent of Z |
(=>
(albumArtist ?A ?P)
(exists (?R ?M)
(and
(instance ?R Recording)
(inList ?R ?A)
(record ?R ?M)
(agent ?M ?P)))) |
Music.kif 280-287 |
If X is a performer on Y, then there exist Z, W such that Z is an instance of recording, Z is a member of Y, Z is a record of W, and X is an agent of W |
(=>
(and
(attribute ?M LiveRecording)
(instance ?M Recording))
(exists (?P)
(and
(instance ?P Performance)
(record ?M ?P)))) |
Music.kif 380-387 |
If live recording is an attribute of X and X is an instance of recording, then there exists Y such that Y is an instance of performance and X is a record of Y |
(=>
(and
(attribute ?M StudioRecording)
(instance ?M Recording))
(exists (?P ?S)
(and
(record ?M ?P)
(eventLocated ?P ?S)
(instance ?S RecordingStudio)))) |
Music.kif 394-402 |
If studio recording is an attribute of X and X is an instance of recording, then there exist Y, Z such that X is a record of Y, Y is located at Z, and Z is an instance of recording studio |
(=>
(and
(attribute ?M DemoRecording)
(instance ?M Recording))
(hasPurpose ?M
(exists (?D ?G ?MUSIC)
(and
(instance ?D Demonstrating)
(record ?M ?MUSIC)
(patient ?D ?MUSIC)
(destination ?D ?G)
(instance ?G GroupOfPeople))))) |
Music.kif 410-421 |
If demo recording is an attribute of X and X is an instance of recording, then X has the purpose there exist Y, Z, W such that Y is an instance of demonstrating, X is a record of W, W is a patient of Y, Y ends up at Z, and Z is an instance of group of people |
(=>
(and
(attribute ?MR CoverRecording)
(instance ?MR MusicRecording)
(songArtist ?MR ?A)
(musicInterpretation ?MR ?M)
(record ?MR ?MM))
(exists (?ORIG ?ARTIST ?MUSIC)
(and
(musicInterpretation ?ORIG ?M)
(songArtist ?ORIG ?ARTIST)
(not
(equal ?A ?ARTIST))
(record ?ORIG ?MUSIC)
(before
(WhenFn ?MUSIC)
(WhenFn ?MM))))) |
Music.kif 459-472 |
If cover recording is an attribute of X, X is an instance of music recording, Y is the performer in X, X is a recording of Z, and X is a record of W, then All of the following hold: (1) there exist V, U (2) T such that V is a recording of Z (3) U is the performer in V (4) equal Y (5) U (6) V is a record of T (7) the time of existence of T happens before the time of existence of W |
(=>
(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 |
(=>
(attribute ?MR HipHopMusic)
(modalAttribute
(exists (?MM ?S)
(and
(record ?MR ?MM)
(instance ?S Speaking)
(subProcess ?S ?MM))) Likely)) |
Music.kif 729-736 |
If hip hop music is an attribute of X, then the statement there exist Y, Z such that X is a record of Y, Z is an instance of speaking, and Z is a subprocess of Y has the modal force of likely |
