Boxer
|
|
appearance as argument number 1 |
(documentation Boxer EnglishLanguage "An athlete who competes on the combat sport in which two people fight each other using their fists, Boxing.") | Sports.kif 355-355 | |
(instance Boxer ProfessionalAthlete) | Sports.kif 354-354 |
appearance as argument number 2 |
(termFormat EnglishLanguage Boxer "boxer") | domainEnglishFormat.kif 64561-64561 |
antecedent |
(=> (attribute ?ATHLETE Boxer) (hasSkill Boxing ?ATHLETE)) |
Sports.kif 400-402 |