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

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 827-832


    (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)
            (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