Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PlayingInstrumentFn
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 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


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