Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - MusicRecording
MusicRecording(music recording)
cut, track

appearance as argument number 1
-------------------------


(subclass MusicRecording AudioRecording) Mid-level-ontology.kif 15894-15894 Music recording is a subclass of audio recording
(documentation MusicRecording EnglishLanguage "MusicRecording refers to an AudioRecording of the Process of MakingMusic.") Mid-level-ontology.kif 15895-15896 Music recording is a subclass of audio recording
(externalImage MusicRecording "http://upload.wikimedia.org/wikipedia/commons/ b/ b8/ Tom_at_Desk.jpg") pictureList.kif 2708-2708 Music recording is a subclass of audio recording
(externalImage MusicRecording "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ Trevor_Pinnock_2.jpg") pictureList.kif 2866-2866 Music recording is a subclass of audio recording
(externalImage MusicRecording "http://upload.wikimedia.org/wikipedia/commons/ 1/ 16/ Trevor_Pinnock_3.jpg") pictureList.kif 2867-2867 Music recording is a subclass of audio recording
(externalImage MusicRecording "http://upload.wikimedia.org/wikipedia/commons/ 0/ 00/ Band_Through_Glass.jpg") pictureList.kif 2868-2868 Music recording is a subclass of audio recording

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage MusicRecording "music recording") Mid-level-ontology.kif 15897-15897
(range RemixFn MusicRecording) Music.kif 889-889 The range of remix function is an instance of music recording
(termFormat ChineseTraditionalLanguage MusicRecording "音樂錄音") domainEnglishFormat.kif 39428-39428 The range of remix function is an instance of music recording
(termFormat ChineseLanguage MusicRecording "音乐录音") domainEnglishFormat.kif 39429-39429 The range of remix function is an instance of music recording

appearance as argument number 3
-------------------------


(domain musicInterpretation 1 MusicRecording) Music.kif 177-177 The number 1 argument of music interpretation is an instance of music recording
(domain musician 1 MusicRecording) Music.kif 193-193 The number 1 argument of musician is an instance of music recording
(domain songArtist 1 MusicRecording) Music.kif 213-213 The number 1 argument of song artist is an instance of music recording
(domain musicVideo 1 MusicRecording) Music.kif 228-228 The number 1 argument of music video is an instance of music recording
(domain RemixFn 1 MusicRecording) Music.kif 887-887 The number 1 argument of remix function is an instance of music recording

antecedent
-------------------------


(=>
    (instance ?M MusicRecording)
    (exists (?P)
        (and
            (instance ?P MakingMusic)
            (record ?M ?P))))		 Mid-level-ontology.kif 15899-15904 If X is an instance of music recording, then there exists Y such that Y is an instance of making music and X is a record of Y
(=>
    (and
        (attribute ?M RemixRecording)
        (instance ?M MusicRecording))
    (exists (?O ?A)
        (equal ?M
            (RemixFn ?O ?A))))		 Music.kif 446-451 If remix recording is an attribute of X and X is an instance of music recording, then there exist Y, Z such that equal X, and the remix of Y by Z
(=>
    (and
        (attribute ?MR CoverRecording)
        (instance ?MR MusicRecording)
        (songArtist ?MR ?A)
        (musicInterpretation ?MR ?M)
        (record ?MR ?MM))
    (exists (?ORIG ?ARTIST ?MUSIC)
        (and
            (musicInterpretation ?ORIG ?M)
            (songArtist ?ORIG ?ARTIST)
            (not
                (equal ?A ?ARTIST))
            (record ?ORIG ?MUSIC)
            (before
                (WhenFn ?MUSIC)
                (WhenFn ?MM)))))		 Music.kif 459-472 If cover recording is an attribute of X, X is an instance of music recording, Y is the performer in X, X is a recording of Z, and X is a record of W, then All of the following hold: (1) there exist V, U (2) T such that V is a recording of Z (3) U is the performer in V (4) equal Y (5) U (6) V is a record of T (7) the time of existence of T happens before the time of existence of W

consequent
-------------------------


(=>
    (and
        (instance ?ATTR MusicGenre)
        (attribute ?A ?ATTR))
    (or
        (instance ?A MakingMusic)
        (instance ?A MusicRecording)))		 Music.kif 513-519 If X is an instance of music genre and X is an attribute of Y, then Y is an instance of making music or Y is an instance of music recording
(=>
    (instance ?X SinglesChart)
    (exists (?MR)
        (and
            (instance ?MR MusicRecording)
            (inList ?MR ?X))))		 Music.kif 1139-1144 If X is an instance of singles chart, then there exists Y such that Y is an instance of music recording and Y is a member of X
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG SportingGoodsHobbyBookAndMusicStores))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING)
                (and
                    (instance ?EV Selling)
                    (instance ?THING Object)
                    (or
                        (capability Sport instrument ?THING)
                        (capability MakingMusic instrument ?THING)
                        (instance ?THING Book)
                        (instance ?THING MusicRecording)
                        (instance ?THING MusicText))
                    (patient ?EV ?THING))))))		 naics.kif 7600-7618 If X is an instance of organization and sporting goods hobby book and music stores is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exists W such that Y is an instance of selling (5) W is an instance of object (6) W is capable of doing sport as a instrument or W is capable of doing making music as a instrument or W is an instance of book or W is an instance of music recording or W is an instance of music text (7) W is a patient of Y


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 3.0 is open source software produced by Articulate Software and its partners