|
|
   Darts
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Darts EnglishLanguage "Darts is a form of throwing game where darts are thrown at a circular target (dartboard) fixed to a wall.") | Sports.kif 468-468 | |
| (subclass Darts Game) | Sports.kif 467-467 | Darts est une sous-classe de jeu |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Darts "darts") | domainEnglishFormat.kif 64740-64740 |
| consequent |
|
|
| (=> (attribute ?PERSON DartsPlayer) (hasSkill Darts ?PERSON)) |
Sports.kif 478-480 |
|
|
|
|