TreeView Knowledge Base Browser - SongFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - SongFn

SongFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Music.kif 858-860
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 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 857-857	SongFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	Music.kif 865-865	O contra-dominio de SongFn e' uma instancia de Song

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4578-4578
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4577-4577
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4576-4576
No TPTP formula. May not be expressible in strict first order.	Music.kif 861-861

antecedent

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

Music.kif 867-876

Song e' igual a SongFn MusicalComposition and LyricalContent Song exprime o conteudo de Processo
Processo Processo MusicalComposition e' um patient de Processo LyricalContent e' um patient de Processo Processo e' um sub-processo de Processo Processo e' um sub-processo de 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