| HockeyPlayer(Hockey player) | | hockey_player, ice-hockey_player, wing |
| appearance as argument number 1 |
|
|
| (documentation HockeyPlayer EnglishLanguage "An athlete who plays Hockey.") | Sports.kif 374-374 | |
| (instance HockeyPlayer ProfessionalAthlete) | Sports.kif 373-373 | Hockey player is an instance of professional athlete |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HockeyPlayer "Hockey player") | domainEnglishFormat.kif 65031-65031 |
|
|
|