Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   FigureSkating
|
|
|
| appearance as argument number 1 |
|
|
| (subclass FigureSkating Sport) | Sports.kif 128-128 | Figure skating is a subclass of sport |
| (documentation FigureSkating EnglishLanguage "Ice skating where the skates trace outlines of selected figures.") | Sports.kif 129-129 | Figure skating is a subclass of sport |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FigureSkating "figure skating") | domainEnglishFormat.kif 64861-64861 |
| consequent |
|
|
| (=> (attribute ?ATHLETE FigureSkater) (hasSkill FigureSkating ?ATHLETE)) |
Sports.kif 416-418 | If figure skater is an attribute of X, then X has the skill to do figure skating |
|