| Snooker(snooker) | | pocket_billiards, pool, 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 474-474 | |
| (subclass Snooker Game) | Sports.kif 473-473 | Snooker is a subclass of game |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Snooker "snooker") | domainEnglishFormat.kif 65506-65506 |
| consequent |
|
|
| (=> (attribute ?PERSON SnookerPlayer) (hasSkill Snooker ?PERSON)) |
Sports.kif 491-493 |
|
|
|