![]() |
![]() ![]()
|
![]() |
|
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 65747-65747 |
antecedent |
![]() |
(=> (attribute ?ATHLETE Wrestler) (hasSkill Wrestling ?ATHLETE)) |
Sports.kif 440-442 |
![]() |
![]() |