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	O argumento numero 1 de albumArtist e' uma instancia de Album
No TPTP formula. May not be expressible in strict first order.	Music.kif 278-278	O argumento numero 2 de albumArtist e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Music.kif 272-272	albumArtist e' uma instancia de Predicado Binario

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