| 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 | Recording 是 有内用物体 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass AudioRecording Recording) | Mid-level-ontology.kif 15665-15665 | 录音 是 Recording 的 subclass |
| (subclass MotionPicture Recording) | Merge.kif 1386-1386 | 动态映像 是 Recording 的 subclass |
| (subclass Photograph Recording) | Mid-level-ontology.kif 14635-14635 | 照片 是 Recording 的 subclass |
| (subclass VideoRecording Recording) | Mid-level-ontology.kif 15799-15799 | 视频录制 是 Recording 的 subclass |
| (termFormat EnglishLanguage Recording "recording") | Merge.kif 1384-1384 | 视频录制 是 Recording 的 subclass |
| appearance as argument number 3 |
|
|
| (domain albumTrack 1 Recording) | Music.kif 338-338 | albumTrack 的 1 数量 是 Recording 的 instance |
| (domain produced 2 Recording) | Mid-level-ontology.kif 22308-22308 | produced 的 2 数量 是 Recording 的 instance |
| (domain producedOn 1 Recording) | Music.kif 93-93 | producedOn 的 1 数量 是 Recording 的 instance |
| (domain recordingCompany 1 Recording) | Music.kif 131-131 | recordingCompany 的 1 数量 是 Recording 的 instance |
| (domain recordingLength 1 Recording) | Music.kif 113-113 | recordingLength 的 1 数量 是 Recording 的 instance |
| 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 15759-15764 |
| 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 |
|
|
|