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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MakingMusic

Sigma KEE - MakingMusic
MakingMusic

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 13454-13455
(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 13451-13452
(partition MakingMusic MakingInstrumentalMusic MakingVocalMusic) Merge.kif 13457-13457 partition MakingMusic, MakingInstrumentalMusic and MakingVocalMusic
(subclass MakingMusic RadiatingSound) Merge.kif 13450-13450 subclass MakingMusic and RadiatingSound

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


(range MusicalInterpretationFn MakingMusic) Music.kif 845-845 range MusicalInterpretationFn and MakingMusic
(subclass MakingInstrumentalMusic MakingMusic) Merge.kif 13458-13458 subclass MakingInstrumentalMusic and MakingMusic
(subclass MakingVocalMusic MakingMusic) Merge.kif 13474-13474 subclass MakingVocalMusic and MakingMusic
(termFormat ChineseLanguage MakingMusic "制作音乐") chinese_format.kif 1401-1401
(termFormat EnglishLanguage MakingMusic "making music") english_format.kif 1849-1849

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


(domainSubclass musician 3 MakingMusic) Music.kif 193-193 domainSubclass musician, 3 and MakingMusic

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


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

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 712-723 attribute Object and PolyphonicMusic Process Process instance Object and MakingMusic instance Process and MakingMusic instance Process and MakingMusic subProcess Process and Object subProcess Process and Object equal Process and Process cooccur Process and Object cooccur Process and Object
(=>
    (and
        (instance ?ATTR MusicGenre)
        (attribute ?A ?ATTR))
    (or
        (instance ?A MakingMusic)
        (instance ?A MusicRecording)))
Music.kif 508-514
(=>
    (and
        (instance ?MC Music)
        (realization ?MUSIC ?MC))
    (instance ?MUSIC MakingMusic))
Mid-level-ontology.kif 13207-13211
(=>
    (and
        (instance ?OPERA Opera)
        (realization ?ACT ?OPERA))
    (instance ?ACT MakingMusic))
Mid-level-ontology.kif 14410-14414
(=>
    (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 7600-7618
(=>
    (and
        (instance ?P MusicalPerformance)
        (subProcess ?M ?P))
    (instance ?M MakingMusic))
Mid-level-ontology.kif 15358-15362
(=>
    (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 13237-13250
(=>
    (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 1000-1013
(=>
    (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 26209-26218
(=>
    (instance ?INSTRUMENT MusicalInstrument)
    (capability MakingMusic instrument ?INSTRUMENT))
Merge.kif 15679-15681
(=>
    (instance ?M MusicRecording)
    (exists (?P)
        (and
            (instance ?P MakingMusic)
            (record ?M ?P))))
Mid-level-ontology.kif 13866-13871
(=>
    (instance ?PERF MusicalPerformance)
    (exists (?MUSIC)
        (and
            (instance ?MUSIC MakingMusic)
            (subProcess ?MUSIC ?PERF))))
Media.kif 1805-1810
(=>
    (instance ?PERFORMANCE Performance)
    (exists (?SUB)
        (and
            (subProcess ?SUB ?PERFORMANCE)
            (or
                (instance ?SUB DramaticActing)
                (instance ?SUB MakingMusic)))))
Mid-level-ontology.kif 15276-15283
(=>
    (instance ?X MusicText)
    (capability MakingMusic patient ?X))
Mid-level-ontology.kif 13890-13892
(=>
    (musicGenre ?MR ElectronicDanceMusic)
    (hasPurpose ?MR
        (exists (?NC ?MM)
            (and
                (instance ?NC NightClub)
                (instance ?MM MakingMusic)
                (patient ?MM ?MR)
                (eventLocated ?MM ?NC)))))
Music.kif 670-678
(=>
    (musicInterpretation ?MR ?MC)
    (exists (?P)
        (and
            (instance ?P MakingMusic)
            (realization ?P ?MC)
            (record ?MR ?P))))
Music.kif 178-184


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners