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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 822-823
(documentation PlayingInstrumentFn EnglishLanguage "(PlayingInstrumentFn ?INSTRUMENT) denotes the class of events in which a musical instrument of type ?INSTRUMENT is played.") Music.kif 820-821
(domainSubclass PlayingInstrumentFn 1 Device) Music.kif 824-824
(instance PlayingInstrumentFn UnaryFunction) Music.kif 825-825
(rangeSubclass PlayingInstrumentFn MakingInstrumentalMusic) Music.kif 826-826

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


    (instance ?PROC
        (PlayingInstrumentFn ?INST))
    (exists (?I)
            (instance ?I ?INST)
            (instrument ?PROC ?I))))
Music.kif 828-833


    (attribute ?PERSON Cellist)
    (hasSkill ?PERSON
        (PlayingInstrumentFn Cello)))
Music.kif 1407-1410
    (attribute ?PERSON Drummer)
    (hasSkill ?PERSON
        (PlayingInstrumentFn Drum)))
Music.kif 1423-1426
    (attribute ?PERSON Guitarist)
    (hasSkill ?PERSON
        (PlayingInstrumentFn Guitar)))
Music.kif 1400-1403
    (attribute ?PERSON Pianist)
    (hasSkill ?PERSON
        (PlayingInstrumentFn Piano)))
Music.kif 1384-1387
    (attribute ?PERSON Saxophonist)
    (hasSkill ?PERSON
        (PlayingInstrumentFn Saxophone)))
Music.kif 1415-1418
    (attribute ?PERSON Violinist)
    (hasSkill ?PERSON
        (PlayingInstrumentFn Violin)))
Music.kif 1392-1395
    (musician ?MR ?P ?R)
    (exists (?MM ?I)
            (instance ?MM ?R)
                (equal ?R
                    (PlayingInstrumentFn ?I))
                (equal ?R MakingVocalMusic))
            (agent ?MM ?P)
            (result ?MM ?MR))))
Music.kif 195-204

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

Show without tree

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