| 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 402-402 | |
| (instance Wrestler ProfessionalAthlete) | Sports.kif 401-401 | Wrestler is an instance of professional athlete |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Wrestler "wrestler") | domainEnglishFormat.kif 65770-65770 |
| antecedent |
|
|
| (=> (attribute ?ATHLETE Wrestler) (hasSkill Wrestling ?ATHLETE)) |
Sports.kif 452-454 |
|
|
|