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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Music
Music(music)
12-tone_music, 12-tone_system, Gilbert_and_Sullivan, Marseillaise, Mass, Requiem, The_Star-Spangled_Banner, acoustically, adagio, allegretto, allegro, andante, andantino, antiphon, antiphony, arioso, arpeggio, arrangement, atonal, atonalistic, augmentation, ballet, ballroom_music, bass, bass_part, basso_continuo, bebop, beguine, bolero, boogie, boogie-woogie, bop, canon, canto, cantus_firmus, carioca, chant, choral, chorale_prelude, chord, chordal, chromatic, coda, common_chord, concerted_music, conga, conjunct, continuo, contrapuntal, counterpoint...

VerbNet: performance-26.7|rap, sound_emission-43.2|tootle,


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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11338-11342
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6715-6715 "http://upload.wikimedia.org/wikipedia/commons/9/95/ Naxi_Musicians_I.jpg" is a URL depicting music
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7384-7384 "http://upload.wikimedia.org/wikipedia/commons/e/eb/ Music_on_top_of_Opera_Garnier_p1150815.jpg" is a URL depicting music
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7385-7385 "http://upload.wikimedia.org/wikipedia/commons/f/f4/ Mozarteum_grosser_saal_buehne_mit_orchester.jpg" is a URL depicting music
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7386-7386 "http://upload.wikimedia.org/wikipedia/commons/f/f8/ Claves.png" is a URL depicting music
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11337-11337 Music is a subclass of proposition

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


No TPTP formula. May not be expressible in strict first order. Music.kif 949-949 The range of national anthem is an instance of music
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11351-11351 Musical composition is a subclass of music
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11368-11368 Song is a subclass of music
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1225-1225 "音乐" is the printable form of music in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 1676-1676 "music" is the printable form of music in english language

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


No TPTP formula. May not be expressible in strict first order. Music.kif 842-842 The number 2 argument of musical interpretation is an instance of music
No TPTP formula. May not be expressible in strict first order. Music.kif 353-353 The number 1 argument of anthem is an instance of music
No TPTP formula. May not be expressible in strict first order. Music.kif 176-176 The number 2 argument of music interpretation is an instance of music

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11345-11349


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