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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MusicalPerformance

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 15930-15931
(subclass MusicalPerformance Performance) Mid-level-ontology.kif 15929-15929 MusicalPerformance est une sous-classe de Performance

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


(termFormat ChineseLanguage MusicalPerformance "音乐表演") domainEnglishFormat.kif 39399-39399
(termFormat ChineseTraditionalLanguage MusicalPerformance "音樂表演") domainEnglishFormat.kif 39398-39398
(termFormat EnglishLanguage MusicalPerformance "musical performance") domainEnglishFormat.kif 39397-39397

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 986-996
(=>
    (and
        (instance ?P MusicalPerformance)
        (subProcess ?M ?P))
    (instance ?M MakingMusic))
Mid-level-ontology.kif 15933-15937
(=>
    (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 22193-22197
(=>
    (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 2853-2861
(=>
    (instance ?CONDUCT MusicalConducting)
    (exists (?MUSIC)
        (and
            (instance ?MUSIC MusicalPerformance)
            (subProcess ?CONDUCT ?MUSIC))))
Mid-level-ontology.kif 18499-18504


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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