MakingMusic - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13805-13806
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 13802-13803
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13808-13808	Making music is exhaustively partitioned into instrumental music and singing
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13801-13801	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 848-848	The range of musical interpretation is an instance of making music
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13809-13809	Instrumental music is a subclass of making music
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13826-13826	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 1787-1792

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 511-517	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 15122-15126	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 16347-16351	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 17330-17334	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 15152-15165	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 1007-1020	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 28506-28515	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 16088-16090	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 15781-15786	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 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17248-17255	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 15805-15807	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 673-681	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: