Wrestling
|
|
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 |
appearance as argument number 2 |
(termFormat EnglishLanguage Wrestling "wrestling") | domainEnglishFormat.kif 65750-65750 |
consequent |
(=> (attribute ?ATHLETE Wrestler) (hasSkill Wrestling ?ATHLETE)) |
Sports.kif 440-442 |