Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| GoGame(go game) |  | go, go_game |
| appearance as argument number 1 |
|
|
| (subclass GoGame Game) | Sports.kif 481-481 | Go game is a subclass of game |
| (documentation GoGame EnglishLanguage "A board game for two players who place counters on a grid; the object is to surround and so capture the opponent's counters.") | Sports.kif 482-482 | Go game is a subclass of game |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage GoGame "go game") | domainEnglishFormat.kif 64940-64940 |
| consequent |
|
|
| (=> (attribute ?PERSON GoPlayer) (hasSkill GoGame ?PERSON)) |
Sports.kif 495-497 | If go player is an attribute of X, then X has the skill to do go game |
|