| Wrestler(wrestler) | | heavyweight, light_heavyweight, lightweight, middleweight, welterweight |
| 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 | Wrestler is an instance of professional athlete |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Wrestler "wrestler") | domainEnglishFormat.kif 65795-65795 |
| antecedent |
|
|
| (=> (attribute ?ATHLETE Wrestler) (hasSkill Wrestling ?ATHLETE)) |
Sports.kif 440-442 |
|
|
|