No TPTP formula. May not be expressible in strict first order. |
Music.kif 930-930 |
O argumento numero 1 de AlbumCopiesFn e' uma instancia de Album |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 277-277 |
O argumento numero 1 de albumArtist e' uma instancia de Album |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 309-309 |
O argumento numero 1 de albumCoverImage e' uma instancia de Album |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 329-329 |
O argumento numero 1 de albumLength e' uma instancia de Album |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 258-258 |
O argumento numero 1 de albumRelease e' uma instancia de Album |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 339-339 |
O argumento numero 2 de albumTrack e' uma instancia de Album |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 294-294 |
O argumento numero 1 de albumType e' uma instancia de Album |