MakingMusic(making music) | ad-lib, adagio, air, allegretto, allegro, andante, attack, belling, busk, callathump, callithump, charivari, chivaree, chord, clarion, coloratura, cradlesong, descant, discant, double_tongue, drum, euphony, extemporise, extemporize, fermata, fiddle, forte, fortissimo, fugally, glissando, harmonisation, harmonise, harmonization, harmonize, harp, hymn, improvise, improvize, intonation, legato, lento, line, loudly, lullaby, melodic_line, melodic_phrase, melodiously, melody, molto, music... |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13700-13701 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1402-1403 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13697-13698 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13703-13703 | Making music is exhaustively partitioned into instrumental music and singing |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13696-13696 | Making music is a subclass of radiating sound |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Music.kif 848-848 | The range of musical interpretation is an instance of making music |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13704-13704 | Instrumental music is a subclass of making music |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13721-13721 | Singing is a subclass of making music |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1401-1401 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1849-1849 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Music.kif 195-195 | The number 3 argument of musician is a subclass of making music |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1787-1792 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 751-762 | Polyphonic music is an attribute of an object if and only if there exist a process and another process such that the object is an instance of making music and the process is an instance of making music and the other process is an instance of making music and the process is a subprocess of the object and the other process is a subprocess of the object and the process is not equal to the other process and the process occurs at the same time as the object and the other process occurs at the same time as the object |
No TPTP formula. May not be expressible in strict first order. | Music.kif 511-517 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13741-13745 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14966-14970 |
|
No TPTP formula. May not be expressible in strict first order. | naics.kif 7600-7618 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15933-15937 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13771-13784 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 1007-1020 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26861-26870 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15961-15963 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14400-14405 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1819-1824 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15851-15858 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14424-14426 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 673-681 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 180-186 |
|