| Recording | | master, master_copy, mastering, original, recording, tape, tape_recording, taping, transcription |
| appearance as argument number 1 |
|
|
| s__documentation(s__Recording,s__EnglishLanguage,'Recording refers to a ContentBearingObject that represents some Process that happened in real life')
|
Mid-level-ontology.kif 12006-12007 | |
| s__instance(s__Recording,s__SetOrClass)
|
Mid-level-ontology.kif 12005-12005 |
| appearance as argument number 2 |
|
|
| s__subclass(s__AudioRecording,s__Recording)
|
Mid-level-ontology.kif 11911-11911 | |
| s__instance(s__Recording,s__SetOrClass)
|
Merge.kif 1409-1409 | |
| s__instance(s__Photograph,s__SetOrClass)
|
Mid-level-ontology.kif 10898-10898 | |
| s__instance(s__VideoRecording,s__SetOrClass)
|
Mid-level-ontology.kif 12051-12051 | |
| s__termFormat(s__EnglishLanguage,s__Recording,'recording')
|
Mid-level-ontology.kif 12008-12008 |
| appearance as argument number 3 |
|
|
| s__domain(s__albumTrack__m,1,s__Recording)
|
Music.kif 341-341 | |
| s__domain(s__produced__m,2,s__Recording)
|
Mid-level-ontology.kif 18289-18289 | |
| s__domain(s__producedOn__m,1,s__Recording)
|
Music.kif 93-93 | |
| s__domain(s__recordingCompany__m,1,s__Recording)
|
Music.kif 131-131 | |
| s__domain(s__recordingLength__m,1,s__Recording)
|
Music.kif 113-113 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 411-422 | |
| ( ! [V__M] : ((s__attribute(V__M,s__LiveRecording) & s__instance(V__M,s__Recording)) => (? [V__P] : (s__instance(V__P,s__Performance) & s__record(V__M,V__P)))) )
|
Music.kif 381-388 | |
| ( ! [V__M] : ((s__attribute(V__M,s__MashupRecording) & s__instance(V__M,s__Recording)) => (? [V__M1,V__M2,V__S1,V__S2] : (s__musicInterpretation(V__M1,V__S1) & s__musicInterpretation(V__M2,V__S2) & (~ (V__S1 = V__S2)) & s__part(V__M1,V__M) & s__part(V__M2,V__M)))) )
|
Music.kif 429-439 | |
| ( ! [V__M,V__S] : ((s__attribute(V__M,s__StudioRecording) & s__instance(V__M,s__Recording)) => (? [V__P] : (s__record(V__M,V__P) & s__eventLocated(V__P,V__S) & s__instance(V__S,s__RecordingStudio)))) )
|
Music.kif 395-403 | |
| ( ! [V__R] : (s__instance(V__R,s__Recording) => (? [V__P] : (s__instance(V__P,s__Process) & s__record(V__R,V__P)))) )
|
Mid-level-ontology.kif 12010-12015 |
| consequent |
|
|
| ( ! [V__A,V__P] : (s__albumArtist(V__A,V__P) => (? [V__R,V__M] : (s__instance(V__R,s__Recording) & s__inList(V__R,V__A) & s__record(V__R,V__M) & s__agent(V__M,V__P)))) )
|
Music.kif 274-281 | |
| ( ! [V__M] : (s__attribute(V__M,s__RecordingAttribute) => s__instance(V__M,s__Recording)) )
|
Music.kif 372-374 | |
| ( ! [V__L] : (s__instance(V__L,s__Album) => (! [V__X] : (s__inList(V__X,V__L) => s__instance(V__X,s__Recording)))) )
|
Music.kif 53-58 | |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 36-47 | |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 27-34 |
|
|
|