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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11366-11370
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6715-6715
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7384-7384
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7385-7385
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7386-7386
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11365-11365 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 11379-11379 Musical composition is a subclass of music
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11396-11396 Song is a subclass of music
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1225-1225
No TPTP formula. May not be expressible in strict first order. english_format.kif 1676-1676

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


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