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	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 278-278	The number 2 argument of album artist is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Music.kif 272-272	album artist is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2742-2742
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2741-2741
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2740-2740
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 492-499