Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MakingMusic
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, making_music, melodic_line, melodic_phrase, melodiously, melody, molto...

VerbNet: create-26.4|improvise, create-26.4|improvise, create-26.4|improvise, create-26.4|improvise, create-26.4|improvise, animal_sounds-38|warble, performance-26.7|replay, animal_sounds-38|warble, animal_sounds-38|warble,


appearance as argument number 1
-------------------------


(comment MakingMusic "Changing the old Music to MakingMusic to be more consistent with the verb-form that Process seem to take. (09-14-2011)" "KJN") Merge.kif 12569-12570
(documentation MakingMusic ChineseLanguage "MakingMusic 是一种 RadiatingSound, 它的 result 是经过细心推敲创作,而旨在有有旋律感的。") chinese_format.kif 1402-1403
(documentation MakingMusic EnglishLanguage "MakingMusic is a type of RadiatingSound where the result is intended to be melodic and is produced delibrately") Merge.kif 12566-12567
(partition MakingMusic MakingInstrumentalMusic MakingVocalMusic) Merge.kif 12572-12572 Making music is exhaustively partitioned into instrumental music and singing
(subclass MakingMusic RadiatingSound) Merge.kif 12565-12565 Making music is a subclass of radiating sound

appearance as argument number 2
-------------------------


(range MusicalInterpretationFn MakingMusic) Music.kif 844-844 The range of musical interpretation is an instance of making music
(subclass MakingInstrumentalMusic MakingMusic) Merge.kif 12573-12573 Instrumental music is a subclass of making music
(subclass MakingVocalMusic MakingMusic) Merge.kif 12589-12589 Singing is a subclass of making music
(termFormat ChineseLanguage MakingMusic "制作音乐") chinese_format.kif 1401-1401 "制作音乐" is the printable form of making music in ChineseLanguage
(termFormat EnglishLanguage MakingMusic "making music") english_format.kif 1855-1855 "making music" is the printable form of making music in english language

appearance as argument number 3
-------------------------


(domainSubclass musician 3 MakingMusic) Music.kif 193-193 The number 3 argument of musician is a subclass of making music

antecedent
-------------------------


(=>
    (and
        (instance ?GROUP Choir)
        (agent ?MUSIC ?GROUP)
        (instance ?MUSIC MakingMusic))
    (instance ?MUSIC MakingVocalMusic))
Media.kif 1777-1782

consequent
-------------------------


(<=>
    (attribute ?MUSIC PolyphonicMusic)
    (exists (?PART1 ?PART2)
        (and
            (instance ?MUSIC MakingMusic)
            (instance ?PART1 MakingMusic)
            (instance ?PART2 MakingMusic)
            (subProcess ?PART1 ?MUSIC)
            (subProcess ?PART2 ?MUSIC)
            (not
                (equal ?PART1 ?PART2))
            (cooccur ?PART1 ?MUSIC)
            (cooccur ?PART2 ?MUSIC))))
Mid-level-ontology.kif 926-937 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
(=>
    (and
        (instance ?ATTR MusicGenre)
        (attribute ?A ?ATTR))
    (or
        (instance ?A MakingMusic)
        (instance ?A MusicRecording)))
Music.kif 507-513
(=>
    (and
        (instance ?MC Music)
        (realization ?MUSIC ?MC))
    (instance ?MUSIC MakingMusic))
Mid-level-ontology.kif 11345-11349
(=>
    (and
        (instance ?OPERA Opera)
        (realization ?ACT ?OPERA))
    (instance ?ACT MakingMusic))
Mid-level-ontology.kif 12667-12671
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG SportingGoodsHobbyBookAndMusicStores))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING)
                (and
                    (instance ?EV Selling)
                    (instance ?THING Object)
                    (or
                        (capability Sport instrument ?THING)
                        (capability MakingMusic instrument ?THING)
                        (instance ?THING Book)
                        (instance ?THING MusicRecording)
                        (instance ?THING MusicText))
                    (patient ?EV ?THING))))))
naics.kif 7607-7625
(=>
    (and
        (instance ?P MusicalPerformance)
        (subProcess ?M ?P))
    (instance ?M MakingMusic))
Mid-level-ontology.kif 13588-13592
(=>
    (and
        (instance ?S Song)
        (realization ?S ?MUSIC))
    (exists (?MM ?MV ?LC ?MC)
        (and
            (instance ?MM MakingMusic)
            (instance ?MV Singing)
            (instance ?LC LyricalContent)
            (instance ?MC MusicalComposition)
            (patient ?MM ?MC)
            (patient ?MV ?LC)
            (subProcess ?MM ?MUSIC)
            (subProcess ?MV ?MUSIC))))
Mid-level-ontology.kif 11375-11388
(=>
    (instance ?CONTEST MusicContest)
    (exists (?J)
        (and
            (instance ?J Judging)
            (forall (?A)
                (=>
                    (contestParticipant ?CONTEST ?A)
                    (exists (?MM)
                        (and
                            (agent ?MM ?A)
                            (instance ?MM MakingMusic)
                            (subProcess ?MM ?CONTEST)
                            (patient ?J ?MM))))))))
Music.kif 999-1012
(=>
    (instance ?DISCO DanceHall)
    (hasPurpose ?DISCO
        (exists (?DANCE ?MUSIC)
            (and
                (instance ?MUSIC MakingMusic)
                (instance ?DANCE Dancing)
                (cooccur ?MUSIC ?DANCE)
                (eventLocated ?MUSIC ?DISCO)
                (eventLocated ?DANCE ?DISCO)))))
Mid-level-ontology.kif 25023-25032
(=>
    (instance ?INSTRUMENT MusicalInstrument)
    (capability MakingMusic instrument ?INSTRUMENT))
Merge.kif 14678-14680
(=>
    (instance ?M MusicRecording)
    (exists (?P)
        (and
            (instance ?P MakingMusic)
            (record ?M ?P))))
Mid-level-ontology.kif 12022-12027
(=>
    (instance ?PERF MusicalPerformance)
    (exists (?MUSIC)
        (and
            (instance ?MUSIC MakingMusic)
            (subProcess ?MUSIC ?PERF))))
Media.kif 1809-1814
(=>
    (instance ?PERFORMANCE Performance)
    (exists (?SUB)
        (and
            (subProcess ?SUB ?PERFORMANCE)
            (or
                (instance ?SUB DramaticActing)
                (instance ?SUB MakingMusic)))))
Mid-level-ontology.kif 13506-13513
(=>
    (instance ?X MusicText)
    (capability MakingMusic patient ?X))
Mid-level-ontology.kif 12046-12048
(=>
    (musicGenre ?MR ElectronicDanceMusic)
    (hasPurpose ?MR
        (exists (?NC ?MM)
            (and
                (instance ?NC NightClub)
                (instance ?MM MakingMusic)
                (patient ?MM ?MR)
                (eventLocated ?MM ?NC)))))
Music.kif 669-677
(=>
    (musicInterpretation ?MR ?MC)
    (exists (?P)
        (and
            (instance ?P MakingMusic)
            (realization ?P ?MC)
            (record ?MR ?P))))
Music.kif 178-184


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners