Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Cellist(cellist) |  | cellist, violoncellist |
| appearance as argument number 1 |
|
|
| (instance Cellist Musician) | Music.kif 1416-1416 | Cellist is an instance of musician |
| (documentation Cellist EnglishLanguage "A Musician defined by beiing able to play Cello.") | Music.kif 1417-1417 | Cellist is an instance of musician |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Cellist "cellist") | domainEnglishFormat.kif 64607-64607 |
| antecedent |
|
|
| (=> (attribute ?PERSON Cellist) (hasSkill (PlayingInstrumentFn Cello) ?PERSON)) |
Music.kif 1418-1421 | If cellist is an attribute of X, then X has the skill to do playing cello |
|