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

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


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