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 |
|
![]() |
![]() |