TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Music.kif 273-274
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 278-278	Le nombre 2 argument de albumArtist est une instance de agent cognitif
No TPTP formula. May not be expressible in strict first order.	Music.kif 272-272	albumArtist est une instance de pr�dicat binaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2746-2746
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2745-2745
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2744-2744
No TPTP formula. May not be expressible in strict first order.	Music.kif 275-275

antecedent

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

Music.kif 280-287

consequent

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

Music.kif 490-497