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 13611-13612
(subclass MusicalPerformance Performance) Mid-level-ontology.kif 13610-13610 subclass MusicalPerformance and Performance

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


(termFormat ChineseLanguage MusicalPerformance "音乐表演") domainEnglishFormat.kif 39316-39316
(termFormat ChineseTraditionalLanguage MusicalPerformance "音樂表演") domainEnglishFormat.kif 39315-39315
(termFormat EnglishLanguage MusicalPerformance "musical performance") domainEnglishFormat.kif 39314-39314

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


(=>
    (and
        (instance ?GRP MarchingBand)
        (instance ?MP MusicalPerformance)
        (agent ?MP ?GRP))
    (and
        (instance ?OD Outdoors)
        (eventLocated ?MP ?OD)
        (exists (?AMB)
            (and
                (instance ?AMB Ambulating)
                (subProcess ?AMB ?MP)))))
Music.kif 977-988
(=>
    (and
        (instance ?P MusicalPerformance)
        (subProcess ?M ?P))
    (instance ?M MakingMusic))
Mid-level-ontology.kif 13614-13618
(=>
    (instance ?PERF MusicalPerformance)
    (exists (?MUSIC)
        (and
            (instance ?MUSIC MakingMusic)
            (subProcess ?MUSIC ?PERF))))
Media.kif 1809-1814

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


(=>
    (and
        (attribute ?X ?M)
        (instance ?M Musician))
    (hasSkill MusicalPerformance ?X))
Mid-level-ontology.kif 20040-20044
(=>
    (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 3323-3331
(=>
    (instance ?CONDUCT MusicalConducting)
    (exists (?MUSIC)
        (and
            (instance ?MUSIC MusicalPerformance)
            (subProcess ?CONDUCT ?MUSIC))))
Mid-level-ontology.kif 16186-16191


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