Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| musician |
| appearance as argument number 1 |
|
| (instance musician TernaryPredicate) | Music.kif 188-188 | musician is an instance of ternary predicate |
| (documentation musician EnglishLanguage "(musician ?MR ?P ?I) means that Human ?P played some Process ?I as a Musician in MusicRecording ?MR") | Music.kif 189-190 | musician is an instance of ternary predicate |
| (domain musician 1 MusicRecording) | Music.kif 193-193 | The number 1 argument of musician is an instance of music recording |
| (domain musician 2 Human) | Music.kif 194-194 | The number 2 argument of musician is an instance of human |
| (domainSubclass musician 3 MakingMusic) | Music.kif 195-195 | The number 3 argument of musician is a subclass of making music |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage musician "musician") | Music.kif 191-191 | |
| (format EnglishLanguage musician "%qp{Does} %qn{Doesn't} %2 %n{doesn't} play%qp{s}%p{s} %3 in %1") | domainEnglishFormat.kif 3930-3930 | |
| (format ChineseTraditionalLanguage musician "%2 表演了 %1 ") | domainEnglishFormat.kif 3931-3931 | |
| (format ChineseLanguage musician "%2 表演了 %1 ") | domainEnglishFormat.kif 3932-3932 |
| antecedent |
|
|
| (=> (musician ?MR ?P ?R) (exists (?MM ?I) (and (instance ?MM ?R) (or (equal ?R (PlayingInstrumentFn ?I)) (equal ?R MakingVocalMusic)) (agent ?MM ?P) (result ?MM ?MR)))) |
Music.kif 197-206 | If X plays Y in Z, then All of the following hold: (1) there exist W (2) V such that W is an instance of Y (3) equal Y (4) playing V or equal Y (5) singing (6) X is an agent of W (7) Z is a result of W |
| consequent |
|
|
| (=> (instance ?D Discography) (exists (?M ?AC) (and (instance ?M CognitiveAgent) (attribute ?M ?AC) (instance ?AC Musician) (forall (?X) (=> (member ?X ?D) (exists (?I ?T ?R ?DS) (and (musician ?X ?M ?I) (releaseForSale (AlbumCopiesFn ?X ?DS) ?R ?T)))))))) |
Music.kif 67-80 | If X is an instance of discography, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of cognitive agent (3) Z is an attribute of Y (4) Z is an instance of musician (5) W W is a member of Xthere exist V, U,, , T (6) S such that Y plays V in W (7) the set of copies on S of W was released for sale in T at U |
| (=> (discography ?A ?D) (forall (?X) (=> (member ?X ?D) (exists (?I) (musician ?X ?A ?I))))) |
Music.kif 243-249 | 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 |
|