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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13638-13639
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13637-13637	Musical performance is a subclass of performance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39295-39295
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39294-39294
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39293-39293

antecedent

No TPTP formula. May not be expressible in strict first order.	Music.kif 977-988	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, then an entity is an instance of outdoors and the process is located at 2 and there exists another process such that the other process is an instance of ambulating and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13641-13645	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
No TPTP formula. May not be expressible in strict first order.	Media.kif 1809-1814	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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20067-20071	If an attribute is an attribute of an agent and the attribute is an instance of musician, then the agent the skill to do musical performance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3323-3331	If a physical is an instance of baton, then the physical 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16213-16218	If a process is an instance of MusicalConducting, 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners