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 |
Le nombre 1 argument de SongFn est une instance de MusicalComposition |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 864-864 |
Le nombre 2 argument de SongFn est une instance de LyricalContent |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 857-857 |
SongFn est une instance de fonction binaire |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 865-865 |
Le domaine de SongFn est une instance de Song |