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