TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Music.kif 270-271
No TPTP formula. May not be expressible in strict first order.	Music.kif 274-274	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 275-275	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 269-269	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 2747-2747
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.	Music.kif 272-272

antecedent

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

Music.kif 277-284

consequent

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

Music.kif 487-493

If compilation album is an attribute of an album,
then there exist the album1 and the album2 such that the album1 is a performer on the album and the album2 is a performer on the album and the album1 is not equal to the album2