| Wrestling(wrestling) | | Greco-Roman_wrestling, grappling, mud-wrestle, mudwrestle, professional_wrestling, rassling, sumo, wrestle, wrestling, wrestling_match |
| appearance as argument number 1 |
|
|
| (documentation Wrestling EnglishLanguage "the sport of hand-to-hand struggle between unarmed contestants who try to throw each other down.") | Sports.kif 244-244 | |
| (subclass Wrestling Sport) | Sports.kif 243-243 | Wrestling is a subclass of sport |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Wrestling "wrestling") | domainEnglishFormat.kif 65796-65796 |
| consequent |
|
|
| (=> (attribute ?ATHLETE Wrestler) (hasSkill Wrestling ?ATHLETE)) |
Sports.kif 440-442 |
|
|
|