PlayingInstrumentFn - Sigma Knowledge base Browser

appearance as argument number 1

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

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 827-832

consequent

(=> (attribute ?PERSON Cellist) (hasSkill ?PERSON (PlayingInstrumentFn Cello)))	Music.kif 1406-1409
(=> (attribute ?PERSON Drummer) (hasSkill ?PERSON (PlayingInstrumentFn Drum)))	Music.kif 1422-1425
(=> (attribute ?PERSON Guitarist) (hasSkill ?PERSON (PlayingInstrumentFn Guitar)))	Music.kif 1399-1402
(=> (attribute ?PERSON Pianist) (hasSkill ?PERSON (PlayingInstrumentFn Piano)))	Music.kif 1383-1386
(=> (attribute ?PERSON Saxophonist) (hasSkill ?PERSON (PlayingInstrumentFn Saxophone)))	Music.kif 1414-1417
(=> (attribute ?PERSON Violinist) (hasSkill ?PERSON (PlayingInstrumentFn Violin)))	Music.kif 1391-1394
(=> (musician ?MR ?P ?R) (and (or (exists (?I) (equal ?R (PlayingInstrumentFn ?I))) (equal ?R MakingVocalMusic)) (agent ?R ?P) (result ?R ?MR)))	Music.kif 195-203