| Snooker | |
| appearance as argument number 1 |
|
|
| (documentation Snooker EnglishLanguage "a form of pool played with 15 red balls and six balls of other colors and a cue ball.") | Sports.kif 486-486 | |
| (subclass Snooker Game) | Sports.kif 485-485 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Snooker "snooker") | domainEnglishFormat.kif 65527-65527 |
| consequent |
|
|
| (=> (attribute ?PERSON SnookerPlayer) (hasSkill Snooker ?PERSON)) |
Sports.kif 503-505 |
|
|
|