MakingMusic - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13839-13840
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 13836-13837
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13842-13842	Making music is exhaustively partitioned into instrumental music and singing
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13835-13835	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 850-850	The range of musical interpretation is an instance of making music
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13843-13843	Instrumental music is a subclass of making music
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13860-13860	Singing is a subclass of making music
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1401-1401	Singing is a subclass of making music
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1849-1849	Singing is a subclass of making music

appearance as argument number 3

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

Music.kif 195-195

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 1789-1794

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 744-755	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 513-519	If an attribute is an instance of music genre and the attribute 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 15112-15116	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 16339-16343	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 7600-7618	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 a process such that the process is a member of the collection and the agent is an agent of the process and there exists an object such that the agent is an instance of selling and the object is an instance of object and the object is capable of doing sport as a instrument or the object is capable of doing making music as a instrument or the object is an instance of book or the object is an instance of music recording or the object is an instance of music text and the object is a patient of the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17320-17324	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 15142-15155	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 1009-1022	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 28762-28771	If a physical is an instance of dance hall, then the physical has the 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 the physical and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16122-16124	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 15771-15776	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 1821-1826	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 17238-17245	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 15795-15797	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 675-683	If electronic dance music is in the genre an object, then the object has the 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 the entity
No TPTP formula. May not be expressible in strict first order.	Music.kif 180-186	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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: