| Cricketer(cricketer) | | bowler, cricketer, fielder, fieldsman |
| appearance as argument number 1 |
|
|
| (documentation Cricketer EnglishLanguage "An athlete who plays Cricket.") | Sports.kif 359-359 | |
| (instance Cricketer ProfessionalAthlete) | Sports.kif 358-358 | Cricketer is an instance of professional athlete |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Cricketer "cricketer") | domainEnglishFormat.kif 64742-64742 |
|
|
|