TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13700-13701
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 13697-13698
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13703-13703	O conceito MakingMusic e' completamente decomposto em MakingInstrumentalMusic + MakingVocalMusic
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13696-13696	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 13704-13704	MakingInstrumentalMusic e' uma sub-classe de MakingMusic
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13721-13721	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 13741-13745	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 14966-14970	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 15933-15937	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 13771-13784	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 26861-26870	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 15961-15963	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 14400-14405	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 15851-15858	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 14424-14426	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 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: