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 e' uma sub-classe de Lista

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	O argumento numero 1 de AlbumCopiesFn e' uma instancia de Album
No TPTP formula. May not be expressible in strict first order.	Music.kif 277-277	O argumento numero 1 de albumArtist e' uma instancia de Album
No TPTP formula. May not be expressible in strict first order.	Music.kif 309-309	O argumento numero 1 de albumCoverImage e' uma instancia de Album
No TPTP formula. May not be expressible in strict first order.	Music.kif 329-329	O argumento numero 1 de albumLength e' uma instancia de Album
No TPTP formula. May not be expressible in strict first order.	Music.kif 258-258	O argumento numero 1 de albumRelease e' uma instancia de Album
No TPTP formula. May not be expressible in strict first order.	Music.kif 339-339	O argumento numero 2 de albumTrack e' uma instancia de Album
No TPTP formula. May not be expressible in strict first order.	Music.kif 294-294	O argumento numero 1 de albumType e' uma instancia 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	Atributo e' um atributo de Objeto Atributo e' uma instancia de AlbumAttribute Objeto e' uma instancia de Album
No TPTP formula. May not be expressible in strict first order.	Music.kif 1149-1154	Lista e' uma instancia de AlbumChart Entidade Entidade e' uma instancia de Album Entidade e' um membro de Lista