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 13722-13723
(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 13719-13720
(partition MakingMusic MakingInstrumentalMusic MakingVocalMusic)	Merge.kif 13725-13725	MakingMusic wird vollstaendig in MakingInstrumentalMusic und MakingVocalMusic verteilt
(subclass MakingMusic RadiatingSound)	Merge.kif 13718-13718	MakingMusic ist eine teilkategorie von RadiatingSound

appearance as argument number 2

(range MusicalInterpretationFn MakingMusic)	Music.kif 848-848	bildbereich von MusicalInterpretationFn ist ein fall von MakingMusic {nicht}
(subclass MakingInstrumentalMusic MakingMusic)	Merge.kif 13726-13726	MakingInstrumentalMusic ist eine teilkategorie von MakingMusic
(subclass MakingVocalMusic MakingMusic)	Merge.kif 13743-13743	MakingVocalMusic ist eine teilkategorie von 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 195-195

Die Zahl 3 Argument von musician ist eine teilkategorie von MakingMusic %n{nicht}

antecedent

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

Media.kif 1787-1792

Wenn AutonomousAgent ist ein fall von Choir %n{nicht} und Process ist der agent von ** AutonomousAgent %n{nicht} und ** Process ist ein fall von MakingMusic %n{nicht},
dann ** Process ist ein fall von MakingVocalMusic %n{nicht}

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 751-762	PolyphonicMusic ist ein attribut von Object %n{nicht} genau dann wenn es gibt Process und Process um Object ist ein fall von MakingMusic %n{nicht} und Process ist ein fall von MakingMusic %n{nicht} und Process ist ein fall von MakingMusic %n{nicht} und Process ist ein subProzess von Object und Process ist ein subProzess von Object und Process ist gleich Process nicht und Process geschiecht gleichzeitig mit Object %n{nicht} und Process geschiecht gleichzeitig mit Object %n{nicht}
(=> (and (instance ?ATTR MusicGenre) (attribute ?A ?ATTR)) (or (instance ?A MakingMusic) (instance ?A MusicRecording)))	Music.kif 511-517	Wenn Attribute ist ein fall von MusicGenre %n{nicht} und Attribute ist ein attribut von Object %n{nicht}, dann Object ist ein fall von MakingMusic %n{nicht} oder ** Object ist ein fall von MusicRecording %n{nicht}
(=> (and (instance ?MC Music) (realization ?MUSIC ?MC)) (instance ?MUSIC MakingMusic))	Mid-level-ontology.kif 13740-13744	Wenn Proposition ist ein fall von Music %n{nicht} und Process druekt den Inhalt von Proposition aus, dann Process ist ein fall von MakingMusic %n{nicht}
(=> (and (instance ?OPERA Opera) (realization ?ACT ?OPERA)) (instance ?ACT MakingMusic))	Mid-level-ontology.kif 14965-14969	Wenn Proposition ist ein fall von Opera %n{nicht} und Process druekt den Inhalt von Proposition aus, dann Process ist ein fall von MakingMusic %n{nicht}
(=> (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	Wenn Collection ist ein fall von Organization %n{nicht} und SportingGoodsHobbyBookAndMusicStores ist ein attribut von Collection %n{nicht}, dann es gibt AutonomousAgent und Process um Process ist ein Mitglied von Collection %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und es gibt Object um AutonomousAgent ist ein fall von Selling %n{nicht} und Object ist ein fall von Object %n{nicht} und Object ist faehig %n{nicht}, in der Rolle instrument Sport zu tun oder Object ist faehig %n{nicht}, in der Rolle instrument MakingMusic zu tun oder Object ist ein fall von Book %n{nicht} oder Object ist ein fall von MusicRecording %n{nicht} oder Object ist ein fall von MusicText %n{nicht} und Object ist ein patient von AutonomousAgent %n{nicht}
(=> (and (instance ?P MusicalPerformance) (subProcess ?M ?P)) (instance ?M MakingMusic))	Mid-level-ontology.kif 15932-15936	Wenn Process ist ein fall von MusicalPerformance %n{nicht} und Process ist ein subProzess von Process, dann Process ist ein fall von MakingMusic %n{nicht}
(=> (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 13770-13783	Wenn Process ist ein fall von Song %n{nicht} und Process druekt den Inhalt von Process aus, dann es gibt Process, Process,, , Entity, and und Entity um Process ist ein fall von MakingMusic %n{nicht} und Process ist ein fall von Singing %n{nicht} und Entity ist ein fall von LyricalContent %n{nicht} und Entity ist ein fall von MusicalComposition %n{nicht} und Entity ist ein patient von Process %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process ist ein subProzess von Process und Process ist ein subProzess von ** 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	Wenn Contest ist ein fall von MusicContest %n{nicht}, dann es gibt Process um Process ist ein fall von Judging %n{nicht} und fuer alle AutonomousAgent wenn contestParticipant Contest and AutonomousAgent, dann es gibt Process um Process ist der agent von AutonomousAgent %n{nicht} und Process ist ein fall von MakingMusic %n{nicht} und Process ist ein subProzess von Contest und Process ist ein patient von ** Process %n{nicht}
(=> (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 26849-26858	Wenn Physical ist ein fall von DanceHall %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von MakingMusic %n{nicht} und entity ist ein fall von Dancing %n{nicht} und entity geschiecht gleichzeitig mit entity %n{nicht} und eventLocated entity and Physical und eventLocated entity and ** Physical %n{nicht}
(=> (instance ?INSTRUMENT MusicalInstrument) (capability MakingMusic instrument ?INSTRUMENT))	Merge.kif 15983-15985	Wenn Object ist ein fall von MusicalInstrument %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle instrument MakingMusic zu tun
(=> (instance ?M MusicRecording) (exists (?P) (and (instance ?P MakingMusic) (record ?M ?P))))	Mid-level-ontology.kif 14399-14404	Wenn ContentBearingObject ist ein fall von MusicRecording %n{nicht}, dann es gibt Physical um Physical ist ein fall von MakingMusic %n{nicht} und record ContentBearingObject and ** Physical
(=> (instance ?PERF MusicalPerformance) (exists (?MUSIC) (and (instance ?MUSIC MakingMusic) (subProcess ?MUSIC ?PERF))))	Media.kif 1819-1824	Wenn Process ist ein fall von MusicalPerformance %n{nicht}, dann es gibt Process um Process ist ein fall von MakingMusic %n{nicht} und Process ist ein subProzess von Process
(=> (instance ?PERFORMANCE Performance) (exists (?SUB) (and (subProcess ?SUB ?PERFORMANCE) (or (instance ?SUB DramaticActing) (instance ?SUB MakingMusic)))))	Mid-level-ontology.kif 15850-15857	Wenn Process ist ein fall von Performance %n{nicht}, dann es gibt Process um Process ist ein subProzess von Process und Process ist ein fall von DramaticActing %n{nicht} oder Process ist ein fall von MakingMusic %n{nicht}
(=> (instance ?X MusicText) (capability MakingMusic patient ?X))	Mid-level-ontology.kif 14423-14425	Wenn Object ist ein fall von MusicText %n{nicht}, dann ** Object ist faehig %n{nicht}, in der Rolle patient MakingMusic zu tun
(=> (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	Wenn musicGenre Object and ElectronicDanceMusic, dann Object hat Zweck von es gibt entity und entity um entity ist ein fall von NightClub %n{nicht} und entity ist ein fall von MakingMusic %n{nicht} und Object ist ein patient von entity %n{nicht} und eventLocated entity and ** entity %n{nicht}
(=> (musicInterpretation ?MR ?MC) (exists (?P) (and (instance ?P MakingMusic) (realization ?P ?MC) (record ?MR ?P))))	Music.kif 180-186	Wenn musicInterpretation MusicRecording and Music, dann es gibt Process um Process ist ein fall von MakingMusic %n{nicht} und Process druekt den Inhalt von Music aus und 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: