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 825-826 | |
(documentation PlayingInstrumentFn EnglishLanguage "(PlayingInstrumentFn ?INSTRUMENT) denotes the class of events in which a musical instrument of type ?INSTRUMENT is played.") | Music.kif 823-824 | |
(domainSubclass PlayingInstrumentFn 1 Device) | Music.kif 827-827 | |
(instance PlayingInstrumentFn UnaryFunction) | Music.kif 828-828 | |
(rangeSubclass PlayingInstrumentFn MakingInstrumentalMusic) | Music.kif 829-829 |
appearance as argument number 2 |
(format ChineseLanguage PlayingInstrumentFn "playing %1 ") | domainEnglishFormat.kif 4118-4118 | |
(format ChineseTraditionalLanguage PlayingInstrumentFn "playing %1 ") | domainEnglishFormat.kif 4117-4117 | |
(format EnglishLanguage PlayingInstrumentFn "playing %1") | domainEnglishFormat.kif 4116-4116 | |
(termFormat EnglishLanguage PlayingInstrumentFn "playing instrument fn") | domainEnglishFormat.kif 65330-65330 |
antecedent |
(=> (instance ?PROC (PlayingInstrumentFn ?INST)) (exists (?I) (and (instance ?I ?INST) (instrument ?PROC ?I)))) |
Music.kif 831-836 |
consequent |
(=> (attribute ?PERSON Cellist) (hasSkill (PlayingInstrumentFn Cello) ?PERSON)) |
Music.kif 1414-1417 | |
(=> (attribute ?PERSON Drummer) (hasSkill (PlayingInstrumentFn Drum) ?PERSON)) |
Music.kif 1430-1433 | |
(=> (attribute ?PERSON Guitarist) (hasSkill (PlayingInstrumentFn Guitar) ?PERSON)) |
Music.kif 1407-1410 | |
(=> (attribute ?PERSON Pianist) (hasSkill (PlayingInstrumentFn Piano) ?PERSON)) |
Music.kif 1391-1394 | |
(=> (attribute ?PERSON Saxophonist) (hasSkill (PlayingInstrumentFn Saxophone) ?PERSON)) |
Music.kif 1422-1425 | |
(=> (attribute ?PERSON Violinist) (hasSkill (PlayingInstrumentFn Violin) ?PERSON)) |
Music.kif 1399-1402 | |
(=> (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 |