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 13734-13738 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6714-6714 | |
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. | pictureList.kif 7384-7384 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13733-13733 | Music is a subclass of proposition |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Music.kif 955-955 | 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 13747-13747 | Musical composition is a subclass of music |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13764-13764 | 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 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 903-903 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 436-436 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 439-439 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2587-2587 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 855-855 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 441-441 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 475-475 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 924-924 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 440-440 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Music.kif 846-846 | 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 356-356 | 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 13741-13745 |
|