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 15105-15109
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6713-6713
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7381-7381
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7382-7382
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. Mid-level-ontology.kif 15104-15104 Music is a subclass of proposition

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


No TPTP formula. May not be expressible in strict first order. Music.kif 957-957 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 15118-15118 Musical composition is a subclass of music
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15135-15135 Song is a subclass of music
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1225-1225 Song is a subclass of music
No TPTP formula. May not be expressible in strict first order. english_format.kif 1671-1671 Song is a subclass of music
No TPTP formula. May not be expressible in strict first order. french_format.kif 903-903 Song is a subclass of music
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 436-436 Song is a subclass of music
No TPTP formula. May not be expressible in strict first order. terms-it.txt 439-439 Song is a subclass of music
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2587-2587 Song is a subclass of music
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 855-855 Song is a subclass of music
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 441-441 Song is a subclass of music
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 475-475 Song is a subclass of music
No TPTP formula. May not be expressible in strict first order. terms-de.txt 734-734 Song is a subclass of music
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 924-924 Song is a subclass of music
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 440-440 Song is a subclass of music

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


No TPTP formula. May not be expressible in strict first order. Music.kif 848-848 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 358-358 The number 1 argument of anthem is an instance of music
No TPTP formula. May not be expressible in strict first order. Music.kif 178-178 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 15112-15116


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