No TPTP formula. May not be expressible in strict first order. |
Music.kif 334-335 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 338-338 |
O argumento numero 1 de albumTrack e' uma instancia de Recording |
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 333-333 |
albumTrack e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 332-332 |
albumTrack e' uma sub-relacao de inList |