discography |
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 | Die Zahl 1 Argument von discography ist ein fall von CognitiveAgent %n{nicht} |
(domain discography 2 Discography) | Music.kif 241-241 | Die Zahl 2 Argument von discography ist ein fall von Discography %n{nicht} |
(instance discography BinaryPredicate) | Music.kif 235-235 | discography ist ein fall von BinaryPredicate %n{nicht} |
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 |
|