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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MusicalPerformance
MusicalPerformance

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


(documentation MusicalPerformance EnglishLanguage "A Performance that consists exclusively of MakingMusic, e.g. an orchestra playing a symphony to an assembled audience.") Mid-level-ontology.kif 15901-15902
(subclass MusicalPerformance Performance) Mid-level-ontology.kif 15900-15900 MusicalPerformance est une sous-classe de Performance

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


(termFormat ChineseLanguage MusicalPerformance "音乐表演") domainEnglishFormat.kif 39411-39411
(termFormat ChineseTraditionalLanguage MusicalPerformance "音樂表演") domainEnglishFormat.kif 39410-39410
(termFormat EnglishLanguage MusicalPerformance "musical performance") domainEnglishFormat.kif 39409-39409

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


(=>
    (and
        (instance ?GRP MarchingBand)
        (instance ?MP MusicalPerformance)
        (agent ?MP ?GRP)
        (instance ?OD Outdoors)
        (eventLocated ?MP ?OD))
    (exists (?AMB)
        (and
            (instance ?AMB Ambulating)
            (subProcess ?AMB ?MP))))		 Music.kif 985-995
(=>
    (and
        (instance ?P MusicalPerformance)
        (subProcess ?M ?P))
    (instance ?M MakingMusic))		 Mid-level-ontology.kif 15904-15908
(=>
    (instance ?PERF MusicalPerformance)
    (exists (?MUSIC)
        (and
            (instance ?MUSIC MakingMusic)
            (subProcess ?MUSIC ?PERF))))		 Media.kif 1819-1824

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


(=>
    (and
        (attribute ?X ?M)
        (instance ?M Musician))
    (hasSkill MusicalPerformance ?X))		 Mid-level-ontology.kif 22143-22147
(=>
    (instance ?B Baton)
    (hasPurpose ?B
        (exists (?M ?G)
            (and
                (instance ?M MusicalPerformance)
                (instance ?G Guiding)
                (subProcess ?G ?M)
                (instrument ?G ?B)))))		 Mid-level-ontology.kif 2825-2833
(=>
    (instance ?CONDUCT MusicalConducting)
    (exists (?MUSIC)
        (and
            (instance ?MUSIC MusicalPerformance)
            (subProcess ?CONDUCT ?MUSIC))))		 Mid-level-ontology.kif 18445-18450


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