TreeView 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 est une sous-classe de liste

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	Le nombre 1 argument de AlbumCopiesFn est une instance de Album
No TPTP formula. May not be expressible in strict first order.	Music.kif 277-277	Le nombre 1 argument de albumArtist est une instance de Album
No TPTP formula. May not be expressible in strict first order.	Music.kif 309-309	Le nombre 1 argument de albumCoverImage est une instance de Album
No TPTP formula. May not be expressible in strict first order.	Music.kif 329-329	Le nombre 1 argument de albumLength est une instance de Album
No TPTP formula. May not be expressible in strict first order.	Music.kif 258-258	Le nombre 1 argument de albumRelease est une instance de Album
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 294-294	Le nombre 1 argument de albumType est une instance de 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	Attribut est un attribut de objet attribut est une instance de AlbumAttribute objet est une instance de Album
No TPTP formula. May not be expressible in strict first order.	Music.kif 1149-1154	Liste est une instance de AlbumChart entit� entit� est une instance de Album entit� est un membre de liste