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 827-828
(documentation PlayingInstrumentFn EnglishLanguage "(PlayingInstrumentFn ?INSTRUMENT) denotes the class of events in which a musical instrument of type ?INSTRUMENT is played.")	Music.kif 825-826
(domainSubclass PlayingInstrumentFn 1 Device)	Music.kif 829-829	The number 1 argument of playing instrument fn is a subclass of device
(instance PlayingInstrumentFn UnaryFunction)	Music.kif 830-830	Playing instrument fn is an instance of unary function
(rangeSubclass PlayingInstrumentFn MakingInstrumentalMusic)	Music.kif 831-831	The values returned by playing instrument fn are subclasses of instrumental music

appearance as argument number 2

(format ChineseLanguage PlayingInstrumentFn "playing %1 ")	domainEnglishFormat.kif 4122-4122
(format ChineseTraditionalLanguage PlayingInstrumentFn "playing %1 ")	domainEnglishFormat.kif 4121-4121
(format EnglishLanguage PlayingInstrumentFn "playing %1")	domainEnglishFormat.kif 4120-4120
(termFormat EnglishLanguage PlayingInstrumentFn "playing instrument fn")	domainEnglishFormat.kif 65351-65351

antecedent

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

Music.kif 833-838

If a process is an instance of playing a kind of device,
then there exists an object such that the object is an instance of a kind of device and the object is an instrument for the process

consequent

(=> (attribute ?PERSON Cellist) (hasSkill (PlayingInstrumentFn Cello) ?PERSON))	Music.kif 1416-1419	If cellist is an attribute of an agent, then the agent has the skill to do playing cello
(=> (attribute ?PERSON Drummer) (hasSkill (PlayingInstrumentFn Drum) ?PERSON))	Music.kif 1432-1435	If drummer is an attribute of an agent, then the agent has the skill to do playing drum
(=> (attribute ?PERSON Guitarist) (hasSkill (PlayingInstrumentFn Guitar) ?PERSON))	Music.kif 1409-1412	If guitarist is an attribute of an agent, then the agent has the skill to do playing guitar
(=> (attribute ?PERSON Pianist) (hasSkill (PlayingInstrumentFn Piano) ?PERSON))	Music.kif 1393-1396	If pianist is an attribute of an agent, then the agent has the skill to do playing piano
(=> (attribute ?PERSON Saxophonist) (hasSkill (PlayingInstrumentFn Saxophone) ?PERSON))	Music.kif 1424-1427	If saxophonist is an attribute of an agent, then the agent has the skill to do playing saxophone
(=> (attribute ?PERSON Violinist) (hasSkill (PlayingInstrumentFn Violin) ?PERSON))	Music.kif 1401-1404	If violinist is an attribute of an agent, then the agent has the skill to do playing violin
(=> (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 %qp{Does} %qn{Doesn't} a human play%qp{s}s a kind of making music in a music recording, then there exist a process and a kind of device such that the process is an instance of a kind of making music and the kind of making music is equal to playing a kind of device or the kind of making music is equal to singing and the human is an agent of the process and the music recording is a result of the process

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: