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