TreeView Knowledge Base Browser - MusicalComposition

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

MusicalComposition

Sigma KEE - MusicalComposition

MusicalComposition

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13748-13749
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2708-2708
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2865-2865
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2864-2864
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2866-2866
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13747-13747	MusicalComposition e' uma sub-classe de Musica

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Music.kif 906-906	O contra-dominio de MusicalComponentFn e' uma instancia de MusicalComposition
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39369-39369
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39368-39368
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39367-39367

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Music.kif 863-863	O argumento numero 1 de SongFn e' uma instancia de MusicalComposition
No TPTP formula. May not be expressible in strict first order.	Music.kif 146-146	O argumento numero 2 de composer e' uma instancia de MusicalComposition

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 1888-1892	Entidade publica Classe vale durante Posicao Temporal Classe e' uma sub-classe de MusicalComposition MusicPublishers e' um atributo de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13752-13762	Processo e' uma instancia de MusicalComposition Processo exprime o conteudo de Processo Entidade Processo Processo e' uma instancia de Singing Entidade e' um patient de Processo Entidade e' uma instancia de LyricalContent Processo e' um sub-processo de Processo

consequent

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.	Mid-level-ontology.kif 3325-3330	Processo e' uma instancia de ComposingMusic Entidade Entidade e' uma instancia de MusicalComposition Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14413-14418	ContentBearingPhysical e' uma instancia de SheetMusic Proposicao Proposicao e' uma instancia de MusicalComposition ContentBearingPhysical contem informacao Proposicao

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