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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MarchingBand

Sigma KEE - MarchingBand
MarchingBand

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


(comment MarchingBand "Subclassing it from Organization as well so that relations associated to Organization can be used to describe it, such as subOrganization for the educational institution it represents, or when it was founded using yearOfFounding, who its director is, etc. 09-28-2011" "KJN") Music.kif 971-974
(documentation MarchingBand EnglishLanguage "MarchingBand refers to a group of instrumental musicians perform outdoors and incorporate some type of marching with their musical performance.") Music.kif 967-969
(subclass MarchingBand MusicalGroup) Music.kif 965-965 MarchingBandMusicalGroupsubclass
(subclass MarchingBand Organization) Music.kif 966-966 MarchingBand机构subclass

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


(termFormat EnglishLanguage MarchingBand "marching band") Music.kif 970-970 termFormat EnglishLanguage, MarchingBand and "marching band"

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 983-994
(=>
    (instance ?GRP MarchingBand)
    (exists (?P)
        (and
            (hasSkill MakingInstrumentalMusic ?P)
            (member ?P ?GRP))))
Music.kif 976-981


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners