MusicalGroup |
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 |
appearance as argument number 2 |
(subclass Choir MusicalGroup) | Media.kif 1782-1782 | |
(subclass MarchingBand MusicalGroup) | Music.kif 965-965 | |
(subclass Orchestra MusicalGroup) | Mid-level-ontology.kif 18558-18558 | |
(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 |