|
|
  objectAttached
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Swimmer EnglishLanguage "An athlete who swims competitively.") | Sports.kif 379-379 | |
| (instance Swimmer ProfessionalAthlete) | Sports.kif 378-378 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Swimmer "swimmer") | domainEnglishFormat.kif 65570-65570 |
| antecedent |
|
|
| (=> (attribute ?ATHLETE Swimmer) (hasSkill SwimmingSport ?ATHLETE)) |
Sports.kif 436-438 |
|
|
|