|
|
   FigureSkating
|
|
|
| appearance as argument number 1 |
|
|
| (documentation FigureSkating EnglishLanguage "Ice skating where the skates trace outlines of selected figures.") | Sports.kif 117-117 | |
| (subclass FigureSkating Sport) | Sports.kif 116-116 | FigureSkating is a subclass of sport |
| consequent |
|
|
| (=> (attribute ?ATHLETE FigureSkater) (hasSkill FigureSkating ?ATHLETE)) |
Sports.kif 335-337 |
|
|
|
|