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 13700-13701
(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 13697-13698
(partition MakingMusic MakingInstrumentalMusic MakingVocalMusic)	Merge.kif 13703-13703	MakingMusic は MakingInstrumentalMusic + MakingVocalMusic に exhaustively partitioned %n
(subclass MakingMusic RadiatingSound)	Merge.kif 13696-13696	MakingMusic は放射音の subclass では %n

appearance as argument number 2

(range MusicalInterpretationFn MakingMusic)	Music.kif 848-848	MusicalInterpretationFn の range は MakingMusic のインスタンスでは %n
(subclass MakingInstrumentalMusic MakingMusic)	Merge.kif 13704-13704	MakingInstrumentalMusic は MakingMusic の subclass では %n
(subclass MakingVocalMusic MakingMusic)	Merge.kif 13721-13721	MakingVocalMusic は MakingMusic の subclass では %n
(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

musician の数値 3 引数は MakingMusic のsubclass では %n

antecedent

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

Media.kif 1787-1792

AutonomousAgent は Choir の instance では %n AutonomousAgent は工程の agent では %n 工程は MakingMusic の instance では %n
工程は MakingVocalMusic の instance では %n

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 はオブジェクトの attribute では %n 工程工程オブジェクトは MakingMusic の instance では %n 工程は MakingMusic の instance では %n 工程は MakingMusic の instance では %n 工程はオブジェクト% の subprocess では %n 工程はオブジェクト% の subprocess では %n 工程は工程と equal では工程はオブジェクトと同時に occurs %n{ない} 工程はオブジェクトと同時に occurs %n{ない}
(=> (and (instance ?ATTR MusicGenre) (attribute ?A ?ATTR)) (or (instance ?A MakingMusic) (instance ?A MusicRecording)))	Music.kif 511-517	属性は MusicGenre の instance では %n 属性はオブジェクトの attribute では %n オブジェクトは MakingMusic の instance では %n オブジェクトは MusicRecording の instance では %n
(=> (and (instance ?MC Music) (realization ?MUSIC ?MC)) (instance ?MUSIC MakingMusic))	Mid-level-ontology.kif 13741-13745	命題は音楽の instance では %n 工程は命題の内容を expresses %n{ない} 工程は MakingMusic の instance では %n
(=> (and (instance ?OPERA Opera) (realization ?ACT ?OPERA)) (instance ?ACT MakingMusic))	Mid-level-ontology.kif 14966-14970	命題は Opera の instance では %n 工程は命題の内容を expresses %n{ない} 工程は MakingMusic の instance では %n
(=> (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 では %n SportingGoodsHobbyBookAndMusicStores はコレクションの attribute では %n AutonomousAgent 工程工程はコレクションの member では %n AutonomousAgent は工程の agent では %n オブジェクト AutonomousAgent は販売の instance では %n オブジェクトはオブジェクトの instance では %n オブジェクトはスポーツを instrument として行う capable では %n オブジェクトは MakingMusic を instrument として行う capable では %n オブジェクトは本の instance では %n オブジェクトは MusicRecording の instance では %n オブジェクトは MusicText の instance では %n オブジェクトは AutonomousAgent の patient では %n
(=> (and (instance ?P MusicalPerformance) (subProcess ?M ?P)) (instance ?M MakingMusic))	Mid-level-ontology.kif 15933-15937	工程は MusicalPerformance の instance では %n 工程は工程% の subprocess では %n 工程は MakingMusic の instance では %n
(=> (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 13771-13784	工程は Song の instance では %n 工程は工程の内容を expresses %n{ない} 工程工程, エンティティー and エンティティー工程は MakingMusic の instance では %n 工程は Singing の instance では %n エンティティーは LyricalContent の instance では %n エンティティーは MusicalComposition の instance では %n エンティティーは工程の patient では %n エンティティーは工程の patient では %n 工程は工程% の subprocess では %n 工程は工程% の subprocess では %n
(=> (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	コンテストは MusicContest の instance では %n 工程工程は Judging の instance では %n AutonomousAgent contestParticipant コンテスト and AutonomousAgent 工程 AutonomousAgent は工程の agent では %n 工程は MakingMusic の instance では %n 工程はコンテスト% の subprocess では %n 工程は工程の patient では %n
(=> (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 26861-26870	物理は DanceHall の instance では %n 物理はエンティティーエンティティーエンティティーは MakingMusic の instance では %n エンティティーは踊りの instance では %n エンティティーはエンティティーと同時に occurs %n{ない} eventLocated エンティティー and 物理 eventLocated エンティティー and 物理の目的 %n{ない}
(=> (instance ?INSTRUMENT MusicalInstrument) (capability MakingMusic instrument ?INSTRUMENT))	Merge.kif 15961-15963	オブジェクトは楽器の instance では %n オブジェクトは MakingMusic を instrument として行う capable では %n
(=> (instance ?M MusicRecording) (exists (?P) (and (instance ?P MakingMusic) (record ?M ?P))))	Mid-level-ontology.kif 14400-14405	コンテンツベアリングオブジェクトは MusicRecording の instance では %n 物理物理は MakingMusic の instance では %n record コンテンツベアリングオブジェクト and 物理
(=> (instance ?PERF MusicalPerformance) (exists (?MUSIC) (and (instance ?MUSIC MakingMusic) (subProcess ?MUSIC ?PERF))))	Media.kif 1819-1824	工程は MusicalPerformance の instance では %n 工程工程は MakingMusic の instance では %n 工程は工程% の subprocess では %n
(=> (instance ?PERFORMANCE Performance) (exists (?SUB) (and (subProcess ?SUB ?PERFORMANCE) (or (instance ?SUB DramaticActing) (instance ?SUB MakingMusic)))))	Mid-level-ontology.kif 15851-15858	工程は Performance の instance では %n 工程工程は工程% の subprocess では %n 工程は DramaticActing の instance では %n 工程は MakingMusic の instance では %n
(=> (instance ?X MusicText) (capability MakingMusic patient ?X))	Mid-level-ontology.kif 14424-14426	オブジェクトは MusicText の instance では %n オブジェクトは MakingMusic を patient として行う capable では %n
(=> (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	musicGenre オブジェクト and ElectronicDanceMusic オブジェクトはエンティティーエンティティーエンティティーは NightClub の instance では %n エンティティーは MakingMusic の instance では %n オブジェクトはエンティティーの patient では %n eventLocated エンティティー and エンティティーの目的 %n{ない}
(=> (musicInterpretation ?MR ?MC) (exists (?P) (and (instance ?P MakingMusic) (realization ?P ?MC) (record ?MR ?P))))	Music.kif 180-186	musicInterpretation MusicRecording and 音楽工程工程は MakingMusic の instance では %n 工程は音楽の内容を expresses %n{ない} record MusicRecording and 工程

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: