MakingMusic - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13722-13723
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1402-1403
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13719-13720
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13725-13725	O conceito MakingMusic e' completamente decomposto em MakingInstrumentalMusic + MakingVocalMusic
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13718-13718	MakingMusic e' uma sub-classe de Som Irradiante

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Music.kif 848-848	O contra-dominio de MusicalInterpretationFn e' uma instancia de MakingMusic
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13726-13726	MakingInstrumentalMusic e' uma sub-classe de MakingMusic
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13743-13743	MakingVocalMusic e' uma sub-classe de MakingMusic
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1401-1401
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1849-1849

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Music.kif 195-195

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

antecedent

No TPTP formula. May not be expressible in strict first order.

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 751-762	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13740-13744	Proposicao e' uma instancia de Musica Processo exprime o conteudo de Proposicao Processo e' uma instancia de MakingMusic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14965-14969	Proposicao e' uma instancia de Opera Processo exprime o conteudo de Proposicao Processo e' uma instancia de MakingMusic
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15932-15936	Processo e' uma instancia de MusicalPerformance Processo e' um sub-processo de Processo Processo e' uma instancia de MakingMusic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13770-13783	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26849-26858	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15983-15985	Objeto e' uma instancia de Instrumento Musical Objeto e' capaz de fazer MakingMusic no role instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14399-14404	Objeto Representendo Conteudo Abstrato e' uma instancia de MusicRecording Fisico Fisico e' uma instancia de MakingMusic record Objeto Representendo Conteudo Abstrato and Fisico
No TPTP formula. May not be expressible in strict first order.	Media.kif 1819-1824	Processo e' uma instancia de MusicalPerformance Processo Processo e' uma instancia de MakingMusic Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15850-15857	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14423-14425	Objeto e' uma instancia de MusicText Objeto e' capaz de fazer MakingMusic no role patient
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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: