Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Violinist(violinist) |  | fiddler, violinist |
| appearance as argument number 1 |
|
|
| (instance Violinist Musician) | Music.kif 1400-1400 | Violinist is an instance of musician |
| (documentation Violinist EnglishLanguage "A Musician defined by beiing able to play Violin.") | Music.kif 1401-1401 | Violinist is an instance of musician |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Violinist "violinist") | domainEnglishFormat.kif 65704-65704 |
| antecedent |
|
|
| (=> (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 |
|