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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MusicalGroup
MusicalGroup(musical group)
band, barbershop_quartet, big_band, combo, dance_band, dance_orchestra, duet, duette, duo, ensemble, indie, jazz_band, jazz_group, mariachi, musical_group, musical_organisation, musical_organization, octet, octette, pop_group, quartet, quartette, quintet, quintette, rock_band, rock_group, septet, septette, sestet, sextet, sextette, skiffle_group, steel_band, string_quartet, string_quartette, trio

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


(documentation MusicalGroup EnglishLanguage "A GroupOfPeople that create MakingMusic together.") Mid-level-ontology.kif 20116-20117
(externalImage MusicalGroup "http://upload.wikimedia.org/wikipedia/commons/ a/ ab/ Kante_berlin05_1.JPG") pictureList.kif 33-33
(subclass MusicalGroup GroupOfPeople) Mid-level-ontology.kif 20115-20115 Musical group is a subclass of group of people

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


(subclass Choir MusicalGroup) Media.kif 1784-1784 Choir is a subclass of musical group
(subclass MarchingBand MusicalGroup) Music.kif 967-967 Marching band is a subclass of musical group
(subclass Orchestra MusicalGroup) Mid-level-ontology.kif 20119-20119 Orchestra is a subclass of musical group
(termFormat ChineseLanguage MusicalGroup "音乐团体") domainEnglishFormat.kif 39405-39405 Orchestra is a subclass of musical group
(termFormat ChineseTraditionalLanguage MusicalGroup "音樂團體") domainEnglishFormat.kif 39404-39404 Orchestra is a subclass of musical group
(termFormat EnglishLanguage MusicalGroup "musical group") domainEnglishFormat.kif 39403-39403 Orchestra is a subclass of musical group

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


(=>
    (and
        (instance ?GROUP MusicalGroup)
        (holdsDuring ?T1
            (member ?MEM ?GROUP)))
    (exists (?M)
        (and
            (instance ?M Musician)
            (holdsDuring ?T1
                (attribute ?MEM ?M)))))
Media.kif 1773-1782

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


(=>
    (and
        (instance ?CONDUCT MusicalConducting)
        (patient ?CONDUCT ?PATIENT)
        (instance ?M Musician))
    (or
        (instance ?PATIENT MusicalGroup)
        (holdsDuring
            (WhenFn ?CONDUCT)
            (attribute ?PATIENT ?M))))
Mid-level-ontology.kif 20094-20103


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