| 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 | Boxer is an instance of professional athlete |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Boxer "boxer") | domainEnglishFormat.kif 64607-64607 |
| antecedent |
|
|
| (=> (attribute ?ATHLETE Boxer) (hasSkill Boxing ?ATHLETE)) |
Sports.kif 400-402 |
|
|
|