Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - PlayingInstrumentFn
PlayingInstrumentFn

appearance as argument number 1
-------------------------


(documentation PlayingInstrumentFn EnglishLanguage "(PlayingInstrumentFn ?INSTRUMENT) denotes the class of events in which a musical instrument of type ?INSTRUMENT is played.") Music.kif 825-826
(comment PlayingInstrumentFn "This was taken from Biography.kif and moved to Music.kif. 09-28-2011" "KJN") Music.kif 827-828
(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 EnglishLanguage PlayingInstrumentFn "playing %1") domainEnglishFormat.kif 4120-4120
(format ChineseTraditionalLanguage PlayingInstrumentFn "playing %1 ") domainEnglishFormat.kif 4121-4121
(format ChineseLanguage PlayingInstrumentFn "playing %1 ") domainEnglishFormat.kif 4122-4122
(termFormat EnglishLanguage PlayingInstrumentFn "playing instrument fn") domainEnglishFormat.kif 65331-65331

antecedent
-------------------------


(=>
    (instance ?PROC
        (PlayingInstrumentFn ?INST))
    (exists (?I)
        (and
            (instance ?I ?INST)
            (instrument ?PROC ?I))))		 Music.kif 833-838 If X is an instance of playing Y, then there exists Z such that Z is an instance of Y and Z is an instrument for X

consequent
-------------------------


(=>
    (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 X plays Y in Z, then All of the following hold: (1) there exist W (2) V such that W is an instance of Y (3) equal Y (4) playing V or equal Y (5) singing (6) X is an agent of W (7) Z is a result of W
(=>
    (attribute ?PERSON Pianist)
    (hasSkill
        (PlayingInstrumentFn Piano) ?PERSON))		 Music.kif 1395-1398 If pianist is an attribute of X, then X has the skill to do playing piano
(=>
    (attribute ?PERSON Violinist)
    (hasSkill
        (PlayingInstrumentFn Violin) ?PERSON))		 Music.kif 1403-1406 If violinist is an attribute of X, then X has the skill to do playing violin
(=>
    (attribute ?PERSON Guitarist)
    (hasSkill
        (PlayingInstrumentFn Guitar) ?PERSON))		 Music.kif 1411-1414 If guitarist is an attribute of X, then X has the skill to do playing guitar
(=>
    (attribute ?PERSON Cellist)
    (hasSkill
        (PlayingInstrumentFn Cello) ?PERSON))		 Music.kif 1418-1421 If cellist is an attribute of X, then X has the skill to do playing cello
(=>
    (attribute ?PERSON Saxophonist)
    (hasSkill
        (PlayingInstrumentFn Saxophone) ?PERSON))		 Music.kif 1426-1429 If saxophonist is an attribute of X, then X has the skill to do playing saxophone
(=>
    (attribute ?PERSON Drummer)
    (hasSkill
        (PlayingInstrumentFn Drum) ?PERSON))		 Music.kif 1434-1437 If drummer is an attribute of X, then X has the skill to do playing drum


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners