MusicalGroup
|
|
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 | 子類 音樂團體 and 一群人 |
appearance as argument number 2 |
(subclass Choir MusicalGroup) | Media.kif 1782-1782 | 子類 Choir and 音樂團體 |
(subclass MarchingBand MusicalGroup) | Music.kif 965-965 | 子類 MarchingBand and 音樂團體 |
(subclass Orchestra MusicalGroup) | Mid-level-ontology.kif 18530-18530 | 子類 樂隊 and 音樂團體 |
(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 |