TreeView Knowledge Base Browser

appearance as argument number 1

(documentation MusicalGroup EnglishLanguage "A GroupOfPeople that create MakingMusic together.")	Mid-level-ontology.kif 18527-18528
(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 18526-18526	音乐团体是一群人的 subclass

appearance as argument number 2

(subclass Choir MusicalGroup)	Media.kif 1782-1782	Choir 是音乐团体的 subclass
(subclass MarchingBand MusicalGroup)	Music.kif 965-965	MarchingBand 是音乐团体的 subclass
(subclass Orchestra MusicalGroup)	Mid-level-ontology.kif 18530-18530	乐队是音乐团体的 subclass
(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 18505-18514