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 172-173
(domain musicInterpretation 1 MusicRecording) Music.kif 176-176 musicInterpretation 的 1 数量 是 音乐录音instance
(domain musicInterpretation 2 Music) Music.kif 177-177 musicInterpretation 的 2 数量 是 音乐instance
(instance musicInterpretation BinaryPredicate) Music.kif 171-171 musicInterpretation二元谓语instance

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


(format ChineseLanguage musicInterpretation "%1 是 %2 的 recording ") domainEnglishFormat.kif 3943-3943
(format ChineseTraditionalLanguage musicInterpretation "%1 是 %2 的 recording ") domainEnglishFormat.kif 3942-3942
(format EnglishLanguage musicInterpretation "%1 is a recording of %2") domainEnglishFormat.kif 3941-3941
(termFormat EnglishLanguage musicInterpretation "music interpretation") Music.kif 174-174

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

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 425-435
(=>
    (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 456-469


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