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 13253-13257
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 7383-7383
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. Mid-level-ontology.kif 13252-13252 Music is a subclass of proposition

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


No TPTP formula. May not be expressible in strict first order. Music.kif 953-953 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 13266-13266 Musical composition is a subclass of music
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13283-13283 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 1671-1671

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


No TPTP formula. May not be expressible in strict first order. Music.kif 844-844 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 355-355 The number 1 argument of anthem is an instance of music
No TPTP formula. May not be expressible in strict first order. Music.kif 177-177 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 13260-13264


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