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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MusicalComposition
MusicalComposition(musical composition)
Bach, Beethoven, Brahms, Chopin, Handel, Haydn, Mozart, Stravinsky, Wagner, accompaniment, amen_cadence, backup, bagatelle, cadence, cadenza, capriccio, composition, concerto, concerto_grosso, development, divertimento, etude, exposition, fantasia, idea, idyl, idyll, incidental_music, instrumental_music, ligature, melodic_theme, movement, musical_accompaniment, musical_composition, musical_passage, musical_phrase, musical_theme, nocturne, notturno, opus, ostinato, partita, passage, pastoral, pastorale, phrase, piano_sonata, piece, piece_of_music, plagal_cadence...

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 13595-13596
(externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 46/ Cequelaino.png") pictureList.kif 2709-2709
(externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 5e/ Himno_mexicanos_text2.jpg") pictureList.kif 2866-2866
(externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 80/ Himno_mexicanos_text.jpg") pictureList.kif 2865-2865
(externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8c/ Qaumi_Tarana_Sheet_Music.png") pictureList.kif 2867-2867
(subclass MusicalComposition Music) Mid-level-ontology.kif 13594-13594 Musical composition is a subclass of music

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


(range MusicalComponentFn MusicalComposition) Music.kif 905-905 The range of musical composition function is an instance of musical composition
(termFormat ChineseLanguage MusicalComposition "音乐作品") domainEnglishFormat.kif 39349-39349
(termFormat ChineseTraditionalLanguage MusicalComposition "音樂作品") domainEnglishFormat.kif 39348-39348
(termFormat EnglishLanguage MusicalComposition "musical composition") domainEnglishFormat.kif 39347-39347

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


(domain SongFn 1 MusicalComposition) Music.kif 862-862 The number 1 argument of song function is an instance of musical composition
(domain composer 2 MusicalComposition) Music.kif 146-146 The number 2 argument of composer is an instance of musical composition

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 13599-13609

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 13618-13631
(=>
    (instance ?C ComposingMusic)
    (exists (?M)
        (and
            (instance ?M MusicalComposition)
            (result ?C ?M))))
Mid-level-ontology.kif 3290-3295
(=>
    (instance ?SM SheetMusic)
    (exists (?MC)
        (and
            (instance ?MC MusicalComposition)
            (containsInformation ?SM ?MC))))
Mid-level-ontology.kif 14260-14265


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