| 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 e' uma sub-classe de Esporte |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SwimmingSport "swimming sport") | domainEnglishFormat.kif 65571-65571 |
| consequent |
|
|
| (=> (attribute ?ATHLETE Swimmer) (hasSkill SwimmingSport ?ATHLETE)) |
Sports.kif 436-438 |
|
|
|
|