Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Chess(chess) |  | chess, chess_game, chess_match, shogi |
| appearance as argument number 1 |
|
|
| (subclass Chess Game) | Sports.kif 477-477 | Chess is a subclass of game |
| (documentation Chess EnglishLanguage "A board game for two players who move their 16 pieces according to specific rules; the object is to checkmate the opponent's king.") | Sports.kif 478-478 | Chess is a subclass of game |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Chess "chess") | domainEnglishFormat.kif 64624-64624 |
| consequent |
|
|
| (=> (attribute ?PERSON ChessPlayer) (hasSkill Chess ?PERSON)) |
Sports.kif 460-462 | If Chess player is an attribute of X, then X has the skill to do chess |
|