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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MusicalPerformance
MusicalPerformance(musical performance)concert, jam_session, musical_performance, pianism, rock_concert

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 15430-15431
(subclass MusicalPerformance Performance) Mid-level-ontology.kif 15429-15429 Musical performance is a subclass of performance

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


(termFormat ChineseLanguage MusicalPerformance "音乐表演") domainEnglishFormat.kif 39384-39384
(termFormat ChineseTraditionalLanguage MusicalPerformance "音樂表演") domainEnglishFormat.kif 39383-39383
(termFormat EnglishLanguage MusicalPerformance "musical performance") domainEnglishFormat.kif 39382-39382

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 984-994
(=>
    (and
        (instance ?P MusicalPerformance)
        (subProcess ?M ?P))
    (instance ?M MakingMusic))
Mid-level-ontology.kif 15433-15437
(=>
    (instance ?PERF MusicalPerformance)
    (exists (?MUSIC)
        (and
            (instance ?MUSIC MakingMusic)
            (subProcess ?MUSIC ?PERF))))
Media.kif 1805-1810

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


(=>
    (and
        (attribute ?X ?M)
        (instance ?M Musician))
    (hasSkill MusicalPerformance ?X))
Mid-level-ontology.kif 21758-21762
(=>
    (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 2814-2822
(=>
    (instance ?CONDUCT MusicalConducting)
    (exists (?MUSIC)
        (and
            (instance ?MUSIC MusicalPerformance)
            (subProcess ?CONDUCT ?MUSIC))))
Mid-level-ontology.kif 17934-17939


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