No TPTP formula. May not be expressible in strict first order. | Music.kif 1119-1119 | MusicChart est une sous-classe de liste |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1132-1132 | SinglesChart est une sous-classe de MusicChart |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1144-1144 | AlbumChart est une sous-classe de MusicChart |