Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MusicalPerformance(musical performance) |  | concert, jam_session, musical_performance, pianism, rock_concert |
| appearance as argument number 1 |
|
|
| (subclass MusicalPerformance Performance) | Mid-level-ontology.kif 17540-17540 | Musical performance is a subclass of performance |
| (documentation MusicalPerformance EnglishLanguage "A Performance that consists exclusively of MakingMusic, e.g. an orchestra playing a symphony to an assembled audience.") | Mid-level-ontology.kif 17541-17542 | Musical performance is a subclass of performance |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?P MusicalPerformance) (subProcess ?M ?P)) (instance ?M MakingMusic)) |
Mid-level-ontology.kif 17544-17548 | If X is an instance of musical performance and Y is a subprocess of X, then Y is an instance of making music |
| (=> (instance ?PERF MusicalPerformance) (exists (?MUSIC) (and (instance ?MUSIC MakingMusic) (subProcess ?MUSIC ?PERF)))) |
Media.kif 1766-1771 | If X is an instance of musical performance, then there exists Y such that Y is an instance of making music and Y is a subprocess of X |
| (=> (and (instance ?GRP MarchingBand) (instance ?MP MusicalPerformance) (agent ?MP ?GRP) (instance ?OD Outdoors) (eventLocated ?MP ?OD)) (exists (?AMB) (and (instance ?AMB Ambulating) (subProcess ?AMB ?MP)))) |
Music.kif 988-998 | If X is an instance of marching band, Y is an instance of musical performance, X is an agent of Y, Z is an instance of outdoors, and Y is located at Z, then there exists W such that W is an instance of ambulating and W is a subprocess of Y |
| consequent |
|
|
| (=> (instance ?B Baton) (hasPurpose ?B (exists (?M ?G) (and (instance ?M MusicalPerformance) (instance ?G Guiding) (subProcess ?G ?M) (instrument ?G ?B))))) |
Mid-level-ontology.kif 3480-3488 | If X is an instance of baton, then X has the purpose there exist Y, Z such that Y is an instance of musical performance, Z is an instance of guiding, Z is a subprocess of Y, and X is an instrument for Z |
| (=> (instance ?CONDUCT MusicalConducting) (exists (?MUSIC) (and (instance ?MUSIC MusicalPerformance) (subProcess ?CONDUCT ?MUSIC)))) |
Mid-level-ontology.kif 20404-20409 | If X is an instance of musical conducting, then there exists Y such that Y is an instance of musical performance and X is a subprocess of Y |
| (=> (and (attribute ?X ?M) (instance ?M Musician)) (hasSkill MusicalPerformance ?X)) |
Mid-level-ontology.kif 20430-20434 | If X is an attribute of Y and X is an instance of musician, then Y has the skill to do musical performance |
|