TreeView Knowledge Base Browser

appearance as argument number 1

(instance discography BinaryPredicate)	Music.kif 235-235	discography is an instance of binary predicate
(documentation discography EnglishLanguage "(discography ?A ?D) means that CognitiveAgent ?A has Discography ?D")	Music.kif 236-237	discography is an instance of binary predicate
(domain discography 1 CognitiveAgent)	Music.kif 240-240	The number 1 argument of discography is an instance of cognitive agent
(domain discography 2 Discography)	Music.kif 241-241	The number 2 argument of discography is an instance of discography

appearance as argument number 2

(termFormat EnglishLanguage discography "discography")	Music.kif 238-238
(format EnglishLanguage discography "%1 has discography %2")	domainEnglishFormat.kif 3248-3248
(format ChineseTraditionalLanguage discography "%1 有 discography %2 ")	domainEnglishFormat.kif 3249-3249
(format ChineseLanguage discography "%1 有 discography %2 ")	domainEnglishFormat.kif 3250-3250

antecedent

(=>
    (discography ?A ?D)
    (forall (?X)
        (=>
            (member ?X ?D)
            (exists (?I)
                (musician ?X ?A ?I)))))

If X has discography Y, then For all MusicRecording Z: if Z is a member of Y, then there exists W such that X plays W in Z