| HockeyPlayer | |
| appearance as argument number 1 |
|
|
| (documentation HockeyPlayer EnglishLanguage "An athlete who plays Hockey.") | Sports.kif 374-374 | |
| (instance HockeyPlayer ProfessionalAthlete) | Sports.kif 373-373 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HockeyPlayer "Hockey player") | domainEnglishFormat.kif 65008-65008 |
|
|
|