TreeView Knowledge Base Browser

appearance as argument number 1

(documentation MusicalGroup EnglishLanguage "A GroupOfPeople that create MakingMusic together.")	Mid-level-ontology.kif 18555-18556
(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 18554-18554	Musical group is a subclass of group of people

appearance as argument number 2

(subclass Choir MusicalGroup)	Media.kif 1782-1782	Choir is a subclass of musical group
(subclass MarchingBand MusicalGroup)	Music.kif 965-965	Marching band is a subclass of musical group
(subclass Orchestra MusicalGroup)	Mid-level-ontology.kif 18558-18558	Orchestra is a subclass of musical group
(termFormat ChineseLanguage MusicalGroup "音乐团体")	domainEnglishFormat.kif 39377-39377
(termFormat ChineseTraditionalLanguage MusicalGroup "音樂團體")	domainEnglishFormat.kif 39376-39376
(termFormat EnglishLanguage MusicalGroup "musical group")	domainEnglishFormat.kif 39375-39375

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 18533-18542