Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - MakingMusic
MakingMusic

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


(subclass MakingMusic RadiatingSound) Merge.kif 14006-14006
(documentation MakingMusic EnglishLanguage "MakingMusic is a type of RadiatingSound where the result is intended to be melodic and is produced delibrately") Merge.kif 14007-14008
(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 14010-14011
(partition MakingMusic MakingInstrumentalMusic MakingVocalMusic) Merge.kif 14013-14013

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


(subclass MakingInstrumentalMusic MakingMusic) Merge.kif 14014-14014
(subclass MakingVocalMusic MakingMusic) Merge.kif 14031-14031
(range MusicalInterpretationFn MakingMusic) Music.kif 850-850
(termFormat EnglishLanguage MakingMusic "making music") english_format.kif 1853-1853

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


(domainSubclass musician 3 MakingMusic) Music.kif 195-195

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


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

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


(=>
    (instance ?INSTRUMENT MusicalInstrument)
    (capability MakingMusic instrument ?INSTRUMENT))		 Merge.kif 16314-16316
(<=>
    (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 734-745
(=>
    (and
        (instance ?MC Music)
        (realization ?MUSIC ?MC))
    (instance ?MUSIC MakingMusic))		 Mid-level-ontology.kif 15336-15340
(=>
    (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 15366-15379
(=>
    (instance ?M MusicRecording)
    (exists (?P)
        (and
            (instance ?P MakingMusic)
            (record ?M ?P))))		 Mid-level-ontology.kif 16005-16010
(=>
    (instance ?X MusicText)
    (capability MakingMusic patient ?X))		 Mid-level-ontology.kif 16029-16031
(=>
    (and
        (instance ?OPERA Opera)
        (realization ?ACT ?OPERA))
    (instance ?ACT MakingMusic))		 Mid-level-ontology.kif 16569-16573
(=>
    (instance ?PERFORMANCE Performance)
    (exists (?SUB)
        (and
            (subProcess ?SUB ?PERFORMANCE)
            (or
                (instance ?SUB DramaticActing)
                (instance ?SUB MakingMusic)))))		 Mid-level-ontology.kif 17462-17469
(=>
    (and
        (instance ?P MusicalPerformance)
        (subProcess ?M ?P))
    (instance ?M MakingMusic))		 Mid-level-ontology.kif 17544-17548
(=>
    (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 29455-29464
(=>
    (instance ?PERF MusicalPerformance)
    (exists (?MUSIC)
        (and
            (instance ?MUSIC MakingMusic)
            (subProcess ?MUSIC ?PERF))))		 Media.kif 1766-1771
(=>
    (musicInterpretation ?MR ?MC)
    (exists (?P)
        (and
            (instance ?P MakingMusic)
            (realization ?P ?MC)
            (record ?MR ?P))))		 Music.kif 180-186
(=>
    (and
        (instance ?ATTR MusicGenre)
        (attribute ?A ?ATTR))
    (or
        (instance ?A MakingMusic)
        (instance ?A MusicRecording)))		 Music.kif 513-519
(=>
    (musicGenre ?MR ElectronicDanceMusic)
    (hasPurpose ?MR
        (exists (?NC ?MM)
            (and
                (instance ?NC NightClub)
                (instance ?MM MakingMusic)
                (patient ?MM ?MR)
                (eventLocated ?MM ?NC)))))		 Music.kif 675-683
(=>
    (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 1009-1022
(=>
    (instance ?CLASS MusicClass)
    (exists (?PROC)
        (and
            (instance ?PROC MakingMusic)
            (subProcess ?PROC ?CLASS))))		 Offers.kif 189-194
(=>
    (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 7597-7615


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 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners