TreeView Knowledge Base Browser - PlayingInstrumentFn

appearance as argument number 1

(comment PlayingInstrumentFn "This was taken from Biography.kif and moved to Music.kif. 09-28-2011" "KJN")	Music.kif 822-823
(documentation PlayingInstrumentFn EnglishLanguage "(PlayingInstrumentFn ?INSTRUMENT) denotes the class of events in which a musical instrument of type ?INSTRUMENT is played.")	Music.kif 820-821
(domainSubclass PlayingInstrumentFn 1 Device)	Music.kif 824-824
(instance PlayingInstrumentFn UnaryFunction)	Music.kif 825-825
(rangeSubclass PlayingInstrumentFn MakingInstrumentalMusic)	Music.kif 826-826

appearance as argument number 2

(format ChineseLanguage PlayingInstrumentFn "playing %1 ")	domainEnglishFormat.kif 4123-4123
(format ChineseTraditionalLanguage PlayingInstrumentFn "playing %1 ")	domainEnglishFormat.kif 4122-4122
(format EnglishLanguage PlayingInstrumentFn "playing %1")	domainEnglishFormat.kif 4121-4121

antecedent

(=>
    (instance ?PROC
        (PlayingInstrumentFn ?INST))
    (exists (?I)
        (and
            (instance ?I ?INST)
            (instrument ?PROC ?I))))

Music.kif 828-833

consequent

(=> (attribute ?PERSON Cellist) (hasSkill ?PERSON (PlayingInstrumentFn Cello)))	Music.kif 1407-1410
(=> (attribute ?PERSON Drummer) (hasSkill ?PERSON (PlayingInstrumentFn Drum)))	Music.kif 1423-1426
(=> (attribute ?PERSON Guitarist) (hasSkill ?PERSON (PlayingInstrumentFn Guitar)))	Music.kif 1400-1403
(=> (attribute ?PERSON Pianist) (hasSkill ?PERSON (PlayingInstrumentFn Piano)))	Music.kif 1384-1387
(=> (attribute ?PERSON Saxophonist) (hasSkill ?PERSON (PlayingInstrumentFn Saxophone)))	Music.kif 1415-1418
(=> (attribute ?PERSON Violinist) (hasSkill ?PERSON (PlayingInstrumentFn Violin)))	Music.kif 1392-1395
(=> (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 195-204