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 |
Le nombre 1 argument de albumTrack est une instance de Recording |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 339-339 |
Le nombre 2 argument de albumTrack est une instance de Album |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 333-333 |
albumTrack est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 332-332 |
albumTrack est une sous-relation de inList |