VerbNet: performance-26.7|rap, sound_emission-43.2|tootle,
| 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 |
|
|
|
|