MakingMusic - Sigma Knowledge base Browser

appearance as argument number 1

s__comment(s__MakingMusic,'Changing the old Music to MakingMusic to be more consistent with the verb-form that Process seem to take. (09-14-2011)','KJN')	Merge.kif 13673-13674
s__documentation(s__MakingMusic,s__ChineseLanguage,'MakingMusic 是一种 RadiatingSound，它的 result 是经过细心推敲创作，而旨在有有旋律感的。')	Merge.kif 13670-13671
s__documentation(s__MakingMusic,s__EnglishLanguage,'MakingMusic is a type of RadiatingSound where the result is intended to be melodic and is produced delibrately')	Merge.kif 13667-13668
s__partition__3(s__MakingMusic,s__MakingInstrumentalMusic,s__MakingVocalMusic)	Merge.kif 13676-13676	Making music is exhaustively partitioned into instrumental music and singing
s__subclass(s__MakingMusic,s__RadiatingSound) s__instance(s__RadiatingSound,s__SetOrClass) s__instance(s__MakingMusic,s__SetOrClass)	Merge.kif 13666-13666	Making music is a subclass of radiating sound

appearance as argument number 2

s__range(s__MusicalInterpretationFn__m,s__MakingMusic)	Music.kif 850-850	The range of musical interpretation is an instance of making music
s__subclass(s__MakingInstrumentalMusic,s__MakingMusic) s__instance(s__MakingMusic,s__SetOrClass) s__instance(s__MakingInstrumentalMusic,s__SetOrClass)	Merge.kif 13677-13677	Instrumental music is a subclass of making music
s__subclass(s__MakingVocalMusic,s__MakingMusic) s__instance(s__MakingVocalMusic,s__SetOrClass) s__instance(s__MakingMusic,s__SetOrClass)	Merge.kif 13694-13694	Singing is a subclass of making music
s__termFormat(s__ChineseLanguage,s__MakingMusic,'制作音乐')	Merge.kif 13672-13672	"制作音乐" is the printable form of making music in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__MakingMusic,'making music')	Merge.kif 13669-13669	"making music" is the printable form of making music in english language

appearance as argument number 3

s__domainSubclass(s__musician__m,3,s__MakingMusic)

Music.kif 193-193

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

antecedent

( ! [V__GROUP,V__MUSIC] :
   ((s__instance(V__GROUP,s__Choir)s__and__ms__agent(V__MUSIC,V__GROUP)
    s__and__ms__instance(V__MUSIC,s__MakingMusic))
  s__=>s__instance(V__MUSIC,s__MakingVocalMusic))
)

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

( ! [V__MUSIC] : ((s__instance(V__MUSIC,s__Object)s__and__ms__instance(V__MUSIC,s__Process)) s__=>(s__attribute(V__MUSIC,s__PolyphonicMusic)s__<=> (s__exists__m[V__PART1,V__PART2] : (s__instance(V__MUSIC,s__MakingMusic)s__and__ms__instance(V__PART1,s__MakingMusic)s__and__ms__instance(V__PART2,s__MakingMusic)s__and__ms__subProcess(V__PART1,V__MUSIC) s__and__ms__subProcess(V__PART2,V__MUSIC) s__and__m(s__not__m(V__PART1s__equal__mV__PART2)) s__and__ms__cooccur(V__PART1,V__MUSIC) s__and__ms__cooccur(V__PART2,V__MUSIC))))) )	Mid-level-ontology.kif 927-938	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
( ! [V__A,V__ATTR] : (s__instance(V__A,s__Object)s__=>((s__instance(V__ATTR,s__MusicGenre)s__and__ms__attribute(V__A,V__ATTR)) s__=>(s__instance(V__A,s__MakingMusic)s__or__ms__instance(V__A,s__MusicRecording)))) )	Music.kif 513-519	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
( ! [V__MUSIC,V__MC] : (s__instance(V__MUSIC,s__Process)s__=>((s__instance(V__MC,s__Music)s__and__ms__realization(V__MUSIC,V__MC)) s__=>s__instance(V__MUSIC,s__MakingMusic))) )	Mid-level-ontology.kif 11340-11344	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
( ! [V__ACT,V__OPERA] : (s__instance(V__ACT,s__Process)s__=>((s__instance(V__OPERA,s__Opera)s__and__ms__realization(V__ACT,V__OPERA)) s__=>s__instance(V__ACT,s__MakingMusic))) )	Mid-level-ontology.kif 12668-12672	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
( ! [V__ORG] : ((s__instance(V__ORG,s__Organization)s__and__ms__attribute(V__ORG,s__SportingGoodsHobbyBookAndMusicStores)) s__=>(s__exists__m[V__EV,V__MEM] : (s__instance(V__MEM,s__Object)s__and__ms__instance(V__MEM,s__Process)s__and__m(s__member(V__MEM,V__ORG) s__and__ms__agent(V__MEM,V__EV) s__and__m(s__exists__m[V__THING] : (s__instance(V__EV,s__Selling)s__and__ms__instance(V__THING,s__Object)s__and__m(s__capability(s__Sport,s__instrument__m,V__THING) s__or__ms__capability(s__MakingMusic,s__instrument__m,V__THING) s__or__ms__instance(V__THING,s__Book)s__or__ms__instance(V__THING,s__MusicRecording)s__or__ms__instance(V__THING,s__MusicText)) s__and__ms__patient(V__EV,V__THING))))))) )	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
( ! [V__M,V__P] : (s__instance(V__M,s__Process)s__=>((s__instance(V__P,s__MusicalPerformance)s__and__ms__subProcess(V__M,V__P)) s__=>s__instance(V__M,s__MakingMusic))) )	Mid-level-ontology.kif 13589-13593	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
( ! [V__MUSIC,V__S] : ((s__instance(V__MUSIC,s__Process)s__and__ms__instance(V__MUSIC,s__Proposition)) s__=>((s__instance(V__S,s__Song)s__and__ms__realization(V__S,V__MUSIC)) s__=>(s__exists__m[V__MM,V__MV,V__LC,V__MC] : (s__instance(V__MM,s__MakingMusic)s__and__ms__instance(V__MV,s__Singing)s__and__ms__instance(V__LC,s__LyricalContent)s__and__ms__instance(V__MC,s__MusicalComposition)s__and__ms__patient(V__MM,V__MC) s__and__ms__patient(V__MV,V__LC) s__and__ms__subProcess(V__MM,V__MUSIC) s__and__ms__subProcess(V__MV,V__MUSIC))))) )	Mid-level-ontology.kif 11370-11383	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
( ! [V__CONTEST] : (s__instance(V__CONTEST,s__MusicContest)s__=>(s__exists__m[V__J] : (s__instance(V__J,s__Judging)s__and__m(s__forall__m[V__A] : (s__instance(V__A,s__Agent)s__=>(s__contestParticipant(V__CONTEST,V__A) s__=>(s__exists__m[V__MM] : (s__agent(V__MM,V__A) s__and__ms__instance(V__MM,s__MakingMusic)s__and__ms__subProcess(V__MM,V__CONTEST) s__and__ms__patient(V__J,V__MM))))))))) )	Music.kif 1005-1018	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 25022-25031	If a physical is an instance of dance hall, then the physical has 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
( ! [V__INSTRUMENT] : (s__instance(V__INSTRUMENT,s__MusicalInstrument)s__=>s__capability(s__MakingMusic,s__instrument__m,V__INSTRUMENT)) )	Merge.kif 16120-16122	If an object is an instance of musical instrument, then the object is capable of doing making music as a instrument
( ! [V__M] : (s__instance(V__M,s__MusicRecording)s__=>(s__exists__m[V__P] : (s__instance(V__P,s__MakingMusic)s__and__ms__record(V__M,V__P)))) )	Mid-level-ontology.kif 12023-12028	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
( ! [V__PERF] : (s__instance(V__PERF,s__MusicalPerformance)s__=>(s__exists__m[V__MUSIC] : (s__instance(V__MUSIC,s__MakingMusic)s__and__ms__subProcess(V__MUSIC,V__PERF)))) )	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
( ! [V__PERFORMANCE] : (s__instance(V__PERFORMANCE,s__Performance)s__=>(s__exists__m[V__SUB] : (s__subProcess(V__SUB,V__PERFORMANCE) s__and__m(s__instance(V__SUB,s__DramaticActing)s__or__ms__instance(V__SUB,s__MakingMusic))))) )	Mid-level-ontology.kif 13507-13514	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
( ! [V__X] : (s__instance(V__X,s__MusicText)s__=>s__capability(s__MakingMusic,s__patient__m,V__X)) )	Mid-level-ontology.kif 12047-12049	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 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
( ! [V__MR,V__MC] : ((s__instance(V__MR,s__MusicRecording)s__and__ms__instance(V__MC,s__Music)) s__=>(s__musicInterpretation(V__MR,V__MC) s__=>(s__exists__m[V__P] : (s__instance(V__P,s__MakingMusic)s__and__ms__realization(V__P,V__MC) s__and__ms__record(V__MR,V__P))))) )	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: