MusicalPerformance - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - MusicalPerformance

MusicalPerformance(musical performance)

concert, jam_session, musical_performance, pianism, rock_concert

appearance as argument number 1

(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 16858-16859
(subclass MusicalPerformance Performance)	Mid-level-ontology.kif 16857-16857	Musical performance is a subclass of performance

appearance as argument number 2

(termFormat ChineseLanguage MusicalPerformance "音乐表演")	domainEnglishFormat.kif 39429-39429
(termFormat ChineseTraditionalLanguage MusicalPerformance "音樂表演")	domainEnglishFormat.kif 39428-39428
(termFormat EnglishLanguage MusicalPerformance "musical performance")	domainEnglishFormat.kif 39427-39427

antecedent

(=> (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 986-996	If an agent is an instance of marching band and a process is an instance of musical performance and the agent is an agent of the process and an object is an instance of outdoors and the process is located at the object, then there exists another process such that the other process is an instance of ambulating and the other process is a subprocess of the process
(=> (and (instance ?P MusicalPerformance) (subProcess ?M ?P)) (instance ?M MakingMusic))	Mid-level-ontology.kif 16861-16865	If a process is an instance of musical performance and another process is a subprocess of the process, then the other process is an instance of making music
(=> (instance ?PERF MusicalPerformance) (exists (?MUSIC) (and (instance ?MUSIC MakingMusic) (subProcess ?MUSIC ?PERF))))	Media.kif 1819-1824	If a process is an instance of musical performance, then there exists another process such that the other process is an instance of making music and the other process is a subprocess of the process

consequent

(=> (and (attribute ?X ?M) (instance ?M Musician)) (hasSkill MusicalPerformance ?X))	Mid-level-ontology.kif 23307-23311	If an attribute is an attribute of an agent and the attribute is an instance of musician, then the agent has the skill to do musical performance
(=> (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 2919-2927	If a physical is an instance of baton, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of musical performance and the other entity is an instance of guiding and the other entity is a subprocess of the entity and the physical is an instrument for the other entity
(=> (instance ?CONDUCT MusicalConducting) (exists (?MUSIC) (and (instance ?MUSIC MusicalPerformance) (subProcess ?CONDUCT ?MUSIC))))	Mid-level-ontology.kif 19588-19593	If a process is an instance of musical conducting, then there exists another process such that the other process is an instance of musical performance and the process is a subprocess of the other process

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners