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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11087-11088
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2709-2709 "http://upload.wikimedia.org/wikipedia/commons/4/46/ Cequelaino.png" is a URL depicting musical composition
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2866-2866 "http://upload.wikimedia.org/wikipedia/commons/5/5e/ Himno_mexicanos_text2.jpg" is a URL depicting musical composition
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2865-2865 "http://upload.wikimedia.org/wikipedia/commons/8/80/ Himno_mexicanos_text.jpg" is a URL depicting musical composition
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2867-2867 "http://upload.wikimedia.org/wikipedia/commons/8/8c/ Qaumi_Tarana_Sheet_Music.png" is a URL depicting musical composition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11086-11086 Musical composition is a subclass of music

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


No TPTP formula. May not be expressible in strict first order. Music.kif 924-924 The range of musical composition function is an instance of musical composition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11089-11089 "musical composition" is the printable form of musical composition in english language

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


No TPTP formula. May not be expressible in strict first order. Music.kif 881-881 The number 1 argument of song function is an instance of musical composition
No TPTP formula. May not be expressible in strict first order. Music.kif 161-161 The number 2 argument of composer is an instance of musical composition
No TPTP formula. May not be expressible in strict first order. Media.kif 1846-1846 The number 2 argument of composer is a subclass of musical composition

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1853-1857
No TPTP formula. May not be expressible in strict first order. Media.kif 1890-1894
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11091-11101

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11110-11123
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3858-3863
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11776-11781


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners