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 13454-13455
(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 13451-13452
(partition MakingMusic MakingInstrumentalMusic MakingVocalMusic)	Merge.kif 13457-13457	partition MakingMusic, MakingInstrumentalMusic and MakingVocalMusic
(subclass MakingMusic RadiatingSound)	Merge.kif 13450-13450	subclass MakingMusic and RadiatingSound

appearance as argument number 2

(range MusicalInterpretationFn MakingMusic)	Music.kif 845-845	range MusicalInterpretationFn and MakingMusic
(subclass MakingInstrumentalMusic MakingMusic)	Merge.kif 13458-13458	subclass MakingInstrumentalMusic and MakingMusic
(subclass MakingVocalMusic MakingMusic)	Merge.kif 13474-13474	subclass MakingVocalMusic and MakingMusic
(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 193-193

domainSubclass musician, 3 and MakingMusic

antecedent

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

Media.kif 1773-1778

instance Agent and Choir agent Process and Agent instance Process and MakingMusic
instance Process and MakingVocalMusic

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 712-723	attribute Object and PolyphonicMusic Process Process instance Object and MakingMusic instance Process and MakingMusic instance Process and MakingMusic subProcess Process and Object subProcess Process and Object equal Process and Process cooccur Process and Object cooccur Process and Object
(=> (and (instance ?ATTR MusicGenre) (attribute ?A ?ATTR)) (or (instance ?A MakingMusic) (instance ?A MusicRecording)))	Music.kif 508-514	instance Attribute and MusicGenre attribute Object and Attribute instance Object and MakingMusic instance Object and MusicRecording
(=> (and (instance ?MC Music) (realization ?MUSIC ?MC)) (instance ?MUSIC MakingMusic))	Mid-level-ontology.kif 13207-13211	instance Proposition and Music realization Process and Proposition instance Process and MakingMusic
(=> (and (instance ?OPERA Opera) (realization ?ACT ?OPERA)) (instance ?ACT MakingMusic))	Mid-level-ontology.kif 14410-14414	instance Proposition and Opera realization Process and Proposition instance Process and MakingMusic
(=> (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	instance Collection and Organization attribute Collection and SportingGoodsHobbyBookAndMusicStores Agent Process member Process and Collection agent Process and Agent Object instance Agent and Selling instance Object and Object capability Sport, instrument and Object capability MakingMusic, instrument and Object instance Object and Book instance Object and MusicRecording instance Object and MusicText patient Agent and Object
(=> (and (instance ?P MusicalPerformance) (subProcess ?M ?P)) (instance ?M MakingMusic))	Mid-level-ontology.kif 15358-15362	instance Process and MusicalPerformance subProcess Process and Process instance Process and MakingMusic
(=> (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 13237-13250	instance Process and Song realization Process and Process Process Process, Entity and Entity instance Process and MakingMusic instance Process and Singing instance Entity and LyricalContent instance Entity and MusicalComposition patient Process and Entity patient Process and Entity subProcess Process and Process subProcess Process and 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 1000-1013	instance Contest and MusicContest Process instance Process and Judging Agent contestParticipant Contest and Agent Process agent Process and Agent instance Process and MakingMusic subProcess Process and Contest patient Process and 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 26209-26218	instance Physical and DanceHall hasPurpose Physical and entity entity instance entity and MakingMusic instance entity and Dancing cooccur entity and entity eventLocated entity and Physical eventLocated entity and Physical
(=> (instance ?INSTRUMENT MusicalInstrument) (capability MakingMusic instrument ?INSTRUMENT))	Merge.kif 15679-15681	instance Object and MusicalInstrument capability MakingMusic, instrument and Object
(=> (instance ?M MusicRecording) (exists (?P) (and (instance ?P MakingMusic) (record ?M ?P))))	Mid-level-ontology.kif 13866-13871	instance ContentBearingObject and MusicRecording Physical instance Physical and MakingMusic record ContentBearingObject and Physical
(=> (instance ?PERF MusicalPerformance) (exists (?MUSIC) (and (instance ?MUSIC MakingMusic) (subProcess ?MUSIC ?PERF))))	Media.kif 1805-1810	instance Process and MusicalPerformance Process instance Process and MakingMusic subProcess Process and Process
(=> (instance ?PERFORMANCE Performance) (exists (?SUB) (and (subProcess ?SUB ?PERFORMANCE) (or (instance ?SUB DramaticActing) (instance ?SUB MakingMusic)))))	Mid-level-ontology.kif 15276-15283	instance Process and Performance Process subProcess Process and Process instance Process and DramaticActing instance Process and MakingMusic
(=> (instance ?X MusicText) (capability MakingMusic patient ?X))	Mid-level-ontology.kif 13890-13892	instance Object and MusicText capability MakingMusic, patient and Object
(=> (musicGenre ?MR ElectronicDanceMusic) (hasPurpose ?MR (exists (?NC ?MM) (and (instance ?NC NightClub) (instance ?MM MakingMusic) (patient ?MM ?MR) (eventLocated ?MM ?NC)))))	Music.kif 670-678	musicGenre Object and ElectronicDanceMusic hasPurpose Object and entity entity instance entity and NightClub instance entity and MakingMusic patient entity and Object eventLocated entity and entity
(=> (musicInterpretation ?MR ?MC) (exists (?P) (and (instance ?P MakingMusic) (realization ?P ?MC) (record ?MR ?P))))	Music.kif 178-184	musicInterpretation MusicRecording and Music Process instance Process and MakingMusic realization Process and Music record MusicRecording and 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: