TreeView Knowledge Base Browser

appearance as argument number 1

(documentation discography EnglishLanguage "(discography ?A ?D) means that CognitiveAgent ?A has Discography ?D")	Music.kif 236-237
(domain discography 1 CognitiveAgent)	Music.kif 240-240
(domain discography 2 Discography)	Music.kif 241-241
(instance discography BinaryPredicate)	Music.kif 235-235

appearance as argument number 2

(format ChineseLanguage discography "%1 有 discography %2 ")	domainEnglishFormat.kif 3254-3254
(format ChineseTraditionalLanguage discography "%1 有 discography %2 ")	domainEnglishFormat.kif 3253-3253
(format EnglishLanguage discography "%1 has discography %2")	domainEnglishFormat.kif 3252-3252
(termFormat EnglishLanguage discography "discography")	Music.kif 238-238

antecedent

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

Music.kif 243-249