SwimmingSport(swimming sport) | swim_meet, swimming_event, swimming_meet |
appearance as argument number 1 |
(documentation SwimmingSport EnglishLanguage "Competitive swimming (the sport associated to Swimming) became popular in the nineteenth century. The goal of competitive swimming is to constantly improve upon one's time(s) in any given event.") | Sports.kif 185-185 | |
(subclass SwimmingSport Sport) | Sports.kif 184-184 | Swimming sport is a subclass of sport |
appearance as argument number 2 |
(termFormat EnglishLanguage SwimmingSport "swimming sport") | domainEnglishFormat.kif 65617-65617 |
consequent |
(=> (attribute ?ATHLETE Swimmer) (hasSkill SwimmingSport ?ATHLETE)) |
Sports.kif 436-438 |