| MusicalGroup
| |
| appearance as argument number 1 |
|
|
| (documentation MusicalGroup EnglishLanguage "A GroupOfPeople that create MakingMusic together.") | Mid-level-ontology.kif 18786-18787 | |
| (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 18785-18785 |
| 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 18789-18789 | |
| (termFormat ChineseLanguage MusicalGroup "音乐团体") | domainEnglishFormat.kif 39408-39408 | |
| (termFormat ChineseTraditionalLanguage MusicalGroup "音樂團體") | domainEnglishFormat.kif 39407-39407 | |
| (termFormat EnglishLanguage MusicalGroup "musical group") | domainEnglishFormat.kif 39406-39406 |
| 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 18764-18773 |
|
|
|