MakingMusic - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12569-12570
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1402-1403
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12566-12567
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12572-12572	Making music is exhaustively partitioned into instrumental music and singing
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12565-12565	Making music is a subclass of radiating sound

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Music.kif 844-844	The range of musical interpretation is an instance of making music
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12573-12573	Instrumental music is a subclass of making music
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12589-12589	Singing is a subclass of making music
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1401-1401	"制作音乐" is the printable form of making music in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1855-1855	"making music" is the printable form of making music in english language

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Music.kif 193-193

The number 3 argument of musician is a subclass of making music

antecedent

No TPTP formula. May not be expressible in strict first order.

Media.kif 1777-1782

If an agent is an instance of Choir and the agent is an agent of a process and the process is an instance of making music,
then the process is an instance of singing

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 926-937	Polyphonic music is an attribute of an object if and only if there exist a process and another process such that the object is an instance of making music and the process is an instance of making music and the other process is an instance of making music and the process is a subprocess of the object and the other process is a subprocess of the object and the process is not equal to the other process and the process occurs at the same time as the object and the other process occurs at the same time as the object
No TPTP formula. May not be expressible in strict first order.	Music.kif 507-513	If an entity is an instance of music genre and the entity is an attribute of an object, then the object is an instance of making music or the object is an instance of music recording
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11345-11349	If a proposition is an instance of music and a process expresses the content of the proposition, then the process is an instance of making music
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12667-12671	If a proposition is an instance of opera and a process expresses the content of the proposition, then the process is an instance of making music
No TPTP formula. May not be expressible in strict first order.	naics.kif 7607-7625	If a collection is an instance of organization and sporting goods hobby book and music stores is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exists another object such that the agent is an instance of selling and the other object is an instance of object and the other object is capable of doing sport as a instrument or the other object is capable of doing making music as a instrument or the other object is an instance of book or the other object is an instance of music recording or the other object is an instance of music text and the other object is a patient of the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13588-13592	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.	Mid-level-ontology.kif 11375-11388	If a process is an instance of song and the process expresses the content of another process, then there exist a third process, a fourth process,, , an entity and another entity such that the third process is an instance of making music and the fourth process is an instance of singing and the entity is an instance of lyrical content and the other entity is an instance of musical composition and the other entity is a patient of the third process and the entity is a patient of the fourth process and the third process is a subprocess of the other process and the fourth process is a subprocess of the other process
No TPTP formula. May not be expressible in strict first order.	Music.kif 999-1012	If a contest is an instance of music contest, then there exists a process such that the process is an instance of judging and for all an agent if the agent participates in the contest, then there exists another process such that the agent is an agent of the other process and the other process is an instance of making music and the other process is a subprocess of the contest and the other process is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25023-25032	If a physical is an instance of dance hall, then the physical purpose there exist an entity and another entity such that the other entity is an instance of making music and the entity is an instance of dancing and the other entity occurs at the same time as the entity and the other entity is located at 2 and the entity is located at 2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14678-14680	If an object is an instance of musical instrument, then the object is capable of doing making music as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12022-12027	If a content bearing object is an instance of music recording, then there exists a physical such that the physical is an instance of making music and the content bearing object is a record of the physical
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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13506-13513	If a process is an instance of performance, then there exists another process such that the other process is a subprocess of the process and the other process is an instance of dramatic acting or the other process is an instance of making music
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12046-12048	If an object is an instance of music text, then the object is capable of doing making music as a patient
No TPTP formula. May not be expressible in strict first order.	Music.kif 669-677	If electronic dance music is in the genre an object, then the object purpose there exist an entity and another entity such that the entity is an instance of night club and the other entity is an instance of making music and the object is a patient of the other entity and the other entity is located at 2
No TPTP formula. May not be expressible in strict first order.	Music.kif 178-184	If a music recording is a recording of a music, then there exists a process such that the process is an instance of making music and the process expresses the content of the music and the music recording is a record of the 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

KB Term:			Term intersection

English Word: