Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Snooker
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Snooker Game) | Sports.kif 485-485 | Snooker is a subclass of game |
| (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 | Snooker is a subclass of game |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Snooker "snooker") | domainEnglishFormat.kif 65507-65507 |
| consequent |
|
|
| (=> (attribute ?PERSON SnookerPlayer) (hasSkill Snooker ?PERSON)) |
Sports.kif 503-505 | If snooker player is an attribute of X, then X has the skill to do snooker |
|