Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
MusicalGroup(musical group)
|  | band, barbershop_quartet, big_band, combo, dance_band, dance_orchestra, duet, duette, duo, ensemble, indie, jazz_band, jazz_group, mariachi, musical_group, musical_organisation, musical_organization, octet, octette, pop_group, quartet, quartette, quintet, quintette, rock_band, rock_group, septet, septette, sestet, sextet, sextette, skiffle_group, steel_band, string_quartet, string_quartette, trio |
| appearance as argument number 1 |
|
|
| (subclass MusicalGroup GroupOfPeople) | Mid-level-ontology.kif 20446-20446 | Musical group is a subclass of group of people |
| (documentation MusicalGroup EnglishLanguage "A GroupOfPeople that create MakingMusic together.") | Mid-level-ontology.kif 20447-20448 | Musical group is a subclass of group of people |
| (externalImage MusicalGroup "http://upload.wikimedia.org/wikipedia/commons/ a/ ab/ Kante_berlin05_1.JPG") | pictureList.kif 33-33 | Musical group is a subclass of group of people |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?GROUP MusicalGroup) (holdsDuring ?T1 (member ?MEM ?GROUP))) (exists (?M) (and (instance ?M Musician) (holdsDuring ?T1 (attribute ?MEM ?M))))) |
Media.kif 1718-1727 | If X is an instance of musical group and Y is a member of X holds during Z, then there exists W such that W is an instance of musician and W is an attribute of Y holds during Z |
| 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 20411-20420 | If X is an instance of musical conducting, Y is a patient of X, and Z is an instance of musician, then Y is an instance of musical group or Z is an attribute of Y holds during the time of existence of X |
|