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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 13593-13594
(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 13590-13591
(partition MakingMusic MakingInstrumentalMusic MakingVocalMusic) Merge.kif 13596-13596 MakingMusic est compl�tement d�compos� en MakingInstrumentalMusic + MakingVocalMusic
(subclass MakingMusic RadiatingSound) Merge.kif 13589-13589 MakingMusic est une sous-classe de son irradiant

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


(range MusicalInterpretationFn MakingMusic) Music.kif 847-847 Le domaine de MusicalInterpretationFn est une instance de MakingMusic
(subclass MakingInstrumentalMusic MakingMusic) Merge.kif 13597-13597 MakingInstrumentalMusic est une sous-classe de MakingMusic
(subclass MakingVocalMusic MakingMusic) Merge.kif 13614-13614 MakingVocalMusic est une sous-classe de 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 195-195 Le nombre 3 argument de musician est une sous-classe de MakingMusic

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


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

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 723-734 PolyphonicMusic est un attribut de objet processus processus objet est une instance de MakingMusic processus est une instance de MakingMusic processus est une instance de MakingMusic processus est un sous-processus de objet processus est un sous-processus de objet processus est processus processus se produit en m�me temps que objet processus se produit en m�me temps que objet
(=>
    (and
        (instance ?ATTR MusicGenre)
        (attribute ?A ?ATTR))
    (or
        (instance ?A MakingMusic)
        (instance ?A MusicRecording)))		 Music.kif 510-516
(=>
    (and
        (instance ?MC Music)
        (realization ?MUSIC ?MC))
    (instance ?MUSIC MakingMusic))		 Mid-level-ontology.kif 13674-13678
(=>
    (and
        (instance ?OPERA Opera)
        (realization ?ACT ?OPERA))
    (instance ?ACT MakingMusic))		 Mid-level-ontology.kif 14899-14903
(=>
    (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 15866-15870
(=>
    (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 13704-13717
(=>
    (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 1006-1019
(=>
    (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 26777-26786
(=>
    (instance ?INSTRUMENT MusicalInstrument)
    (capability MakingMusic instrument ?INSTRUMENT))		 Merge.kif 15854-15856
(=>
    (instance ?M MusicRecording)
    (exists (?P)
        (and
            (instance ?P MakingMusic)
            (record ?M ?P))))		 Mid-level-ontology.kif 14333-14338
(=>
    (instance ?PERF MusicalPerformance)
    (exists (?MUSIC)
        (and
            (instance ?MUSIC MakingMusic)
            (subProcess ?MUSIC ?PERF))))		 Media.kif 1819-1824
(=>
    (instance ?PERFORMANCE Performance)
    (exists (?SUB)
        (and
            (subProcess ?SUB ?PERFORMANCE)
            (or
                (instance ?SUB DramaticActing)
                (instance ?SUB MakingMusic)))))		 Mid-level-ontology.kif 15784-15791
(=>
    (instance ?X MusicText)
    (capability MakingMusic patient ?X))		 Mid-level-ontology.kif 14357-14359
(=>
    (musicGenre ?MR ElectronicDanceMusic)
    (hasPurpose ?MR
        (exists (?NC ?MM)
            (and
                (instance ?NC NightClub)
                (instance ?MM MakingMusic)
                (patient ?MM ?MR)
                (eventLocated ?MM ?NC)))))		 Music.kif 672-680
(=>
    (musicInterpretation ?MR ?MC)
    (exists (?P)
        (and
            (instance ?P MakingMusic)
            (realization ?P ?MC)
            (record ?MR ?P))))		 Music.kif 180-186


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 is open source software produced by Articulate Software and its partners