| Recording | |
| appearance as argument number 1 |
|
|
| (documentation Recording EnglishLanguage "Recording refers to a ContentBearingObject that represents some Process that happened in real life") | Merge.kif 1268-1269 | |
| (subclass Recording ContentBearingObject) | Merge.kif 1267-1267 |
| appearance as argument number 2 |
|
|
| (subclass AudioRecording Recording) | Mid-level-ontology.kif 11969-11969 | |
| (subclass MotionPicture Recording) | Merge.kif 1272-1272 | |
| (subclass Photograph Recording) | Mid-level-ontology.kif 10956-10956 | |
| (subclass VideoRecording Recording) | Mid-level-ontology.kif 12103-12103 | |
| (termFormat EnglishLanguage Recording "recording") | Merge.kif 1270-1270 |
| appearance as argument number 3 |
|
|
| (domain albumTrack 1 Recording) | Music.kif 335-335 | |
| (domain produced 2 Recording) | Mid-level-ontology.kif 18401-18401 | |
| (domain producedOn 1 Recording) | Music.kif 93-93 | |
| (domain recordingCompany 1 Recording) | Music.kif 131-131 | |
| (domain recordingLength 1 Recording) | Music.kif 113-113 |
| antecedent |
|
|
| (=> (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 405-416 | |
| (=> (and (attribute ?M LiveRecording) (instance ?M Recording)) (exists (?P) (and (instance ?P Performance) (record ?M ?P)))) |
Music.kif 375-382 | |
| (=> (and (attribute ?M MashupRecording) (instance ?M Recording)) (exists (?M1 ?M2 ?S1 ?S2) (and (musicInterpretation ?M1 ?S1) (musicInterpretation ?M2 ?S2) (not (equal ?S1 ?S2)) (part ?M1 ?M) (part ?M2 ?M)))) |
Music.kif 423-433 | |
| (=> (and (attribute ?M StudioRecording) (instance ?M Recording)) (exists (?P) (and (record ?M ?P) (eventLocated ?P ?S) (instance ?S RecordingStudio)))) |
Music.kif 389-397 | |
| (=> (instance ?R Recording) (exists (?P) (and (instance ?P Process) (record ?R ?P)))) |
Mid-level-ontology.kif 12063-12068 |
| consequent |
|
|
| (=> (albumArtist ?A ?P) (exists (?R ?M) (and (instance ?R Recording) (inList ?R ?A) (record ?R ?M) (agent ?M ?P)))) |
Music.kif 277-284 | |
| (=> (attribute ?M RecordingAttribute) (instance ?M Recording)) |
Music.kif 366-368 | |
| (=> (instance ?L Album) (forall (?X) (=> (inList ?X ?L) (instance ?X Recording)))) |
Music.kif 53-58 | |
| (=> (instance ?S RecordingStudio) (exists (?D) (and (instance ?D Device) (hasPurpose ?D (exists (?R ?P) (and (instance ?R Recording) (instrument ?P ?D) (result ?P ?R)))) (located ?D ?S)))) |
Music.kif 36-47 | |
| (=> (instance ?S RecordingStudio) (hasPurpose ?S (exists (?R ?P) (and (instance ?R Recording) (result ?P ?R) (eventLocated ?P ?S))))) |
Music.kif 27-34 |
|
|
|