![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Violin(violin)
more pictures... | Amati, Guarnerius, Strad, Stradavarius, bass_fiddle, bass_viol, bull_fiddle, contrabass, double_bass, fiddle, string_bass, violin, violin_family |
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (attribute ?PERSON Violinist) (hasSkill (PlayingInstrumentFn Violin) ?PERSON)) |
Music.kif 1403-1406 | If violinist is an attribute of X, then X has the skill to do playing violin |