| Swimmer(swimmer) | | bather, natator, swimmer |
| appearance as argument number 1 |
|
|
| (documentation Swimmer EnglishLanguage "An athlete who swims competitively.") | Sports.kif 391-391 | |
| (instance Swimmer ProfessionalAthlete) | Sports.kif 390-390 | Swimmer is an instance of professional athlete |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Swimmer "swimmer") | domainEnglishFormat.kif 65591-65591 |
| antecedent |
|
|
| (=> (attribute ?ATHLETE Swimmer) (hasSkill SwimmingSport ?ATHLETE)) |
Sports.kif 448-450 |
|
|
|