| LacrossePlayer(lacrosse player) | | lacrosse_player |
| appearance as argument number 1 |
|
|
| (documentation LacrossePlayer EnglishLanguage "An athlete who plays Lacrosse.") | Sports.kif 372-372 | |
| (instance LacrossePlayer ProfessionalAthlete) | Sports.kif 371-371 | Lacrosse player is an instance of professional athlete |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage LacrossePlayer "lacrosse player") | domainEnglishFormat.kif 65114-65114 |
|
|
|