TreeView Knowledge Base Browser - MusicRecording

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - MusicRecording

MusicRecording

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14396-14397
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2869-2869
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2868-2868
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2867-2867
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2709-2709
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14395-14395	MusicRecording e' uma sub-classe de AudioRecording

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Music.kif 887-887	O contra-dominio de RemixFn e' uma instancia de MusicRecording
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39423-39423
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39422-39422
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39421-39421

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Music.kif 885-885	O argumento numero 1 de RemixFn e' uma instancia de MusicRecording
No TPTP formula. May not be expressible in strict first order.	Music.kif 177-177	O argumento numero 1 de musicInterpretation e' uma instancia de MusicRecording
No TPTP formula. May not be expressible in strict first order.	Music.kif 228-228	O argumento numero 1 de musicVideo e' uma instancia de MusicRecording
No TPTP formula. May not be expressible in strict first order.	Music.kif 193-193	O argumento numero 1 de musician e' uma instancia de MusicRecording
No TPTP formula. May not be expressible in strict first order.	Music.kif 213-213	O argumento numero 1 de songArtist e' uma instancia de MusicRecording

antecedent

No TPTP formula. May not be expressible in strict first order.	Music.kif 444-449	RemixRecording e' um atributo de MusicRecording MusicRecording e' uma instancia de MusicRecording MusicRecording Agente Cognitivo MusicRecording e' igual a RemixFn MusicRecording and Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Music.kif 457-470	CoverRecording e' um atributo de MusicRecording MusicRecording e' uma instancia de MusicRecording songArtist MusicRecording and Agente Cognitivo musicInterpretation MusicRecording and Musica record MusicRecording and MusicaM MusicRecording Agente CognitivoRTIST and MusicaUSIC musicInterpretation MusicRecording and Musica songArtist MusicRecording and Agente CognitivoRTIST Agente Cognitivo e' igual a Agente CognitivoRTIST record MusicRecording and MusicaUSIC tempo de existencia de MusicaUSIC comeca antes de tempo de existencia de MusicaM
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

consequent

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.	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.	Music.kif 1137-1142	Lista e' uma instancia de SinglesChart Entidade Entidade e' uma instancia de MusicRecording Entidade e' um membro de Lista

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