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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MusicalComposition

Sigma KEE - MusicalComposition
MusicalComposition(音樂作品)

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


(documentation MusicalComposition EnglishLanguage "MusicalComposition refers to the the conception of a musical arrangement not including any LyricalContent.") Mid-level-ontology.kif 13748-13749
(externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 46/ Cequelaino.png") pictureList.kif 2708-2708
(externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 5e/ Himno_mexicanos_text2.jpg") pictureList.kif 2865-2865
(externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 80/ Himno_mexicanos_text.jpg") pictureList.kif 2864-2864
(externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8c/ Qaumi_Tarana_Sheet_Music.png") pictureList.kif 2866-2866
(subclass MusicalComposition Music) Mid-level-ontology.kif 13747-13747 子類 音樂作品 and Music

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


(range MusicalComponentFn MusicalComposition) Music.kif 906-906 範圍 MusicalComponentFn and 音樂作品
(termFormat ChineseLanguage MusicalComposition "音乐作品") domainEnglishFormat.kif 39369-39369
(termFormat ChineseTraditionalLanguage MusicalComposition "音樂作品") domainEnglishFormat.kif 39368-39368
(termFormat EnglishLanguage MusicalComposition "musical composition") domainEnglishFormat.kif 39367-39367

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


(domain SongFn 1 MusicalComposition) Music.kif 863-863 SongFn, 1 and 音樂作品
(domain composer 2 MusicalComposition) Music.kif 146-146 composer, 2 and 音樂作品

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


(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS MusicalComposition))
    (holdsDuring ?T1
        (attribute ?AGENT MusicPublishers)))
Media.kif 1888-1892
(=>
    (and
        (instance ?MC MusicalComposition)
        (realization ?MC ?MUSIC))
    (not
        (exists (?LC ?V)
            (and
                (instance ?V Singing)
                (patient ?V ?LC)
                (instance ?LC LyricalContent)
                (subProcess ?V ?MUSIC)))))
Mid-level-ontology.kif 13752-13762

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


(=>
    (and
        (instance ?S Song)
        (realization ?S ?MUSIC))
    (exists (?MM ?MV ?LC ?MC)
        (and
            (instance ?MM MakingMusic)
            (instance ?MV Singing)
            (instance ?LC LyricalContent)
            (instance ?MC MusicalComposition)
            (patient ?MM ?MC)
            (patient ?MV ?LC)
            (subProcess ?MM ?MUSIC)
            (subProcess ?MV ?MUSIC))))
Mid-level-ontology.kif 13771-13784
(=>
    (instance ?C ComposingMusic)
    (exists (?M)
        (and
            (instance ?M MusicalComposition)
            (result ?C ?M))))
Mid-level-ontology.kif 3325-3330
(=>
    (instance ?SM SheetMusic)
    (exists (?MC)
        (and
            (instance ?MC MusicalComposition)
            (containsInformation ?SM ?MC))))
Mid-level-ontology.kif 14413-14418


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

Show without tree


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