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 13722-13723 | |
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 13719-13720 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13725-13725 | Making music is exhaustively partitioned into instrumental music and singing |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13718-13718 | 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 13726-13726 | Instrumental music is a subclass of making music |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13743-13743 | 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 13740-13744 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14965-14969 |
|
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 15932-15936 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13770-13783 |
|
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 26849-26858 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15983-15985 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14399-14404 |
|
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 15850-15857 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14423-14425 |
|
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 |
|
![]() |
![]() |