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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - musicInterpretation
musicInterpretation

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


(documentation musicInterpretation EnglishLanguage "(musicInterpretation ?MR ?MC) means that MusicRecording ?MR is a realization of Music ?MC") Music.kif 173-174
(domain musicInterpretation 1 MusicRecording) Music.kif 177-177 musicInterpretation の数値 1 引数は MusicRecording の instance では
(domain musicInterpretation 2 Music) Music.kif 178-178 musicInterpretation の数値 2 引数は 音楽 の instance では
(instance musicInterpretation BinaryPredicate) Music.kif 172-172 musicInterpretation は 2進述語 の instance では

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


(format ChineseLanguage musicInterpretation "%1 是 %2 的 recording ") domainEnglishFormat.kif 3936-3936
(format ChineseTraditionalLanguage musicInterpretation "%1 是 %2 的 recording ") domainEnglishFormat.kif 3935-3935
(format EnglishLanguage musicInterpretation "%1 is a recording of %2") domainEnglishFormat.kif 3934-3934
(termFormat EnglishLanguage musicInterpretation "music interpretation") Music.kif 175-175

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


(=>
    (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
(=>
    (musicInterpretation ?MR ?MC)
    (exists (?P)
        (and
            (instance ?P MakingMusic)
            (realization ?P ?MC)
            (record ?MR ?P))))		 Music.kif 180-186

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


(=>
    (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 ?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


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