musicGenre - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - musicGenre

musicGenre

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Music.kif 343-344
No TPTP formula. May not be expressible in strict first order.	Music.kif 342-342	musicGenre e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Music.kif 341-341	musicGenre e' uma sub-relacao de attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3930-3930
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3929-3929
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3928-3928
No TPTP formula. May not be expressible in strict first order.	Music.kif 345-345

antecedent

No TPTP formula. May not be expressible in strict first order.	Music.kif 524-532	musicGenre Objeto Representendo Conteudo Abstrato and Acapella record Objeto Representendo Conteudo Abstrato and Processo Processo Processo e' uma instancia de MakingInstrumentalMusic Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Music.kif 559-569	musicGenre Objeto Representendo Conteudo Abstrato and AcousticMusic record Objeto Representendo Conteudo Abstrato and Processo Objeto Objeto Objeto e' uma instancia de Instrumento Musical Objeto e' um instrumento para Processo Objeto e' uma instancia de ElectricDevice Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Music.kif 647-652	musicGenre Objeto and ChristianMusic Objeto Christian e' um atributo de Objeto Objeto inclui uma referencia a Objeto
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 689-695	musicGenre Objeto Representendo Conteudo Abstrato and ElectronicMusic Objeto Processo Objeto e' uma instancia de ElectricDevice record Objeto Representendo Conteudo Abstrato and Processo Objeto e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	Music.kif 633-639	musicGenre Objeto and ReligiousMusic Atributo Objeto Atributo e' uma instancia de ReligiousAttribute Atributo e' um atributo de Objeto Objeto inclui uma referencia a Objeto

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