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 |