| 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 256-256 | |
| (subclass Wrestling Sport) | Sports.kif 255-255 | Wrestling is a subclass of sport |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Wrestling "wrestling") | domainEnglishFormat.kif 65771-65771 |
| consequent |
|
|
| (=> (attribute ?ATHLETE Wrestler) (hasSkill Wrestling ?ATHLETE)) |
Sports.kif 452-454 |
|
|
|