LyricalContent - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - LyricalContent

LyricalContent

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13788-13790
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13786-13787
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13785-13785	LyricalContent e' uma sub-classe de Proposicao

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Music.kif 918-918	O contra-dominio de LyricalComponentFn e' uma instancia de LyricalContent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13791-13791

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Music.kif 864-864	O argumento numero 2 de SongFn e' uma instancia de LyricalContent
No TPTP formula. May not be expressible in strict first order.	Music.kif 162-162	O argumento numero 1 de lyricist e' uma instancia de LyricalContent

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13801-13807	Proposicao e' uma instancia de LyricalContent ContentBearingPhysical Proposicao ContentBearingPhysical e' uma instancia de Palavra ContentBearingPhysical contem informacao Proposicao Proposicao e' uma &sub-proposicao de Proposicao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13793-13799	Fisico e' uma instancia de LyricalContent Fisico tem por fim Entidade Entidade e' uma instancia de Singing Fisico e' um patient de Entidade

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13751-13761	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
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

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