| FigureSkating(figure skating) | | figure_skating |
| 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 | Figure skating is a subclass of sport |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FigureSkating "figure skating") | domainEnglishFormat.kif 64906-64906 |
| consequent |
|
|
| (=> (attribute ?ATHLETE FigureSkater) (hasSkill FigureSkating ?ATHLETE)) |
Sports.kif 404-406 |
|
|
|
|