No TPTP formula. May not be expressible in strict first order. | Music.kif 1119-1119 | MusicChart e' uma sub-classe de Lista |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1132-1132 | SinglesChart e' uma sub-classe de MusicChart |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1144-1144 | AlbumChart e' uma sub-classe de MusicChart |