Album - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Music.kif 50-50
No TPTP formula. May not be expressible in strict first order.	Music.kif 49-49	子類 Album and List

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Music.kif 51-51

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Music.kif 930-930	域 AlbumCopiesFn, 1 and Album
No TPTP formula. May not be expressible in strict first order.	Music.kif 277-277	域 albumArtist, 1 and Album
No TPTP formula. May not be expressible in strict first order.	Music.kif 309-309	域 albumCoverImage, 1 and Album
No TPTP formula. May not be expressible in strict first order.	Music.kif 329-329	域 albumLength, 1 and Album
No TPTP formula. May not be expressible in strict first order.	Music.kif 258-258	域 albumRelease, 1 and Album
No TPTP formula. May not be expressible in strict first order.	Music.kif 339-339	域 albumTrack, 2 and Album
No TPTP formula. May not be expressible in strict first order.	Music.kif 294-294	域 albumType, 1 and Album

antecedent

No TPTP formula. May not be expressible in strict first order.

Music.kif 53-58

consequent

No TPTP formula. May not be expressible in strict first order.	Music.kif 478-482	attribute Object and ObjectTTR 例 ObjectTTR and AlbumAttribute 例 Object and Album
No TPTP formula. May not be expressible in strict first order.	Music.kif 1149-1154	例 List and AlbumChart Entity 例 Entity and Album 在列表中 Entity and List