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 827-828
(documentation PlayingInstrumentFn EnglishLanguage "(PlayingInstrumentFn ?INSTRUMENT) denotes the class of events in which a musical instrument of type ?INSTRUMENT is played.") Music.kif 825-826
(domainSubclass PlayingInstrumentFn 1 Device) Music.kif 829-829 Le nombre 1 argument de PlayingInstrumentFn est une sous-classe de appareil
(instance PlayingInstrumentFn UnaryFunction) Music.kif 830-830 PlayingInstrumentFn est une instance de function unaire
(rangeSubclass PlayingInstrumentFn MakingInstrumentalMusic) Music.kif 831-831 Les valeurs retourn�es par PlayingInstrumentFn sont des sous-classes de MakingInstrumentalMusic

appearance as argument number 2
-------------------------


(format ChineseLanguage PlayingInstrumentFn "playing %1 ") domainEnglishFormat.kif 4122-4122
(format ChineseTraditionalLanguage PlayingInstrumentFn "playing %1 ") domainEnglishFormat.kif 4121-4121
(format EnglishLanguage PlayingInstrumentFn "playing %1") domainEnglishFormat.kif 4120-4120
(termFormat EnglishLanguage PlayingInstrumentFn "playing instrument fn") domainEnglishFormat.kif 65322-65322

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


(=>
    (instance ?PROC
        (PlayingInstrumentFn ?INST))
    (exists (?I)
        (and
            (instance ?I ?INST)
            (instrument ?PROC ?I))))
Music.kif 833-838

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


(=>
    (attribute ?PERSON Cellist)
    (hasSkill
        (PlayingInstrumentFn Cello) ?PERSON))
Music.kif 1416-1419
(=>
    (attribute ?PERSON Drummer)
    (hasSkill
        (PlayingInstrumentFn Drum) ?PERSON))
Music.kif 1432-1435
(=>
    (attribute ?PERSON Guitarist)
    (hasSkill
        (PlayingInstrumentFn Guitar) ?PERSON))
Music.kif 1409-1412
(=>
    (attribute ?PERSON Pianist)
    (hasSkill
        (PlayingInstrumentFn Piano) ?PERSON))
Music.kif 1393-1396
(=>
    (attribute ?PERSON Saxophonist)
    (hasSkill
        (PlayingInstrumentFn Saxophone) ?PERSON))
Music.kif 1424-1427
(=>
    (attribute ?PERSON Violinist)
    (hasSkill
        (PlayingInstrumentFn Violin) ?PERSON))
Music.kif 1401-1404
(=>
    (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