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


s__comment(s__PlayingInstrumentFn__m,'This was taken from Biography.kif and moved to Music.kif. 09-28-2011','KJN')

Music.kif 827-828
s__documentation(s__PlayingInstrumentFn__m,s__EnglishLanguage,'(PlayingInstrumentFn ?INSTRUMENT) denotes the class of events in which a musical instrument of type ?INSTRUMENT is played.')

Music.kif 825-826
s__domainSubclass(s__PlayingInstrumentFn__m,1,s__Device)

Music.kif 829-829
s__instance(s__UnaryFunction,s__SetOrClass)

Music.kif 830-830
s__rangeSubclass(s__PlayingInstrumentFn__m,s__MakingInstrumentalMusic)

Music.kif 831-831

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


s__format(s__EnglishLanguage,s__PlayingInstrumentFn__m,'playing %1')

domainEnglishFormat.kif 1039-1039

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


( ! [V__PROC,V__INST] :
   (s__instance(V__PROC,s__PlayingInstrumentFn(V__INST))
=>
(? [V__I] :
   (s__instance(V__I,V__INST)
   &
   s__instrument(V__PROC,V__I))))
)

Music.kif 833-838

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


( ! [V__PERSON] :
   (s__attribute(V__PERSON,s__Cellist) =>
     s__hasSkill(V__PERSON,s__PlayingInstrumentFn(s__Cello)))
)

Music.kif 1412-1415
( ! [V__PERSON] :
   (s__attribute(V__PERSON,s__Drummer) =>
     s__hasSkill(V__PERSON,s__PlayingInstrumentFn(s__Drum)))
)

Music.kif 1428-1431
( ! [V__PERSON] :
   (s__attribute(V__PERSON,s__Guitarist) =>
     s__hasSkill(V__PERSON,s__PlayingInstrumentFn(s__Guitar)))
)

Music.kif 1405-1408
( ! [V__PERSON] :
   (s__attribute(V__PERSON,s__Pianist) =>
     s__hasSkill(V__PERSON,s__PlayingInstrumentFn(s__Piano)))
)

Music.kif 1389-1392
( ! [V__PERSON] :
   (s__attribute(V__PERSON,s__Saxophonist) =>
     s__hasSkill(V__PERSON,s__PlayingInstrumentFn(s__Saxophone)))
)

Music.kif 1420-1423
( ! [V__PERSON] :
   (s__attribute(V__PERSON,s__Violinist) =>
     s__hasSkill(V__PERSON,s__PlayingInstrumentFn(s__Violin)))
)

Music.kif 1397-1400
( ! [V__MR,V__P,V__R] :
   (s__musician(V__MR,V__P,V__R)
   =>
   ((? [V__I] :
       (V__R = s__PlayingInstrumentFn(V__I)))
   |
   (V__R = s__MakingVocalMusic)))
)

Music.kif 195-200


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners