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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MarchingBand
MarchingBand(marching band)marching_band

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 973-976
(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 969-971
(subclass MarchingBand MusicalGroup) Music.kif 967-967 Marching band is a subclass of musical group
(subclass MarchingBand Organization) Music.kif 968-968 Marching band is a subclass of organization

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


(termFormat EnglishLanguage MarchingBand "marching band") Music.kif 972-972

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


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