TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Music.kif 879-882
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 886-886	O argumento numero 2 de RemixFn e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Music.kif 878-878	RemixFn e' uma instancia de Funcao Binaria
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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4378-4378
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4377-4377
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4376-4376
No TPTP formula. May not be expressible in strict first order.	Music.kif 883-883

antecedent

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

Music.kif 889-898

consequent

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

Music.kif 444-449