| 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 | 音乐团体 是 一群人 的 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 18531-18531 | 乐队 是 音乐团体 的 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 18506-18515 |
|
|
|