| Wrestler | |
| appearance as argument number 1 |
|
|
| (documentation Wrestler EnglishLanguage "An athlete who competes in a combat sport in which two people grapple and attempt to throw or immobilize the other - Wrestling.") | Sports.kif 390-390 | |
| (instance Wrestler ProfessionalAthlete) | Sports.kif 389-389 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Wrestler "wrestler") | domainEnglishFormat.kif 65772-65772 |
| antecedent |
|
|
| (=> (attribute ?ATHLETE Wrestler) (hasSkill Wrestling ?ATHLETE)) |
Sports.kif 440-442 |
|
|
|