MusicRecording - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - MusicRecording

MusicRecording(music recording)

cut, music_recording, track

appearance as argument number 1

s__documentation(s__MusicRecording,s__EnglishLanguage,'MusicRecording refers to an AudioRecording of the Process of MakingMusic.')	Mid-level-ontology.kif 12019-12020
s__externalImage(s__MusicRecording,'http://upload.wikimedia.org/wikipedia/commons/0/00/Band-Through-Glass.jpg')	pictureList.kif 2870-2870	"http://upload.wikimedia.org/wikipedia/commons/0/00/ Band-Through-Glass.jpg" is a URL depicting music recording
s__externalImage(s__MusicRecording,'http://upload.wikimedia.org/wikipedia/commons/1/16/Trevor_Pinnock_3.jpg')	pictureList.kif 2869-2869	"http://upload.wikimedia.org/wikipedia/commons/1/16/ Trevor_Pinnock_3.jpg" is a URL depicting music recording
s__externalImage(s__MusicRecording,'http://upload.wikimedia.org/wikipedia/commons/9/9b/Trevor_Pinnock_2.jpg')	pictureList.kif 2868-2868	"http://upload.wikimedia.org/wikipedia/commons/9/9b/ Trevor_Pinnock_2.jpg" is a URL depicting music recording
s__externalImage(s__MusicRecording,'http://upload.wikimedia.org/wikipedia/commons/b/b8/Tom-at-Desk.jpg')	pictureList.kif 2710-2710	"http://upload.wikimedia.org/wikipedia/commons/b/b8/ Tom-at-Desk.jpg" is a URL depicting music recording
s__instance(s__MusicRecording,s__SetOrClass)	Mid-level-ontology.kif 12018-12018	Music recording is a subclass of audio recording

appearance as argument number 2

s__range(s__RemixFn__m,s__MusicRecording)	Music.kif 889-889	The range of remix function is an instance of music recording
s__termFormat(s__EnglishLanguage,s__MusicRecording,'music recording')	Mid-level-ontology.kif 12021-12021	"music recording" is the printable form of music recording in english language

appearance as argument number 3

s__domain(s__RemixFn__m,1,s__MusicRecording)	Music.kif 887-887	The number 1 argument of remix function is an instance of music recording
s__domain(s__musicInterpretation__m,1,s__MusicRecording)	Music.kif 175-175	The number 1 argument of music interpretation is an instance of music recording
s__domain(s__musicVideo__m,1,s__MusicRecording)	Music.kif 222-222	The number 1 argument of music video is an instance of music recording
s__domain(s__musician__m,1,s__MusicRecording)	Music.kif 191-191	The number 1 argument of musician is an instance of music recording
s__domain(s__songArtist__m,1,s__MusicRecording)	Music.kif 207-207	The number 1 argument of song artist is an instance of music recording

antecedent

( ! [V__M] : ((s__attribute(V__M,s__RemixRecording) & s__instance(V__M,s__MusicRecording)) => (? [V__O,V__A] : (V__M = s__RemixFn(V__O,V__A)))) )	Music.kif 447-452	If remix recording is an attribute of a music recording and the music recording is an instance of music recording, then there exist another music recording and a cognitive agent such that the music recording is equal to the remix of the other music recording by the cognitive agent
( ! [V__MR,V__A,V__M,V__MM] : ((s__attribute(V__MR,s__CoverRecording) & s__instance(V__MR,s__MusicRecording) & s__songArtist(V__MR,V__A) & s__musicInterpretation(V__MR,V__M) & s__record(V__MR,V__MM)) => (? [V__ORIG,V__ARTIST,V__MUSIC] : (s__musicInterpretation(V__ORIG,V__M) & s__songArtist(V__ORIG,V__ARTIST) & (~ (V__A = V__ARTIST)) & s__record(V__ORIG,V__MUSIC) & s__before(s__WhenFn(V__MUSIC) ,s__WhenFn(V__MM))))) )	Music.kif 460-473	If cover recording is an attribute of a music recording and the music recording is an instance of music recording and a cognitive agent is the performer in the music recording and the music recording is a recording of a music and the music recording is a record of the musicM, then there exist another music recording, the cognitive agentRTIST and the musicUSIC such that the other music recording is a recording of the music and the cognitive agentRTIST is the performer in the other music recording and the cognitive agent is not equal to the cognitive agentRTIST and the other music recording is a record of the musicUSIC and the time of existence of the musicUSIC happens before the time of existence of the musicM
( ! [V__M] : (s__instance(V__M,s__MusicRecording) => (? [V__P] : (s__instance(V__P,s__MakingMusic) & s__record(V__M,V__P)))) )	Mid-level-ontology.kif 12023-12028	If a content bearing object is an instance of music recording, then there exists a physical such that the physical is an instance of making music and the content bearing object is a record of the physical

consequent

( ! [V__ATTR,V__A] : ((s__instance(V__ATTR,s__MusicGenre) & s__attribute(V__A,V__ATTR)) => (s__instance(V__A,s__MakingMusic) \| s__instance(V__A,s__MusicRecording))) )	Music.kif 513-519	If an entity is an instance of music genre and the entity is an attribute of an object, then the object is an instance of making music or the object is an instance of music recording
( ! [V__ORG] : ((s__instance(V__ORG,s__Organization) & s__attribute(V__ORG,s__SportingGoodsHobbyBookAndMusicStores)) => (? [V__EV,V__MEM] : (s__member(V__MEM,V__ORG) & s__agent(V__MEM,V__EV) & (? [V__THING] : (s__instance(V__EV,s__Selling) & s__instance(V__THING,s__Object) & (s__capability(s__Sport,s__instrument__m,V__THING) \| s__capability(s__MakingMusic,s__instrument__m,V__THING) \| s__instance(V__THING,s__Book) \| s__instance(V__THING,s__MusicRecording) \| s__instance(V__THING,s__MusicText)) & s__patient(V__EV,V__THING)))))) )	naics.kif 7607-7625	If a collection is an instance of organization and sporting goods hobby book and music stores is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exists another object such that the agent is an instance of selling and the other object is an instance of object and the other object is capable of doing sport as a instrument or the other object is capable of doing making music as a instrument or the other object is an instance of book or the other object is an instance of music recording or the other object is an instance of music text and the other object is a patient of the agent
( ! [V__X] : (s__instance(V__X,s__SinglesChart) => (? [V__MR] : (s__instance(V__MR,s__MusicRecording) & s__inList(V__MR,V__X)))) )	Music.kif 1135-1140	If a list is an instance of singles chart, then there exists an entity such that the entity is an instance of music recording and the entity is a member of the list

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners