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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MusicalGroup

Sigma KEE - MusicalGroup
MusicalGroup

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


(documentation MusicalGroup EnglishLanguage "A GroupOfPeople that create MakingMusic together.") Mid-level-ontology.kif 18528-18529
(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 18527-18527 MusicalGroupGroupOfPeoplesubclass では %n

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


(subclass Choir MusicalGroup) Media.kif 1782-1782 ChoirMusicalGroupsubclass では %n
(subclass MarchingBand MusicalGroup) Music.kif 965-965 MarchingBandMusicalGroupsubclass では %n
(subclass Orchestra MusicalGroup) Mid-level-ontology.kif 18531-18531 OrchestraMusicalGroupsubclass では %n
(termFormat ChineseLanguage MusicalGroup "音乐团体") domainEnglishFormat.kif 39375-39375
(termFormat ChineseTraditionalLanguage MusicalGroup "音樂團體") domainEnglishFormat.kif 39374-39374
(termFormat EnglishLanguage MusicalGroup "musical group") domainEnglishFormat.kif 39373-39373

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


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

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 18506-18515


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