| 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 1382-1383 | |
| (subclass Recording ContentBearingObject) | Merge.kif 1381-1381 |
| appearance as argument number 2 |
|
|
| (subclass AudioRecording Recording) | Mid-level-ontology.kif 15683-15683 | |
| (subclass MotionPicture Recording) | Merge.kif 1386-1386 | |
| (subclass Photograph Recording) | Mid-level-ontology.kif 14653-14653 | |
| (subclass VideoRecording Recording) | Mid-level-ontology.kif 15817-15817 | |
| (termFormat EnglishLanguage Recording "recording") | Merge.kif 1384-1384 |
| appearance as argument number 3 |
|
|
| (domain albumTrack 1 Recording) | Music.kif 338-338 | |
| (domain produced 2 Recording) | Mid-level-ontology.kif 22325-22325 | |
| (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 410-421 | |
| (=> (and (attribute ?M LiveRecording) (instance ?M Recording)) (exists (?P) (and (instance ?P Performance) (record ?M ?P)))) |
Music.kif 380-387 | |
| (=> (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 428-438 | |
| (=> (and (attribute ?M StudioRecording) (instance ?M Recording)) (exists (?P ?S) (and (record ?M ?P) (eventLocated ?P ?S) (instance ?S RecordingStudio)))) |
Music.kif 394-402 | |
| (=> (instance ?R Recording) (exists (?P) (and (instance ?P Process) (record ?R ?P)))) |
Mid-level-ontology.kif 15777-15782 |
| consequent |
|
|
| (=> (albumArtist ?A ?P) (exists (?R ?M) (and (instance ?R Recording) (inList ?R ?A) (record ?R ?M) (agent ?M ?P)))) |
Music.kif 280-287 | |
| (=> (attribute ?M RecordingAttribute) (instance ?M Recording)) |
Music.kif 371-373 | |
| (=> (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 |
|
|
|