Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Poker
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Poker Game) | Sports.kif 483-483 | Poker is a subclass of game |
| (documentation Poker EnglishLanguage "any of various card games in which players bet that they hold the highest_ranking hand. ") | Sports.kif 484-484 | Poker is a subclass of game |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Poker "poker") | domainEnglishFormat.kif 65333-65333 |
| consequent |
|
|
| (=> (attribute ?PERSON PokerPlayer) (hasSkill Poker ?PERSON)) |
Sports.kif 499-501 | If poker player is an attribute of X, then X has the skill to do poker |
|