SwimmingSport
|
|
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 | SwimmingSport ist eine teilkategorie von Sport |
appearance as argument number 2 |
(termFormat EnglishLanguage SwimmingSport "swimming sport") | domainEnglishFormat.kif 65569-65569 |
consequent |
(=> (attribute ?ATHLETE Swimmer) (hasSkill SwimmingSport ?ATHLETE)) |
Sports.kif 436-438 |
|