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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PlayingInstrumentFn

 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 Le nombre 1 argument de PlayingInstrumentFn est une sous-classe de appareil
(instance PlayingInstrumentFn UnaryFunction) Music.kif 828-828 PlayingInstrumentFn est une instance de function unaire
(rangeSubclass PlayingInstrumentFn MakingInstrumentalMusic) Music.kif 829-829 Les valeurs retourn�es par PlayingInstrumentFn sont des sous-classes de MakingInstrumentalMusic

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

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