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 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	The number 1 argument of playing instrument fn is a subclass of device
(instance PlayingInstrumentFn UnaryFunction)	Music.kif 828-828	Playing instrument fn is an instance of unary function
(rangeSubclass PlayingInstrumentFn MakingInstrumentalMusic)	Music.kif 829-829	The values returned by playing instrument fn are subclasses of instrumental music

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 65376-65376

antecedent

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

Music.kif 831-836

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 1414-1417	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 1430-1433	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 1407-1410	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 1391-1394	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 1422-1425	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 1399-1402	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 a human performed 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 a 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: