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 is a subclass of 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 932-932	The number 1 argument of album copies function is an instance of album
No TPTP formula. May not be expressible in strict first order.	Music.kif 277-277	The number 1 argument of album artist is an instance of album
No TPTP formula. May not be expressible in strict first order.	Music.kif 309-309	The number 1 argument of album cover is an instance of album
No TPTP formula. May not be expressible in strict first order.	Music.kif 329-329	The number 1 argument of album length is an instance of album
No TPTP formula. May not be expressible in strict first order.	Music.kif 258-258	The number 1 argument of album release is an instance of album
No TPTP formula. May not be expressible in strict first order.	Music.kif 339-339	The number 2 argument of album track is an instance of album
No TPTP formula. May not be expressible in strict first order.	Music.kif 294-294	The number 1 argument of album type is an instance of 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 480-484	If an attribute is an attribute of an object and the attribute is an instance of album attribute, then the object is an instance of album
No TPTP formula. May not be expressible in strict first order.	Music.kif 1151-1156	If a list is an instance of album chart, then there exists an entity such that the entity is an instance of album and the entity is a member of the list