TreeView Knowledge Base Browser

appearance as argument number 1

(comment 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 13746-13747
(documentation MakingMusic ChineseLanguage "MakingMusic 是一种 RadiatingSound，它的 result 是经过细心推敲创作，而旨在有有旋律感的。")	chinese_format.kif 1402-1403
(documentation MakingMusic EnglishLanguage "MakingMusic is a type of RadiatingSound where the result is intended to be melodic and is produced delibrately")	Merge.kif 13743-13744
(partition MakingMusic MakingInstrumentalMusic MakingVocalMusic)	Merge.kif 13749-13749	Making music is exhaustively partitioned into instrumental music and singing
(subclass MakingMusic RadiatingSound)	Merge.kif 13742-13742	Making music is a subclass of radiating sound

appearance as argument number 2

(range MusicalInterpretationFn MakingMusic)	Music.kif 848-848	The range of musical interpretation is an instance of making music
(subclass MakingInstrumentalMusic MakingMusic)	Merge.kif 13750-13750	Instrumental music is a subclass of making music
(subclass MakingVocalMusic MakingMusic)	Merge.kif 13767-13767	Singing is a subclass of making music
(termFormat ChineseLanguage MakingMusic "制作音乐")	chinese_format.kif 1401-1401
(termFormat EnglishLanguage MakingMusic "making music")	english_format.kif 1849-1849

appearance as argument number 3

(domainSubclass musician 3 MakingMusic)

Music.kif 195-195

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

antecedent

(=>
    (and
        (instance ?GROUP Choir)
        (agent ?MUSIC ?GROUP)
        (instance ?MUSIC MakingMusic))
    (instance ?MUSIC MakingVocalMusic))

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

(<=> (attribute ?MUSIC PolyphonicMusic) (exists (?PART1 ?PART2) (and (instance ?MUSIC MakingMusic) (instance ?PART1 MakingMusic) (instance ?PART2 MakingMusic) (subProcess ?PART1 ?MUSIC) (subProcess ?PART2 ?MUSIC) (not (equal ?PART1 ?PART2)) (cooccur ?PART1 ?MUSIC) (cooccur ?PART2 ?MUSIC))))	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
(=> (and (instance ?ATTR MusicGenre) (attribute ?A ?ATTR)) (or (instance ?A MakingMusic) (instance ?A MusicRecording)))	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
(=> (and (instance ?MC Music) (realization ?MUSIC ?MC)) (instance ?MUSIC MakingMusic))	Mid-level-ontology.kif 13768-13772	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
(=> (and (instance ?OPERA Opera) (realization ?ACT ?OPERA)) (instance ?ACT MakingMusic))	Mid-level-ontology.kif 14993-14997	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
(=> (and (instance ?ORG Organization) (attribute ?ORG SportingGoodsHobbyBookAndMusicStores)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING) (and (instance ?EV Selling) (instance ?THING Object) (or (capability Sport instrument ?THING) (capability MakingMusic instrument ?THING) (instance ?THING Book) (instance ?THING MusicRecording) (instance ?THING MusicText)) (patient ?EV ?THING))))))	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
(=> (and (instance ?P MusicalPerformance) (subProcess ?M ?P)) (instance ?M MakingMusic))	Mid-level-ontology.kif 15960-15964	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
(=> (and (instance ?S Song) (realization ?S ?MUSIC)) (exists (?MM ?MV ?LC ?MC) (and (instance ?MM MakingMusic) (instance ?MV Singing) (instance ?LC LyricalContent) (instance ?MC MusicalComposition) (patient ?MM ?MC) (patient ?MV ?LC) (subProcess ?MM ?MUSIC) (subProcess ?MV ?MUSIC))))	Mid-level-ontology.kif 13798-13811	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
(=> (instance ?CONTEST MusicContest) (exists (?J) (and (instance ?J Judging) (forall (?A) (=> (contestParticipant ?CONTEST ?A) (exists (?MM) (and (agent ?MM ?A) (instance ?MM MakingMusic) (subProcess ?MM ?CONTEST) (patient ?J ?MM))))))))	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
(=> (instance ?DISCO DanceHall) (hasPurpose ?DISCO (exists (?DANCE ?MUSIC) (and (instance ?MUSIC MakingMusic) (instance ?DANCE Dancing) (cooccur ?MUSIC ?DANCE) (eventLocated ?MUSIC ?DISCO) (eventLocated ?DANCE ?DISCO)))))	Mid-level-ontology.kif 26894-26903	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
(=> (instance ?INSTRUMENT MusicalInstrument) (capability MakingMusic instrument ?INSTRUMENT))	Merge.kif 16033-16035	If an object is an instance of musical instrument, then the object is capable of doing making music as a instrument
(=> (instance ?M MusicRecording) (exists (?P) (and (instance ?P MakingMusic) (record ?M ?P))))	Mid-level-ontology.kif 14427-14432	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
(=> (instance ?PERF MusicalPerformance) (exists (?MUSIC) (and (instance ?MUSIC MakingMusic) (subProcess ?MUSIC ?PERF))))	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
(=> (instance ?PERFORMANCE Performance) (exists (?SUB) (and (subProcess ?SUB ?PERFORMANCE) (or (instance ?SUB DramaticActing) (instance ?SUB MakingMusic)))))	Mid-level-ontology.kif 15878-15885	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
(=> (instance ?X MusicText) (capability MakingMusic patient ?X))	Mid-level-ontology.kif 14451-14453	If an object is an instance of music text, then the object is capable of doing making music as a patient
(=> (musicGenre ?MR ElectronicDanceMusic) (hasPurpose ?MR (exists (?NC ?MM) (and (instance ?NC NightClub) (instance ?MM MakingMusic) (patient ?MM ?MR) (eventLocated ?MM ?NC)))))	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
(=> (musicInterpretation ?MR ?MC) (exists (?P) (and (instance ?P MakingMusic) (realization ?P ?MC) (record ?MR ?P))))	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: