| 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