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	O conceito MakingMusic e' completamente decomposto em MakingInstrumentalMusic + MakingVocalMusic
(subclass MakingMusic RadiatingSound)	Merge.kif 13742-13742	MakingMusic e' uma sub-classe de Som Irradiante

appearance as argument number 2

(range MusicalInterpretationFn MakingMusic)	Music.kif 848-848	O contra-dominio de MusicalInterpretationFn e' uma instancia de MakingMusic
(subclass MakingInstrumentalMusic MakingMusic)	Merge.kif 13750-13750	MakingInstrumentalMusic e' uma sub-classe de MakingMusic
(subclass MakingVocalMusic MakingMusic)	Merge.kif 13767-13767	MakingVocalMusic e' uma sub-classe de 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

O argumento numero 3 de musician e' uma sub-classe de MakingMusic

antecedent

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

Media.kif 1787-1792

AutonomousAgent e' uma instancia de Choir Processo e' um agente de AutonomousAgent Processo e' uma instancia de MakingMusic
Processo e' uma instancia de 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 744-755	PolyphonicMusic e' um atributo de Objeto Processo Processo Objeto e' uma instancia de MakingMusic Processo e' uma instancia de MakingMusic Processo e' uma instancia de MakingMusic Processo e' um sub-processo de Objeto Processo e' um sub-processo de Objeto Processo e' igual a Processo Processo acontece ao mesmo tempo que Objeto Processo acontece ao mesmo tempo que Objeto
(=> (and (instance ?ATTR MusicGenre) (attribute ?A ?ATTR)) (or (instance ?A MakingMusic) (instance ?A MusicRecording)))	Music.kif 511-517	Atributo e' uma instancia de MusicGenre Atributo e' um atributo de Objeto Objeto e' uma instancia de MakingMusic Objeto e' uma instancia de MusicRecording
(=> (and (instance ?MC Music) (realization ?MUSIC ?MC)) (instance ?MUSIC MakingMusic))	Mid-level-ontology.kif 13768-13772	Proposicao e' uma instancia de Musica Processo exprime o conteudo de Proposicao Processo e' uma instancia de MakingMusic
(=> (and (instance ?OPERA Opera) (realization ?ACT ?OPERA)) (instance ?ACT MakingMusic))	Mid-level-ontology.kif 14993-14997	Proposicao e' uma instancia de Opera Processo exprime o conteudo de Proposicao Processo e' uma instancia de 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	Colecao e' uma instancia de Organizacao SportingGoodsHobbyBookAndMusicStores e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Objeto AutonomousAgent e' uma instancia de Vender Objeto e' uma instancia de Objeto Objeto e' capaz de fazer Esporte no role instrument Objeto e' capaz de fazer MakingMusic no role instrument Objeto e' uma instancia de Livro Objeto e' uma instancia de MusicRecording Objeto e' uma instancia de MusicText Objeto e' um patient de AutonomousAgent
(=> (and (instance ?P MusicalPerformance) (subProcess ?M ?P)) (instance ?M MakingMusic))	Mid-level-ontology.kif 15960-15964	Processo e' uma instancia de MusicalPerformance Processo e' um sub-processo de Processo Processo e' uma instancia de 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 13798-13811	Processo e' uma instancia de Song Processo exprime o conteudo de Processo Processo Processo, Entidade and Entidade Processo e' uma instancia de MakingMusic Processo e' uma instancia de Singing Entidade e' uma instancia de LyricalContent Entidade e' uma instancia de MusicalComposition Entidade e' um patient de Processo Entidade e' um patient de Processo Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo
(=> (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	Contest e' uma instancia de MusicContest Processo Processo e' uma instancia de Judging AutonomousAgent contestParticipant Contest and AutonomousAgent Processo Processo e' um agente de AutonomousAgent Processo e' uma instancia de MakingMusic Processo e' um sub-processo de Contest Processo e' um patient de Processo
(=> (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	Fisico e' uma instancia de DanceHall Fisico tem por fim Entidade Entidade Entidade e' uma instancia de MakingMusic Entidade e' uma instancia de Dancar Entidade acontece ao mesmo tempo que Entidade eventLocated Entidade and Fisico eventLocated Entidade and Fisico
(=> (instance ?INSTRUMENT MusicalInstrument) (capability MakingMusic instrument ?INSTRUMENT))	Merge.kif 16033-16035	Objeto e' uma instancia de Instrumento Musical Objeto e' capaz de fazer MakingMusic no role instrument
(=> (instance ?M MusicRecording) (exists (?P) (and (instance ?P MakingMusic) (record ?M ?P))))	Mid-level-ontology.kif 14427-14432	Objeto Representendo Conteudo Abstrato e' uma instancia de MusicRecording Fisico Fisico e' uma instancia de MakingMusic record Objeto Representendo Conteudo Abstrato and Fisico
(=> (instance ?PERF MusicalPerformance) (exists (?MUSIC) (and (instance ?MUSIC MakingMusic) (subProcess ?MUSIC ?PERF))))	Media.kif 1819-1824	Processo e' uma instancia de MusicalPerformance Processo Processo e' uma instancia de MakingMusic Processo e' um sub-processo de Processo
(=> (instance ?PERFORMANCE Performance) (exists (?SUB) (and (subProcess ?SUB ?PERFORMANCE) (or (instance ?SUB DramaticActing) (instance ?SUB MakingMusic)))))	Mid-level-ontology.kif 15878-15885	Processo e' uma instancia de Performance Processo Processo e' um sub-processo de Processo Processo e' uma instancia de DramaticActing Processo e' uma instancia de MakingMusic
(=> (instance ?X MusicText) (capability MakingMusic patient ?X))	Mid-level-ontology.kif 14451-14453	Objeto e' uma instancia de MusicText Objeto e' capaz de fazer MakingMusic no role 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	musicGenre Objeto and ElectronicDanceMusic Objeto tem por fim Entidade Entidade Entidade e' uma instancia de NightClub Entidade e' uma instancia de MakingMusic Objeto e' um patient de Entidade eventLocated Entidade and Entidade
(=> (musicInterpretation ?MR ?MC) (exists (?P) (and (instance ?P MakingMusic) (realization ?P ?MC) (record ?MR ?P))))	Music.kif 180-186	musicInterpretation MusicRecording and Musica Processo Processo e' uma instancia de MakingMusic Processo exprime o conteudo de Musica record MusicRecording and Processo

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: