Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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
-------------------------


(subclass MusicalComposition Music) Mid-level-ontology.kif 15246-15246 Musical composition is a subclass of music
(documentation MusicalComposition EnglishLanguage "MusicalComposition refers to the the conception of a musical arrangement not including any LyricalContent.") Mid-level-ontology.kif 15247-15248 Musical composition is a subclass of music
(externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 46/ Cequelaino.png") pictureList.kif 2707-2707 Musical composition is a subclass of music
(externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 80/ Himno_mexicanos_text.jpg") pictureList.kif 2863-2863 Musical composition is a subclass of music
(externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 5e/ Himno_mexicanos_text2.jpg") pictureList.kif 2864-2864 Musical composition is a subclass of music
(externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8c/ Qaumi_Tarana_Sheet_Music.png") pictureList.kif 2865-2865 Musical composition is a subclass of music

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


(termFormat EnglishLanguage MusicalComposition "musical composition") Mid-level-ontology.kif 15249-15249
(range MusicalComponentFn MusicalComposition) Music.kif 908-908 The range of musical composition function is an instance of musical composition
(termFormat ChineseTraditionalLanguage MusicalComposition "音樂作品") domainEnglishFormat.kif 39374-39374 The range of musical composition function is an instance of musical composition
(termFormat ChineseLanguage MusicalComposition "音乐作品") domainEnglishFormat.kif 39375-39375 The range of musical composition function is an instance of musical composition

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


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

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


(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS MusicalComposition))
    (holdsDuring ?T1
        (attribute ?AGENT MusicPublishers)))		 Media.kif 1890-1894 If X publishes Y holds during Z and Y is a subclass of musical composition, then music publishers is an attribute of X holds during Z
(=>
    (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 15251-15261 If X is an instance of musical composition and X expresses the content of Y, then there don't exist Z, W such that W is an instance of singing, Z is a patient of W, Z is an instance of lyrical content, and W is a subprocess of Y

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


(=>
    (instance ?C ComposingMusic)
    (exists (?M)
        (and
            (instance ?M MusicalComposition)
            (result ?C ?M))))		 Mid-level-ontology.kif 3785-3790 If X is an instance of composing music, then there exists Y such that Y is an instance of musical composition and Y is a result of X
(=>
    (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 15270-15283 If X is an instance of song and X expresses the content of Y, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of making music (3) W is an instance of singing (4) V is an instance of lyrical content (5) U is an instance of musical composition (6) U is a patient of Z (7) V is a patient of W (8) Z is a subprocess of Y (9) W is a subprocess of Y
(=>
    (instance ?SM SheetMusic)
    (exists (?MC)
        (and
            (instance ?MC MusicalComposition)
            (containsInformation ?SM ?MC))))		 Mid-level-ontology.kif 15912-15917 If X is an instance of sheet music, then there exists Y such that Y is an instance of musical composition and X contains information 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