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 |
Le nombre 1 argument de RemixFn est une instance de MusicRecording |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 886-886 |
Le nombre 2 argument de RemixFn est une instance de agent cognitif |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 878-878 |
RemixFn est une instance de fonction binaire |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 887-887 |
Le domaine de RemixFn est une instance de MusicRecording |