Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Darts(darts) |
| appearance as argument number 1 |
|
| (subclass Darts Game) | Sports.kif 479-479 | Darts is a subclass of game |
| (documentation Darts EnglishLanguage "Darts is a form of throwing game where darts are thrown at a circular target (dartboard) fixed to a wall.") | Sports.kif 480-480 | Darts is a subclass of game |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Darts "darts") | domainEnglishFormat.kif 64743-64743 |
| consequent |
|
|
| (=> (attribute ?PERSON DartsPlayer) (hasSkill Darts ?PERSON)) |
Sports.kif 490-492 | If darts player is an attribute of X, then X has the skill to do darts |
|